检索结果-南通市图书馆

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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于父亲树的无线传感器网络路由协议

引用

计算机技术与发展 2008年第8期18卷 4-7页

作者：黄海平王汝传孙力娟蒋颢南京邮电大学计算机学院

对当前无线传感器网络的路由协议进行分类,指出其各自存在的缺陷或不足。尤其针对于LEACH及其改进的相关协议,参照无线传感器网络路由协议的需求——能量优先、以数据为中心等,提出了一种基于父亲树的路由协议,具体描述了其簇头节点的... 详细信息

对当前无线传感器网络的路由协议进行分类,指出其各自存在的缺陷或不足。尤其针对于LEACH及其改进的相关协议,参照无线传感器网络路由协议的需求——能量优先、以数据为中心等,提出了一种基于父亲树的路由协议,具体描述了其簇头节点的选取流程、新节点的加入和选路的机制。最后给出该方案的可行性分析,并与LEACH协议做了能量消耗的比较,结论证明,该方案能较好满足无线传感器网络路由协议的各项需求,在能量消耗方面优于当前主流的LEACH协议。

关键词：无线传感器网络路由协议父亲树 LEACH协议

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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 National key laboratory for novel software technology Nanjing University Nanjing 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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Contourlet HMT model with directional feature

引用

Science china(Information Sciences) 2012年第7期55卷 1563-1578页

作者： WANG XiangHai 1,2,3 ,CHEN MingYing 1 ,SONG ChuanMing 1,2 ,XU MengChun 1 & FANG LingLing 3 1 College of Computer and Information technology,Liaoning Normal University,Dalian 116029,china 2 state key laboratory for novel software technology,nanjing University,nanjing 210093,china 3 Provincial key laboratory for Computer Information Processing technology,Soochow University,Suzhou 215006,china College of Computer and Information technology Liaoning Normal University Dalian China state key laboratory for novel software technology Nanjing University Nanjing China Provincial key laboratory for Computer Information Processing technology Soochow University Suzhou China

According to Shanno's information theory,the directional feature of texture is defined as the value of directional variable when an image signal attains a singularity of random *** terms of this definition,we calculate the texture's directional features using Tamura's method and study the directional probability distribution of Contourlet *** we find that the directional features tend to be conveyed across parent and child *** on this conclusion,we establish a novel probability distribution model of hidden direction variables under the condition of hidden state variable's distribution,named Contourlet HMT model with directional *** structure and training method of the model are presented as ***,an unsupervised context-based image segmentation algorithm is proposed on the basis of the proposed *** effectiveness is verified via extensive experiments carried out on several synthesized images and remote sensing images.

关键词： directional feature Contourlet HMT Contourlet HMT with directional feature unsupervised texture segmentation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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 state key laboratory of Analytical Chemistry for Life Science Department of Chemistry Nanjing University Nanjing 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A self-steering close-talking microphone array

引用

Progress in Natural Science:Materials International 2005年第11期15卷 1044-1049页

作者： PENG Ke, YANG Xinfeng and XU Boling (state key laboratory of Modern Acoustics, Institute of Acoustics, nanjing University, nanjing 210093, china) state key laboratory of Modern Acoustics Institute of Acoustics Nanjing University Nanjing 210093 China

For communication in extremely noisy environments, close-talking microphone arrays are useful. Differential microphone array systems possessing excellent nearfield directivity and strong farfield-noise reduction capability are very suitable for close-talking situations. In order to improve the focusing effect at the desired bearing in the nearfield, we propose a novel self-steering system of close-talking arrays with the first-order differential sub-arrays in this paper. Calculations of directivity patterns and directivity factors show that when a kind of optimized beamforming technique is adopted even small arrays with a focusing configuration will exhibit a satisfactory nearfield directivity which is electronically steerable within a specific range. The superiority of the proposed array system is verified by experiments with real acoustic data.

关键词： close-talking array differential array self-steering directivity factor.

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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 China Department of Computer Science and technology Nanjing University Nanjing 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：