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

Chinese Control and Decision Conference, CCDC

作者： Yanyan Yin Fei Liu Peng Shi Hamid Reza Karimi Key Laboratory of Advanced Process Control for Light Industry (Ministry of Education) Institute of Automation Jiangnan University Wuxi 214122 China Department of Computing and Mathematical Sciences University of Glamorgan Pontypridd CF37 1DL United Kingdom Department of Engineering Faculty of Engineering and Science University of Agder N-4898 Grimstad Norway

The problem of receding horizon predictive control of stochastic linear parameter varying systems is discussed. First, constant coefficient matrices are obtained at each vertex in the interior of linear parameter varying system, and then, by considering semi-definite programming constraints, weight coefficients between each vertex are calculated, and the equal coefficients matrices for the time variable system are obtained. Second, in the given receding horizon, for each mode sequence of the stochastic convex polyhedron linear parameter varying systems, the optimal control input sequences are designed in order to make the states into a terminal invariant set. Outside of the receding horizon, stability of the system is guaranteed by searching a state feedback control law. Finally, receding horizon predictive controller is designed in terms of linear matrix inequality for such system. Simulation example shows the validity of this method.

关键词： Markov processes Predictive control Equations Educational institutions Programming Symmetric matrices

来源：评论

学校读者我要写书评

暂无评论

Gain-Scheduled H-infinity Observer Design for Nonlinear Stochastic Systems with Time-Delay and Actuator Saturation

Gain-Scheduled H-infinity Observer Design for Nonlinear Stoc...

引用

American Control Conference

作者： Yanyan Yin Peng Shi Fei Liu Hamid Reza Karimi Key Laboratory of Advanced Process Control for Light Industry (Ministry of Education) Institute of Automation Jiangnan University Wuxi Jiangsu 214122 P. R. China Department of Computing and Mathematical Sciences University of Glamorgan Pontypridd CF37 1DL United Kingdom Department of Engineering Faculty of Engineering and Science University of Agder N-4898 Grimstad Norway

ISBN: (纸本)9781457710957

In this paper, we propose a method for designing continuous gain-scheduled robust H_∞ observer on a class of extended stochastic nonlinear systems subject to time delay and actuator saturation. Initially, gradient linearization procedure is applied to describe such extended nonlinear systems into several model-based linear systems. Next, a robust linear H_∞ observer is designed to such linear stochastic models. Subsequently, a convex hull set is investigated and sufficient condition is derived in terms of feedback observer to determine whether a given initial condition belongs to an ellipsoid invariant set. Finally, continuous gain-scheduled approach is employed to design continuous nonlinear observers on the entire extended nonlinear jump system. A simulation example is given to illustrate the effectiveness of developed techniques.

关键词： Nonlinear stochastic system time delay Observers actuators system clock INITIAL CONDITIONS Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Modelling of the Electric Field Assisted Capillarity Effect used for the fabrication of hollow polymer microstructures

Modelling of the Electric Field Assisted Capillarity Effect ...

引用

Thermal, Mechanical and Multiphysics Simulation and Experiments in Micro-Electronics and Micro-Systems EuroSimE

作者： C. Tonry M. Patel C. Bailey M.P.Y. Desmuliez S. Cargill W. Yu Computational Mechanics and Reliability Group (CMRG) School of Computing and Mathematical Sciences University of Greenwich London UK Microsystems Engineering Centre (MISEC) School of Engineering & Physical Sciences Heriot-Watt University Edinburgh UK State Key Laboratory of Applied Optics Changchun Institute of Optics Fine mechanics and Physics Chinese Academy of Sciences Changchun Jilin China

Electric Field Assisted Capillarity (EFAC) is a novel process which has the potential for the single step fabrication of hollow polymer microstructures. The process has been shown to work experimentally on a microscale level using Polydimethylsiloxane (PDMS). The process makes use of both the electrohydrodynamics of polymer at a microscale and the voltage enhanced capillary force exerted on the polymer. This paper discusses the results of a two-dimensional numerical simulation of this process. The results presented use a patterned master electrode producing encapsulated microchannels in the polymer. The simulations demonstrate how the differing contact angles between the polymer and the walls of the master electrode affect the thickness of the top surface of the formed microstructures. It also specifies the conditions necessary for the successful fabrication of such microstructures.

关键词： Numerical models Electronic mail Electrodes Manganese Polymers

来源：评论

学校读者我要写书评

