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

IEEE International Conference on computer Research and Development

作者： Liu, Yanhua Ruan, Ying Lai, Zongsheng Jing, Weiping Dept. of Electronic Computer and Software Systems Institute of Microelectronics Circuit and System East China Normal University Shanghai China Dept. of Electronic Engineering Jiangsu Provincial Key Lab. of ASIC Design Nantong University Nantong China

ISBN: (纸本)9781612848372

Where IP cores to be mapped must be carefully solved for any given application in order to optimize different performance metrics in Network-on-Chip (NoC) design flow. The optimization of different performance metrics simultaneously may cause a negative effect on each other because of the strong correlation between these performance metrics. In this paper, we propose a multi-objective ant colony algorithm (MOACA) that maps IP cores onto mesh-based NoC architectures. This algorithm is an efficient way to find the pareto-optimal front which optimizes energy consumption and hotspot temperature of NoC. The algorithm has been implemented and evaluated for synthetic generated benchmarks. Experimental results confirm the efficiency, accuracy and scalability of the algorithm. © 2011 IEEE.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

A novel accurate forest fire detection system using wireless sensor networks

A novel accurate forest fire detection system using wireless...

引用

2011 7th International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2011

作者： Liu, Yongsheng Gu, Yu Chen, Guolong Ji, Yusheng Li, Jie Graduate School of System and Information Engineering University of Tsukuba Tsukuba Science City 305-8573 Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan College of Mathematics and Computer Science Fuzhou University Fuzhou Fujian 350108 China

ISBN: (纸本)9780769546100

A forest fire has long been a severe threat to the forest resources and human life. The threat could effectively be mitigated by timely and accurate detection. In this paper, we propose a novel accurate forest fire detection system using Wireless Sensor Networks (WSNs). In the proposed system, the detection accuracy is increased by applying the multi-criteria detection that an alarm decision depends on multiple attributes of a forest fire. The multi-criteria detection is implemented by the artificial neural network which fuses sensing data corresponding to multiple attributes of a forest fire into an alarm decision. Due to the utilization of the artificial neural network, the proposed system enjoys low overhead and the self-learning capability. Furthermore, we have developed a prototype consisting TelosB sensor nodes and carried out extensive experiments to study the performance of the proposed system. We have also developed a solar battery in order to persistently power the unattended sensor node deployed in the forest. © 2011 IEEE.

关键词： Fires

来源：评论

学校读者我要写书评

暂无评论

Supporting Instructional Software engineering Activities Using CODILA: Some Latin American Experiences

Supporting Instructional Software Engineering Activities Usi...

引用

2011 2nd International Conference on Education and Educational Technology(EET 2011)

作者： Fáber Giraldo Sergio F.Ochoa Laura Aballay Clifton Clunie Andrés Neyem Raquel Anaya System and Computer Engineering University of Quindío Computer Science Department University of Chile Informatics Institute National University of San Juan Computational Systems Engineering Technological University of Panama Computer Science Department Pontifical Catholic University of Chile System Engineering Department Universidad EAFIT

computer science students must be able to support the global software development phenomena;therefore they should enhance their teamwork, communication, negotiation, leadership and collaboration skills. It pushes the educational institutions to rethink the way in which they are transferring the soft skills, e.g. collaboration capabilities, to the new software engineers. Advances in developing platforms, wideband communications, global markets, technological trends and outsourcing promote the conception of a global software engineering. Trying to help address this issue, this paper describes the results of two experiences where a CODILA(Collaborative and Distributed Learning Activity) was used to solve a software engineering problem in a distributed way. These experiences involved students and instructors of eight Latin American universities. We have measured the development of collaboration skills and satisfaction level of computer science students participating in these distributed collaborative practices, and the obtained results are highly encouraging.

关键词： CODILA,distributed CSCL experience,interaction and communication design,experimental software engineering

来源：评论

学校读者我要写书评

暂无评论

Distance sensing for mini-robots: RSSI vs. TDOA

Distance sensing for mini-robots: RSSI vs. TDOA

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： C. Perkins L. Lei M. Kuhlman T. H. Lee G. Gateau S. Bergbreiter P. Abshire Department of Electrical & Computer Engineering and Institute of System Research University of Maryland College Park MD USA Department of Mechanical Engineering and Institute of Systems Research University of Maryland College Park MD USA

