Based on the synchronous joint gravity and magnetic inversion of single interface by Pilkington and the need of revealing Cenozoic and crystalline basement thickness in the new round of oil-gas exploration, we propose...Based on the synchronous joint gravity and magnetic inversion of single interface by Pilkington and the need of revealing Cenozoic and crystalline basement thickness in the new round of oil-gas exploration, we propose a joint gravity and magnetic inversion methodfor two-layer models by concentrating on the relationship between the change of thicknessI and position of the middle layer and anomaly and discuss the effects of the key parameters. Model tests and application to field data show the validity of this method.展开更多
A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statec...A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.展开更多
An intergeneric artificial hybridization was conducted between Cunninghamia R. Br. and Cryptomeria D.Don The results are as follows:1. A considerable number of hybrid seeds shed from 76 pollinated cones were ...An intergeneric artificial hybridization was conducted between Cunninghamia R. Br. and Cryptomeria D.Don The results are as follows:1. A considerable number of hybrid seeds shed from 76 pollinated cones were empty and a total of 628 looks plump. Soft X ray radiographs showed that, still and all, a majority of the “plump" seeds were embryoless (597, 95.6%) whereas some were partially developed (17,2.7%) and only a few were really full (14, 2.2%). 2. Germination test showed that all of the radiographed hybrid seeds with fully developed embryos were germinable whereas those with partially developed embryos were ungerminable. 3. Physiologically, the growth rate of hypocotyl, the date for shedding of seed coat and spreading of cotyledons, the elongation of epicotyl, and the branching of shoot of the 11 month old seedlings showed a tendency to fall behind those of the female parent; morphologically, the 11 month old hybrid seedlings with linear leaves appeared rather short, slender and weak, whereas the seedlings of the female parents with linear_lanceolate leaves appeared rather tall, stout and strong. 4. It is considered that the hybrid may be true and the crossability reveals a close phylogenetic affinity of Cunninghamia with Cryptomeria.展开更多
As the main regulator of cartilage development, Sox9 gene can initiate transcription and expression of various enzymes and protein genes required for car- tilage growth and development. During this process, the expres...As the main regulator of cartilage development, Sox9 gene can initiate transcription and expression of various enzymes and protein genes required for car- tilage growth and development. During this process, the expression and function of Sex9 are also regulated by a variety of factors and signaling pathways. More re- search is concerned about the positive regulation. At present, some studies dis- closed that negative regulation of Sox9 expression existed unique mechanisms. This study will discuss and summarize the negative regulatory mechanism of Sox9 gene by microRNA, NF-κB, Wnt, Notch and other factors and signaling pathways, in or- der to provide the basic framework for further investigating the expression and func- tion of Sox9 in cartilage development.展开更多
According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process mode...According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process model is put forward by combining the domain ontology with the relative concept match algorithm. A detailed illustration of a component reasoning engine and a component classification engine is given and the component classification algorithm is provided by using the Naive Bayes algorithm based on domain ontology. The experimental results show that the recall ratio and the precision ratio are obviously improved by using the method based on semantics, and demonstrate the feasibility and effectiveness of the proposed method.展开更多
High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent u...High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.展开更多
This paper intreduced a high-precision high-voltage elec- trostatic generator which utilized STM32F103 as the main coutroller. The hardware and software design of the system were detailed. The full use of ample on-chi...This paper intreduced a high-precision high-voltage elec- trostatic generator which utilized STM32F103 as the main coutroller. The hardware and software design of the system were detailed. The full use of ample on-chip resources of STM32F103, such as ADC and the PWM output of timer, contributed to the small size and low cost of the system. The 16-bit PWM signals, generated by the timer on chip, served to adjust the our-put voltage accurately. The tot~ screen was responsible for the setting and display of output voltage, and the friendly humawcomptaer interaction was built. Experimental results indicated that this high-voltage static generator was of high precision and great practicability for application.展开更多
基金Supported by the National Natural Science Foundation of China(Grant No.40674063)National Hi-tech Research and Development Program of China(863Program)(Grant No.2006AA09Z311)
文摘Based on the synchronous joint gravity and magnetic inversion of single interface by Pilkington and the need of revealing Cenozoic and crystalline basement thickness in the new round of oil-gas exploration, we propose a joint gravity and magnetic inversion methodfor two-layer models by concentrating on the relationship between the change of thicknessI and position of the middle layer and anomaly and discuss the effects of the key parameters. Model tests and application to field data show the validity of this method.
文摘A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
文摘An intergeneric artificial hybridization was conducted between Cunninghamia R. Br. and Cryptomeria D.Don The results are as follows:1. A considerable number of hybrid seeds shed from 76 pollinated cones were empty and a total of 628 looks plump. Soft X ray radiographs showed that, still and all, a majority of the “plump" seeds were embryoless (597, 95.6%) whereas some were partially developed (17,2.7%) and only a few were really full (14, 2.2%). 2. Germination test showed that all of the radiographed hybrid seeds with fully developed embryos were germinable whereas those with partially developed embryos were ungerminable. 3. Physiologically, the growth rate of hypocotyl, the date for shedding of seed coat and spreading of cotyledons, the elongation of epicotyl, and the branching of shoot of the 11 month old seedlings showed a tendency to fall behind those of the female parent; morphologically, the 11 month old hybrid seedlings with linear leaves appeared rather short, slender and weak, whereas the seedlings of the female parents with linear_lanceolate leaves appeared rather tall, stout and strong. 4. It is considered that the hybrid may be true and the crossability reveals a close phylogenetic affinity of Cunninghamia with Cryptomeria.
基金Supported by National Natural Science Foundation(31671283)Fundamental Research Fund for the Central Universities(2572014EA05)~~
文摘As the main regulator of cartilage development, Sox9 gene can initiate transcription and expression of various enzymes and protein genes required for car- tilage growth and development. During this process, the expression and function of Sex9 are also regulated by a variety of factors and signaling pathways. More re- search is concerned about the positive regulation. At present, some studies dis- closed that negative regulation of Sox9 expression existed unique mechanisms. This study will discuss and summarize the negative regulatory mechanism of Sox9 gene by microRNA, NF-κB, Wnt, Notch and other factors and signaling pathways, in or- der to provide the basic framework for further investigating the expression and func- tion of Sox9 in cartilage development.
基金The National Natural Science Foundation of China(No60072006)
文摘According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process model is put forward by combining the domain ontology with the relative concept match algorithm. A detailed illustration of a component reasoning engine and a component classification engine is given and the component classification algorithm is provided by using the Naive Bayes algorithm based on domain ontology. The experimental results show that the recall ratio and the precision ratio are obviously improved by using the method based on semantics, and demonstrate the feasibility and effectiveness of the proposed method.
文摘High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
文摘This paper intreduced a high-precision high-voltage elec- trostatic generator which utilized STM32F103 as the main coutroller. The hardware and software design of the system were detailed. The full use of ample on-chip resources of STM32F103, such as ADC and the PWM output of timer, contributed to the small size and low cost of the system. The 16-bit PWM signals, generated by the timer on chip, served to adjust the our-put voltage accurately. The tot~ screen was responsible for the setting and display of output voltage, and the friendly humawcomptaer interaction was built. Experimental results indicated that this high-voltage static generator was of high precision and great practicability for application.
