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

American Control Conference

作者： Deyuan Meng Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781424474264

This paper deals with the design problem of robust iterative learning control (ILC), in the presence of noise that is varying randomly from iteration to iteration. Two ILC schemes are considered: one adopts the previous iteration tracking error (PITE) and the other adopts the current iteration tracking error (CITE), in the updating law. For both schemes, the convergence results are obtained by using a frequency-domain approach, and a comparison between them is presented from the viewpoints of the convergence condition, robustness against plant uncertainty, and delay compensation. It shows that sufficient conditions can be derived to bound the tracking error and make its expectation monotonically convergent in the sense of L_(2)-norm, which work effectively with robustness for all admissible plant uncertainties. Furthermore, the sufficient conditions for both schemes can also be formulated in terms of two complementary functions, which do not depend on the delay time as well as the plant uncertainty and, thus, make them convenient to be checked and solved using the frequency-domain tools. Numerical simulations are included to illustrate the effectiveness of the two proposed ILC schemes.

关键词： Iterative learning control monotonic convergence previous iteration tracking error current iteration tracking error random iteration-varying noise delay compensation delay compensation monotone convergence iterative methods Iterative learning control follow error Scheme design problems Delay time Sufficient conditions learning control

来源：评论

学校读者我要写书评

暂无评论

A New Resampling Algorithm for Generic Particle Filters

A New Resampling Algorithm for Generic Particle Filters

引用

American Control Conference

作者： X. Fu Y. Jia J. Du F. Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781424474264

This paper is devoted to the resampling problem of particle filters. We firstly demonstrate the performance of classical Resampling algorithm (also called as systematic resampling algorithm) using a novel metaphor, through which the existing defects of Resampling algorithm is vividly reflected simultaneously. In order to avoid these defects, the exquisite resampling (ER) algorithm is induced which involves some exquisite actions such as comparing the weights by stages and generating the new particles based on quasi-Monte Carlo method. Simulations indicate that the proposed ER algorithm can reduce the sample impoverishment effectively and improve the accuracy of estimation evidently, which confirm that ER algorithm is a competitive alternative to Resampling algorithm.

关键词： resampling algorithm Particle filters

来源：评论

学校读者我要写书评

暂无评论

Non-Fragile Control for Trajectory Tracking of Nonholonomic Mobile Robots

Non-Fragile Control for Trajectory Tracking of Nonholonomic ...

引用

American Control Conference

作者： Na Ni Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781424474264

This paper is devoted to the non-fragile controller design for the trajectory tracking of nonholonomic mobile robots. Using non-linear state feedback and proper coordinate transformation, the model of nonholonomic mobile robots is exactly linearized. Based on which, the non-fragile controller is designed by employing the linear matrix inequality (LMI) approach. Simulation examples are included to illustrate the effectiveness of the proposed controller.

关键词： Trajectory Mobile robots Control systems Tracking Robot kinematics Orbital robotics State feedback Error correction Sliding mode control Laboratories

来源：评论

学校读者我要写书评

暂无评论

On Achieving Maximum Secure Throughput Using Network Coding Against Wiretap Attack

On Achieving Maximum Secure Throughput Using Network Coding ...

引用

IEEE International Conference on Distributed Computing Systems

作者： Xiangmao Chang Jin Wang Jianping Wang Victor Lee Kejie Lu Yixian Yang Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Department of Computer Science University of Science and Technology of China Department of Computer Science City University of Hong Kong Department of Electrical and Computer Engineering University of Puerto Rico at Mayaguez

ISBN: (纸本)9781424472611;9780769540597

In recent years network coding has attracted significant attention in telecommunication. The benefits of network coding to a communication network include the increased throughput as well as secure data transmission. The purpose of this work is to design secure linear network coding against wiretap attack. The problem is to maximize the transmission data rate of multiple unicast streams between a pair of source and destination nodes, under the condition of satisfying the weakly secure requirements. Different from most existing research on network coding that designs the network coding scheme based on a given network topology, we will consider the integrated network topology design and network coding design. Such an integrated approach has not been reported by other researchers. In this paper, we formally introduce the problem, prove the problem is computational intractable, and then develop efficient heuristic algorithms. We first try to find the transmission topology that is suitable for network coding. Based on the topology, we design linear network coding scheme that is weakly secure. We conduct simulations to show that the proposed algorithms can achieve good performance.

关键词： Network coding Network topology Data transfer rates Secure networks(communications) topology labeling scheme Heuristic algorithms Linear networks Hierarchical Network coding(HNC) data transmission

来源：评论

学校读者我要写书评

暂无评论

Study on static and dynamic stress-strain relationship of cement mortar material

引用

Tumu Gongcheng Xuebao/China Civil engineering Journal 2010年第SUPPL. 2期43卷 119-126页

作者： Du, Xiuli Wang, Yang Lu, Dechun Key Laboratory of Urban Security and Disaster Engineering of Ministry of Education Beijing University of Technology Beijing 100124 China China Three Gorges New Energy Corporation Beijing 100051 China

This paper uses stress-strain relationship of concrete proposed by European Code (CEB-FIP1990) and GB 50010-2002 Code for Design of Concrete Structures to describe the static deformation characteristic of cement mortar material, and uses the authors' experimental results to analyze a law of choosing model parameters. Research shows that the stress-strain relationship proposed two codes can satisfactorily reflect the deformation characteristic of cement mortar materials by changing the values of material parameters. Base on stress-strain relationship of cement mortar materials, the author introduces the uniaxial dynamic strength criterion to gain the uniaxial dynamic stress-strain relationship. It shows that the dynamic stress-strain relationship proposed this paper can satisfactorily describe uniaxial dynamic mechanical characteristic of cement mortar materials by verifying dynamic experimental results of cement mortar material given by the literature.

