检索结果-南通市图书馆

science china(information sciences) 2012年第2期55卷 360-367页

作者： LIU ZhiHao1,CHEN HanWu1,LIU WenJie2,XU Juan1 & LI ZhiQiang3 1school of computer science and Engineering,Southeast university,nanjing 211189,china 2school of computer and software,nanjing university of information science & technology,nanjing 210044,china 3College of information Engineering,Yangzhou university,Yangzhou 225009,china school of computer science and Engineering Southeast University Nanjing China school of computer and software Nanjing University of Information Science & Technology Nanjing China College of information Engineering Yangzhou University Yangzhou China

By analysis of the basic properties of entanglement swapping of high-dimensional Bell states,a universal and general deterministic secure quantum communication(DSQC)protocol is proposed,in which unitary operation is not *** making use of the results of high-dimensional Bell measurement,the sender and the receiver can encode and decode the message respectively by performing the modular addition and *** mutually complementary bases are constructed;and according to the property of mutual complement,a method for checking security of the high-dimensional quantum channel is put *** common attack strategies are analyzed,and the corresponding error rates are *** the upper bound of the threshold of error rate is deduced.

关键词： deterministic secure quantum communication high-dimensional Bell state entanglement swap-ping high-dimensional Bell measurement

Basin filling algorithm for the circular packing problem with equilibrium behavioral constraints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2010年第5期53卷 885-895页

作者： LIU JingFa1& LI Gang2 1school of computer and software, nanjing university of information science & technology, nanjing 210044, china 2school of Mathematics and Physics, nanjing university of information science & technology, nanjing 210044, china school of computer and software Nanjing University of Information Science & Technology Nanjing China school of Mathematics and Physics Nanjing University of Information Science & Technology Nanjing China

With the background of the satellite module layout design, the circular packing problem with equilibrium behavioral constraints is a layout optimization problem and NP-hard problem in math. For lack of a powerful optimization method, this problem is hard to solve. The energy landscape paving (ELP) method is a class of stochastic global optimization algorithms based on the Monte Carlo sampling. Based on the quasiphysical strategy and the penalty function method, the problem is converted into an unconstrained optimization problem. Here by combining the improved ELP method, the gradient method based on local search and the heuristic configuration update mechanism, a new global search algorithm, basin filling algorithm, is put forward. The numerical results show that the proposed algorithm is effective to solving the circular packing problem with equilibrium behavioral constraints, and is easy to be popularized to other layout optimization problems.

关键词： equilibrium behavioral constraints packing problem layout optimization

A new heuristic algorithm for the circular packing problem with equilibrium constraints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2011年第8期54卷 1572-1584页

作者： LIU JingFa 1,2,LI Gang 3 & GENG HuanTong 1 1 school of computer and software,nanjing university of information science & technology,nanjing 210044,china 2 Network information Center,nanjing university of information science & technology, nanjing 210044,china 3 school of Mathematics and Physics,nanjing university of information science & technology,nanjing 210044,china school of computer and software Nanjing University of Information Science & Technology Nanjing China Network information Center Nanjing University of Information Science & Technology Nanjing China school of Mathematics and Physics Nanjing University of Information Science & Technology Nanjing China

The circular packing problem with equilibrium constraints is an optimization problem about simplified satellite module layout design.A heuristic algorithm based on tabu search is put forward for solving this *** algorithm begins from a random initial configuration and applies the gradient method with an adaptive step length to search for the minimum energy *** jump out of the local minima and avoid the search doing repeated work,the algorithm adopts the strategy of tabu *** the process of tabu search,we improve the traditional neighboring solutions,tabu objects and the acceptance criteria of the current solution *** test two sets of benchmarks consisting of 11 representative instances from the current *** numerical results show that the proposed algorithm breaks the records in seven out of 11 instances,and obtains the optimal solutions for the other four instances.

关键词： equilibrium constraints packing problem heuristic algorithm tabu search layout optimization

Selection of unitary operations in quantum secret sharing without entanglement

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2011年第9期54卷 1837-1842页

作者： XU Juan 1,CHEN HanWu 1,LIU WenJie 1,2 & LIU ZhiHao 1 1 school of computer science and Engineering,Southeast university,nanjing 210096,china 2 school of computer and software,nanjing university of information science and technology,nanjing 210044,china school of computer science and Engineering Southeast University Nanjing China school of computer and software Nanjing University of Information Science and Technology Nanjing China

We propose a substitute-Bell-state attack strategy for quantum secret sharing schemes without entanglement,as well as a definition of the minimum failure probability of such attack strategy.A quantitative analysis of security degrees corresponding to different unitary operations is also provided,when the secret sharing schemes without entanglement are stricken by substitute-Bell-state *** a result,the relation between the selection of unitary operations and the effect of substitute-Bell-state attack is shown,which can serve as an important guidance for the selection of unitary operations in designing and implementing quantum secret sharing schemes.

关键词： quantum secret sharing substitute-Bell-state attack unitary operation minimum failure probability

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 Key Laboratory of High Confidence software Technologies (Peking university) Ministry of Education Beijing China school of Electronics Engineering and computer science Peking University Beijing China State Key Laboratory for Novel software technology Nanjing China Department of computer science and technology Nanjing University Nanjing 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

