检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

Modal extension rule

Progress in Natural Science:Materials International 2005年第6期15卷 550-558页

作者： WU Xia*, SUN Jigui, LIN Hai and FENG Shasha(college of Computer Science and Technology, jilin university, changchun 130012, china Key Laboratory for Symbolic Computation and Knowledge Engineering, jilin university, changchun 130012, china) college of Computer Science and Technology Jilin University Changchun 130012 China Key Lab. for Symbolic Comp. and Knowledge Eng. Jilin University Changchun 130012 China

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.

关键词： theorem proving extension rule modal logics functional transformation.

Study on the stability and 3-dimensional character for natural convection in a rectangular cavity heated from below

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第6期53卷 1647-1654页

作者： ZHAN NaiYan1,2,XU PeiWei1,SUN ShiMei,YANG Mo2 & LIU Jun3 1 Scool of Municipal and Environmental Engineering,jilin Institute of Architectural and Civil Engineering,changchun 130021,china 2 college of Power Engineering,university of Shanghai for Science and Technology,Shanghiai 200093,china 3 college of Power Engineering,jilin university,changchun 130000,china Scool of Municipal and Environmental Engineering Jilin Institute of Architectural and Civil Engineering Changchun China college of Power Engineering University of Shanghai for Science and Technology Shanghiai China college of Power Engineering Jilin University Changchun China

Natural convection of air is numerically simulated in a 3-dimensional rectangular cavity heated from below using SIMPLE algorithm with a QUICK *** results suggest that when all lateral walls are adiabatic,the fluid rolls occur along the long *** the Rayleigh number is smaller,the flow is of 2-dimensional character,and the rolls shapes are *** average Nusselt numbers in the central part of the cavity are *** average Nusselt numbers in the part near by the cavity are *** to the comparison of 3-dimensional results with 2-dimensional results,the flow patterns and heat transfer in the central part of the cavity can be assumed as a 2-dimensional flow,While those in the part near by the cavity can *** increasing Rayleigh number,the flow is 3-dimensional *** 3-dimensional result accords with the experimental *** all lateral walls are adiabatic,the ten rolls occur along the long *** when lateral walls are heated or cooled,the rolls disappear along the long axis and two rolls occur along the short *** rotation direction of the rolls is *** Rayleigh number is over some critical value,flow and heat transfer will be asymmetry,indicating unsteady oscillation *** nonlinear analyses,it is shown that with increasing Rayleigh number,flow and heat transfer will change from steady state to unsteady state through HOPF bifurcation,and transition to chaos will occur through multi-periodical oscillation.

关键词： Critical Raleigh number 3-dimensional character lateral boundaries nonlinear characteristic bifurcation

Preparation and Electrochemical Behaviors of AA-PEGMA Copolymer Film Electrode

在线全文

学校读者我要写书评

暂无评论

Chemical Research in Chinese Universities 2012年第1期28卷 156-161页

作者： Lü Xue and LIU Feng-qi college of Chemistry, jilin university, changchun 130012, P. R. china college of Chemistry Jilin University Changchun 130012

A new kind of comblike copolymer film composed of acrylic acid-polyethylene glycol monomethyl ether acrylate copolymer（AA-PEGMA copolymer） was successfully synthesized to immobilize hemoglobin（Hb）. FTIR, UV-Vis and CD spectra suggest that Hb kept its original structure in the AA-PEGMA copolymer film without denaturation. A pair of well-defined, quasi-reversible cyclic voltammetric peaks at around –270 mV vs. saturated calomel electrode（SCE） for the Hb Fe（III）/Fe（II） redox couple was observed on the film-modified electrode in phos phate buffer solution（PBS, pH=7.0）. The formal potential of Hb/AA-PEGMA copolymer film-modified electrode is linearly dependent on solution pH with a slope of –46.3 mV/pH, illustrating that one-proton transfer was accompa nied with each electron transfer. Furthermore, the modified electrode displayed electrocatalytic response to the reduc tion of H2O2 with a linear range of 3.5―126 μmol/L and a detection limit of 1.17 μmol/L. In conclusion, the AA-PEGMA copolymer film was proved to be an excellent matrix for the immobilization and electrochemistry of proteins.

关键词： Copolymer film Hemoglobin Comblike polymer Electrochemical behavior

Terrain classification based on adaptive weights with airborne LiDAR data for mining area

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 648-653页

