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

An architecture description language based on dynamic description logics for self-healing systems

International Journal of Advancements in computing technology 2012年第18期4卷 89-96页

作者： Wang, Zhuxiao Peng, Hui Guo, Jing Wu, Kehe Cui, Wenchao Wang, Xiaofeng School of Control and Computer Engineering State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing 102206 China Education Technology Center Beijing International Studies University Beijing 100024 China National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing 100029 China School of Control and Computer Engineering Institute of Electric Information Security Engineering Research Center of Power Information North China Electric Power University Beijing 102206 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

As biological systems exhibit adaptation, healing and robustness in the face of changing environmental behavior, this paradigm has actuated research dealing with the concept of self-healing systems, which attempt to heal themselves in the sense of recovering from malicious attacks and rectifying of system faults. The goal of self-healing systems is to provide survivable systems that require high dependability, robustness, adaptability, and availability. Such systems maintain one or more models, whether external or internal, at run time as a basis for identifying problems and resolving them. This article describes an architectural description language, called ADML, which is being developed as a new formal language and/or conceptual model for representing evolving software architectures. The ADML embraces dynamic change as a fundamental consideration, supports a broad class of adaptive changes at the architectural level, and offers a uniform way to represent and reason about both static and dynamic aspects of self-healing systems. Because the ADML is based on the Dynamic Description Logic DDL(SHON (D)), which can represent both dynamic semantics and static semantics under a unified logical framework, architectural ontology entailment for the ADML languages can be reduced to knowledge base satisfiability in DDL(SHON (D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML. In this article, we present the syntax of ADML, explain its underlying semantics using the Dynamic Description Logic DDL(SHON (D)), and exemplify our approach by applying it to the domain of load balancing a wireless remote-access system;the preliminary results certify the potential of the approach.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Network-based humanoid robot remote interaction with the actual situation Fusion technology

Network-based humanoid robot remote interaction with the act...

引用

The 2011 International Conference on Advanced Materials and Information technology Processing(AMITP 2011)

作者： YU Guochen WANG Zhiliang XIE Lun XU Jiaming State Key Laboratory of Robotics and System Harbin Institute of Technology School of Computer and Communication Engineering University of Science and Technology Beijing

ISBN: (纸本)9783037851579

With the rapid development of network technology, network-based humanoid robot technology will also be open to the development of gradual and orderly progress. This article is based on the C / S architecture, the server responsible for controlling the record of news and information network transit between paragraphs;through remote interaction, real-time client to complete the real humanoid robot control functions. Interoperability between the client, first to sign the server. Server information of all registered users to return to the client process, then the client users will be able to get online users to select the remote robot interaction..When a user operation, the client program as a virtual robot through the virtual robot laboratory will be displayed in realtime robot control results.

关键词： Humanoid robot,remote interactive,virtual,real-time,network

来源：评论

学校读者我要写书评

暂无评论

Analysis of DRM game control

引用

Tongxin Xuebao/Journal on Communications 2012年第SUPPL.1期33卷 282-286页

作者： Ma, Guo-Jun Pei, Qing-Qi Jiang, Xiao-Hong School of Computer Science and Technology Xidian University Xi'an 710071 China The State Key Laboratory of Integrated Services Networks Xidian University Xi'an 710071 China

To overcome the limitations of individual rationality, a game control model was proposed. The controller of game is global rational. To achieve global optimization, the controller chooses strategies according to the control goal, and the controlled chooses the strategies according to the principle of individual rationality. Based on the model and the analysis of relationships and actions of DRM value chain, a model of DRM game control is presented. Content provider actions as the controller of the game, and the global optimization strategies which the content provider choose are discussed, which provides the guidance theory of rational DRM applications.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Extending CSP to detect motor imagery in a four-class BCI

引用

Journal of Information and Computational science 2012年第1期9卷 143-151页

作者： Fang, Yonghui Chen, Minyou Zheng, Xufei Harrison, R.F. State Key Laboratory of Power Transmission Equipment and System Security New Technology Chongqing University Chongqing 400044 China School of Electronic and Information Engineering Southwest University Chongqing 400715 China College of Computer Science Sichuan University Chengdu 610065 China Department of Automatic Control and Systems Engineering University of Sheffield United Kingdom

Brain computer Interface (BCI) provides a direct communication channel from brain to peripheral equipment. Common Spatial Patterns (CSP) is wildly used to extract features for electroencephalogram (EEG). However, basic CSP only suits two-class discrimination and is unable to solve multi-class discrimination problems. This paper proposes a modified CSP method termed Bisearch Common Spatial Patterns (BCSP) to solve a four-class BCI problem. In BCSP, the Fisher's Linear Discriminant Analysis (LDA) is used to discriminate among the four motor imagery tasks. The BCSP can effectively reduce the number of the basic CSP, and thus makes the overall classification procedure more efficient. The Graz BCI data set from the BCI 2008 competition be used to verify the effectiveness of the BCSP. Simulation results show that BCSP has better performance than other extension schemes. © 2012 Binary Information Press January 2012.

关键词： Brain computer interface

来源：评论

学校读者我要写书评

暂无评论

Integrating Hard and Soft Information Sources for D2D Using Controlled Natural Language

Integrating Hard and Soft Information Sources for D2D Using ...

引用

International Conference on Information Fusion

作者： Alun Preece Diego Pizzocaro Dave Braines David Mott Geeth de Mel Tien Pham School of Computer Science and Informatics Cardiff University Cardiff UK contact Emerging Technology Services IBM United Kingdom Ltd Hursley Park Winchester UK IBM TJ Watson Research Center Hawthorne NY USA US Army Research Laboratory Adelphi MD USA

ISBN: (纸本)9780982443859

We introduce an approach to integrating access to hard and soft information sources to provide better exploitation of all available sources in the context of coalition data-todecision (D2D) chains. In terms of hard (sensor-based) sources we show how intelligence, surveillance, and reconnaissance (ISR) assets can be represented at a relatively high level in controlled natural language, and how this allows the automatic assignment of sensing assets to D2D tasks. We demonstrate how the use of Controlled English (CE) - a type of controlled natural language designed to be readable by a native English speaker whilst representing information in a structured, unambiguous form - supports the informed sharing of D2D tasks and assets between collaborating users in a coalition environment. Moreover, we show how CE can be used in the automatic extraction of information from unstructured and semi-structured text information sources, providing us with a uniform way to integrate these soft sources with the aforementioned hard sources.

关键词： Integrating Hard Soft Information Sources Controlled Natural Language

来源：评论

学校读者我要写书评

暂无评论

Cross-layer detection for black hole attack in wireless network

引用

Journal of Computational Information systems 2012年第10期8卷 4101-4109页

作者： Yi, Ping Zhu, Ting Liu, Ning Wu, Yue Li, Jianhua State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing University Chongqing 400044 China School of Information Security Engineering Shanghai Jiao Tong University Shanghai 200240 China School of Mechanical Engineering Shanghai Jiao Tong University Shanghai 200240 China Department of Computer Science Binghamton University Binghamton NY 13905 United States

Mobile ad hoc networks (MANETs) are especially vulnerable to attacks for lacking infrastructure and data transfer using wireless communication, especial for denial of service (DoS) attacks. Black hole and gray hole attack are two kinds of denial of service (DoS) attacks and can bring great damage to mobile ad hoc network. This paper demonstrates an adaptive approach to detecting black and gray hole attacks in MANET based on a cross layer design. In network layer, we proposed a path-based method to overhear the next hop's action. In MAC layer, a collision rate reporting system is established to estimate dynamic detecting threshold so as to lower the false positive rate under high network overload. This scheme does not send out extra control packets and saves the system resources of the detecting node. We choose DSR protocol to test the algorithm by ns-2 as simulation tool. The experiment result verifies our theory: the average detection rate is above 90% and the false positive rate is below 10%. Moreover, the adaptive threshold strategy contributes to decrease the false positive rate. © 2011 by Binary Information Press.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Fuzzy tracking control design for hypersonic vehicles via T-S model

引用

science China(Information sciences) 2011年第3期54卷 521-528页

作者： GAO DaoXiang 1 & SUN ZengQi 2 1 school of technology, Beijing Forestry University, Beijing 100083, China 2 State Key laboratory of Intelligent technology and system, Department of computer science and technology, Tsinghua University, Beijing 100084, China 1. School of Technology Beijing Forestry University Beijing 100083 China2. State Key Laboratory of Intelligent Technology and System Department of Computer Science and Technology Tsinghua University Beijing 100084 China

The main focus of this paper is on designing a T-S fuzzy controller for the hypersonic vehicle. The longitudinal dynamics of the vehicle are studied using time-scale decomposition to reduce the complexity of T-S modeling. The dynamic inversion with PI control technique is applied for the slow dynamics to derive the flight path angle command and throttle setting by taking the pilot altitude and velocity command as its inputs. The T-S fuzzy controller is designed for the fast dynamics to derive the elevator deflection to track the flight path angle command. The discrepancy between the T-S model and real vehicle model is considered by using sliding mode control for the system stability. Simulation results are included to show the effectiveness of the controller.

关键词： fuzzy control T-S model sliding mode control hypersonic vehicle

来源：评论

学校读者我要写书评

暂无评论

Feature extraction of motor imagery in BCI with approximate entropy

引用

Journal of Computational Information systems 2012年第6期8卷 2485-2491页

作者： Fang, Yonghui Chen, Minyou Zheng, Xufei Harrison, Robert F State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing University Chongqing 400044 China School of Electronic and Information Engineering Southwest University Chongqing 400715 China College of Computer Science Sichuan University Chengdu 610065 China Department of Automatic Control and Systems Engineering University of Sheffield Sheffield United Kingdom

Approximate Entropy (ApEn) is a regularity statistic that quantifies the unpredictability of fluctuations in a time series and can classify complex systems. This study, ApEn is used to extract features from motor imagery Electroencephalogram (EEC) that containing two motor imagery tasks. This method is different from the traditional way to get the character from EEC. Appropriate parameters must been chosen for different dataset. Two datasets are used in this paper. One comes from BCI Competion2003, the other from the lab of Electromagnetic theory and artincal intelligence, Chongqing University. The results show that ApEn can extract different features in left-hand and right-hand motor imagery EEC efficiently. Comparison between ApEn and Fast Fourier Transform (FFT) shows that ApEn has good capability to the two imagery tasks Brain computer Interface. © 2012 Binary Information Press.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Content-Based Design Patent Image Retrieval Using Structured Features and Multiple Feature Fusion

Content-Based Design Patent Image Retrieval Using Structured...

引用

International Conference on Image and Graphics (ICIG)

作者： Lei Zhu Hai Jin Ran Zheng Qin Zhang Xia Xie Mingrui Guo Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Traditional design patent verification based on manual comparison is too labor-intensive, time-consuming and subjective to be applied efficiently in practice. Design patent image retrieval system is designed to retrieve some similar patent images with much visual similarities. Structured features and multiple feature fusion are two main technologies to ensure the retrieval accuracy in the system. Block-wise Dense SIFT (Block-DSIFT), Pyramid Histograms of Orientation Gradients (PHOG), and GIST are proposed as main structured features. A multiple feature fusion algorithm for content-based design patent image retrieval is proposed to formulate the fusion as the linear combination of different matrixes which represent different feature distances between images to improve the precision of retrieval. The weights that reflect the significance of the features are determined by quadratic programming and can be solved efficiently. Experiments on a database of real design patent images show good efficiency and robustness of the proposed method and the system can be applied to design patent copyright validation.

关键词： Patents Feature extraction Histograms Image retrieval Shape Measurement Image color analysis

来源：评论

学校读者我要写书评

暂无评论

A non-blocking programming framework for pipeline application on multi-core platform

A non-blocking programming framework for pipeline applicatio...

引用

9th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2011

作者： Li, Xiaoqiang An, Hong Liu, Gu Han, Wenting Xu, Mu Zhou, Wei Li, Qi School of Computer Science and Technology University of Science and Technology of China Hefei China Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Beijing China

ISBN: (纸本)9780769544281

Many applications meet certain programming patterns like pipeline, fork-join, do-all etc. While tools such as OS threads and OpenMP allow programmers only to express task or data parallelism, special support for programming patterns is distinctly lacking. Intel threading building blocks (TBB) is developed to address this problem, but its scheduler is general and not optimized for any of its parallel algorithms which include pipeline specially. In this paper, we provide a non-blocking framework for pipeline application on multi-core platform. We target linear pipeline in which each filter has one entrance and one exit. We design a novel work-stealing scheduler optimized specially for pipeline application: first, priority based stealing, priority is calculated for each filter in pipeline so that a worker can find the optimal "victim" easily when it needs to steal;second, multiple tasks can be stolen at a time so that much stealing time is reduced. A nonblock queue is used to store intermediate result to reduce lock overhead and increase scalability. We apply our framework to four case studies, including text filter, twofish, ferret, dedup. And our framework reduces execution time of TBB by 72% in best case and 20% on average on an 8 core machine. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：