暂无评论

Provably Secure Role-Based Encryption with Revocation Mechanism

引用

Journal of Computer Science & Technology 2011年第4期26卷 697-710页

作者：朱岩胡宏新 Gail-Joon Ahn 王怀习王善标 Institute of Computer Science and Technology Peking University Beijing Key Laboratory of Internet Security Technology Peking University School of Computing Informatics and Decision Systems EngineeringArizona State University School of Mathematical Sciences Peking University

Role-Based Encryption （RBE） realizes access control mechanisms over encrypted data according to the widely adopted hierarchical RBAC model. In this paper, we present a practical RBE scheme with revocation mechanism based on partial-order key hierarchy with respect to the public key infrastructure, in which each user is assigned with a unique private-key to support user identification, and each role corresponds to a public group-key that is used to encrypt data. Based on this key hierarchy structure, our RBE scheme allows a sender to directly specify a role for encrypting data, which can be decrypted by all senior roles, as well as to revoke any subgroup of users and roles. We give a full proof of security of our scheme against hierarchical collusion attacks. In contrast to the existing solutions for encrypted file systems, our scheme not only supports dynamic joining and revoking users, but also has shorter ciphertexts and constant-size decryption keys.

关键词： cryptography role-based encryption role hierarchy key hierarchy collusion security revocation

来源：评论

学校读者我要写书评

暂无评论

Provably secure role-based encryption with revocation mechanism

Provably secure role-based encryption with revocation mechan...

引用

作者： Zhu, Yan Hu, Hong-Xin Ahn, Gail-Joon Wang, Huai-Xi Wang, Shan-Biao Institute of Computer Science and Technology Peking University Beijing 100871 China Beijing Key Laboratory of Internet Security Technology Peking University Beijing 100871 China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85287 United States 4School of Mathematical Sciences Peking University Beijing 100871 China

Role-Based Encryption (RBE) realizes access control mechanisms over encrypted data according to the widely adopted hierarchical RBAC model. In this paper, we present a practical RBE scheme with revocation mechanism based on partial-order key hierarchy with respect to the public key infrastructure, in which each user is assigned with a unique private-key to support user identification, and each role corresponds to a public group-key that is used to encrypt data. Based on this key hierarchy structure, our RBE scheme allows a sender to directly specify a role for encrypting data, which can be decrypted by all senior roles, as well as to revoke any subgroup of users and roles. We give a full proof of security of our scheme against hierarchical collusion attacks. In contrast to the existing solutions for encrypted file systems, our scheme not only supports dynamic joining and revoking users, but also has shorter ciphertexts and constant-size decryption keys. © 2011 Springer Science+Business Media, LLC & Science Press, China.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Model Checking of Adaptive Programs with Mode-extended Linea...

引用

IEEE Workshop on engineering of Autonomic and Autonomous Systems (EASE)

作者： Yongwang Zhao Dianfu Ma Jing Li Zhuqing Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive programs are generally difficult to specify, verify, and validate. Assurance of high dependability of these programs is a great challenge. Efficiently and precisely specifying requirements and flexible model checking for adaptation are the key issues for developing dependably adaptive software. This paper introduces a formal model for adaptive programs which have different behavioral modes. We consider that adaptive programs have two behavioral level, functional behavior and adaptation. state machine is used to describe functional behavior in different modes and mode automata is proposed for adaptations. Specifications of adaptive programs are classified into three categories, local, adaptation and global properties from their different scope of dynamic adaptation. To specify and verify specifications on our model, We propose the Mode-extended Linear Temporal Logic (mLTL) and its model checking approach. mLTL extends Linear Temporal Logic (LTL) by adding mode related element and enables describing properties on different modes. Our formal model and mLTL formulae are translated to SMV language and verified in NuSMV model checker.

关键词： Automata Adaptation models Receivers Software Semantics Encryption Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic

Towards Verifying Global Properties of Adaptive Software Bas...

引用

International Conference on advanced Information Networking and Applications (AINA)

作者： Yongwang Zhao Jing Li Dou Sun Dianfu Ma Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of high dependability of these software is a great challenge. Effective modeling of behavior and flexibly specifying requirements are the key issues for developing trusted adaptive software. This paper introduces a formal model for the behavior of adaptive software and an extended linear temporal logic to specify global properties. We use state machines to describe programs in different behavioral modes of adaptive software and consider these machines as different versions of programs. Specifications are classified into three categories, local, adaptation and global properties from perspective of dynamic adaptation. To specify and verify global properties on our model, we propose the versioned LTL (vLTL) which extends Linear Temporal Logic by adding version related element and enables describing properties on different versions. We also discuss verifying approach of vLTL by transforming them into LTL formulae and illustrate a study case.

