检索结果-内蒙古大学图书馆

作者： Huangfu, Xianpeng Luo, Aimin Huang, Li Chen, Honghui Luo, Xueshan National Key Laboratory of Science and Technology on Information System Engineering National University of Defense Technology China Informatics Research Center University of Reading United Kingdom Department of Computer Science University of Leicester United Kingdom

ISBN: (纸本)9789898425263

With the development of information, the paradigm in distributed networked applications is shifting towards Service Oriented Architecture, which has some good quality of louse coupled, reused, opened and integrated attributes. Single service can only satisfy some certain requirement, only large scale of integration can solve the conflicts between demands and supply. It involves three layers' integration, the bottom data integration, the middle process integration and the uppermost architecture integration. The paper mainly focuses on the middle process integration. The paper makes use of object Petri net language to construct five meta-models of sequence, alternative, parallel, arbitrary sequence, and iteration operations and studies some characteristics of these meta-models. On the basis of the above analysis, we make further research on process integration methods and models. Finally, process integration algorithm and analysis are made, which verifies the improvement of process analysis and implementation efficiency.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

Research on systematic metrics of network survivability

Research on systematic metrics of network survivability

引用

International Conference on information science and Engineering (ICISE)

作者： Liang Ming Dongxia Wang Lufeng Zhang Chunlei Wang Jian Tang Jinjing Zhao Nation Key Laboratory of Science and Technology on Information System Security Beijing Institute of System Engineering Beijing China Department of Computer Science and Technology Tsinghua University Beijing 100084 China

As networks develop into large-scale systems, survivability of network systems is imperative. The systematic metrics of network survivability are used to measure or evaluate network survivability. This Paper summarizes the systematic metrics and their lack for measuring or computing network survivability while providing an easy way to reference baseline of the current state. It also provides some principles of network survivability metrics, and divides the current network survivability metrics into three types: target-based network survivability metrics, method-based network survivability metrics, and description-based network survivability metrics. At last, the trend of network survivability metrics is given: A set of quantitative, user-orientation, hierarchical and systematic survivability metrics, which can reflect full aspects and characters during the whole process of survivable networks, are required.

关键词： Measurement Conferences information systems Computational modeling systematics computer security

来源：评论

学校读者我要写书评

暂无评论

An aspect oriented approach to analyzing fault of service composition

An aspect oriented approach to analyzing fault of service co...

引用

2010 IEEE Asia-Pacific Services Computing Conference, APSCC 2010

作者： Fan, Guisheng Yu, Huiqun Gu, Chunhua Chen, Liqiong Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)9780769543055

Service composition is an effective way to achieve value-added service, which has found wide application in software system. Fault handling is critical to achieve high reliability for these applications. However, the existing service composition methods seldom consider services' fault handling, which results in high risk of runtime failure. This paper proposes a formal aspect-oriented approach to designing and analyzing fault of service composition. The underlying formalism is Petri net and its corresponding modeling method. The fault handling process is encapsulated into aspect net and base net, and Petri net is used to model the core concerns and crosscutting concerns, the weaving mechanism systematically integrates these schemas into a complete service composition model. Based on the model, the related theories of Petri net help prove the correctness of fault handling. Finally, an Export Service and simulation results show that our method can ensure the high reliability and design quantity of service composition. © 2010 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Analyzing real-time schedulability of resource-oriented distributed real-time embedded software

Analyzing real-time schedulability of resource-oriented dist...

引用

2010 2nd IEEE International Conference on information Management and Engineering, ICIME 2010

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China

ISBN: (纸本)9781424452644

As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) software is becoming increasingly common and important, a challenging problem faced by researchers and developers of DRE software is how to devise and implement a method that can effectively analyze requirements in varying operational conditions. In this paper, a Distributed Real-time Embedded net (DREN) is proposed as software design specification modeling tool. The basic tasks, function module and communication process are modeled by using DREN, thus forming the entire application by making use of Petri net's synthesis operation. Time Reachability Graph is adopted to analyze the correctness of DRENmodel, the basic properties of DRE system are also considered. Finally, a specific example is given to simulate the analytical process, the results show that the method can be a good solution to analyze DRE software. © 2010 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method

Reconstructing 3D Objects from 2D Sectional Views of Enginee...

引用

International Conference on Shape Modeling and Applications

作者： Yamei Wen Hui Zhang Zhongmian Yu Jiaguang Sun Jean-Claude Paul Department of Computer Science and Technology Tsinghua University Beijing China Key Laboratory of Information System Security Ministry of Education Beijing China School of Software Tsinghua University Beijing China Key Laboratory for Information System Security Ministry of Education Beijing China Information Science and Technology Tsinghua National Laboratory for Information Science and Technology Beijing China INRIA France

ISBN: (纸本)9781424472598;9780769540726