作者： LI Hui-ying1, WANG Zhi2, SUN Ya-feng1, LI Wen-hui1 1. college of Computer Science and Technology, jilin university, changchun 130012, china 2. college of Resources and Civil Engineering, Northeastern university, Shenyang 110004, china college of Computer Science and Technology Jilin University Changchun 130012 China college of Resources and Civil Engineering Northeastern University Shenyang 110004 China

The fast high-efficiency inspection for mining subsidence of mine area is a reliable way for forecasting accident and evaluating losing expense. In order to monitor mining subsidence of exploitation mine efficiently, LiDAR data were used and a novel strip division method was brought forward based on separating-treatment theory, which divided the mass of discrete three-dimensional point cloud data into a series of parallel strips and reduced the dimension in each strip. Polynomial fitting algorithm based on the adaptive weights, which located in the range of the strip, was used for classification complex terrain data of mine-area. The results show that LiDAR datamation can be greatly reduced. In the mean time, the time spending for calculation is shortened, and computational complexity is simplified. Therefore, high-efficiency terrain classification of LiDAR point cloud method can be great beneficial to monitoring environment of mine area.

关键词： mining subsidence airborne LiDAR strip division adaptive weights

Chronostratigraphy and Stratigraphic Classification of the Cretaceous of the Songliao Basin

在线全文

学校读者我要写书评

暂无评论

Acta Geologica Sinica(English Edition) 1996年第2期70卷 207-217页

作者： Wang Pujun Du Xiaodi Wang Jun and Wang Dongpo 1)Geoenergy Department, changchun university of earth sciences, changchun, jilin 2)earth sciences Department,Nanjing university,Nanjing,Jiangsu Geoenergy Department Changchun University of Earth Sciences Changchun Jilin earth sciences Department Nanjing University Nanjing Jiangsu

Isotopic ages of synsedimentary clay minerals were directly determined with the ultrasonicscattering-settlement separation-K-Ar dilution technique. The apparent age of black mudstoneis 123 Ma for the Quantou Formation, 111.9-89.0 Ma for the Qingshankou Formation and77.6-76.8 Ma for the upper part of the Nenjiang Formation. The Rb-Sr isochrone age of themuddy limestone-mudstone sequence of the lower part of the Nenjiang Formation is 81 Ma andthat of the muddy evaporite of the middle part of the Quantou Formation is 122.2 Ma. On thebasis of the above isotopic ages, the authors propose a modified scheme of stratigraphic classifi-cation of the Cretaceous of the Songliao basin.

关键词： Songliao basin Cretaceous lake transgressive depositional sequence isotopic age stratigraphic classification

A new iguanodontid (Jin-zhousaurus yangi *** ***.) from the Yixian Formation of western Liaoning,china

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2001年第19期46卷 1669-1672页

作者： WANG Xiaolin & XU Xing1. Institute of Vertebrate Paleontology and Paleoanthropology, Chinese Academy of sciences, Beijing 100044, china 2. college of earth sciences and Resources, china university of Geo-sciences, Beijing 100083, china Institute of Vertebrate Paleontology and Paleoanthropology Chinese Academy of Sciences Beijing China college of earth sciences and Resources China University of Geosciences Beijing China

A new iguanodontid, Jinzhousaurus yangi gen. et sp. nov., is erected based on the cranial and dental morphology of a specimen from the Yixian Formation of western Liaoning. Although a few primitive characteristics remain, Jinzhousaurus yangi display a number of characteristics similar to those seen in derived iguanodontids. Other interesting characteristics include the absence of antorbital fenestra and the frontal excluded from the participation in orbit, which are closer to the condition in hadrosaurids. The unusual combination of the characteristics provides important data for assessing morphological evolution toward hadrosaurs. The new discovery also represents the first reported large-sized dinosaur from Jehol fauna in western Liaoning, and increases the diversity of this famous fauna. Furthermore, the discovery of a derived iguanodontid from the Yixian Formation provides further evidence supporting a Cretaceous age of the Jehol fauna, which is consistent with an isotopic age.

关键词： Western Liaoning Lower Cretaceous Yixian Formation Jehol Biota Iguanodontid

Characterizing structural variants based on graph-genotyping provides insights into pig domestication and local adaption

在线全文

学校读者我要写书评

暂无评论

Journal of Genetics and Genomics 2024年第4期51卷 394-406页

