检索结果-南通市图书馆

Multi-dimensional project management models for mega-construction companies and their applications

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2011年第S1期54卷 118-124页

作者： LIN ZhengHang 1,2.QIANG MaoShan 1,2.TANG WenZhe 1,2.FAN QiXiang 3 &LIU Qiang 4 1 Institute of Project Management and Construction Technology,Tsinghua university,Beijing 100084,china 2.{2. key laboratory of Hydraulic and engineering,Tsinghua university,Beijing 100084,china 3 china Three Gorges Corporation,Yichang 443002.china 4 School of software,Tsinghua university,Beijing 100084,china 1. Institute of Project Management and Construction Technology Tsinghua University Beijing 100084 China2. State Key Laboratory of Hydraulic and Engineering Tsinghua University Beijing 100084 China3. China Three Gorges Corporation Yichang 443002 China4. School of Software Tsinghua University Beijing 100084 China

china is undertaking an increasing number of mega-infrastructure projects along with its rapid economic *** participants in these projects,understand how to adapt the proper and efficient management strategies is *** this paper,we propose three distinct models for companies under various background and management requirements,based on sophisticated data analysis and model ***,we successfully committed these models with hydropower development projects and achieved a great progress in enhancing management efficiency.

关键词： project management models mega-construction companies applications hydropower development companies

Reflective state Pattern with Dynamic Constructiveness

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2001年第Z1期6卷 191-199页

作者： Jiang Hong 1. He Ke\|qing 1. Ying Shi 2.1.College of Computer,Wuhan {1.,Wuhan 430072.china 2.{2. key laboratory of software engineering,Wuhan {1.,Wuhan 430072.china College of Computer Wuhan University Wuhan 430072 China

After discussing the reflective method of structure and behavior in the state design pattern based on Role Object pattern and the Reflective pattern of {1. architecture, this paper proposes a reflective state pattern with dynamic constructiveness. This paper explains the meta level and the base level, which are two levels of this pattern, and specifies the relation of two levels by using Meta Object Protocol (MOP). Then it discusses mechanism of interception and reification for reflecting base object from Meta object. Finally this paper gives an example of network server for applying the Reflective state pattern.

关键词： role model state design pattern reflective pattern role object pattern

Scaling up the DBSCAN Algorithm for Clustering Large Spatial Databases Based on Sampling Technique

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2001年第Z1期6卷 467-473页

作者： Guan Ji hong 1. Zhou Shui geng 2. Bian Fu ling 3, He Yan xiang 1.1. School of Computer, Wuhan {1., Wuhan 430072. china 2.{2. key laboratory of software engineering, Wuhan {1., Wuhan 430072. china 3.College of Remote Sensin School of Computer Wuhan University Wuhan 430072 China

Clustering, in data mining, is a useful technique for discovering interesting data distributions and patterns in the underlying data, and has many application fields, such as statistical data analysis, pattern recognition, image processing, and etc. We combine sampling technique with DBSCAN algorithm to cluster large spatial databases, and two sampling based DBSCAN (SDBSCAN) algorithms are developed. One algorithm introduces sampling technique inside DBSCAN, and the other uses sampling procedure outside DBSCAN. Experimental results demonstrate that our algorithms are effective and efficient in clustering large scale spatial databases.

关键词： spatial databases data mining clustering sampling DBSCAN algorithm

A software architecture centric self-adaptation approach for Internetware

在线全文

学校读者我要写书评

暂无评论

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

作者： MEI Hong1,2. HUANG Gang1,2. LAN Ling1,2.& LI JunGuo1,2.1 key laboratory of High Confidence {2. Technologies (Peking university), Ministry of Education, Beijing 100871, china 2.School of Electronics engineering and Computer Science, Peking university, Beijing 100871, china 1. key {1. of High Confidence {2. Technologies (Peking university) Ministry of Education Beijing 100871 China 2. School of Electronics {1. and Computer Science Peking University Beijing 100871 China

Being one of the basic features of Internetware, self-adaptation means that the software system can monitor its runtime {1. and behavior and adjust them when necessary according to pre-defined policies. Focusing on the three fundamental issues of self-adaptation, including the scope, operability and trustworthiness, a software architecture （SA） centric approach for Internetware＇s self-adaptation is presented in this paper. All of the self-adaptive actions, i.e. monitoring, analyzing, planning and executing, are performed based on SA. In detail, runtime {1. and behavior of Internetware are represented and changed in the form of runtime soft- ware architecture. The knowledge for self-adaptation is captured, organized and reasoned in the form of SA so that automatic analysis and decision-making are achieved.

关键词： Internetware self-adaptation software architecture middleware

Numerical simulations of the discontinuous progression of cerebral aneurysms based on fluid-structure interactions study

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2010年第5期53卷 944-953页

作者： MA XiaoQi1.WANG YueShe1.YU FangJun1.& WANG GuoXiang1.2.1.{1. key {2. of Multiphase Flow in Power engineering,Xi’an Jiaotong university,Xi’an 71.049,china 2.Department of Mechanical engineering,The university of Akron,Akron,OH 4432.-3903,USA 1. state {1. {2. of Multiphase Flow in Power engineering Xi’an Jiaotong University Xi’an 710049 China2. Department of Mechanical Engineering The University of Akron Akron OH 44325-3903 USA

Investigations into the characteristics of hemodynamics will provide a better understanding of the pathology of cerebral aneurysms for *** this work,a steady state discontinuous-growth model of the cerebral aneurysms was *** the assumption of the fluid-structure interaction between the wall of blood vessel and blood,a fluid-structure coupling numerical simulation for this model was built using {1. ANSYS and *** simulation results showed that as the aneurysm volume increased,a blood flow vortex came forth,the vortex region became asymptotically larger,and eddy density became gradually stronger in *** the emergence of the vortex region,the blood flow in the vicinity of the downstream in the aneurysms volume turned into bifurcated flow,and the location of the flow bifurcated point was shifted with the aneurysm volume growing while directions of the shear stress applied to two sides of the bifurcated point were *** Von Mises stress distribution along the wall of aneurysm volume decreased in the prior period and increased gradually in the later *** maximum stress was in the neck of the volume and the minimum was on the distal end in the whole process of *** was shown that as the aneurysm increased the maximum deformation location of the aneurysm,vertical to the streamline,was transferred from the distal end of the aneurysm to its neck,then back to its distal end of the aneurysm again.

关键词： cerebral aneurysm fluid-structure interaction wall shear stress discontinuous progression

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 {1.,Nanjing university,Nanjing 2.0093,P.R.{2.a 2.state key laboratory for Novel software Technology,Nanjing university,Nanjing 2.0093,P.R.{2.a 3.School of software,Dalian university of Technology,Dalian 1.662.,P.R.{2.a Department of Control and System engineering Nanjing University Nanjing 210093 P. R. China state {1. {2. 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.

Restructuring C Programs into C++ Programs

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2001年第Z1期6卷 256-262页

作者： Zhang Ying 1.Zhou Yu ming 1.Xu Bao wen 1.2., Liu Yuan 1.1.Department of Computer Science and {1., Southeast university, Nanjing 2.0096, {2.a 2.state key laboratory of software {1., Wuhan university, Wuhan 430072. {2.a Department of Computer Science and engineering Southeast University Nanjing 210096 China

There exist a lot of legacy systems written in C language, which are difficult to understand, modify, maintain and reuse. How to improve the quality of these non object oriented systems has become an important issue in software {1. area. A possible way is to transform these procedural systems into semantically equivalent object oriented systems implemented in C++ language, which provides object oriented features such as data abstraction, inheritance and polymorphism, makes software system more comprehensible, maintainable and reusable. A detailed discussion on polymorphism analysis, object discovery and possible inheritance relation extraction on C to C++ conversion problem is made, which is also suitable to the transformation on legacy systems implemented in other procedural languages to equivalent object oriented systems.

关键词： object extraction cohesion coupling inheritance

An Analysis Method of Business Application Framework

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2001年第Z1期6卷 218-223页

作者： He Ke\|qing 1.Fan Hui hua 1.Ying Shi 2.1.Department of Computer Science, Wuhan {1., Wuhan 430072. china 2.{2. key laboratory of software engineering, Wuhan {1., Wuhan 430072. china Department of Computer Science Wuhan University Wuhan 430072 China

We discuss the evolution of object oriented software development process based on software pattern. For developing mature software framework and component, we advocate to elicit and incorporate software patterns for ensuing quality and reusability of software frameworks. On the analysis base of requirement specification for business application domain, we present analysis method and basic role model of software framework. We also elicit analysis pattern of framework architecture, and design basic role classes and their structure.

关键词： object oriented software framework analysis pattern of architecture component role model

Verify UML statecharts with SMV

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2001年第Z1期6卷 183-190页

作者： Chen Hai yan 1. Dong Wei 1. Wang Ji 1.2., Chen Huo wang 1.1.Department of Computer Science, National {1. of Defense Technology, Changsha 41.073, china 2.{2. key laboratory for software engineering, Wuhan {1., Wuhan 430072. C Department of Computer Science National University of Defense Technology Changsha China state {1. {2. for software engineering Wuhan University Wuhan China

Formal verification has been widely needed in the development of safety critical systems. In order to introduce the design verification activity in UML developing process, we have developed a verifier of UML statecharts by using the model checker SMV. The approach is to transform a system model in UML statecharts to one in SMV input language via an intermediate language and then to verify the system properties specified in CTL by invoking SMV. The current experiences, including the formal verification of a simplified directory based cache coherence protocol in UML statecharts, show that automatic verification can be integrated as a new step of the software process nicely.

关键词： formal verification UML statecharts EHA SMV