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

ACM SIGAda's Annual International Conference High Integrity Language technology, HILT 2014

作者： Ahmad, Ehsan Larson, Brian R. Barrett, Stephen C. Zhan, Naijun Dong, Yunwei State Key Lab. of Comput. Sci. Inst. of Software Northwestern Polytechnical University Chinese Academy of Sciences China Computing and Information Systems Kansas State University ManhattanKS66506 United States State Key Lab. of Comput. Sci. Inst. of Software Chinese Academy of Sciences Beijing100190 China School of Computer Science Northwestern Polytechnical University Xi'an710129 China

ISBN: (纸本)9781450332170

Correct design, and system-level dependability prediction of highly-integrated systems demand the collocation of requirements and architectural artifacts within an integrated development environment. Hybrid systems, having dependencies and extensive interactions between their control portion and their environment, further intensify this need. AADL is a model-based engineering language for the architectural design and analysis of embedded control systems. Core AADL has been extended with a mechanism for discrete behavioral modeling and analysis of control systems, but not for the continuous behavior of the physical environment. In this paper, we introduce a lightweight language extension to AADL called the Hybrid Annex for continuoustime modeling, fulfilling the need for integrated modeling of the computing system along with its physical environment in their respective domains. The Isolette system described in the FAA Requirement Engineering Management Handbook is used to illustrate continuous behavior modeling with the proposed Hybrid Annex. Copyright 2014 ACM.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Reputation-Based Participant Incentive Approach in Opportunistic Cognitive Networks

Reputation-Based Participant Incentive Approach in Opportuni...

引用

10th Annual Conference of Advanced Computer Architecture, ACA 2014

作者： Li, Jie Liu, Rui Yu, Ruiyun Wang, Xingwei Zhao, Zhijie Computing Center Northeastern University Shenyang China Key Lab of Network Control Systems Chinese Acad. of Sci. Shenyang China Department of Computing Hong Kong Polytechnic University Hong Kong Software College Northeastern University Shenyang China College of Information Sci. and Eng. Northeastern University Shenyang China Info. and Tech. Center of China Mobile Group Liaoning Co. LTD China

ISBN: (纸本)9783662444900

Sufficient reputable participants are critical to effective data collections and data disseminations in opportunistic cognitive networks. However, it is difficult to identify reputable or malicious participants in opportunistic networks. Cognitive network technology can be applied to the communication system of opportunistic networks to provide reputation-aware schemes of the participants. Furthermore, keeping participants enthusiasm for activities of networks is also important. In this work, we propose a Reputation-Based Participant Incentive Approach (RBPIA) to motivate reputable participants. RBPIA scores participants using reputation degree according to their sensing data and bid price respectively and encourage them to keep interested in the activities with rewards. Simulations are performed in different scenarios to evaluate efficiency of the approach. The results show that RBPIA can identify participant types well, and remarkably reduce the incentive cost. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Costs

来源：评论

学校读者我要写书评

暂无评论

Analyzing the characteristics of "East Turkistan" activities using text mining and network analysis

引用

Zidonghua Xuebao/Acta Automatica Sinica 2014年第11期40卷 2456-2468页

作者： Fu, Ju-Lei Liu, Wen-Li Zheng, Xiao-Long Fan, Ying Wang, Shou-Yang College of Information System and Management National University of Defense Technology Changsha410073 China Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China State Key Laboratory of Management and Control Systems Institute of Automation Chinese Academy of Sciences Beijing100190 China Cloud Computing Industrial Technology Innovation and Incubation Center Chinese Academy of Sciences Dongguan523808 China School of Systems Science Beijing Normal University Beijing100875 China

Open source intelligence, with rich content and sophisticated collection and analytical techniques, is an alternative data source in many anti-terrorism studies and has manifested significant applicable prospects. In this paper, we take the "East Turkistan" separatist activities as the research objects and collect the data from the world wide web by utilizing web crawlers. We adopt text analysis techniques to extract the information of four fundamental elements of "East Turkistan" separatist activities, including person, organization, time and place, and then construct multi-mode networks according to the relations between concepts. To analyze the characteristics of these networks, we first apply the approach of dimensional decomposition to separate the multimode networks into single vertex sub-networks and bipartite sub-networks, distinguish the importances of different types of nodes by measuring the centrality of each sub-network, and synthesize the centrality index of each sub-network to form an importance composite index (ICI). To further identify the core nodes of the four types of nodes in the network, we adopt the k-shell decomposition method to directly decompose the multi-mode network. We find that the results produced by these approaches presented above can be in accord with the actual ones. ©, 2014, Acta Automatica Sinica. All rights reserved.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Report: The process model matching contest 2013

Report: The process model matching contest 2013

引用

11th International Conference on Business Process Management, BPM 2013

