Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Ve...有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。展开更多
本刊讯5月22日，CA宣布推出新版本的AllFusion Modeling Suite建模工具，在功能强大的AllFusion Erwin Data Modeler内嵌具有专利的通用的数据建模引擎。通过简化复杂数据库应用的设计、实施和分析，AllFusion Modeling Suite r7将帮助I...本刊讯5月22日，CA宣布推出新版本的AllFusion Modeling Suite建模工具，在功能强大的AllFusion Erwin Data Modeler内嵌具有专利的通用的数据建模引擎。通过简化复杂数据库应用的设计、实施和分析，AllFusion Modeling Suite r7将帮助IT部门加快应用交付、提升员工生产力及控制数据库的拥有成本。同时，它还可提供全面的数据库及数据仓库变化的审计记录，促进公司遵从法规并迅速发现问题。展开更多
Although the Model-Driven paradigm is being accepted in the research environment as a very useful and powerful option for effective software development, its real application in the enterprise context is still a chall...Although the Model-Driven paradigm is being accepted in the research environment as a very useful and powerful option for effective software development, its real application in the enterprise context is still a challenge for software engineering. Several causes can be stacked out, but one of them can be the lack of tool support for the efficient application of this paradigm. This paper presents a set of tools, grouped in a suite named NDT-Suite, which under the Model-Driven paradigm offer a suitable solution for software development. These tools explore different options that this paradigm can improve such as, development, quality assurance or requirement treatment. Besides, this paper analyses how they are being successfully applied in the industry.展开更多
Diatoms are widely distributed in many temperate areas and some species frequently form extensive blooms in spring. Hence, monitoring the variations of specific genera or species of diatoms is necessary for studying p...Diatoms are widely distributed in many temperate areas and some species frequently form extensive blooms in spring. Hence, monitoring the variations of specific genera or species of diatoms is necessary for studying phytoplankton population dynamics in marine ecosystems. To test whether pigment ratios can be used to identify diatoms at a below-class taxonomic level, we analyzed 14 species/strains of diatoms isolated from Chinese seas using high performance liquid chromatography （HPLC）. We normalized all pigment concentrations to total chlorophyll a to calculate the ratios of pigment to chlorophyll a, and calculated the ratios between accessory pigments （or pigment sums）. Cluster analysis indicated that these diatoms could be classified into four clusters in terms of three accessory pigment ratios： chlorophyll c2： chlorophyll Cl, fucoxanthin：total chlorophyll c and diadinoxanthin：diatoxanthin. The classification results matched well with those of biological taxonomy. To test the stability of the classification, pigment data from one species, cultured under different light intensities, and five new species/strains were calculated and used for discriminant analysis. The results show that the classification of diatom species using pigment ratio suites was stable for the variations of pigment ratios of species cultured in different light intensities. The introduction of new species, however, may confuse the classification within the current scheme. Classification of marine diatoms using pigment ratio suites is potentially valuable for the fine chemotaxonomy of phytoplankton at taxonomic levels below class and would advance studies on phytoplankton population dynamics and marine ecology.展开更多
Controlled by E-W-trending faults, a Proterozoic (1.4-1.8 Ga old) rapakivi granite suite was intruded inBeijing and the area to its east (within Hebei Province), forming three parallel belts of igneous rocks. Theisoto...Controlled by E-W-trending faults, a Proterozoic (1.4-1.8 Ga old) rapakivi granite suite was intruded inBeijing and the area to its east (within Hebei Province), forming three parallel belts of igneous rocks. Theisotopic, trace element and rare earth element geochemical data of a bimodal rock association made up ofanorthosite, gabbro and alkali basalt and olivine-bearing quartz-syenite, rapakivi granite and trachyte as wellas potassic A-type granites and anorogenic granites—— all suggest that there exists an incipient rift in thestudy area. Fractional crystallization of a mixed magma formed by the magma derived from the upper mantleand the magma derived by small degrees of fusion of the lower crust produced anorthosite cumulates. Thewater-deficient granitic magma was differentiated into a subalkaline series. When the fractional crystallizationwas incomplete, rhythmic eruptions took place.展开更多
Laji Shan is located in the eastern part of Qinghai Province,sandwiched between Xining and Hualong Basins.It is about 250km long and 10～20km wide from Riyueshan in the west to Minheguanting in the east.Laji Shan belo...Laji Shan is located in the eastern part of Qinghai Province,sandwiched between Xining and Hualong Basins.It is about 250km long and 10～20km wide from Riyueshan in the west to Minheguanting in the east.Laji Shan belongs to the Caledonian orogenic belt.Its basement consists of the rocks of Palaeo\|Protero zoic Hualong Group (Pt 1 hl ) and Neo\|Proterozoic Huangzhong Group (Pt\-3 h ).There are ptygmatic folds,closely linear type folds,strongly structural d ifferentiation and schistosity developed,suggesting that the basement underwent deep seated ductile deformation.The main part of Laji Shan is composed of Early\|Palaeozoic marine facies volcanic rocks and clastic sedimentary rocks,and suffered greenschist facies metamorphism and brittle\|ductile deformation.Others are composed of Ea rly\|Palaeozoic basic and ultrabasic rocks,intermediate\|acidic intruded rocks a nd dike rocks.Devonian molasse formation in Laji Shan is in uncomfortable contac t with underlying strata.Jurassic and Cretaceous systems are intermont basin dep osits,corresponding to a cover.展开更多
Mafic/ultramafic rocks derived from high siliceous(high-Si)high magnesium(high-Mg)mantle melts are an important feature observed during early Precambrian.They provide much important geological and petrological
In this paper, we analyze the features and distinctions of 6 classical algorithms： greedy algorithm （G）, greedy evolution algorithm （GE）, heuristics algorithm （H）, greedy heuristic G （GRE）, integer linear pro...In this paper, we analyze the features and distinctions of 6 classical algorithms： greedy algorithm （G）, greedy evolution algorithm （GE）, heuristics algorithm （H）, greedy heuristic G （GRE）, integer linear programming algorithm （ILP） and genetic algorithm （GA） to ensure the main influencing factors-the performance of algorithms and the running time of algorithms. What＇s more, we would not only present a research design that aims at gaining deeper understanding about the algorithm classification and its function as well as their distinction, but also make an empirical study in order to obtain a practical range standard that can guide the selection of reduction algorithms. When the size of a test object （product of test requirements and test cases） is smaller than 2000×2000, G algorithm is the commonly recommended algorithm. With the growth of test size, the usage of GE and GRE becomes more general.展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
文摘有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。
文摘本刊讯5月22日，CA宣布推出新版本的AllFusion Modeling Suite建模工具，在功能强大的AllFusion Erwin Data Modeler内嵌具有专利的通用的数据建模引擎。通过简化复杂数据库应用的设计、实施和分析，AllFusion Modeling Suite r7将帮助IT部门加快应用交付、提升员工生产力及控制数据库的拥有成本。同时，它还可提供全面的数据库及数据仓库变化的审计记录，促进公司遵从法规并迅速发现问题。
文摘Although the Model-Driven paradigm is being accepted in the research environment as a very useful and powerful option for effective software development, its real application in the enterprise context is still a challenge for software engineering. Several causes can be stacked out, but one of them can be the lack of tool support for the efficient application of this paradigm. This paper presents a set of tools, grouped in a suite named NDT-Suite, which under the Model-Driven paradigm offer a suitable solution for software development. These tools explore different options that this paradigm can improve such as, development, quality assurance or requirement treatment. Besides, this paper analyses how they are being successfully applied in the industry.
基金Supported by the National Natural Science Foundation of China (Nos. 40806029, 40676068)the National High Technology Research and Development Program of China (863 Program) (No. 2006AA09Z178)
文摘Diatoms are widely distributed in many temperate areas and some species frequently form extensive blooms in spring. Hence, monitoring the variations of specific genera or species of diatoms is necessary for studying phytoplankton population dynamics in marine ecosystems. To test whether pigment ratios can be used to identify diatoms at a below-class taxonomic level, we analyzed 14 species/strains of diatoms isolated from Chinese seas using high performance liquid chromatography （HPLC）. We normalized all pigment concentrations to total chlorophyll a to calculate the ratios of pigment to chlorophyll a, and calculated the ratios between accessory pigments （or pigment sums）. Cluster analysis indicated that these diatoms could be classified into four clusters in terms of three accessory pigment ratios： chlorophyll c2： chlorophyll Cl, fucoxanthin：total chlorophyll c and diadinoxanthin：diatoxanthin. The classification results matched well with those of biological taxonomy. To test the stability of the classification, pigment data from one species, cultured under different light intensities, and five new species/strains were calculated and used for discriminant analysis. The results show that the classification of diatom species using pigment ratio suites was stable for the variations of pigment ratios of species cultured in different light intensities. The introduction of new species, however, may confuse the classification within the current scheme. Classification of marine diatoms using pigment ratio suites is potentially valuable for the fine chemotaxonomy of phytoplankton at taxonomic levels below class and would advance studies on phytoplankton population dynamics and marine ecology.
文摘Controlled by E-W-trending faults, a Proterozoic (1.4-1.8 Ga old) rapakivi granite suite was intruded inBeijing and the area to its east (within Hebei Province), forming three parallel belts of igneous rocks. Theisotopic, trace element and rare earth element geochemical data of a bimodal rock association made up ofanorthosite, gabbro and alkali basalt and olivine-bearing quartz-syenite, rapakivi granite and trachyte as wellas potassic A-type granites and anorogenic granites—— all suggest that there exists an incipient rift in thestudy area. Fractional crystallization of a mixed magma formed by the magma derived from the upper mantleand the magma derived by small degrees of fusion of the lower crust produced anorthosite cumulates. Thewater-deficient granitic magma was differentiated into a subalkaline series. When the fractional crystallizationwas incomplete, rhythmic eruptions took place.
文摘Laji Shan is located in the eastern part of Qinghai Province,sandwiched between Xining and Hualong Basins.It is about 250km long and 10～20km wide from Riyueshan in the west to Minheguanting in the east.Laji Shan belongs to the Caledonian orogenic belt.Its basement consists of the rocks of Palaeo\|Protero zoic Hualong Group (Pt 1 hl ) and Neo\|Proterozoic Huangzhong Group (Pt\-3 h ).There are ptygmatic folds,closely linear type folds,strongly structural d ifferentiation and schistosity developed,suggesting that the basement underwent deep seated ductile deformation.The main part of Laji Shan is composed of Early\|Palaeozoic marine facies volcanic rocks and clastic sedimentary rocks,and suffered greenschist facies metamorphism and brittle\|ductile deformation.Others are composed of Ea rly\|Palaeozoic basic and ultrabasic rocks,intermediate\|acidic intruded rocks a nd dike rocks.Devonian molasse formation in Laji Shan is in uncomfortable contac t with underlying strata.Jurassic and Cretaceous systems are intermont basin dep osits,corresponding to a cover.
文摘Mafic/ultramafic rocks derived from high siliceous(high-Si)high magnesium(high-Mg)mantle melts are an important feature observed during early Precambrian.They provide much important geological and petrological
基金Supported by the National Natural Science Foundation of China(10904080)
文摘In this paper, we analyze the features and distinctions of 6 classical algorithms： greedy algorithm （G）, greedy evolution algorithm （GE）, heuristics algorithm （H）, greedy heuristic G （GRE）, integer linear programming algorithm （ILP） and genetic algorithm （GA） to ensure the main influencing factors-the performance of algorithms and the running time of algorithms. What＇s more, we would not only present a research design that aims at gaining deeper understanding about the algorithm classification and its function as well as their distinction, but also make an empirical study in order to obtain a practical range standard that can guide the selection of reduction algorithms. When the size of a test object （product of test requirements and test cases） is smaller than 2000×2000, G algorithm is the commonly recommended algorithm. With the growth of test size, the usage of GE and GRE becomes more general.