作者： Xin Li Quan Liu Chong Fu Mengxun Li changchun Li Xinyun Li Shuhong Zhao Zhuqing Zheng Key Lab of Agricultural Animal Genetics Breeding and Reproduction of Ministry of Education and Key Laboratory of Swine Genetics and Breeding of Ministry of AgricultureCollege of Animal Science and TechnologyHuazhong Agricultural UniversityWuhanHubei 430070China Institute of Agricultural Biotechnology Jingchu University of TechnologyJingmenHubei 448000China The Cooperative Innovation Center for Sustainable Pig Production WuhanHubei 430070China Hubei Hongshan Laboratory WuhanHubei 430070China

Structural variants(SVs),such as deletions(DELs)and insertions(INSs),contribute substantially to pig genetic diversity and phenotypic *** a library of SVs discovered from long-read primary assemblies and short-read sequenced genomes,we map pig genomic SVs with a graph-based method for re-genotyping SVs in 402 *** results demonstrate that those SVs harboring specific trait-associated genes may greatly shape pig domestication and local *** characterization of SVs reveals that some population-stratified SVs may alter the transcription of genes by affecting regulatory *** identify that the genotypes of two DELs(296-bp DEL,chr7:52,172,101e52,172,397;278-bp DEL,chr18:23,840,143 e23,840,421)located in muscle-specific enhancers are associated with the expression of target genes related to meat quality(FSD2)and muscle fiber hypertrophy(LMOD2 and WASL)in *** results highlight the role of SVs in domestic porcine evolution,and the identified candidate functional genes and SVs are valuable resources for future genomic research and breeding programs in pigs.

关键词： Pigs Structural variation Selection signatures Regulatory elements

Self-assembly of Bis[2-(2-hydroxyphenyl)- pyridine]Copper(Ⅱ) Induced by C—H…π and π…π Stacking Interaction

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chemical Research in Chinese Universities 2000年第3期16卷 280-282页

作者： LIU Kui (college of earth sciences, changchun university of Science and Technology, changchun 130026, P. R. china) ZHANG Ping, ZHANG Wei xing, YANG Guang di and WANG Yue (Key Laboratory for Supramolecular Structure and Spectroscopy, jilin Univers 长春科技大学吉林长春 130026 吉林大学超分子结构与谱学开放实验室吉林长春 130023

The control of molecular assembly in the solid state is an important theme of modern chemistry. The activity in the area of supramolecular structures is investigated. The self-assembly of molecules can form well-defined supramolecular structures under the influence of drive forces. The self-assembly properties of Cu(pp)2[pp = 2-(2-hydroxyphenol)-pyridine] are analyzed under different conditions.

关键词： Stacking interaction Cu complex Supramolecular structure

Mitochondrial DNA analysis of Bronze Age horses recovered from Chifeng region, Inner Mongolia, china

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第5期17卷 544-550页

作者： Cai Dawei , Han Lu , Xie Chengzhi , Li Shengnan , Zhou Hui and Zhu Hong (Ancient DNA Laboratory, Research Center for Chinese Frontier Archaeology of jilin university, changchun 130023, china college of Life Science, jilin university, changchun 130023, china) Ancient DNA Laboratory Research Center for Chinese Frontier Archaeology Jilin University Changchun 130023 China college of Life Science Jilin University Changchun 130023 China

In this study, mitochondrial DNA (mtDNA) analysis was carried out on 9 Bronze Age horses recovered from Dashanqian and Jinggouzi archaeological sites in Chifeng region, Inner Mongolia. china to explore the origin of Chinese domestic horses. Both mtDNA 16S rRNA gene and control region (D-loop) fragments of ancient horses were amplified and sequenced. The analysis of the highly conservative 16S rRNA gene sequences indicated that the burial environment of Chifeng region is suitable for the preservation of ancient DNA (aDNA). Combing 465 mtDNA D-loop sequences representing different breeds from East Asia, Central Asia, Near East and Europe, we constructed a phylogenetic network to investigate the relationship between ancient and modern horses. The phylogenetic network showed that the 9 horses were distributed into different modern horse clusters which were closely related to them representing a certain geographical distribution. Our results showed that the maternal genetic line of the ancient horses in Chifeng region was highly diversified, which contributed to the gene pool of modern domestic horses and suggested a complex origin of domestic horses in china.

关键词： origin of domestic horses ancient DNA mitochondrial DNA 16S rRNA gene phylogenetic network.