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

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

来源：评论

学校读者我要写书评

暂无评论

A comparison of binary number generators for wireless body sensor networks security

A comparison of binary number generators for wireless body s...

引用

IEEE EMBS International Conference on Information Technology Applications in Biomedicine (ITAB)

作者： G. H. Zhang Y.X. Zhang Y. T. Zhang Institute of Computing Technology CUHK Research Center for Biosensors and Medical Instruments (CBMJ) Institute of Biomedical and Health Engineering (IBHE) Shenzhen Institute of Advanced Technology (SIAT) Key Laboratory for Biomedical Informatics and H Chinese Academy of Sciences China CBMJ IBHE SIAT Laboratory for Biomedical Informatics and Health Engineering CAS China Research Centre for Biomedical Engineering Chinese University of Hong Kong Sha Tin New Territories Hong Kong China CBMJ IBHE SIAT Informatics and Health Engineering CAS China

Binary numbers (BNs) generation is crucial for wireless body sensor networks (WBSNs) security because they can be utilized for authentication or encryption of physiological data in WBSNs for healthcare applications. The paper compared pseudorandom number generators and biometrics based binary number generators for WBSNs, i.e. generated from the linear congruential generator (LCG) and the interpulse intervals (IPIs) based generator (IBG), e.g. IPIs extracted from electrocardiogram (ECG) and photoplethysmogram (PPG). The results of the study found that the randomness of binary numbers derived from the two generators hardly have difference and the generation time and memory occupation of a 128-bit BN derived from the LCG and IBG is 435.14ms and 22.62ms, 1.236KB and 0.199KB respectively. The study opens up a few key issues for future investigation, including the initial seed generation for the LCG, IPIs extraction for the IBG and IPIs encoding schemes.

关键词： Electrocardiography Humans Indexes Europe Physiology

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A rigid structure matching-based noise data processing approach for human motion capture

A rigid structure matching-based noise data processing appro...

引用

International Workshop on Digital Media and Digital Content Management, DMDCM 2011

作者： Wei, Xiaopeng Xiao, Boxiang Zhang, Qiang Liu, Rui Key Laboratory of Advanced Design and Intelligent Computing Dalian University Ministry of Education Dalian China School of Mechanical Engineering Dalian University of Technology Dalian China

ISBN: (纸本)9780769544137

A noise data processing algorithm based on rigid structure matching for human motion capture (MoCap) is presented in this paper. The noise model is related to parts of human body, but not to trajectories of markers as most used in traditional approaches. Three issues are addressed in this method: rigid structure matching, semantic restriction and noise reduction, and they are three steps of data processing. First, human body is divided into seven main parts: head, chest, waist, hands and legs, and all parts' candidate parts are generated by algorithm of rigid structure matching from motion data. Missing markers can be automatically reconstructed by existing markers on a same rigid structure. Subsequently, one group of parts with most possibility is determined as initial processed data by semantic restriction. Finally, an impulse noise model is found based on the analysis of data, and the noise has been filtered. At the end, the main conclusions of this research are drawn, and the advantages and limitations of this approach are discussed respectively. The algorithm presented can be easily implemented and performed, and the processed motion data can be expediently used in human body animation. The efficiency of the method is illustrated by the experiments. © 2011 IEEE.

关键词： Rigid structures

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimization Conceptual Design of Product Structure Based on Variable Length Gene Expression

引用

Chinese Journal of Mechanical engineering 2011年第1期24卷 42-49页

作者： WEI Xiaopeng ZHAO Tingting JU Zhenhe ZHANG Shi LI Xiaoxiao School of Management Dalian University of Technology Dalian 116023 China Key Laboratory of Advanced Design and Intelligent Computing of Ministry of Education Dalian University Dalian 116622 China New Energy Center Shenyang Institute of Engineering Shenyang 110136 China Liaoning Solar Energy R＆D Co. Ltd. Shenyang 110136 China Institute of Systems Engineering Northeastern University Shenyang 110004 China

It is a complicated problem for the bottom-to-top adaptive conceptual design of complicated products between structure and function. Reliable theories demand to be found in order to determine whether the structure accords with the requirement of design. For the requirement generally is dynamic variety as time passes, new requirements will come, and some initial requirements can no longer be used. The number of product requirements, the gene length expressing requirements, the structure of the product, and the correlation matrix are varied with individuation of customer requirements of the product. By researching on the calculation mechanisms of dynamic variety, the approaches of gene expression and variable length gene expression are proposed. According to the diversity of structure selection in conceptual design and mutual relations between structure and function as well as structure and structure, the correlation matrixes between structure and function as well as structure and structure are defined. By the approach of making the sum of the elements of correlation matrix maximum, the mathematical models of multi-object optimization for structure design are provided based on variable requirements. An improved genetic algorithm called segment genetic algorithm is proposed based on optimization preservation simple genetic algorithm. The models of multi-object optimization are calculated by the segment genetic algorithm and hybrid genetic algorithm. An example for the conceptual design of a washing machine is given to show that the proposed method is able to realize the optimization structure design fitting for variable requirements. In addition, the proposed approach can provide good Pareto optimization solutions, and the individuation customer requirements for structures of products are able to be resolved effectively.

关键词： gene expression multi-object optimization conceptual design genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

On the numerical simulation of a piston-type wavemaker

On the numerical simulation of a piston-type wavemaker

引用

作者： Gu, H.B. Causon, D.M. Mingham, C.G. Qian, L. Chen, Han-Bao Centre for Mathematical Modelling and Flow Analysis School of Computing Mathematics and Digital Technology Manchester Metropolitan University Manchester United Kingdom Tianjin Research Institute for Water Transportation Engineering Key Laboratory of Engineering Sediment of Ministry Communications Tianjin China

ISBN: (纸本)9781880653968

The piston-type wavemaker is a very popular and important piece of equipment in coastal and ocean engineering physical wave model experiments so in this paper we use a numerical model to simulate the characteristics of the piston-type wavemaker. The numerical model is based on solving the Navier-Stokes equations, in which a two-fluid water and air system is adopted. The interface between the water and air is tracked by a particle level set method and the partial cell technique combined with the local relatively stationary method is used to simulate the motion of the wavemaker in the numerical model. Firstly, linear wave maker theory is implemented and tested for regular waves at various water depths, wave periods and wave heights, to see which wave making methods give reasonable results for short wave cases. The method is then extended to simulate irregular waves where the wave spectrum is specified and the individual wave components are superimposed. The output spectrum from a wave gauge in the numerical flume compared well with the target spectrum. Finally a focused wave is simulated by the numerical model and compared with published results. It is shown that the numerical flume can simulate an experimental flume with a piston-type wavemaker and thus physical tests can be accurately replicated by numerical modelling. Copyright © 2011 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Pistons

来源：评论

学校读者我要写书评

暂无评论

A Rigid Structure Matching-Based Noise Data Processing Approach for Human Motion Capture

A Rigid Structure Matching-Based Noise Data Processing Appro...

引用

Workshop on Digital Media and Digital Content Management (DMDCM)

作者： Xiaopeng Wei Boxiang Xiao Qiang Zhang Rui Liu Key Laboratory of Advanced Design and Intelligent Computing Ministry of Education Dalian University Dalian China School of Mechanical Engineering Dalian University of Technology Dalian China

关键词： Joints Semantics Noise Data processing Data models Noise reduction Humans

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：