关键词： Mortar

来源：评论

学校读者我要写书评

暂无评论

Practical Identity-Based Signature Without Random Oracle

Practical Identity-Based Signature Without Random Oracle

引用

2010 IEEE International Conference on Information Theory and Information security(2010 IEEE 国际信息论与信息安全会议)

作者： Lifeng Guo Yong Li Lei Hu Yinfang Guo School of Computer and Information Technology Shanxi UniversityTaiyuan Shanxi China School of Ele School of Electronics and Information Engineering Beijing Jiaotong University Beijing China State Key Laboratory of Information Security Graduate University of Chinese Academy of SciencesBeij Education Institute of Taiyuan University Taiyuan China

To date, most of the constructions of provably secure identity based signature (IBS) scheme are based on the approach of attaching certificates to non-identity based signatures in the random oracle. In ACISP'06, Paterson et al. proposed the first direct construction of IBS in the standard model. However, Paterson et al.'s scheme has a large size of the public parameter, which is not suitable for environments with limited storage capacity. In this paper, we proposed an efficient provably secure IBS scheme in the standard model based on bilinear pairings. To the best of our knowledge, our scheme is another direct construction and more efficient by reducing about half the size of public parameters than Paterson et al.'s scheme. Assuming the intractability of the Computational Diffie-Hellman problem, our IBS scheme is unforgeable under an adaptive chosen-message attack without resorting to random oracle.

关键词： Computational modeling Electronic mail Elliptic curve cryptography Adaptation model Generators

来源：评论

学校读者我要写书评

暂无评论

Quantum State Reduction for Universal Measurement Based Computation

引用

Physical Review Letters 2010年第2期105卷 020502-020502页

作者： Xie Chen Runyao Duan Zhengfeng Ji Bei Zeng Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney NSW Australia Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Perimeter Institute for Theoretical Physics Waterloo Ontario Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute for Quantum Computing University of Waterloo Waterloo Ontario Canada Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario Canada

Measurement based quantum computation, which requires only single particle measurements on a universal resource state to achieve the full power of quantum computing, has been recognized as one of the most promising models for the physical realization of quantum computers. Despite considerable progress in the past decade, it remains a great challenge to search for new universal resource states with naturally occurring Hamiltonians and to better understand the entanglement structure of these kinds of states. Here we show that most of the resource states currently known can be reduced to the cluster state, the first known universal resource state, via adaptive local measurements at a constant cost. This new quantum state reduction scheme provides simpler proofs of universality of resource states and opens up plenty of space to the search of new resource states.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Improved meet-in-the-middle attacks on 7-round AES-192 and 8-round AES-256

引用

Tongxin Xuebao/Journal on Communications 2010年第9 A期31卷 197-201页

作者： Dong, Xiao-Li Hu, Yu-Pu Chen, Jie Li, Shun-Bo Yang, Yang Key Laboratory of Computer Networks and Information Security of Ministry of Education Xidian University Xi'an 710071 China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100049 China School of Science Xi'an University of Architecture and Technology Xi'an 710055 China

A new variant of 5-round distinguisher of meet-in-the-middle attack on AES was constructed by exploiting the properties of the round transform of AES. Based on the variant of distinguisher, meet-in-the-middle attacks on 7-round AES-192 and 8-round AES-256 were presented by using the time-memory tradeoff approach. It is shown that the new results are better than the cryptanalytic results presented at FSE2008 on reduced AES in terms of the time complexity and the memory complexity.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Studies and implementation of the trusted process mechanism in a secure operating system

引用

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

作者： Zhang, Chongbin Li, Fengjuan Liang, Bin China Information Technology Security Evaluation Center Beijing 100085 China Key Laboratory of Data Engineering and Knowledge Engineering of Ministry of Education School of Information Renming University of China Beijing 100872 China

The trusted process mechanism is an important part of the operating system security mechanism, but there is no uniform definition of the trusted process and there are some limitations in understanding its fundamental properties. In this paper, the trustworthiness of a trusted process is discussed in terms of privilege, data-operated integrity, functional and logic correctness, self-integrity, availability and trusted interactions. A trusted process definition is then given which summarizes the fundamental properties of a trusted process as a theoretical foundation for researching and enforcing the trusted process mechanism. A prototype of a trusted process mechanism is implemented in a secure operating system based on Linux, with the trustworthiness of the trusted process assured in many ways to improve and extende the original trust mechanisms in Linux.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

ABAR: Automatic bug analyzer based on source code

引用

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

作者： Liang, Hongliang Chen, Zheng Zhang, Puhan School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Beijing Antaishikong Technology Company Beijing 100070 China China Information Technology Security Evaluation Center Beijing 100085 China

Static analyses of software bugs are more developed than software tests or manual reviews. This paper describes the design and implementation of ABAR (automatic bug analyzer) for source code inspection using the state machine approach and provides a bug description language which describes a bug as a state machine based on variables. The system traces the state of each variable on each execution path of each function in the source code to find potential bugs in codes and backtrack and locate the bugs accurately. The efficiency of the search is improved by optimizations such as path-pruning, value equality and alias analyses, and cache methods.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：