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

Self-stabilizing deterministic time division multiple access for sensor networks

Journal of Aerospace Computing, Information and Communication 2006年第8期3卷 403-419页

作者： Arumugam, Mahesh Kulkarni, Sandeep S. Michigan State University East Lansing MI 48824 Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824

An algorithm for time division multiple access (TDMA) is found to be applicable in converting existing distributed algorithms into a model that is consistent with sensor networks. Such a TDMA service needs to be self-stabilizing so that in the event of corruption of assigned slots and clock drift, it recovers to states from where TDMA slots are consistent. Previous self-stabilizing solutions for TDMA are either randomized or assume that the topology is known upfront and cannot change. Thus, the question of feasibility of self-stabilizing deterministic TDMA algorithm where the topology is unknown remains open. In this paper, we present a self-stabilizing deterministic algorithm for TDMA in networks where a sensor is only aware of its neighbors. To our knowledge, this is the first such algorithm that achieves these properties. Moreover, this is the first algorithm that demonstrates the feasibility of stabilization-preserving deterministic transformation of a program in shared-memory model on an arbitrary topology into a program that is consistent with the sensor network model. © 2006 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Time division multiple access

来源：评论

学校读者我要写书评

暂无评论

Towards functional verifying a family of SystemC TLMs

引用

Frontiers of computer Science 2020年第1期14卷 53-66页

作者： Tun LI Jun YE Qingping TAN College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Jiangnan Institute of Computing Technology Wuxi 214083China

It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is *** in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing *** most cases,all the TLMs in a family must be verified for the follow-up design *** our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL ***,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification ***,in our proposed methodology,functional verification of TPL has become a *** this paper,we proposed a novel TPL verification method for FO *** our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated *** proposed method is presented in informal and formal way,and the correctness of it is *** theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method.

关键词： system-on-a-chip transaction level model SystemC feature-oriented functional verification

来源：评论

学校读者我要写书评

暂无评论

A UML-based approach to system testing 4th

引用

4th International Conference on Unified Modeling Language, UML 2001

作者： Briand, Lionel Labiche, Yvan Software Quality Engineering Laboratory Systems and Computer Engineering Department Carleton University 125 Colonel By Drive OttawaK1S 5B6 Canada

ISBN: (纸本)9783540426677

System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams, and possibly the use of the Object Constraint Language across all these artifacts. Our goal is to support the derivation of test requirements, which will be transformed into test cases, test oracles, and test drivers once we have detailed design information. Another important issue we address is the one of testability. Testability requirements (or rules) need to be imposed on UML artifacts so as to be able to support system testing efficiently. Those testability requirements result from a trade-off between analysis and design overhead and improved testability. The potential for automation is also an overriding concern all across our work as the ultimate goal is to fully support testing activities with high-capability tools. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Information Leakage Problem in High-Capacity Quantum Secure Communication with Authentication Using Einstein-Podolsky-Rosen Pairs

引用

Chinese Physics Letters 2016年第7期33卷 14-15页

作者：刘志昊陈汉武刘文杰 School of Computer Science and Engineering Southeast University Key Laboratory of Computer Network and Information Integration(Ministry of Education) Southeast University Centre for Quantum Computation and Intelligent Systems Faculty of Engineering and Information TechnologyUniversity of Technology Sydney School of Computer and Software Nanjing University of Information Science & Technology

The information leakage problem often exists in bidirectional quantum secure direct communication or quantum dialogue. In this work, we find that this problem also exists in the one-way quantum secure communication protocol [Chin. Phys. Lett. 32 （2015） 050301]. Specifically, the first bit of every four-bit message block is leaked out without awareness. A way to improve the information leakage problem is given.

关键词： in or of is that with

来源：评论

学校读者我要写书评

暂无评论

On the many ways software engineering can benefit from knowledge engineering 02

On the many ways software engineering can benefit from knowl...

引用

14th International Conference on software engineering and Knowledge engineering, SEKE '02

