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

A High-Confidence Cyber-Physical Alarm System: Design and Implementation

A High-Confidence Cyber-Physical Alarm System: Design and Im...

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)

作者： Longhua Ma Tengkai Yuan Feng Xia Ming Xu Jun Yao Meng Shao School of Aeronautics and Astronautics University of Zhejiang Hangzhou China Department of Control Science and Engineering University of Zhejiang Hangzhou China School of Software Dalian University of Technology Dalian China Computer Centre Hangzhou First People's Hospital Hangzhou China

ISBN: (纸本)9781424497799

Most traditional alarm systems cannot address security threats in a satisfactory manner. To alleviate this problem, we developed a high-confidence cyber-physical alarm system (CPAS), a new kind of alarm systems. This system establishes the connection of the Internet (i.e. TCP/IP) through GPRS/CDMA/3G. It achieves mutual communication control among terminal equipments, human machine interfaces and users by using the existing mobile communication network. The CPAS will enable the transformation in alarm mode from traditional one-way alarm to two-way alarm. The system has been successfully applied in practice. The results show that the CPAS could avoid false alarms and satisfy residents' security needs.

关键词： Ground penetrating radar IP networks Alarm systems Wireless communication Internet Instruction sets

来源：评论

学校读者我要写书评

暂无评论

TSPVT: An efficient verification tool for time sensitive security protocols

引用

Qinghua Daxue Xuebao/Journal of Tsinghua University 2010年第SUPPL. 1期50卷 1513-1520页

作者： Li, Zhoujun Zhao, Qianqian Zhou, Ti School of Computer Science and Engineering Beihang University Beijing 100191 China Department of Software Beijing Aerospace Control Center Beijing 100094 China

Automatical verification of time sensitive protocols is a difficult research topic in formal analyses, with the key problem being how to simply and efficiently check time constraints led by time stamps. TSPVT, which automatically verifies time sensitive protocols, was developed from the SPVT(security protocol verifying tool) in the Objective Caml language. TSPVT takes time sensitive protocols in an extended π-like calculus model with time events as its input model, then translates the π-like calculus model into a Horn logic model P extended by the time constraint system. The Horn logic model P is composed of a set of rules for honest participants as well as another set of rules for attackers. In the verification period, TSPVT computes the fix point of P when the tool needs to process the X-resolution among rules within the time constraint system and then verifies the authentication of the protocol based on the fixed point. A simplified description of the verification process using TSPVT is given in detail using the Denning-Sacco protocol as an example, with the results showing the validity of the verifier.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Local Stability Analysis of Feedback Linearizing Schemes for a Class of Uncertain Nonlinear Systems *

引用

IFAC Proceedings Volumes 2010年第14期43卷 1394-1399页

作者： E.R. Rohr L.F.A. Pereira D.F. Coutinho School of Electrical Engineering and Computer Science University of Newcastle University Drive Callaghan NSW 2308 Australia Electrical Engineering Department Universidade Federal do Rio Grande do Sul Av. Osvaldo Aranha 103 Porto Alegre - RS - Brazil Group of Automation and Control Systems PUCRS Av. Ipiranga 6681 90619-900 Porto Alegre Brazil

This work presents a (numerical) technique to the local stability analysis of feedback linearizing control schemes for a class of uncertain nonlinear systems. A nonlinear decomposition of vector functions is applied to transform the Lyapunov stability conditions into a set of state-and parameter-dependent LMI (linear matrix inequality) constraints, which are numerically solved in a finite set of points. The proposed method can deal with a large class of nonlinear systems as well as very complex Lyapunov function candidates. In addition, a maximized level set of the Lyapunov function is proposed as an estimate of the system stability region.

关键词：

来源：评论

学校读者我要写书评

暂无评论

engineering self-coordinating software intensive systems

Engineering self-coordinating software intensive systems

引用

FSE/SDP Workshop on the Future of Software engineering Research, FoSER 2010

作者： Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450304276