This paper reports a compact, robust distance-only sensor for networked small robotic platforms. Two methods of sensing distance (neglecting heading) between robots are discussed: Received Signal Strength Indicator (RSSI) and Time Difference of Arrival (TDOA). Both implementations make use of a commercially available wireless sensor network board for communication and processing. Although RSSI requires no additional hardware, TDOA requires several additional components including a sound source and microphone. While experimental results indicate that both methods can provide distance sensing within a local neighborhood, TDOA sensing was found to be more robust and accurate, providing 1 cm distance resolution over a range of 80 cm versus 2.4 cm for RSSI. These sensors have been integrated onto mini-robotic platforms by incorporating a heading estimator and controller.

关键词： Robot sensing systems Microphones Frequency measurement Wireless sensor networks Measurement uncertainty

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a computational platform for the integration of Transmission system Operators

Design and implementation of a computational platform for th...

引用

15th WSEAS International Conference on systems, Part of the 15th WSEAS CSCC Multiconference

作者： Harkiolakis, N. Ekonomou, L. Topalis, F.V. Zafiropoulos, E. Institute of Communications and Computer Systems 9 Iroon Polytechniou Street Athens 15780 Greece Department of Electrical Engineering Educators A.S.PE.T.E. School of Pedagogical and Technological Education N. Heraklion Athens 141 21 Greece Hellenic Transmission System Operator 72 Kastoros Street Piraeus 18545 Greece

ISBN: (纸本)9781618040237

The paper presents the design and implementation of a computational platform that was adopted to support the integration of Transmission systems Operators (TSOs). The primary component is a client-server architecture where the server module is implemented as a collection of services and data. The primary services include server management services for controlling server performance, lookup services for registering and locating application services, and daemon services for performance monitoring and reporting. The platform is enhanced with applications for regional balancing, load flow simulation, and monitoring modules. The client applications access the platform through web services.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Extracting environmental constraints to make reactive system specifications realizable

Computer Software

引用

computer Software 2011年第3期28卷 132-146页

作者： Hagihara, Shigeki Shimakawa, Masaya Yonezaki, Naoki Kitamura, Yusuke Sekido, Satoshi Department of Computer Science Graduate School of Information Science and Engineering Institute of Technology Japan System Engineering Dept. Sony Business Solutions Corporation Value Creation Division Japan Department of Communications and Integrated Systems Graduate School of Science and Engineering Tokyo Institute of Technology Japan

Many fatal accidents of safety critical reactive systems have occurred in unexpected situations which had not been considered during design and test phases of the systems. To prevent these accidents, reactive systems should be designed to respond appropriately to any requests of any timing from their environments. Verifying this property in specification phase reduces the development costs of safety critical reactive systems. This property of a specification is well known as realizability. If a specification was found not to be realizable, we have to determine the flaws in the unrealizable specification. Unrealizability of a specification arises from arbitrary requirements given by system designers. From a different point of view, it can be thought that the unrealizable specification implicitly imposes a precondition on the behavior of environment, which a system can not control. If it is possible to obtain the precondition in intuitively comprehensive forms, this makes it easy for system designers to understand the cause of flaws in specifications. In this paper, we propose methods for deriving constraints on the behavior of environments, which is implicitly imposed by unrealizable specifications. Instead of realizability, we use strong satisfiability which is a necessary condition for realizability, due to the fact that many practical unrealizable specifications are also strongly unsatisfiable, and strong satisfiability have the advantage of lower complexity for analysis against realizability. These methods derive constraints in propositional linear temporal logic from Büchi automata representing specifications. The expressions of derived constraints are limited to simple and intuitively comprehensive forms where only two temporal operators appear successively. We give proofs for three correctness properties of our methods, i.e. the termination property, the soundness property, and the weakest constraints derivability. We also discuss complexity of our methods. Fi

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

SPC and Kalman filter-based fault detection and diagnosis for an air-cooled chiller

引用

Frontiers of Electrical and Electronic engineering in China 2011年第3期6卷 412-423页

作者： Biao SUN Peter B.LUH Zheng O’NEILL Center for Intelligent and Networked Systems Department of AutomationTsinghua UniversityBeijing 100084China The Tsinghua-UTC Research Institute for Integrated Building Energy Safety and Control SystemTsinghua UniversityBeijing 100084China Department of Electrical and Computer Engineering University of ConnecticutStorrsCT 06269USA United Technology Research Center United Technologies CorporationHartfordCT 06108USA