作者： Briand, Lionel C. Software Quality Engineering Laboratory Carleton University Department of Systems and Computer Engineering 1125 Colonel By Drive Ottawa ON K1S 5B6 Canada

ISBN: (纸本)1581135564

software engineering is not only a technical discipline of its own. It is also a problem domain where technologies coming from other disciplines are relevant and can play an important role. One important example is knowledge engineering, a term that I use in the broad sense to encompass artificial intelligence, computational intelligence, knowledge bases, data mining, and machine learning. I see a number of typical software development issues that can benefit from these disciplines and, for the sake of clarifying the discussion, I have divided them into four categories: (1) Planning, monitoring, and quality control of projects, (2) The quality and process improvement of software organizations, (3) Decision making support, (4) Automation. First, the planning, monitoring, and quality control of software development is typically based, unless it is entirely ad-hoc, on past project data and/or expert opinion. As discussed below, several techniques coming from machine learning, computational intelligence, and knowledge-based systems have shown to be useful in this context. Second, software organizations are inherently learning organizations, that need to improve, based on experience and project feedback, the way they develop software in changing and volatile environments. Large amounts of data, numerous documents, and other forms of information are typically gathered on projects. The question then becomes how to enable the intelligent storage and use of such information in future projects. Third, during the course of a project, software engineers and managers have to face important, complex decisions. They need decision models to support them, especially when project pressure is intense. Techniques originally developed for building risk models based on expert elicitation or optimization heuristics can play a key role in such a context. The last category of applications concerns automation. Many automation problems, such as test data generation, can be formulated as const

关键词： quality control

来源：评论

学校读者我要写书评

暂无评论

A novel use of big data analytics for service innovation harvesting

A novel use of big data analytics for service innovation har...

引用

2013 5th International Conference on Service Science and Innovation, ICSSI 2013

作者： Ghose, Aditya K. Morrison, Evan Gou, Yingzhi Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong Australia

ISBN: (纸本)9780769549859

Service innovation has assumed considerable significance with the growth of the services sectors of economies globally, yet progress has been slow in devising carefully formulated, systematic techniques to under pin service innovation. This paper argues that a novel approach to big data analytics offers interesting solutions in this space. The paper argues that the use of big data analytics for generating enterprise service insights is often ignored (while the extraction of insights about customers, the market and the enterprise context has received considerable attention). The paper offers a set of techniques (collectively referred to as {\em innovation harvesting}) which leverage big data in various forms, including object state sensor data, behaviour logs as well large-scale sources of open data such as the web to mine service innovation insights. The paper also outlines how systematic search might help overcome the limitations of big data analytics in this space. © 2013 IEEE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Using genetic algorithms and coupling measures to devise optimal integration test orders 02

Using genetic algorithms and coupling measures to devise opt...

引用

14th International Conference on software engineering and Knowledge engineering, SEKE '02

作者： Briand, Lionel C. Feng, Jie Labiche, Yvan Software Quality Engineering Laboratory Carleton University Department of Systems and Computer Engineering 1125 Colonel By Drive Ottawa ON K1S 5B6 Canada

ISBN: (纸本)1581135564

We present here an improved strategy to devise optimal integration test orders in object-oriented systems. Our goal is to minimize the complexity of stubbing during integration testing as this has been shown to be a major source of expenditure. Our strategy to do so is based on the combined use of inter-class coupling measurement and genetic algorithms. The former is used to assess the complexity of stubs and the latter is used to minimize complex cost functions based on coupling measurement. Using a precisely defined procedure, we investigate this approach in a case study involving a real system. Results are very encouraging as the approach clearly helps obtaining systematic and optimal results. Copyright 2002 ACM.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Differential function analysis: identifying structure and activation variations in dysregulated pathways

引用

Science China(Information Sciences) 2017年第1期60卷 116-131页

