检索结果-南通市图书馆

On a Boolean-valued Model of the Strict Implication System(Continuous)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Quarterly Journal of mathematics 2004年第4期19卷 346-349页

作者： LI Na, LIU Hua-ke(1.Department of Philosophy, Nankai university, Tianjin 300071, china 2. College of mathematics and Information Science, henan university, kaifeng 475001, china) Department of Philosophy Nankai UniversityTianjin 300071 China College of mathematics and Information Science Henan University Kaifeng 475001China

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model(where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.

关键词： the strict implication system Boolean-valued model Boolean value

Discovery and Analysis of the Fossilised Yuling-Man Skull

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

地域研究与开发 1993年第S1期12卷 8-18页

作者： Feng Xingxiang Zhou Huashan Ba Zhigang Zhang Guangye Wang Panji Zhang Zhenyu(Department of Geography, henan university kaifeng, henan 475001, china)

A fossilised paleoanthropological skull was discovered in November 1987, in the guily-head cliff on the east bank of Wenyu River near Xinza village, Yuling - town (hence the name Yuling-Man), Lingbao country, henan Province, china. The skull, dated to an absolute U-isotope (U234 to U238 ) age of B. P. 156000 ± 13000 years, was found in the upper portion of the alluvial statum of the mid-Pleistocens Series, together with pateoliths of the Kehe Cutture System in the mid-late Paleolithic Periods. Although much research has been nomied out in this area, this is the first fossilised paleoanthropological skull in have been found. Therefore, this project, funded by the Natural Science Foundation/henan Scientific Committee, is making new contributions to paleoanthropological research in china.

关键词： Yuling-Man late mid-Pleistocene Paleolithic Period.

Hydrogen peroxide-induced changes in intracellular pH of guard cells precede stomatal closure

在线全文

学校读者我要写书评

暂无评论

Cell Research 2001年第1期11卷 37-43页

作者： ZHANG XIAO, FA CAI DONG, JUN FENG GAO, CHUN PENG SONG (Department of Biology, henan university, kaifeng 475001, china) (College of Life Sciences, Northwest Sci-Tech university of Agriculture and Forestry, Yangling 712100, china) Department of Biology Henan University Kaifeng China College of Life Sciences Northwest Sci-Tech University of Agriculture and Forestry Yangling China

Epidermal bioassay demonstrated that benzylamine, a membrane-permeable weak base, can mimick hydrogen peroxide (H2O2) to induce stomatal closure, and butyric acid, a membrane-permeable weak acid, can partly abolish the H2O2-induced stomatal closure. Confocal pH mapping with the probe 5-(and-6)- carboxy seminaphthorhodafluor- 1 - acetoxymethylester (SNARF-1-AM) revealed that H2O2 leads to rapid changes in cytoplasmic and vacuolar pH in guard cells of Viola faba L, i. e. alkalinization of cytoplasmic areas occur red in parallel with a decrease of the vacuolar pH, and that butyric acid pretreatment can abolish alkalinization of cytoplasmic areas and acidification of vacuolar areas of guard cells challenged with H2O2. These results imply that the alkalinization of cytoplasm via efflux of cytosol protons into the vacuole in guard cells challenged with H2O2 is important at an early stage in the signal cascade leading to stomatal closure.

关键词： H2O2 pH SNARF-1-AM confocal Vicia guard cell.

Synthesis, Crystal Structure and Electrochemistry of Two Complexes (YLn)^(3+)[PW_(12)O_(40)]^(3-)(L=Me_2SO, Me_2NCHO)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chemical Research in Chinese Universities 2008年第3期24卷 255-259页

作者： HAN Qiu-xia WANG Chun-zhang institute of Molecular and Crystal Engineering, School of Chemistry and Chemical Engineering, henan university, kaifeng 475001, P R. china NIU Jing-yang WANG Jing-ping Basic Experiment Teaching Center School of Chemistry and Chemical Engineering Henan University Kaifeng 475001 P R. China institute of Molecular and Crystal Engineering School of Chemistry and Chemical Engineering Henan University Kaifeng 475001 P R. China

The reaction of α-H3[PW12O40] with Y（NO3）3 in the presence of DMF or DMSO leads to two complexes with the formulae {Y（DMSO）7}·PW12O40（1） and {[Y（DMF）7]2PW12O40}·PW12O40（2）. The crystal structures indicate that complex 1 consists of discrete [YLn]3＋ cations and α-Keggin heteropolyanions [PW12O40]3-, whereas, in complex 2, donor-acceptor interaction results in a cation-anion-cation triplet. In addition, the electrochemical behavior of the two complexes indicates the usual successive reduction processes of the W atoms in the anions.

关键词： Yttrium complex Crystal structure Electrochemistry study Heteropolyanion

Soil quality and sustainable land use in urban-rural marginal area: a case study of kaifeng

在线全文

学校读者我要写书评

暂无评论

Journal of Geographical Sciences 2001年第3期11卷 356-365页

作者： QIN Ming-zhou, ZHAO Jie (College of Environment and Planning, henan university, kaifeng 475001, china) College of Enviroment and Planning Henan University

By using the basic theories of physical geography, land resources and ecology, this article analyzes the soil quality of the rural-urban marginal area in kaifeng. Computer techniques, based on soil samples analysis, are used to study soil quality changes in the kaifeng’s rural-urban marginal area. While focusing on nutrient circle key links of input and output in soil, relying on numerous practical survey data, this article reveals clearly the impact of land use change on soil quality.

关键词： urban-rural marginal area land use change soil quality soil nutriment balance

Molecular phylogeny of Osmanthus(Oleaceae) based on non-coding chloroplast and nuclear ribosomal internal transcribed spacer regions

在线全文

学校读者我要写书评

暂无评论

Journal of Systematics and Evolution 2010年第6期48卷 482-489页

作者： 1,2Wang-Jun YUAN 1Wei-Rui ZHANG 1Yuan-Ji HAN 1Mei-Fang DONG 1Fu-De SHANG 1(College of Life Sciences,henan university,kaifeng 475004,china) 2.institute of Chinese Materia Medica,henan university,kaifeng 475004,china) (College of Life Sciences Henan University Kaifeng 475004 China) (institute of Chinese Materia Medica Henan University Kaifeng 475004 China)