作者： Cayoglu, Ugur Dijkman, Remco Dumas, Marlon Fettke, Peter García-Bañuelos, Luciano Hake, Philip Klinkmüller, Christopher Leopold, Henrik Ludwig, Andŕe Loos, Peter Mendling, Jan Oberweis, Andreas Schoknecht, Andreas Sheetrit, Eitam Thaler, Tom Ullrich, Meike Weber, Ingo Weidlich, Matthias Karlsruhe Germany Eindhoven University of Technology Eindhoven Netherlands University of Tartu Tartu Estonia DFKI Saarbrücken Germany Saarland University Saarbrücken Germany Information Systems Institute University of Leipzig Leipzig Germany Humboldt-Universität zu Berlin Arcata Germany Wirtschaftsuniversität Wien Vienna Austria Technion - Israel Institute of Technology Haifa Israel Software Systems Research Group NICTA Sydney Australia School of Computer Science and Engineering University of New South Wales Kensington Australia

ISBN: (纸本)9783319062563

Process model matching refers to the creation of correspondences between activities of process models. Applications of process model matching are manifold, reaching from model validation over harmonization of process variants to effective management of process model collections. Recently, this demand led to the development of different techniques for process model matching. Yet, these techniques are heuristics and, thus, their results are inherently uncertain and need to be evaluated on a common basis. Currently, however, the BPM community lacks established data sets and frameworks for evaluation. The Process Model Matching Contest 2013 aimed at addressing the need for effective evaluation by defining process model matching problems over published data sets. This paper summarizes the setup and the results of the contest. Besides a description of the contest matching problems, the paper comprises short descriptions of all matching techniques that have been submitted for participation. In addition, we present and discuss the evaluation results and outline directions for future work in this field of research. © Springer International Publishing Switzerland 2014.

关键词： Enterprise resource management

来源：评论

学校读者我要写书评

暂无评论

OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft

OBC-NG: Towards a reconfigurable on-board computing architec...

引用

IEEE Conference on Aerospace

作者： Daniel Lüdtke Karsten Westerdorff Kai Stohlmann Anko Börner Olaf Maibaum Ting Peng Benjamin Weps Görschwin Fey Andreas Gerndt German Aerospace Center (DLR) Simulation and Software Technology Braunschweig Germany Optical Information Systems German Aerospace Center (DLR) Berlin Germany German Aerospace Center (DLR) Institute of Space Systems Bremen Germany University of Bremen Institute of Space Systems Bremen Germany

The computational demands on spacecraft are rapidly increasing. Current on-board computing components and architectures cannot keep up with the growing requirements. Only a small selection of space-qualified processors and FPGAs are available and current architectures stick with the inflexible cold-redundant structure. The objective of the ongoing project OBC-NG (On-board Computer - Next Generation) is to find new concepts for on-board-computer to fulfill future requirements. The concept presented in this paper is based on a distributed reconfigurable system, consisting of different nodes for processing, management and interface operations. OBC-NG will exploit the high performance of commercial off-the-shelf (COTS) hardware parts. To compensate the shortcomings of COTS parts the OBC-NG redundancy approach differs from the classic way and error mitigation techniques will work mainly on software level. This paper discusses the hardware and software architecture of the system as well as the redundancy and reconfiguration concept. Our ideas will be proven in an OBC-NG prototype, planned for the next year.

关键词： Field programmable gate arrays Computer architecture Computers Program processors Hardware Space vehicles

来源：评论

学校读者我要写书评

暂无评论

A Method to Check Liveness of WS3PR 33

A Method to Check Liveness of WS3PR

引用

第三十三届中国控制会议

作者： WANG ShouGuang LIU Miao ZHOU MengChu WU WenHui IEEE School of Information & Electronic Engineering Zhejiang Gongshang University State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University School of Electro-Mechanical Engineering Xidian University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102USA

ISBN: (纸本)9781479947249

Petri nets are widely used to model flexible manufacturing systems(FMSs) because they can help analyze the properties and synthesize deadlock-free supervisory controllers of *** System of Simple Sequential Processes with Resources(WS3PR) is an important subclass of Petri nets that can well model many *** work first gives new algorithms to check liveness for a WS3 PR net via its subnet trees and *** the computation complexity for the proposed method is shown in this paper,to be polynomial under certain ***,sufficient conditions for deciding liveness of a WS3 PR are *** example is used to illustrate the results.

关键词： Liveness,flexible manufacturing system,deadlock,Petri net.

来源：评论

学校读者我要写书评

暂无评论

CIRF: Constructive interference-based reliable flooding in asynchronous duty-cycle wireless sensor networks

CIRF: Constructive interference-based reliable flooding in a...

引用

IEEE Conference on Wireless Communications and Networking

作者： Shuying Yu Xiaobing Wu Pan Wu Dingming Wu Haipeng Dai Guihai Chen National Key Laboratory for Novel Software Technology Nanjing University Nanjing China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9781479930845