作者： Chuanchao ZHANG Juan LIU Qianqian SHI Tao ZENG Luonan CHEN State Key Laboratory of Software Engineering School of Computer Wuhan University Key Laboratory of Systems Biology Innovation Center for Cell Signaling Network Institute of Biochemistry and Cell Biology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences

Complex diseases are generally caused by the dysregulation of biological functions rather than individual molecules. Hence, a major challenge of the systematical study on complex diseases is how to capture the differentially regulated biological functions, e.g., pathways. The traditional differential expression analysis(DEA) usually considers the changed expression values of genes rather than functions. Meanwhile, the conventional function-based analysis(e.g., PEA: pathway enrichment analysis) mainly considers the varying activation of functions but disregards the structure change of genetic elements of functions. To achieve precision medicine against complex diseases, it is necessary to distinguish both the changes of functions and their elements from heterogeneous dysregulated pathways during the disease development and progression. In this work, in contrast to the traditional DEA, we developed a new computational framework, namely differential function analysis(DFA), to identify the changes of element-structure and expression-activation of biological functions, based on comparative non-negative matrix factorization(cN MF). To validate the effectiveness of our method, we tested DFA on various datasets, which shows that DFA is able to effectively recover the differential element-structure and differential activation-score of pre-set functional groups. In particular, the analysis of DFA on human gastric cancer dataset, not only capture the changed network-structure of pathways associated with gastric cancer, but also detect the differential activations of these pathways(i.e., significantly discriminating normal samples and disease samples), which is more effective than the state-of-the-art methods, such as GSVA and Pathifier. Totally,DFA is a general framework to capture the systematical changes of genes, networks and functions of complex diseases, which not only provides the new insight on the simultaneous alterations of pathway genes and pathway activations, but a

关键词： complex disease biological function non-negative matrix factorization network structure function activation

来源：评论

学校读者我要写书评

暂无评论

POWER-SYSTEM VOLTAGE CONTROL BY DISTRIBUTED EXPERT systems

引用

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 1990年第3期37卷 236-240页

作者： MATSUDA, S OGI, H NISHIMURA, K OKATAKU, Y TAMURA, S Artificial Intelligence Technology Department Computer and Communication Research Center Tokyo Electric Power Company Limited Japan Systems and Software Engineering Laboratory Toshiba Corporation Japan

A case study of the application of a distributed control scheme to a power system control is presented. In addition, an investigation has been conducted into voltage control. Combined injection of VAr-compensating devices controlled by distributed expert systems has been proposed as a measure to maintain voltage stability in a power system under heavy loading conditions. A simulation study has been carried out by using five workstations that represent a power system and four VAr-compensating devices. The results demonstrate the effectiveness of the proposed system for voltage recovery.< >

关键词： Power system control Power systems Voltage control Expert systems Power system stability Power system simulation Distributed control Power system measurements Control systems Power measurement

来源：评论

学校读者我要写书评

暂无评论

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems

Using genetic algorithms for early schedulability analysis a...

引用

作者： Briand, Lionel C. Labiche, Yvan Shousha, Marwa Software Quality Engineering Laboratory Department of Systems and Computer Engineering Carleton University 1125 Colonel By Drive Ottawa Ont. K1S5B6 Canada

Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. It is therefore important for the designers of such systems to analyze the schedulability of tasks during the design process, as well as to test the system's response time to events in an effective manner once it is implemented. This article explores the use of genetic algorithms to provide automated support for both tasks. Our main objective is then to automate, based on the system task architecture, the derivation of test cases that maximize the chances of critical deadline misses within the system;we refer to this testing activity as stress testing. A second objective is to enable an early but realistic analysis of tasks' schedulability at design time. We have developed a specific solution based on genetic algorithms and implemented it in a tool. Case studies were run and results show that the tool (1) is effective at identifying test cases that will likely stress the system to such an extent that some tasks may miss deadlines, (2) can identify situations that were deemed to be schedulable based on standard schedulability analysis but that, nevertheless, exhibit deadline misses.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：