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

12th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2011

作者： Fan, Wenshan Wang, Bin Zhou, Jianliang Sun, Jiaguang School of Software Tsinghua University China Beijing Aerospace Control Center China Department of Computer Science and Technology Tsinghua University China Key Laboratory for Information System Security Ministry of Education of China China Tsinghua National Laboratory for Information Science and Technology China

ISBN: (纸本)9780769544977

We present a fast collision detection method for deformable surfaces with parallel spatial hashing on GPU architecture. The efficient update and access of the uniform grid are exploited to accelerate the performance in our method. To deal with the inflexible memory system, which makes the building of stream data a challenging task on GPU, we propose to subdivide the whole workload into irregular segments and design an efficient evaluation algorithm, which employs parallel scan and stream compaction, to build the stream data in parallel. The load balancing is a key aspect that needs to be considered in the SIMD parallelism. We break the heavy and irregular collision computation down into lightweight part and heavyweight part, ensuring the later perfectly run in load balancing manner with each concurrent thread processes just a single collision. In practice, our approach can perform collision detection in tens of milliseconds on a PC with NVIDIAGTX 260 graphics card on benchmarks composed of millions of triangles. The results highlight our speedups over prior CPU-based and GPU-based algorithms. © 2011 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

The construction of fuzzy concept lattices based on (θ, σ)-fuzzy rough approximation operators

The construction of fuzzy concept lattices based on (θ, σ)...

引用

作者： Yao, Yanqing Mi, Jusheng Li, Zhoujun Xie, Bin State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 China College of Mathematics and Information Science Hebei Normal University Shijiazhuang Hebei 050016 China Beijing Key Laboratory of Network Technology Beihang University Beijing China

Formal concept analysis and rough set analysis are two complementary approaches for analyzing data. This paper studies approaches to constructing fuzzy concept lattices based on generalized fuzzy rough approximation operators. For a residual implicator θ satisfying θ (a, b) = θ(1-b, 1-a) and its dual σ, a pair of (θ, σ)-fuzzy rough approximation operators is defined. We then propose three kinds of fuzzy operators, and examine some of their basic properties. Thus, three complete fuzzy concept lattices can be produced, for which the properties are analogous to those of the classical concept lattices.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Runtime-based boot components re-measurement scheme for trusted platform

Runtime-based boot components re-measurement scheme for trus...

引用

作者： Weiping, Peng Yajian, Zhou Cong, Wang Yixian, Yang Key Laboratory of Network and Information Attack and Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing 100876 China School of Computer Science and Technology Henan Polytechnic University Jiaozuo Henan 454001 China Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing 100876 China

ISBN: (纸本)9783642251849

Integrity measurement is just one of the most important features in a trusted computing platform to provide evidence of platform configuration and behavior. Each set of software instructions (binary code) is measured and recorded before it is executed. Especially, all of boot components which be recorded in pre-boot stage can't be re-measured until the platform is rebooted. However, the reality is that many components belong to pre-boot stage, such as BIOS, Boot Loader and MBR, are easily modified or updated in runtime environment. If these updated results of components are treated as configuration requirements for a remote server-side to verify the access request, the remote network access connection will fail. It must restart the host to re-measure there components, and the result of the new measure is not guaranteed right absolutely. We solve this problem by embedding Integrity Measurement Agency Component (IMAC) which has the capability of monitoring transformation, verifying credibility, updating Platform Configuration Registers and recording integrity measurement logs in Linux kernel. The result of performance analysis demonstrates that the method is feasible and credible. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Trusted computing

来源：评论

学校读者我要写书评

暂无评论

Progressive collapse resistance demand of RC frame structures based on energy method II: Catenary mechanism

引用

Jianzhu Jiegou Xuebao/Journal of Building Structures 2011年第11期32卷 9-16页

作者： Li, Yi Lu, Xinzheng Ye, Lieping Key Laboratory of Urban Security and Disaster Engineering of China Ministry of Education Beijing University of Technology Beijing 100124 China Key Laboratory of Civil Engineering Safety and Durability of China Ministry of Education Tsinghua University Beijing 100084 China

