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

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

来源：评论

学校读者我要写书评

暂无评论

Towards an ESL design framework for adaptive and fault-tolerant MPSoCs: MADNESS or not?

Towards an ESL design framework for adaptive and fault-toler...

引用

2011 9th IEEE Symposium on Embedded systems for Real-Time Multimedia, ESTIMedia 2011

作者： Cannella, Emanuele Di Gregorio, Lorenzo Fiorin, Leandro Lindwer, Menno Melonr, Paolo Neugebauer, Olaf Pimentel, Andy Leiden Institute of Advanced Computer Science Leiden University Netherlands Lantiq Deutschland GmbH Neubiberg Germany ALaRI Faculty of Informatics University of Lugano Switzerland Silicon Hive BV High Tech Campus 83 5656 AG Eindhoven Netherlands DIEE Department of Electrical and Electronic Engineering University of Cagliari Cagliari Italy Informatik Centrum Dortmund Joseph-von-Fraunhofer-Str. 20 Dortmund Germany Computer Systems Architecture Group Informatics Institute University of Amsterdam Netherlands

ISBN: (纸本)9781457721236

The MADNESS project aims at the definition of innovative system-level design methodologies for embedded MP-SoCs, extending the classic concept of design space exploration in multi-application domains to cope with high heterogeneity, technology scaling and system reliability. The main goal of the project is to provide a framework able to guide designers and researchers to the optimal composition of embedded MPSoC architectures, according to the requirements and the features of a given target application field. The proposed approach will tackle the new challenges, related to both architecture and design methodologies, arising with the technology scaling, the system reliability and the ever-growing computational needs of modern applications. The methodologies proposed with this project act at different levels of the design flow, enhancing the state-of-the art with novel features in system-level synthesis, architectural evaluation and prototyping. Support for fault resilience and efficient adaptive runtime management is introduced at hardware and middleware level, and considered by the system-level synthesis as one of the optimization factors to be taken into account. This paper presents the first stable results obtained in the MADNESS project, already demonstrating the effectiveness of the proposed methods. © 2011 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Ecohydrologic and Biogeochemical Process Networks in Forest Ecosystems in Monsoon East Asia: Identification and Interpretation 11

Ecohydrologic and Biogeochemical Process Networks in Forest ...

引用

11th European Conference on Artificial Life, ECAL 2011

作者： Kim, Joon Yun, Juyeol Hong, Jewoo Kwon, Hyojung Chun, Junghwa Complex Systems Science Laboratory Department of Landscape Architecture and Rural System Engineering Seoul National University Seoul151-921 Korea Republic of National Center for AgroMeteorology Seoul National University Seoul151-921 Korea Republic of Department of Atmospheric Sciences Yonsei University 120-749 Korea Republic of Korea Forest Research Institute Seoul130-712 Korea Republic of

ISBN: (纸本)9780262297141

Forest ecosystems play a critical role in the cycles of carbon and water from local to global scales. These cycles and their variability, in turn, play an important role in the non-trivial emergent and self-organizing interactions between forest ecosystems and their environment. Observational evidence, based on micrometeorological eddy covariance measurements, suggests that heterogeneity and disturbance (both human and natural) in forest ecosystems in monsoon East Asia may facilitate to build resilience for adaptation to change. Yet, the principles that characterize the role of variability in these interactions remain elusive. A process network is defined as a network of feedback loops and the related time scales, which describe the magnitude and direction of the flow of energy, matter, and information between the different variables in a complex system. We attempt to delineate and interpret such process networks by analyzing multivariate ecohydrologic and biogeochemical time series data based on information flow statistics. © 2011 ECAL 2011: The 11th European Conference on Artificial Life. All rights reserved.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Dynamic Resource Allocation Based on User experience in Virtualized Servers

引用

Procedia engineering 2011年 15卷 3780-3784页

作者： Wei Zhang Jiajun Liu Ying Song Mingfa Zhu Limin Xiao Yuzhong Sun Li Ruan State Key Laboratory of Software Development Environment Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Key Laboratory of Computer System and Architecture Chinese Academy of SciencesBeijing Institute of Computing Technology Chinese Academy of Sciences Beijing China

