检索结果-南通市图书馆

Comparing logic coverage criteria on test case prioritization

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第12期55卷 2826-2840页

作者： FANG ChunRong 1,2,CHEN ZhenYu 1,2 & XU BaoWen 1 1 state key laboratory for novel software technology,nanjing university,nanjing 210093,china 2 software Institute,nanjing university,nanjing 210093,china 1. state key laboratory for novel software technology Nanjing University Nanjing 210093 China2. Software Institute Nanjing University Nanjing 210093 China

Logic coverage criteria have been widely used in the testing of safety-critical *** the past few years,fault-based logic coverage criteria have been studied intensively both in theory and in ***,there is a lack of authentic evidence of the comparison of fault-based logic coverage criteria with other logic coverage criteria,such as branch coverage and modified condition/decision coverage(MC/DC).In this paper,we present a comprehensive empirical study that compares these logic coverage criteria on test case prioritization,which is currently a hot topic in software *** useful conclusions are drawn from our research:(1) Fine-grained coverage criteria are always more effective and efficient.(2) The effectiveness of fault-based logic coverage criteria is not significantly different from that of MC/DC in terms of statistics,but the former is more stable.(3) A random strategy is more effective than branch coverage if a certain number of test cases are redundant.

关键词： fault detection capability logic coverage fault-based testing test case prioritization

Incoherent control of two classes of finite-level quantum systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2011年第4期22卷 679-683页

作者： Chunlin Chen 1,2 and Zhenquan Qin 3,1.Department of Control and System Engineering,nanjing university,nanjing 210093,P.R.china 2.state key laboratory for novel software technology,nanjing university,nanjing 210093,P.R.china 3.School of software,Dalian university of technology,Dalian 116620,P.R.china Department of Control and System Engineering Nanjing University Nanjing 210093 P. R. China state key laboratory for novel software technology Nanjing University Nanjing 210093 P. R. China School of software Dalian University of Technology Dalian 116620 P. R. China

The incoherent control of finite-level quantum systems is investigated. Following a brief introduction to coherent control paradigms in quantum control, a control problem that can not be accomplished using only coherent control is presented. For such a control problem, it is proved that it can be accomplished using incoherent control based on projective measurement and coherent control for two classes of finite-level quantum systems, i.e., eigenstate controllable quantum systems and wavefunction controllable quantum systems.

关键词： quantum control eigenstate controllability wavefunction controllability coherent control incoherent control.

Exploiting remote learners in Internet environment with agents

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2010年第1期53卷 64-76页

作者： LI Ming, WANG Wei & ZHOU ZhiHua National key laboratory for novel software technology, nanjing university, nanjing 210093, china 1. National key laboratory for novel software technology Nanjing University Nanjing 210093 China

Data in the Internet are scattered on different sites indeliberately, and accumulated and updated frequently but not synchronously. It is infeasible to collect all the data together to train a global learner for prediction; even exchanging learners trained on different sites is costly. In this paper, aggregative-learning is proposed. In this paradigm, every site maintains a local learner trained from its own data. Upon receiving a request for prediction, an aggregative-learner at a local site activates and sends out many mobile agents taking the request to potential remote learners. The prediction of the aggregative-learner is made by combining the local prediction and the responses brought back by the agents. Theoretical analysis and simulation experiments show the superiority of the proposed method.

关键词： machine learning data mining aggregative-learning mobile agent Internet environment

Loop reduction techniques for reachability analysis of linear hybrid automata

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第12期55卷 2663-2674页

作者： PAN MinXue,LI You,BU Lei & LI XuanDong state key laboratory for novel software technology,Department of Computer Science and technology,nanjing university,nanjing 210093,china 1. state key laboratory for novel software technology Department of Computer Science and Technology Nanjing University Nanjing 210093 China

The problem of reachability analysis of linear hybrid automata(LHA) is very *** paper considers to improve the efficiency of the reachability analysis by optimizing the structures of *** identify two types of loops called the flexible loops and the zero loops,and present the techniques to replace the repetitions of those loops in the behavior of LHA with finite sequences of locations and in the meantime simplify the associated *** techniques work not only for the polyhedral computing based algorithms but also for the bounded model checkers.

关键词： real-time and hybrid systems linear hybrid automata reachability analysis

Technical framework for Internetware: An architecture centric approach

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science in china(Series F) 2008年第6期51卷 610-622页

作者： YANG FuQing1,2, Lü Jian3,4 & MEI Hong1,2 1 key laboratory of High Confidence software Technologies (Peking university), Ministry of Education, Beijing 100871, china 2 School of Electronics Engineering and Computer Science, Peking university, Beijing 100871, china 3 state key laboratory for novel software technology, nanjing 210093, china 4 Department of Computer Science and technology, nanjing university, nanjing 210093, china 1. key laboratory of High Confidence software Technologies (Peking university) Ministry of Education Beijing 100871 China 2. School of Electronics Engineering and Computer Science Peking University Beijing 100871 China 3. state key laboratory for novel software technology Nanjing 210093 China 4. Department of Computer Science and technology Nanjing University Nanjing 210093 China

Being a new software paradigm evolved by the Internet, Internetware brings many challenges to the traditional software methods and techniques. Sponsored by the national basic research program （973）, researchers in china have developed an architecture centric technical framework for the definition, incarnation and engineering of Internetware. First of all, a software model for Internetware is defined for what to be, including that Internetware entities should be packaged as components, behaving as agents, interoperating as services, collaborating in a structured and on demand manner, etc. Secondly, a middleware for Internetware is designed and implemented for how to be, including that Internetware entities are incarnated by runtime containers, structured collaborations are enabled by runtime software architecture, Internetware can be managed in a reflective and autonomic manner, etc. Thirdly, an engineering methodology for Internetware is proposed for how to do, including the way to develop Internetware entities and their collaborations by transforming and refining a set of software architectures which cover all the phases of software lifecycle, the way to identify and organize the disordered software assets by domain modeling, etc.