维普期刊数据库

Communication network designing:Transmission capacity,cost and scalability

在线全文

学校读者我要写书评

暂无评论

science china(information sciences) 2012年第11期55卷 2454-2465页

作者： ZHANG GuoQiang1,2,3 & ZHANG GuoQing1 1Institute of Computing technology,Chinese Academy of sciences,Beijing 100190,china 2school of computer science and technology,nanjing Normal university,nanjing 210046,china 3Provincial Key Laboratory for computer information Processing technology,Soochow university,Suzhou 215000,china Institute of Computing technology Chinese Academy of Sciences Beijing China school of computer science and technology Nanjing Normal University Nanjing China Provincial Key Laboratory for computer information Processing technology Soochow University Suzhou China

Despite the growing number of works centering around the traffic dynamics on complex networks,these researches still have some common shortcomings,e.g.,too simple traffic flow model and lack of considerations for the designing cost and scalability *** paper builds on a more realistic traffic flow model,and offers a holistic view on the network designing *** addition to the extensively studied transmission capacity,this paper takes designing cost and scalability as two other designing objectives,and presents a quantitative study of how different designing choices independently and collectively influence these objectives by the introduction of a cartesian coordinate *** is shown that different kinds of network topologies display different shapes of achievable solution spaces and exhibit different abilities to achieve cost-effective and scalable *** particular,we find the philosophy underlying empirical network designing and engineering today fails to meet the cost-effective and scalable designing requirements,and propose a cost-effective and scalable designing scheme for BA-like networks,i.e.,the efficient routing combined with effective betweenness based link bandwidth *** addition,when designing a thoroughly new network from the beginning,we find that ER network is a good candidate to achieve cost-effective and scalable designing in most settings.

关键词： cost-effective communication network designing network transmission efficiency network topology traffic dynamics next generation network scalable network designing

The optimization of replica distribution in the unstructured overlays

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2012年第3期55卷 714-722页

作者： FENG GuoFu1,2 , LI WenZhong2, LU SangLu2, CHEN DaoXu2 & BUYYA Rajkumar3 1school of information science, nanjing Audit university, nanjing 210029, china 2State Key Laboratory of Novel software technology, nanjing university, nanjing 210093, china 3Department of computer science and software Engineering, The university of Melbourne, Victoria 3010, Australia school of information science Nanjing Audit University Nanjing China State Key Laboratory of Novel software technology Nanjing University Nanjing China Department of computer science and software Engineering The University of Melbourne Victoria Australia

Replication is a widely used technique in unstructured overlays to improve content availability or system performance. A fundamental question often addressed by previous work focused on: how many replicas ought to be allocated for each data item given the fixed query rates and limited storage capability? In this paper, we have put forth two optimal replica distributions to achieve the highest success rate and the lowest message consumption. Especially, we have investigated the influence of item size on replica distribution. Our results show that Square-Root Replication, which is traditionally considered to be optimal, is not always the best choice. Our study offers a new deep understanding of resource managment in self-organized unstructured overlays.

关键词： unstructured overlay item size distribution query rate success rate expected search size

Research on heart sound identification technology

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2012年第2期55卷 281-292页

作者： CHENG XieFeng1,3,MA Yong2,LIU Chen1,ZHANG XueJun1 & GUO YuFeng11school of Electronic science and Engineering,nanjing university of Posts and Telecommunications,nanjing 210003,china 2school of computer science and technology,nanjing university of science and technology,nanjing 210094,china 3Key Lab of Broudbard Wireless Communication and Sensor Network technology(nanjing university of Posts and Telecommunications),Ministry of Education,nanjing 210094,china school of Electronic science and Engineering Nanjing University of Posts and Telecommunications Nanjing China Ministry of Education Key Lab of Broudbard Wireless Communication and Sensor Network Technology (Nanjing University of Posts and Telecommunications) Nanjing China school of computer science and technology Nanjing University of Science and Technology Nanjing China

In this article,both the basic principles and the experimental methods of identity recognition technology based on heart sounds are ***,the characteristics of heart sounds and the feasibility of heart sounds as a biometric were analyzed.A synthetic model of heart sounds was then developed based on a family of wavelets;Finally,the characteristic parameters of heart sounds were extracted by using the heart sounds linear band frequency cepstra(HS-LBFC)with a specified configuration,and the similarity distance was adopted for heart sound *** highlight the difference in two heart sound signals between the time and frequency domains,a construction method of the heart sound wavelet,a calculation method of the parameters of a synthetic model,selection of the characteristic parameters of heart sounds and the corresponding data processing technology were *** experimental results showed that the proposed method exhibited excellent performance and practicability.

关键词： biometric wavelet family of heart sounds synthetic model of heart sounds heart sounds linear band frequency cepstra(HS-LBFC)

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 State Key Laboratory for Novel software technology Nanjing University Nanjing China software Institute Nanjing University Nanjing 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

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 State Key Laboratory for Novel software technology Department of Computer Science and Technology Nanjing University Nanjing 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