检索结果-南通市图书馆

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 2.0093. china 4 department of computer science and technology, nanjing University, nanjing 2.0093. 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 {3. 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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 & {3.,nanjing 210044,china 2 Network Information Center,nanjing University of Information science & {3., nanjing 210044,china 3.School of Mathematics and Physics,nanjing University of Information science & {3.,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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A relative local variational principle for topological pressure

引用

science china Mathematics 2010年第6期53卷 1491-1506页

作者： MA XianFeng1,CHEN ErCai2,3.& ZHANG AiHua2,4 1department of Mathematics,East china University of science and {3.,Shanghai 20023.,china 2School of Mathematics and computer science,nanjing Normal University,nanjing 210097,china 3.enter of Nonlinear science,nanjing University,nanjing {13.china 4College of Mathematics and Physics,nanjing University of Posts and Telecommunications,nanjing 210046,china department of Mathematics East China University of Science and Technology Shanghai China School of Mathematics and computer science Nanjing Normal University Nanjing China Center of Nonlinear science Nanjing University Nanjing China College of Mathematics and Physics Nanjing University of Posts and Telecommunications Nanjing China

We define the relative local topological pressure for any given factor map and open cover,and prove the relative local variational principle of this *** precisely,for a given factor map π:(X,T)→(Y,S) between two topological dynamical systems,an open cover U of X,a continuous,real-valued function f on X and an S-invariant measure ν on Y,we show that the corresponding relative local pressure P(T,f,U,y) satisfies sup μ∈M(X,T){ hμ(T,U|Y)+∫X f(x)dμ(x) :πμ=ν}=∫Y P(T,f,U,y)dν(y),where M(X,T) denotes the family of all T-invariant measures on ***,the supremum can be attained by a T-invariant measure.

关键词： pressure conditional entropy relative local variational principle

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Feedback-Based Web Search Engine

引用

Wuhan University Journal of Natural sciences 2004年第5期9卷 561-568页

作者： ZHANG Wei-feng 1,2,3., XU Bao-wen 2,3.4 , ZHOU Xiao-yu 2,3.4 1. department of computer science and Engineering, {3. University of Posts and Telecommunications, {3. 210003. Jiangsu, china 2. department of computer science and Engineering, Southeast University, {3. 210096, Jiangsu, china 3. Jiangsu Institute of Software Quality, {3. 210096 Jiangsu, china 4. The State Key Laboratory of Software Engineering, Wuhan University, Wuhan 43.072, Hubei, china department of computer science and Engineering Nanjing University of Posts and Telecommunications Nanjing Jiangsu China department of computer science and Engineering Southeast University Najing Jiangsu China Jiangsu Institute of Software Quality Nanjing Jiangsu China The State Key Laboratory of Software Engineering Wuhan University Wuhan Hubei China

Web search engines are very useful information service tools in the Internet. The current web search engines produce search results relating to the search terms and the actual information collected by them. Since the selections of the search results cannot affect the future ones, they may not cover most people’s interests. In this paper, feedback information produced by the user’s accessing lists will be represented by the rough set and can reconstruct the query string and influence the search results. And thus the search engines can provide self-adaptability. Key words WWW - search engine - query reconstruction - feedback CLC number TP 3.1. 13..4 Foundation item: Supported by the National Natural science Fundation of china (603.3.66). National Grand Fundamental Research 973.Program of china (2002CB3.200). Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University, Opening Foundation of Jiangsu Key Laboratory of {3. Information Processing technology in Soochow UniversityBiography: ZHANG Wei-feng (1975-), male, Ph.D. research direction: artificial intelligence, search engine, data mining, network language.

关键词： WWW search engine query reconstruction feedback

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

One-step estimation for varying coefficient models

引用

science china Mathematics 2005年第2期48卷 198-213页

作者： TANG Qingguo & WANG Jinde department of Mathematics, nanjing University, nanjing 2.0093. china Institute of {3.s, PLA University of {3. and technology, nanjing 210007, china department of Mathematics Nanjing University Nanjing China Institute of sciences PLA University of Science and Technology Nanjing China

A one-step method is proposed to estimate the unknown functions in the varying coefficient models, in which the unknown functions admit different degrees of smoothness. In this method polynomials of different orders are used to approximate unknown functions with different degrees of smoothness. As only one minimization operation is employed, the required computation burden is much less than that required by the existing two-step estimation method. It is shown that the one-step estimators also achieve the optimal convergence rate. Moreover this property is obtained under conditions milder than that imposed in the two-step estimation method. More importantly, as only one minimization operation is employed, the full asymptotic properties, not only the asymptotic bias and variance, but also the asymptotic distributions of the estimators can be derived. The asymptotic distribution results will play a key role for making statistical inference.

关键词： varying coefficient model, one-step estimation, asymptotic distribution, optimal convergence rate.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Quantitative structure－activity study on the reductive dehalogenation potency of the halogenated aromatics

引用

Journal of Environmental sciences 1995年第2期7卷 183-189页

作者： Huang Qingguo Wang Liansheng Han Shuokui(department of Environmental science and technology, {3. University , {3. 210008 , china) Dept of Envmlt Sci & Tech Nanjing Univ Nanjing China

Ｑｕａｎｔｉｔａｔｉｖｅｓｔｒｕｃｔｕｒｅ－ａｃｔｉｖｉｔｙｓｔｕｄｙｏｎｔｈｅｒｅｄｕｃｔｉｖｅｄｅｈａｌｏｇｅｎａｔｉｏｎｐｏｔｅｎｃｙｏｆｔｈｅｈａｌｏｇｅｎａｔｅｄａｒｏｍａｔｉｃｓＨｕａｎｇＱｉｎｇｇｕｏ；... 详细信息

Ｑｕａｎｔｉｔａｔｉｖｅｓｔｒｕｃｔｕｒｅ－ａｃｔｉｖｉｔｙｓｔｕｄｙｏｎｔｈｅｒｅｄｕｃｔｉｖｅｄｅｈａｌｏｇｅｎａｔｉｏｎｐｏｔｅｎｃｙｏｆｔｈｅｈａｌｏｇｅｎａｔｅｄａｒｏｍａｔｉｃｓＨｕａｎｇＱｉｎｇｇｕｏ；ＷａｎｇＬｉａｎｓｈｅｎｇ；Ｈａｎ...

关键词： quantitative structure - activity relationship(QSAR) halogenated arornatics dehalogenation poten-cy discriminant function.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Low-complexity distributed differential spacetime coding scheme for amplify-and-forward cooperative networks

引用

science in china(Series F) 2009年第8期52卷 1418-1427页

作者： YU XiangBin1,2, BI GuangGuo3.& XU WeiYe4 1 College of Information science and technology, nanjing University of Aeronautics and Astronautics, nanjing 210016, china 2 department of Electronic Engineering, City University of Hong Kong, Hong Kong, china 3.National Mobile Communications Research Laboratory, Southeast University, nanjing 210096, china 4 department of Communication Engineering, nanjing Institute of technology, nanjing 211167, china College of Information science and technology Nanjing University of Aeronautics and Astronautics Nanjing China department of Electronic Engineering City University of Hong Kong Hong Kong China National Mobile Communications Research Laboratory Southeast University Nanjing China department of Communication Engineering Nanjing Institute of Technology Nanjing China

By introducing a space-time coding scheme based on amicable orthogonality, we develop a distributed differential space-time coding scheme with the amplify-and-forward （AF） method for wireless cooperative networks. The scheme requires no knowledge of the channel state information at both transmitters and receivers, and effectively decreases the realization complexity due to no channel estimation. Moreover, it has lower decoding complexity and higher coding advantage than the existing scheme, thus avoiding the shortcoming of exponential decoding complexity of some existing schemes. According to the pairwise error probability （PEP） analysis of the system, the power allocations of source and relay terminals are jointly optimized, and as a result, the PEP is minimized, which will provide a helpful guideline for system design. Numerical calculation and simulation results show that the developed scheme is superior to the existing scheme. Moreover, the scheme with optimal power allocation yields obvious performance improvement over that with equal power allocation.

关键词： differential space-time coding cooperative communication amplify-and-forward method power allocation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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 {3. and technology,nanjing University,nanjing 2.0093.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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Two possible mechanisms for vortex self-organization

引用

science china Earth sciences 2006年第2期49卷 202-211页

作者： LUO Zhexian2, ZHOU Xiuji1 & GAO Shouting3.1. Chinese Academy of Meteorological sciences, Beijing 100081, china 2. department of Space Information science, nanjing University of Information science and technology, nanjing 210044, china 3. Institute of Atmospheric Physics, Chinese Academy of sciences, Beijing 100029, china department of Environmental science Nanjing University of Information Science and Technology Nanjing China Chinese Academy of Meteorological sciences Beijing China Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China

The vortex self-organization is investigated in this paper by four groups of numerical experiments within the framework of quasi-geostrophic model, and based on the experimental results two types of possible mechanisms for vortex self-organization are suggested. The meso-scale to-pography may enable separated vortices to merge into a larger scale vortex; and the interaction of meso-γ and meso-β scale systems may make separated vortices to self organize a typhoon-like vor-tex circulation.

关键词： vortex, self-organization, meso-scale topography, interaction of different scales.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

REGULARITIES AND SINGULARITIES OF THE ENERGY MINIMIZERS OF THE HEISENBERG GROUP TARGETS

引用

Acta Mathematica Scientia 2003年第4期23卷 447-452页

作者：贾高 School of science Nanjing University of Science and Technology Nanjing 210094 China Department of Mathematics Bengbu Tank Institute Bengbu 233013 China

In this paper, the properties of the maps for the Heisenberg group targets are studied. For u e∈W1,α(Ω, Hm), some Poincare type inequalities are proved. For the energy minimizers, the ∈-regularity theorems and the... 详细信息

关键词： Heisenberg group energy minimizer Legendrian map regularity singularity

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：