关键词： Internetware component software architecture agent middleware

Sensitive biosensing strategy based on functional nanomaterials

在线全文

学校读者我要写书评

暂无评论

Science china Chemistry 2011年第8期54卷 1202-1217页

作者： JU HuangXian state key laboratory of Analytical Chemistry for Life Science Department of Chemistry, nanjing university, nanjing 210093, china 1. state key laboratory of Analytical Chemistry for Life Science Department of Chemistry Nanjing University Nanjing 210093 China

The first decade of the 21st century has been labeled as "the sensing decade". The functional nanomaterials offer excellent platforms for fabrication of sensitive biosensing devices, including optical and electronic biosensors. A lot of works have fo- cused on the biofunctionalization of different nanomaterials, such as metal nanoparticles, semiconductor nanoparticles and carbon nanostructures, by physical adsorption, electrostatic binding, specific recognition or covalent coupling. These biofunc- tionalized nanomaterials can be used as catalysts, electronic conductors, optical emitters, carriers or tracers to obtain the ampli- fied detection signal and the stabilized recognition probes or biosensing interface. The designed signal amplification strategies have greatly promoted the development of stable, specific, selective and sensitive biosensors in different fields. This review in- troduces some novel principles and detection strategies in the area of biosensing, based on functional nanomaterials. The gen- eral methods for biofunctionalization of nanomaterials with biomolecules and their biosensing application in immunoassay of protein, DNA detection, carbohydrate analysis and cytosensing are also described.

关键词： nanobiosensing biosensors nanomaterials biofunctionalization signal amplification bioanalysis biological recognition

Expression of Recombinant Chinese Bovine Enterokinase Catalytic Subunit in P. pastoris and Its Purification and Characterization

在线全文

学校读者我要写书评

暂无评论

Acta Biochimica et Biophysica Sinica 2004年第7期36卷 513-517页

作者： Lei FANG, Qi-Ming SUN, and Zi-Chun HUA*The state key laboratory of Pharmaceutical Biotechnology, nanjing university, nanjing 210093, china The state key laboratory of Pharmaceutical Biotechnology Nanjing University Nanjing 210093 China

Enterokinase is a tool protease widely utilized in the cleavage of recombinant fusion proteins. cDNA encoding the catalytic subunit of Chinese bovine enterokinase (EKL) was amplified by PCR and then fused to the 3′ end of prepro secretion signal peptide gene of α-mating factor from Saccharomyces cerevisiae to get the α-MF signal-EKL-His6 encoding gene by PCR. Then the whole coding sequence was cloned into the integrative plasmid pAO815 under the control of a methanol-inducible promoter and transformed GS115 methylotrophic strain of Pichia pastoris. Secreted expression of recombinant EKL-His6 was attained by methanol induction and its molecular weight is 43 kD. Because of the existence of His6-tag, EKL-His6 was easily purified from P. pastoris fermentation supernatant by using Ni2+ affinity chromatography and the yield is 5.4 mg per liter of fermentation culture. This purified EKL-His6 demonstrates excellent cleavage activity towards fusion protein containing EK cleavage site.

关键词： recombinant enterokinase secreted expression Ni2+ affinity chromatography fusion protein cleavage

A class of fascinating optoelectronic materials: Triarylboron compounds

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Chemistry 2010年第6期53卷 1235-1245页

作者： MOU Xin1,LIU ShuJuan1,DAI ChunLei1,MA TingChun1,ZHAO Qiang1,2,LING QiDan1 & HUANG Wei1 1key laboratory for Organic Electronics & Information Displays (KLOEID) and Institute of Advanced Materials (IAM),nanjing university of Posts and Telecommunications,nanjing 210046,china 2state key laboratory of Coordination Chemistry,nanjing university,nanjing 210093,china 1. key laboratory for Organic Electronics & Information Displays (KLOEID) and Institute of Advanced Materials (IAM) Nanjing University of Posts and Telecommunications Nanjing 210046 China2. State Key Laboratory of Coordination Chemistry Nanjing University Nanjing 210093 China

Triarylboron compounds are significant optoelectronic materials due to their excellent emissive and electron-transport properties,and could be applied in organic light-emitting diodes as emissive and/or electron-transport *** compounds have vacant pπ orbital and have received increasing interest as fluoride ion and cyanide ion sensors utilizing specific Lewis acid-base *** review summarizes their structural characteristics,optical properties and applications in chemosensors for anions and optoelectronic devices developed in recent years and discusses the problems and prospects.

关键词： OLEDs optical properties sensors structure-property relationships triarylboron compounds

Slicing Java Generic Programs Using Generic System Dependence Graph

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2009年第4期14卷 304-308页

作者： CHEN Lin1,2,XU Baowen1,2 1.state key laboratory for novel software technology,nanjing university,nanjing 210093,Jiangsu china 2.Department of Computer Science and technology,nanjing university,nanjing 210093,Jiangsu china state key laboratory for novel software technology Nanjing University Nanjing 210093 Jiangsu China Department of Computer Science and technology Nanjing University Nanjing 210093 Jiangsu China

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better.

关键词： slicing system dependence graph generics program analysis