Sectional views are widely used in engineering practice due to their clear and concise expression. However, it is difficult for computers to understand because of the large numbers of omitted entities and their diversified representations. This paper aims at reconstructing 3D models from 2D sectional views by improving the traditional volume based method. First, we present a two-stage loop searching algorithm to extract desired loops from sectional views. Then, sub-objects are identified by the hint-based feature identification algorithm with an intuitive loop-matching criterion. After that, a model-directed algorithm is proposed to guide the generation of sub-objects which are assembled together to form the final objects. The algorithm can handle full sections, partial sections and offset sections, as well as orthographic views. Multiple sectional views are supported in our algorithm. Moreover, the domain of objects is extended to inclined quadric surfaces and intersecting quadric surfaces with higher order curves. Experiment results show its practicability.

关键词： Engineering drawings Solid modeling Surface reconstruction Educational technology Laboratories Assembly Design automation Shape computer science information science

来源：评论

学校读者我要写书评

暂无评论

Location-aware downlink and uplink power control and throughput optimization in cellular cognitive radio networks

引用

Frontiers of Electrical and Electronic Engineering in China 2010年第4期5卷 441-448页

作者： Zhiyao MA Wei CHEN Zhigang CAO Khaled Ben LETAIEF State Key Laboratory on Microwave and Digital Communications Tsinghua National Laboratory for Information Science and Technology(TNList)Department of Electronic EngineeringTsinghua UniversityBeijing 100084China Department of Electronic and Computer Engineering The Hong Kong University of Science and TechnologyHong KongChina

In this paper,we consider throughput maximization in cognitive radio systems with proper power *** particular,we incorporate location-awareness into the power control design and maximize the average throughput of the cognitive *** we shall show,the proposed approach effectively utilizes the“spatial opportunity”to maximize the system throughput,which clearly outperforms traditional power control ***,the proposed approach still exhibits significant throughput gain even considering imperfect position information,with appropriate robust design modifications.

关键词： cognitive radios spectrum hole power control localization optimization

来源：评论

学校读者我要写书评

暂无评论

Research on test model of network survivability

引用

Journal of Computational information systems 2010年第4期6卷 1301-1309页

作者： Ming, Liang Wang, Dongxia Zhang, Lufeng Wang, Chunlei Zhao, Jinjing Tang, Jian Beijing Institute of System Engineering Beijing 100101 China National Key Laboratory of Science and Technology on Information System Security China Dept. of Computer Science and Technology Tsinghua University Beijing 10084 China

Survivability is of a prime concern in the analysis and design of information infrastructure. This paper presents a novel test model for survivable network, in the presence of attacks, failures, or accidents. We name this model TMEPSN. According to the characters in several phases that a survivable network will encounter, i.e. resistance, recognition, and recovery, the test model TMEPSN is built on six basic components, which are test scenes, network states, survivability metrics, test objects, and test methods. Depending on the relationship of six basic components of TMEPSN, the relationship matrix among the components is set up, and the formal description of survivability test is also given. Upon these foundations, a function formula for assigning test methods is provided, and survivability test subset based on survivability metrics is defined and analyzed. In the final part of the paper, a case for how to use the model is discussed in detail. From the case, we can find out that the test model TMEPSN can be helpful to perform an efficient, integrated and parallel test for network survivability. Copyright © 2010 Binary information Press.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

Notice of Retraction: The research and development of worm defense strategies

Notice of Retraction: The research and development of worm d...

引用

International Conference on computer science and information technology (CSIT)

作者： Liuqi Ma Guoqing State Key Laboratory of Information Security Chinese Academy and Sciences Beijing China Information System Security National Key Laboratory of Science and Technology Beijing China

This article has been retracted by the publisher.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on systematic metrics of network survivability

Research on systematic metrics of network survivability

引用

2nd International Conference on information science and Engineering, ICISE2010

作者： Ming, Liang Wang, Dongxia Zhang, Lufeng Wang, Chunlei Tang, Jian Zhao, Jinjing Nation Key Laboratory of Science and Technology on Information System Security Beijing Institute System Engineering Beijing 100101 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China

ISBN: (纸本)9781424480968

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Trust based routing for misbehavior detection in Ad hoc networks

引用

Journal of Networks 2010年第5期5卷 551-558页

作者： Gong, Wei You, Zhiyang Chen, Danning Zhao, Xibin Gu, Ming Lam, Kwok-Yan Department of Computer Science and Technology Tsinghua University Beijing 100084 China Key Laboratory of Information System Security of Ministry of Education School of Software Tsinghua University Beijing 100084 China

Node misbehavior due to selfish or malicious intention could significantly degrade the performance of MANET because most existing routing protocols in MANET are aiming at finding most efficiency path. To deal with misbehavior in MANET, an incentive mechanism should be integrated into routing decision-making. In this paper firstly we review existing techniques for secure routing, and then propose to use trust vector model based routing protocols. Each node would evaluate its own trust vector parameters about neighbors through monitoring neighbors' pattern of traffic in network. At the same time, trust dynamics is included in term of robustness. Then we integrated trust model into Dynamic Source Routing (DSR) and Ad-hoc On Demand Distance Vector (AODV) which are most typical routing protocols in MANET. We evaluate the performance of those trust routing protocols by comparing the simulation results of with and without the proposed trust mechanism. The simulation results demonstrate that modified routing protocols can effectively detect malicious nodes and mitigate their attacks. © 2010 ACADEMY PUBLISHER.

关键词： Routing protocols

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：