It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of Software engineering Research. This workshop was organized in collaboration with and made possible by generous support from the Software Design and Productivity Coordinating Group (SDP) of the U.S. National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITRD), and the National science Foundation (NSF). This one-time, international working conference has brought together top academic and industrial researchers and government research funding agency personnel from around the world to engage in an extended discussion of consequential new ideas about the future of our field. The ideas produced by this workshop will be disseminated in two forms. First, the position papers accepted by the program committee will be published in a companion to the Proceedings of FSE-18. Second, the workshop findings will be published subsequently in a special report by NITRD/SDP. The call for papers for FoSER 2010 solicited 4-page position papers with new ideas about the future of software and software-reliant systems, and the research that will be needed to meet future needs. Papers were expected to be creative and thought-provoking, and to articulate compelling new perspectives, positions, problem formulations, assumptions and approaches. The workshop did not seek, and did not accept, technical research papers or abstracts. The workshop received a total of 139 position papers. Of these, 90 papers (65%) were accepted. Each paper was reviewed by at least two members of the workshop program committee. The committee was asked to accept all papers presenting significant new ideas about how our field should move forward. Copyright 2010 ACM.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Utility Functionals Associated With Available Congestion control Algorithms

Utility Functionals Associated With Available Congestion Con...

引用

2010 Proceedings IEEE INFOCOM

作者： Javad Lavaei John C. Doyle Steven H. Low Department of Control and Dynamical Systems California Institute of Technology Computer Science and Electrical Engineering Departments California Institute of Technology

ISBN: (纸本)9781424458363

This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource allocation controllers are mainly devised to derive the state of the system to a desired equilibrium point and, therefore, they are oblivious to the transient behavior of the closed-loop system. To take into account the real-time performance of the system, rather than merely its steady-state performance, the congestion control problem should be solved by maximizing a proper utility functional as opposed to a utility function. For this reason, this work aims to investigate what utility functionals the existing congestion control algorithms maximize. In particular, it is shown that there exist meaningful utility functionals whose maximization leads to the celebrated primal, dual and primal/dual algorithms. An implication of this result is that a real network problem may be solved by regarding it as an optimal control problem on which some practical constraints, such as a real-time link capacity constraint, are imposed.

关键词： computer algorithms FUNCTIONALS System performance equilibrium point Utility functions Transient performance real-time link

来源：评论

学校读者我要写书评

暂无评论

Frequency domain surface EMG sensor fusion for estimating finger forces

Frequency domain surface EMG sensor fusion for estimating fi...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Chandrasekhar Potluri Parmod Kumar Madhavi Anugolu Alex Urfer Steve Chiu D. Subbaram Naidu Marco P. Schoen Measurement and Control Engineering Research Center MCERC Idaho State University Pocatello ID USA MCERC Idaho State University Pocatello ID USA Department of Physical and Occupational Therapy Idaho State University Pocatello ID USA Department of Electrical Engineering and Computer Science MCERC Idaho State University Pocatello ID USA Department of Mechanical Engineering MCERC Idaho State University Pocatello ID USA

Extracting or estimating skeletal hand/finger forces using surface electro myographic (sEMG) signals poses many challenges due to cross-talk, noise, and a temporal and spatially modulated signal characteristics. Normal sEMG measurements are based on single sensor data. In this paper, array sensors are used along with a proposed sensor fusion scheme that result in a simple Multi-Input-Single-Output (MISO) transfer function. Experimental data is used along with system identification to find this MISO system. A Genetic Algorithm (GA) approach is employed to optimize the characteristics of the MISO system. The proposed fusion-based approach is tested experimentally and indicates improvement in finger/hand force estimation.

关键词： Force Electromyography Muscles Transfer functions Sensor fusion Force measurement

来源：评论

学校读者我要写书评

暂无评论

Rule Generating of Rough Sets Based on Bayesian Theory

Rule Generating of Rough Sets Based on Bayesian Theory

引用

International Conference on Intelligent System Design and engineering Application (ISDEA)

作者： Jiaming Ding Lixing Ding Zhuoping Ding Yonghe Wang School of Civil Engineering Tsinghua University Beijing P R China Institute of Built Environment and Control Zhongkai University of Agriculture and Engineering Guangzhou P R China Department of Computer Hunan Institute of Science and Technology Yueyang P R China School of Civil Engineering and Architecture Central South University Changsha P R China