The key issue of the progressive collapse (PC) design of RC frame structures at large deformation stage is to calculate the PC resistance demand of the structure under catenary mechanism. The existing design codes for PC design are unsafe because of ignoring the effect of nonlinear dynamic behavior of PC resistance demand under catenary mechanism. According to the theoretical framework of the PC resistance demand analysis based on the energy conservation principle, the relationship between the nonlinear dynamic and nonlinear static PC resistance demands for RC frame structures under catenary mechanism was derived. And the theoretical method to calculate the PC resistance demand of RC frame structures under catenary mechanism was established. At last, the proposed method describing the PC resistance demand relationship of RC frames with catenary mechanism was validated through numerical examples.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Test on embedded perforated steel plate shear wall with concrete filled steel tube columns

引用

1st International Conference on Civil engineering, Architecture and Building Materials, CEABM 2011

作者： Cao, Wanlin Zhang, Wenjiang Zhang, Jianwei Dong, Hongying College of Architecture and Civil Engineering Beijing University of Technology Zhongguan Village South Avenue 5 Beijing 100124 China Key Laboratory of Urban Security and Disaster Engineering Ministry of Education Beijing 100124 China College of Architecture and Civil Engineering Hebei University Baoding 071002 China

ISBN: (纸本)9783037851258

In view of the proposal of embedded steel plate concrete shear wall with concrete filled steel tube columns which contains a new kind shear connector of tie-bars through the circular holes linking concrete layers on both sides of the plate. In order to prove the seismic performance of walls with circular holes on the plate, three steel plate shear wall specimens, including the plate without holes bolted with columns, welded with columns, and the perforated plate welded with columns, were tested under cyclic loading. According to the results, the load-bearing capacity, ductility, energy dissipation, hysteretic behavior and failure phenomena were analyzed. It is showed that the load-bearing capacity of the three specimens were quite close. However, the wall with perforated steel plate has better ductility, energy dissipation and hysteretic behavior. So, it is an effective way to improve the seismic performance of walls by means of embedded perforated steel plate instead of ordinary ones. © (2011) Trans Tech Publications.

关键词： Energy dissipation

来源：评论

学校读者我要写书评

暂无评论

Nonlinear analysis of the seismic performance of concrete beams prestressed with FRP tendons

引用

beijing Gongye Daxue Xuebao/Journal of beijing University of technology 2011年第SUPPL. 1期37卷 26-33+55页

作者： Wang, Zuo-Hu Du, Xiu-Li Liu, Jing-Bo Department of Civil Engineering Tsinghua University Beijing 100084 China The Key Laboratory of Urban Security and Disaster Engineering of Ministry of Education Beijing University of Technology Beijing 100124 China

As a new structural material, fiber reinforced plastics (FRP) has characteristics of light weight, high strength, corrosion resistance, etc., and has a bright future when used for a new type of prestressing tendon in engineering structures. FRP tendon is a linear elastic material. The seismic performance of concrete beams prestressed with FRP tendons is concerned. Nonlinear analysis of the seismic performance of concrete beams prestressed with FRP tendons based on ANSYS software is carried out, and the effect of various parameters on seismic performance is discussed. Results show that the finite element analysis is in good accordance with the experimental result.

关键词： Fiber reinforced plastics

来源：评论

学校读者我要写书评

暂无评论

Proving computational geometry algorithms in TLA+2

Proving computational geometry algorithms in TLA+2

引用

5th International Conference on Theoretical Aspects of software engineering, TASE 2011

作者： Kong, Hui Zhang, Hehua Song, Xiaoyu Gu, Ming Sun, Jiaguang Dept.CST Tsinghua Unviersity Beijing China School of Software Tsinghua University Beijing China Dept.ECE Portland State University OR United States Key Laboratory for Information System Security Ministry of Education China Singhua National Laboratory for Information Science and Technology China

ISBN: (纸本)9780769545066

Geometric algorithms are widely used in many scientific fields like computer vision, computer graphics. To guarantee the correctness of these algorithms, it's important to apply formal method to them. In this paper, we propose an approach to proving the correctness of geometric algorithms. The main contribution of the paper is that a set of proof decomposition rules is proposed which can help improve the automation of the proof of geometric algorithms. We choose TLA+2, a structural specification and proof language, as our experiment environment. The case study on a classical convex hull algorithm shows the usability of the method. © 2011 IEEE.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Strong security enabled certificateless aggregate signatures applicable to mobile computation