关键词： Automata Software Adaptation model Semantics Runtime Algebra Switches

来源：评论

学校读者我要写书评

暂无评论

Some recent progress on curvilinear imagers and eyeball cameras

Some recent progress on curvilinear imagers and eyeball came...

引用

Imaging Systems and Applications, ISA 2011

作者： Jung, Inhwa Xiao, Jianliang Malyarchuk, Viktor Lu, Chaofeng Li, Ming Liu, Zhuangjian Yoon, Jongseung Huang, Yonggang Rogers, John A. Department of Materials Science and Engineering Beckman Institute for Advanced Science and Technology Frederick Seitz Materials Research Laboratory University of Illinois at Urbana-Champaign Urbana IL 61801 United States Department of Civil Engineering Zhejiang University Hangzhou Zhejiang 310058 China Department of Civil and Environmental Engineering Northwestern University Evanston IL 60208 United States State Key Laboratory of Structural Analysis for Industrial Equipment Dalian University of Technology Dalian 116024 China Institute of High Performance Computing 1 Fusionopolis Way #16-16 Connexis 138632 Singapore Department of Mechanical Engineering Northwestern University Evanston IL 60208 United States

We present curvilinear imagers using photodetector arrays on elastomeric membranes, capable of reversible deformation into hemispherical shapes via hydraulics. Combining with tunable, fluidic plano-convex lenses yield... 详细信息

ISBN: (纸本)9781557529145

关键词： Arrays Detector arrays Image quality Photodetectors Thin films Zoom lenses

来源：评论

学校读者我要写书评

暂无评论

Abnormal electron paths induced by Klein tunneling in graphene quantum point contacts

引用

Physical Review B 2011年第3期84卷 035426-035426页

作者： Rui Yang Liang Huang Ying-Cheng Lai Celso Grebogi School of Electrical Computer and Energy Engineering Arizona State University Tempe Arizona 85287 USA Institute of Computational Physics and Complex Systems and Key Laboratory for Magnetism and Magnetic Materials of MOE Lanzhou University Lanzhou Gansu 730000 China Department of Physics Arizona State University Tempe Arizona 85287 USA Institute for Complex Systems and Mathematical Biology School of Natural and Computing Sciences King’s College University of Aberdeen Aberdeen United Kingdom

We study quantum transport in a general graphene system subject to external potential, a situation that can be expected in all kinds of future graphene-based electronic devices with quantum dots and quantum point contacts. We find that electrons tend to take on propagating paths due to Klein tunneling that have absolutely no counterpart in nonrelativistic quantum systems. Strikingly, such abnormal quantum paths can lead to an extreme type of fractal-like of conductance fluctuations, not seen previously in any quantum transport systems. This phenomenon has profound implications to the development of graphene based devices that require stable electronic properties.

关键词： ELECTRONIC systems QUANTUM electronics QUANTUM dots CATHODE rays LEPTONS (Nuclear physics)

来源：评论

学校读者我要写书评

暂无评论

Attribute-Based Signature with Policy-and-Endorsement Mechanism

引用

Journal of Computer Science & Technology 2010年第6期25卷 1293-1304页

作者：王怀习朱岩冯荣权 Stephen S.Yau LMAM School of Mathematical SciencesPeking University Electronic Engineering Institute Institute of Computer Science and Technology Peking University Key Laboratory of Network and Software Security Assurance (Peking University) Ministry of Education Information Assurance Center and School of Computing Informatics and Decision Systems Engineering Arizona State University

In this paper a new signature scheme,called Policy-Endorsing Attribute-Based Signature,is developed to correspond with the existing Ciphertext-Policy Attribute-Based *** signature provides a policy-and-endorsement *** this mechanism a single user,whose attributes satisfy the predicate,endorses the *** signature allows the signer to announce his endorsement using an access policy without having to reveal the identity of the *** security of this signature,selfless anonymity and existential unforgeability,is based on the Strong Diffie-Hellman assumption and the Decision Linear assumption in bilinear map groups.

关键词： cryptography fine-grained access control attribute-based signature policy-and-endorsement selfless anonymity existential unforgeability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：