Web workloads are known to vary dynamically with time which poses a challenge to resource allocation among the applications. In this paper, we argue that the existing dynamic resource allocation based on resource utilization has some drawbacks in virtualized servers. Dynamic resource allocation directly based on real-time user experience is more reasonable and also has practical significance. To address the problem, we propose a system architecture that combines real time measurements and analysis of user experience for resource allocation. We evaluate our proposal using Webbench. The experiment results show that these techniques can judiciously allocate system resources.

关键词： resource allocation virtualized servers user experience

来源：评论

学校读者我要写书评

暂无评论

Hard to access the information in the healthcare system? I See! - an innovative touch-screen information board for pediatric hospitals

Hard to access the information in the healthcare system? I S...

引用

IEEE Annual Conference on Pervasive Computing and Communications Workshops (PerCom)

作者： Rung-Yu Tseng Kevin Chuang Kristin Hermann Jon Koehler Ellen Yi-Luen Do College of Architecture Georgia Institute of Technology Atlanta GA USA School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA USA Health System Institute Georgia Institute of Technology Atlanta GA USA College of Computing Georgia Institute of Technology Atlanta GA USA

Confusion, frustration and anxiety are caused by the ineffective communication in healthcare system. Patients and family members usually have a hard time to acquire necessary information in hospitals. The healthcare literacy, a wide range of patient-age population, and the text-only teaching sheets are important factors to block the communication. Therefore, the proposed work presents an innovative information board that is designed specifically for current pediatric healthcare environment to deliver messages more effectively through a fun and interactive approach. The I See! system carries four goals: Inform, Set expectation, Educate and Ease Anxiety (I.S.E.E). The innovative I See! system achieves these goals through categories, such as introduction video clip, interactive games, key words section and parents' place. Using different sections in the module, patients and families can engage more effectively in medical procedures. The distinguishing features in I See! module are Age-Adaptable, Audio-Visual, Multi-Lingual, Multi-Sensory, Interactive and Procedural. In addition, this module is a mobile, touch-screen and web-based appliance to prepare patients and families well to take the examinations in hospitals. Lastly, this work also discusses how the information in healthcare system could be delivered to patients and families more efficiently.

关键词： Pediatrics Hospitals Computed tomography Games Educational institutions

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Sensor placement for activity recognition: Comparing video data with motion sensor data

引用

International Journal of Circuits, systems and Signal Processing 2011年第3期5卷 279-286页

作者： Yanik, Paul M. Merino, Jessica Manganelli, Joe Smolentzov, Linnea Walker, Ian D. Brooks, Johnell O. Green, Keith E. Electrical and Computer Engineering Technology Western Carolina University Cullowhee NC United States Intelligent Systems Clemson University Clemson SC United States Auburn University United States Human Factors Program Clemson University Clemson SC United States Department of Psychology Clemson University Clemson SC United States Architecture and Electrical and Computer Engineering Institute for Intelligent Materials Systems and Environments Clemson University United States

The development of ubiquitous sensing strategies in home environments underpins the promise of adaptive architectural design, assistive robotics, and services which would support a person's ability to live independently as they age. In particular, the ability to infer the actions and behavioral patterns of an individual from sensor data is key to effective design of such components for aging in place. Frequently, activity recognition is accomplished using vision based sensors. The method employed in this paper makes use of self similarities in a video motion sequence to construct a descriptor of the activity in the form of a Histogram of Oriented Gradients (HOG). Descriptors are used as exemplars for classification and are shown to accurately identify motion video recorded from other views. Three candidate motions were performed using a PUMA robot (for repeatability). Video of each motion was recorded from an array of vantage points on the surface of a virtual sphere surrounding the workspace of the robot. This method is then extended to non-video motion sensor data collected from the same set of points. Results show that mean HOGs generated from Self Similarity Matrices may serve as effective exemplars to classify motions in both video and non-video formats. Video data provides superior classification results. However, motion sensor data offers a less intrusive option with promising accuracy especially when multiple sensors outputs are fused to form aggregate readings.

关键词： Video recording

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：