Strong security enabled certificateless aggregate signatures...

引用

3rd IEEE International Conference on Intelligent Networking and CollaborativeSystems, INCoS 2011

作者： Hu, Xiong Wu, Qianhong Chen, Zhong Key Laboratory of Network and Software Security Assurance of the Ministry of Education School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Key Laboratory of Aerospace Information Security and Trusted Computing Wuhan University Ministry of Education China Universitat Rovira i Virgili Department of Computer Engineering and Mathematics UNESCO Av. Països Catalans 26 E-43007 Tarragona Spain

ISBN: (纸本)9780769545790

An aggregate signature scheme allows a public algorithm to aggregate n signatures of n distinct messages from n signers into a single signature. By validating the single resulting signature, one can be convinced that the messages have been endorsed by all the signers. Certificateless aggregate signatures allow the signers to authenticate messages without suffering from the complex certificate management in the traditional public key cryptography or the key escrow problem in identitybased cryptography. In this paper, we present a new efficient certificateless aggregate signature scheme. Compared with up-todate certificateless aggregate signatures, our scheme is equipped with a number of attracting features: (1) it is shown to be secure under the standard computational Diffie-Hellman assumption in the random oracle model;(2) the security is proven in the strongest security model so far;(3) the signers do not need to be synchronized;and (4) its performance is comparable to the most efficient up-to-date schemes. These features are desirable in a mobile networking and computing environment where the storage/computation capacity of the end devices are limited, and due to the wireless connection and distributed feature, the computing devices are easy to be attacked and hard to be synchronized. © 2011 IEEE.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of atrium smoke exhaust system in atria with irregular shape

引用

beijing Gongye Daxue Xuebao/Journal of beijing University of technology 2011年第SUPPL. 1期37卷 120-124+131页

作者： Li, Jun-Mei Li, Fu-Mei Li, Yan-Feng Zhang, Ning The Key Laboratory of Urban Security and Disaster Engineering Ministry of Education Beijing University of Technology Beijing 100124 China Luoyang Institute of Science and Technology Luoyang 471023 China

A high-efficiency smoke exhaust system is very important for the occupants' safe escape from a large-space building in fire. The smoke exhaust rates are determined by the theory of the two-layer model and some empirical plume equations. Whether these systems can maintain a tenable environment for the evacuation is a question, especially in the building with irregular inner shape. The performance of the smoke exhaust system in two atria with irregular shape is studied by fire models in this paper. A two-layer zone model and a computational fluid dynamics field model developed by the Building and Fire Research laboratory, National Institute of Standards and technology, USA, are used. Numerical results are compared with experiments through hot smoke test in the two atria. Both the fire models can predict well and are suitable for evaluating the performance of the smoke exhaust system.

关键词： Research laboratories

来源：评论

学校读者我要写书评

暂无评论

Simple power analysis attacks using chosen message against ECC hardware implementations

Simple power analysis attacks using chosen message against E...

引用

作者： Li, Huiyun Wu, Keke Xu, Guoqing Yuan, Hai Luo, Peng Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Chinese University of Hong Kong Shenzhen 518055 China State Key Laboratory of Information Security Institute of Software Graduate University of Chinese Academy of Sciences Beijing 100049 China

ISBN: (纸本)9780956426376

Chosen-message simple power analysis (SPA) attacks were powerful against public-key cryptosystem based on modular exponentiation, due to the special results of modular square and modular multiplication for input pair X and - X. However, the characteristics can not be applied to public-key cryptosystems based on scalar multiplications. This paper proposes novel chosen-message side-channel analysis attacks for public-key cryptosystems based on scalar multiplications, where special input point P is chosen close to X-axis to generate noticeable variations for point doubling and point addition. The proposed attack can be applied to all standard implementations of the binary algorithms, both for left-to-right and right-to-left methods. This chosen-message method can also circumvent typical countermeasures such as the double-and-add-always algorithm. © 2011 WorldCIS.

关键词： Side channel attack

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：