The generating rule method is presented for incompatible and incomplete information of test data based on Bayesian theory. Firstly, the rule's conditional probability is calculated when the certainty (reliability) of the test data is the prior probability and the samples (supportability) is posterior probability. Then, Those rules whose conditional probability is bigger than a given threshold value should be preserved. Lastly, the rule is generated by logic conjunction and disjunction of all the preserved rules. The example and application analysis indicate that the algorithm is clear, the calculating process is simple and it can be easily applied to computer programs, moreover, this method can avoid the knowledge distortion and the rule losing to the maximum for generating rule.

关键词： Rough sets Bayesian methods Indexes computers Soil

来源：评论

学校读者我要写书评

暂无评论

New features of Easy Java Simulations for 3D Modeling

引用

IFAC Proceedings Volumes 2010年第24期42卷 250-255页

作者： Carlos A. Jara Francisco Esquembre Francisco A. Candelas Fernando Torres Sebastián Dormido Department of Physics System Engineering and Signal Theory University of Alicante Alicante Spain (e-mail:{carlos.jara francisco.candelas fernando.torres}@ua.es) Department of Mathematics University of Murcia Murcia Spain (e-mail: fem@um.es) Department of Computer Science and Automatic Control UNED University Madrid Spain (e-mail: sdormido@dia.uned.es)

This paper presents a new interface framework which has been added to Easy Java Simualtions' environment in order to improve its graphical features for 3D modeling. These new 3D capabilities provide users a set of new view elements which can be used to develop models with a high degree of reality. In this way, Easy Java Simulations becomes a powerful tool to easily and quickly create 3D realistic simulations.

关键词： computer simulation modeling programming environment software tool virtual reality

来源：评论

学校读者我要写书评

暂无评论

The method of image restoration in the environments of dust

The method of image restoration in the environments of dust

引用

IEEE International Conference on Mechatronics and Automation

作者： Yuanyu Wang Yuanzong Li Tianxu Zhang Department of Computer Fundamental Education TaiYuan University of Technology TaiYuan China College of Mechanical Engineering TaiYuan University of Technology TaiYuan China Institute for Pattern Recognition and A.I State Key Laboratory of Image Processing and Intelligent Control Huazhong University of Science and Technology WuHan China

In order to solve the problem of image degradation caused by dust environments, an image degradation model considering multiple scattering factors caused by dust was first established using the first-order multiple scattering method. Then, a dark channel prior principle was applied to present an image restoration algorithm based on the image degradation model. Finally, a particle swarm optimization algorithm was applied to optimize the atmospheric light and the exposure parameters. This optimization algorithm was established according to the criterion of the image evaluation based on kirsch operator with dual threshold. By using the method an optimistic result of image restoration was obtained. The experimental results have shown that the method not only enhanced luminance and contrast, but also discovered more detail edges information. The method provided a foundation for target recognition in the dust environments.

关键词： Image edge detection Image restoration Degradation Atmospheric modeling Optical scattering Optical imaging

来源：评论

学校读者我要写书评

暂无评论

Development of real-time wireless brain computer interface for drowsiness detection

Development of real-time wireless brain computer interface f...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Shao-Hang Hung Che-Jui Chang Chih-Feng Chao I-Jan Wang Chin-Teng Lin Bor-shyh Lin Institute of Electrical Control Engineering National Chiao Tung University Hsinchu Taiwan Department of Computer Science National Chiao Tung University Hsinchu Taiwan National Chiao Tung University Hsinchu TW Institute of Imaging and Biomedical Photonics National Chiao Tung University Hsinchu Taiwan

In this study, a real-time wireless embedded EEG-based brain computer interface (BCI) system was developed for drowsiness detection in a realistic driving task. Accidents caused by driver's drowsiness behind the steering wheel have a high fatality rate because of the marked decline in the driver's abilities of perception, recognition, and vehicle control abilities while sleepy. Therefore, real-time drowsiness monitoring is important to avoid traffic accidents. In this study, an embedded EEG-based BCI system which includes a wireless physiological signal acquisition module and an embedded signal processing module was designed, and a real-time drowsiness detection algorithm based on our unsupervised approach was implemented in the embedded signal processing module. EEG signal would be monitored and analyzed by the embedded signal processing module, and the warning tone would be triggered to prevent traffic accidents when the drowsiness condition occurred.

关键词： Brain computer interfaces Signal processing algorithms Real time systems Road accidents Signal processing Wheels Vehicle driving computerized monitoring Biomedical monitoring Process design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：