The phylogenetic relationships of Osmanthus *** investigated using the nuclear ribosomal internal transcribed spacer(ITS) regions and non-coding chloroplast regions(psbA-trnH,trnL-F).The two datasets support the conclusion that Osmanthus is polyphyletic,with some species of the subtribe Oleinae nested within *** didymopetalus *** is nested within the clade formed by species of section Osmanthus in two *** attenuatus ***,*** ***,and *** *** of traditional section Osmanthus are clearly divergent from other accessions,and do not form a monophyletic group with other Osmanthus *** marginatus *** embedded in the clade formed by species of section Osmanthus in the ITS *** cpDNA trees all species of section Osmanthus are placed in the large clade and all species of section Leiolea formed a *** taxonomic incongruence among trees for ITS and cpDNA indicate hybridization,as introgression may have occurred among some species of sections Osmanthus and *** of Osmanthus is discussed in light of molecular and morphological data,and a revised infrageneric classification with three sections(Leiolea,Siphosmanthu,and Osmanthus) is *** section Linocieroides is abandoned and united with section Osmanthus.

关键词： ITS molecular phylogeny Osmanthus psbA-trnH trnL-F.

A SPLITTING ITERATION METHOD FOR DOUBLE X_0-BREAKING BIFURCATION POINTS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational mathematics 1998年第3期16卷 267-274页

作者： Rui-song Ye (institute of mathematics, Shantou university, Guangdong 515063, china) institute of mathematics Shantou University Guangdong 515063 China

A splitting iteration method is proposed to compute double X0-breaking bifurcation points. The method will reduce the computational work and storage, it converges linearly with an adjustable speed. Numerical computat... 详细信息

关键词： Double X0-breaking bifurcation point splitting iteration method extended system

A Theoretical Research on the System of Regional Development Models

在线全文

学校读者我要写书评

暂无评论

Systems Science and Systems Engineering 1994年第3期4卷 232-240页

作者： QIN Yaochen ZHAO Bingdong YUAN Zhongjin henan university, kaifeng 475001,P.R.china

According to the to the typical practice in some less developed regions this paperre developed regions,this paper researches the theories and methods of construction of regional development *** In accordance with the of region system of man-land relationship,the auther analyses the natural evolution trends of region system as wed as the internal and the spatiai structun of region *** the basis of theoretical study and typical example analyses,the paper presents a system of regional develoment models,including forecasting models,structure analysis and planning models,spatial-location models and strategic decision models.

关键词： region system, man-land relatioship theory system of regional development models.regioeal development models farecasting model struture analysis planning model

An extended social force model on unidirectional flow considering psychological and behavioral impacts of hazard source

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第2期33卷 567-576页

作者：邓凯丰李梦胡祥敏陈涛 institute of Public Safety Research Department of Engineering PhysicsTsinghua UniversityBeijing 100084China Anhui Province Key Laboratory of Human Safety Hefei 230601China Beijing Key Laboratory of Comprehensive Emergency Response Science Beijing 100084China

An accurate assessment of the evacuation efficiency in case of disasters is of vital importance to the safety design of buildings and street *** sources not only physically but psychologically affect the pedestrians,which may further alter their behavioral *** effect is especially significant in narrow spaces,such as corridors and *** study aims to integrate a non-spreading hazard source into the social force model following the results from a previous experiment and simulation,and to simulate unidirectional pedestrian flows over various crowd densities and clarity–intensity properties of the hazard *** integration include a virtual repulsion force from the hazard source and a decay on the social force *** simulations reveal(i)that the hazard source creates virtual bottlenecks that suppress the flow,(ii)that the inter-pedestrian push forms a stabilisation phase on the flow-density curve within medium-to-high densities,and(iii)that the pedestrians are prone to a less orderly and stable pattern of movement in low clarity–intensity scenarios,possibly with lateral collisions passing the hazard source.

关键词： evacuation social force model hazard source unidirectional pedestrian flow