Flooding is one of the most fundamental functions in wireless sensor networks (WSNs) and has been investigated extensively. Existing flooding schemes in duty-cycle WSNs can be categorized into two categories: synchronous ones and asynchronous ones. In practice asynchronous schemes are preferable since synchronous ones introduce more complexity and overhead for necessary clock synchronization. Existing asynchronous approaches are however imperfect for reliable flooding in duty-cycle WSNs. For example, opportunistic flooding is less flexible and Asynchronous Duty-cycle Broadcasting (ADB) suffers unsatisfactory flooding latency. We propose Constructive Interference-based Reliable Flooding (CIRF) in this paper, a novel design for reliable flooding in asynchronous duty-cycle WSNs. CIRF is integrated with the MAC protocol Receiver-Initiated MAC (RI-MAC) to improve the utilization of wireless medium and guarantee one-hop reliable transmission. The key idea of CIRF is to exploit the constructive interference feature when concurrent transmission occurs, which can be common in RI-MAC based WSNs. Simulation results indicate that CIRF achieves reliable flooding with reduced flooding latency, higher energy efficiency and delivery ratio compared to existing schemes.

关键词： Wireless sensor networks Interference Reliability Delays Receivers Floods Wireless communication

来源：评论

学校读者我要写书评

暂无评论

Time–data tradeoffs by aggressive smoothing 14

Time–data tradeoffs by aggressive smoothing

引用

Proceedings of the 28th International Conference on Neural information Processing systems - Volume 1

作者： John J. Bruer Joel A. Tropp Volkan Cevher Stephen R. Becker Dept. of Computing + Mathematical Sciences California Institute of Technology Laboratory for Information and Inference Systems EPFL Dept. of Applied Mathematics University of Colorado at Boulder

This paper proposes a tradeoff between sample complexity and computation time that applies to statistical estimators based on convex optimization. As the amount of data increases, we can smooth optimization problems more and more aggressively to achieve accurate estimates more quickly. This work provides theoretical and experimental evidence of this tradeoff for a class of regularized linear inverse problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ICEPOLE: High-speed, hardware-oriented authenticated encryption

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8731卷 392-413页

作者： Morawiecki, Pawel Gaj, Kris Homsirikamol, Ekawat Matusiewicz, Krystian Pieprzyk, Josef Rogawski, Marcin Srebrny, Marian Wójcik, Marcin Institute of Computer Science Polish Academy of Sciences Poland Section of Informatics University of Commerce Kielce Poland Department of Computing Macquarie University Australia Electrical Engineering and Computer Science School Queensland University of Technology Brisbane Australia Cryptographic Engineering Research Group George Mason University United States Cryptography and Information Security Group University of Bristol United Kingdom Cadence Design Systems San Jose United States Intel Gdańsk Poland

This paper introduces our dedicated authenticated encryption scheme ICEPOLE. ICEPOLE is a high-speed hardware-oriented scheme, suitable for high-throughput network nodes or generally any environment where specialized hardware (such as FPGAs or ASICs) can be used to provide high data processing rates. ICEPOLE-128 (the primary ICEPOLE variant) is very fast. On the modern FPGA device Virtex 6, a basic iterative architecture of ICEPOLE reaches 41 Gbits/s, which is over 10 times faster than the equivalent implementation of AES-128-GCM. The throughput-to-area ratio is also substantially better when compared to AES-128-GCM. We have carefully examined the security of the algorithm through a range of cryptanalytic techniques and our findings indicate that ICEPOLE offers high security level. © International Association for Cryptologic Research 2014.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Engineering Process Improvement in Heterogeneous Multi-disciplinary Environments with Defect Causal Analysis

Engineering Process Improvement in Heterogeneous Multi-disci...

引用

21st European Conference on systems, software and Services Process Improvement and Innovation, EuroSPI 2014

作者： Kovalenko, Olga Winkler, Dietmar Kalinowski, Marcos Serral, Estefania Biffl, Stefan Institute of Software Technology and Interactive Systems CDL-Flex Vienna University of Technology Favoritenstrasse 9/188 1040 Vienna Austria Federal University of Juiz de Fora NEnC Rua José Kelmer s/n 36036-330 Juiz de Fora Brazil Department of Decision Sciences and Information Management KU Leuven Naamsestraat 69 B-3000 Leuven Belgium

ISBN: (纸本)9783662438954

Multi-disciplinary engineering environments, e.g., in automation systems engineering, typically involve different stakeholder groups and engineering disciplines using a variety of specific tools and data models. Defects in individual disciplines can have a major impact on product and process quality in terms of additional cost and effort for defect repair and can lead to project delays. Early defects detection and avoidance in future projects are key challenges for project and quality managers to improve the product and process quality. In this paper we present an adaptation of the defect causal analysis (DCA) approach, which has been found effective and efficient to improve product quality in software engineering contexts. Applying DCA in multi-disciplinary engineering environments enables a systematic analysis of defects and candidate root causes, and can help providing countermeasures for product and process quality. The feasibility study of the adapted DCA has shown that the adaptation is useful and enables improving defect detection and prevention in multi-disciplinary engineering projects and fosters engineering process improvement. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：