Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of ...Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of shale gas have been upgraded to a level of national strategy.Logging is one of the core technologies in gas exploration and development.However,logging technologies face the challenges of complex geological conditions and well casing environment,high temperature,high pressure,and strong heterogeneity.Despite the rich experience accumulated,unified understanding and implementation specifications are yet to be established for shale gas well logging.Given the analysis and comparison of the effectiveness and adaptability of logging technologies at different stages of shale gas exploration and development for the Sichuan Basin,this study optimizes the log suite to meet the demand for highefficiency exploration and development of shale gas.According to the adaptability analysis of shale gas log suite,the mandatory logging items of exploratory wells should include caliper log(CAL),natural gamma ray spectrometry(NGS)log,spontaneous potential(SP)log,directional survey,borehole compensated sonic log,litho-density log(LDL),compensated neutron log(CNL),dual laterologmicrospherically focused log/dual induction-laterolog log/array induction log,temperature log,elemental capture spectroscopy(ECS)log,formation microimager(FMI)log,and array sonic log.The log suite of appraisal wells is almost the same as that for exploratory wells,excluding the ECS log and microresistivity scanning imaging.Meanwhile,for the logging of horizontal/highly-deviated holes,the log suite of vertical wells should be referred to according to specific well conditions.展开更多
In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including fro...In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.展开更多
有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。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部门加快应用交付、提升员工生产力及控制数据库的拥有成本。同时，它还可提供全面的数据库及数据仓库变化的审计记录，促进公司遵从法规并迅速发现问题。展开更多
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.展开更多
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test sui...Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.展开更多
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
Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although imp...Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not required.These kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite,fault-tolerance,defects due to uncovered-statements and overall-performance at the time of execution.With this objective,the proposed a new Modified Particle Swarm optimization used for multi-objective test suite optimization.The experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate(90.78%to 100%)and failure detection rate(44.56%to 55.01%).Results proved MOMPSO outperformed the other stated algorithms.展开更多
In the current circumstance,e-commerce through an online banking system plays a significant role.Customers may either buy goods from E-Commerce websites or use online banking to move money to other accounts.When a use...In the current circumstance,e-commerce through an online banking system plays a significant role.Customers may either buy goods from E-Commerce websites or use online banking to move money to other accounts.When a user participates in these types of behaviors,their sensitive information is sent to an untrust-worthy network.As a consequence,when transmitting data from an internal browser to an external E-commerce web server using the cryptographic protocol SSL/TLS,the E-commerce web server ensures the security of the user’s data.The user should be pleased with the confidentiality,authentication,and authenticity properties of the SSL/TLS on both the user’s web browser and the remote E-commerce web server.E-Commerce web servers should choose the best SSL/TLS cipher suites for negotiating the user in order to attain such optimistic scenarios,as the cipher suite used in SSL/TLS plays an important role in securing E-Commerce web servers.The paper primarily focuses on analyzing the SSL/TLS cipher and elliptic curves.The paper also recommends the best elliptic curve cipher suites for E-Commerce and online banking servers,based on their power consumption,handshake execution time,and key exchange and signature verification time.展开更多
文摘Significant progress has been made in the exploration and development of unconventional gas resources in China since the beginning of the 21st century.With a rapid increase in yield,the exploration and development of shale gas have been upgraded to a level of national strategy.Logging is one of the core technologies in gas exploration and development.However,logging technologies face the challenges of complex geological conditions and well casing environment,high temperature,high pressure,and strong heterogeneity.Despite the rich experience accumulated,unified understanding and implementation specifications are yet to be established for shale gas well logging.Given the analysis and comparison of the effectiveness and adaptability of logging technologies at different stages of shale gas exploration and development for the Sichuan Basin,this study optimizes the log suite to meet the demand for highefficiency exploration and development of shale gas.According to the adaptability analysis of shale gas log suite,the mandatory logging items of exploratory wells should include caliper log(CAL),natural gamma ray spectrometry(NGS)log,spontaneous potential(SP)log,directional survey,borehole compensated sonic log,litho-density log(LDL),compensated neutron log(CNL),dual laterologmicrospherically focused log/dual induction-laterolog log/array induction log,temperature log,elemental capture spectroscopy(ECS)log,formation microimager(FMI)log,and array sonic log.The log suite of appraisal wells is almost the same as that for exploratory wells,excluding the ECS log and microresistivity scanning imaging.Meanwhile,for the logging of horizontal/highly-deviated holes,the log suite of vertical wells should be referred to according to specific well conditions.
文摘In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.
文摘有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。
文摘本刊讯5月22日，CA宣布推出新版本的AllFusion Modeling Suite建模工具，在功能强大的AllFusion Erwin Data Modeler内嵌具有专利的通用的数据建模引擎。通过简化复杂数据库应用的设计、实施和分析，AllFusion Modeling Suite r7将帮助IT部门加快应用交付、提升员工生产力及控制数据库的拥有成本。同时，它还可提供全面的数据库及数据仓库变化的审计记录，促进公司遵从法规并迅速发现问题。
文摘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.
基金Sponsored by Natural Sclence Foundation of China.
文摘Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.
文摘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
文摘Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not required.These kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite,fault-tolerance,defects due to uncovered-statements and overall-performance at the time of execution.With this objective,the proposed a new Modified Particle Swarm optimization used for multi-objective test suite optimization.The experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate(90.78%to 100%)and failure detection rate(44.56%to 55.01%).Results proved MOMPSO outperformed the other stated algorithms.
文摘In the current circumstance,e-commerce through an online banking system plays a significant role.Customers may either buy goods from E-Commerce websites or use online banking to move money to other accounts.When a user participates in these types of behaviors,their sensitive information is sent to an untrust-worthy network.As a consequence,when transmitting data from an internal browser to an external E-commerce web server using the cryptographic protocol SSL/TLS,the E-commerce web server ensures the security of the user’s data.The user should be pleased with the confidentiality,authentication,and authenticity properties of the SSL/TLS on both the user’s web browser and the remote E-commerce web server.E-Commerce web servers should choose the best SSL/TLS cipher suites for negotiating the user in order to attain such optimistic scenarios,as the cipher suite used in SSL/TLS plays an important role in securing E-Commerce web servers.The paper primarily focuses on analyzing the SSL/TLS cipher and elliptic curves.The paper also recommends the best elliptic curve cipher suites for E-Commerce and online banking servers,based on their power consumption,handshake execution time,and key exchange and signature verification time.