Buildings worldwide account for nearly 40%of global energy *** biggest energy consumer in buildings is the heating,ventilation and air conditioning(HVAC)*** HVAC systems,chillers account for a major portion of the energy *** chillers in good conditions through early fault detection and diagnosis is thus a critical *** this paper,the fault detection and diagnosis for an air-cooled chiller with air coming from outside in variable flow rates is *** problem is difficult since the air-cooled chiller is operating under major uncertainties including the cooling load,and the air temperature and flow rate.A potential method to overcome the difficulty caused by the uncertainties is to perform fault detection and diagnosis based on a gray-box model with parameters regarded as *** method is developed and verified by us in another paper for a water-cooled chiller with the uncertainty of cooling *** verification used a Kalman filter to predict parameters of a gray-box model and statistical process control(SPC)for measuring and analyzing their variations for fault detection and *** gray-box model in the method,however,requires that the air temperature and flow rate be nearly *** introducing two new parameters and deleting data points with low air flow rate,the requirement can be satisfied and the method can then be applicable for an air-cooled *** simulation results show that the method with the revised model and some data points dropped improved the fault detection and diagnosis(FDD)performance *** can detect both sudden and gradual air-cooled chiller capacity degradation and sensor faults as well as their recoveries.

关键词： air-cooled chiller fault detection and diagnosis(FDD) statistical process control(SPC) Kalman filter

来源：评论

学校读者我要写书评

暂无评论

Implementing a passive RFID e-seal system for transit container security: A case study of Kaohsiung Port

Advances in Transportation Studies

引用

Advances in Transportation Studies 2011年第26期 69-88页

作者： Huang, S.-W. Lee, M.-T. Gong, D.-C. Department of Industrial and Systems Engineering College of Electrical Engineering and Computer Science Chung Yuan Christian University Chung-Li Tao-Yuan 320 Taiwan Electronic System Research Division Chung-Shan Institute of Science and Technology Long-Tan Tao-Yuan 325 Taiwan

Nearly 80 % of worldwide trade (over US $620 billion) is carried by marine transport. Unfortunately, manually identifying, tracking, and monitoring containers involves a great many logistical problems. The security of container transportation has also become an issue of critical importance, with regard to theft, tracking, tracing, and national security. This paper describes the passive radio frequency identification (RFID) electronic seal (e-seal) monitoring system that was implemented using existing low-cost passive RFID e-seals devices to replace the manual escorts. The system successfully overcame the harsh outdoor environment of Kaohsiung Port, including resistance to high temperature, high salinity, humidity, and typhoons. The system comprises a reader, an e-seal (tag), and an antenna, and its optimal installation architecture is being disclosed in this paper. The reading rate not only has been maintained at levels above 97.4 % when a container truck travel passes an RFID reader at a speed of up to 60 kilometers per hour in 0.2 seconds, the system has also maintained normal operation 24 hours a day, year round. The system has moved beyond the testing phase or small-scale pilot project bringing RFID technology to practical operations of large-scale logistics systems. The architecture, procedures, methodologies, and experience involved in the development of this system, deserve consideration as a guide for the future introduction of RFID systems, and can relieve operators from the expensive, time-consuming trial and error involved in the introduction of passive RFID e-seal systems in the container transport industry.

关键词： National security

来源：评论

学校读者我要写书评

暂无评论

Stability analysis of SSN biochemical networks

Stability analysis of SSN biochemical networks

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Wei Su Jinhu Lü Maciej J. Ogorzalek Institute of Systems Science Acad. Mathematics & System Science Chinese Academy and Sciences Beijing China School Electrical & Computer Engineering RMIT University Australia Acad. Mathematics & System Science Chinese Academy and Sciences Beijing China Faculty Physics Astronomy and Applied Computer Sciences Jagiellonian University Krakow Poland

This paper further investigates the dynamical properties of a class of basic biochemical networks modules - single substrate and single product with no inhibition (SSN) module. It is well known that the biological networks can be modelled by using different kinetics according to their reaction types. This paper introduces the SSN model under the law of mass action and proves that it can admit uniquely globally asymptotically stable positive equilibrium. Moreover, we prove that the SSN module under Hill kinetics can admit uniquely asymptotically stable positive equilibrium. It indicates some potential applications in the understanding of some biological networks modules and the design of some specific network controllers.

关键词： Kinetic theory Stability analysis Mathematical model Equations Biology Asymptotic stability Silicon

来源：评论

学校读者我要写书评

暂无评论

Verification of web service protocols by logic of knowledge

引用

Journal of Information and Computational Science 2011年第6期8卷 921-932页

作者： Chen, Qingliang Su, Kaile Cao, Ying Liu, Chanjuan School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200000 China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions, i. e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the specifications we are to verify can hold in arbitrary number of sessions. © 2011 Binary Information Press.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：