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

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

作者： Ondrej Adamec Alexandre Domingues Teresa Paiva J. Miguel Sanches Faculty of Electrical Engineering and Computer Science Department of Measurement and Control VSB-Technical University of Ostrava Czech Republic Instituto Superior Technico Lisboa Portugal Centro de Electroencefalografia e Neurologia Clínica Universidade de Lisbon Portugal

Human activity can be measured with actimetry sensors used by the subjects in several locations such as the wrists or legs. Actigraphy data is used in different contexts such as sports training or tele-medicine monitoring. In the diagnosis of sleep disorders, the actimetry sensor, which is basically a 3D axis accelerometer, is used by the patient in the non dominant wrist typically during an entire week. In this paper the actigraphy data is described by a weighted mixture of two distributions where the weight evolves along the day according to the patient circadian cycle. Thus, one of the distributions is mainly associated with the wakefulness state while the other is associated with the sleep state. Actigraphy data, acquired from 20 healthy patients and manually segmented by trained technicians, is used to characterize the acceleration magnitude during sleep and wakefulness states. Several mixture combinations are tested and statistically validated with conformity measures. It is shown that both distributions can co-exist at a certain time with varying importance along the circadian cycle.

关键词： Sleep Histograms Wrist Rician channels Sensors Monitoring Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

On Distributed Order Low-Pass Filter

On Distributed Order Low-Pass Filter

引用

2010 IEEE/ASME International Conference on Mechatronic and Embedded System and Applications(2010 IEEE 机电一体化和嵌入式系统与应用国际会议)

作者： Yan Li Hu Sheng YangQuan Chen School of Control Science and Engineering Shandong UniversityJinan Shandong 250061 P. R. China. Department of Electronic Engineering Dalian University of TechnologyDalian 116024 P. R. China. Center for Self-Organizing and Intelligent Systems (CSOIS) Department of Electrical and Computer En

In this paper, we derive the impulse response of the fractional distributed order low-pass filters. Based on the derived analytical impulse response, a method on how to perform the discretization of the above distribu... 详细信息

关键词： computer languages

来源：评论

学校读者我要写书评

暂无评论

Dynamic Simulations of Nonlinear Multi-Domain Systems Based on Genetic Programming and Bond Graphs

引用

Tsinghua science and Technology 2009年第5期14卷 612-616页

作者：狄文辉孙波徐立新 Department of Computer Science and Technology Henan Mechanical and Electrical Engineering College Department of Control Science and Engineering Huazhong University of Science and Technology

A dynamic simulation method for non-linear systems based on genetic programming （GP） and bond graphs （BG） was developed to improve the design of nonlinear multi-domain energy conversion systems. The genetic operators enable the embryo bond graph to evolve towards the target graph according to the fitness function. Better simulation requires analysis of the optimization of the eigenvalue and the filter circuit evolution. The open topological design and optimized convergence for the operation, but also the design of nonlinear multi-domain systems. space search ability of this method not only gives a more reduces the generation time for the new circuit graph for

关键词： genetic programming （GP） bond graph （BG） evolutionary computation system simulation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：