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

IEEE International Conference on Computer-Aided Design and Computer Graphics

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

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.

关键词： Graphics processing unit Computational modeling Arrays Benchmark testing Compaction Deformable models Buildings

来源：评论

学校读者我要写书评

暂无评论

Analyzing and correlating security events using state machine

Analyzing and correlating security events using state machin...

引用

10th IEEE International Conference on Computer and information technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010

作者： Feng, Xuewei Wang, Dongxia Zeng, Jiemei Ma, Guoqing Li, Jin National Key Laboratory of Science and Technology on Information System Security Beijing Institute of System Engineer Beijing 100101 China Beijing Aerospace Control Center Beijing 100296 China

ISBN: (纸本)9780769541082

It is unfeasible to analyze the security events by the manual way for the security manager, because the number of the events is huge and the information contained in the events is meaningless. After analyzing the existing algorithms of security events correlation, we propose an attack scenario reconstruction technology based on state machine. The processes of attackers intruding into the cyberspace can be restored and the more comprehensive attack scenario description information will be generated using this technology. This working lets the security manager more comfy. The state machine based attack scenario reconstruction technology processes security events using clustering analysis and causal analysis concurrently, it builds a correlation state machine in memory for every attack scenario tree which is predefined by the security manager, when security events are coming, the certain state machines will process them, if the condition is satisfied, an attack scenario description information will be generated and then sent to the security manager. The correlating technology based on state machine is more timely and accurately, and at last, we use the DARPA2000 Intrusion Scenario Specific Data Sets to validate the technology, the experiment results show that it is feasible to analyze security events using the technology we proposed. © 2010 IEEE.

关键词： Managers

来源：评论

学校读者我要写书评

暂无评论

An approach for design and formal verification of safety-critical software

An approach for design and formal verification of safety-cri...

引用

2010 International Conference on Computer Application and System Modeling, ICCASM 2010

作者： Ma, Wei-Gang Hei, Xin-Hong School of Computer Science and Engineering Xi'an University of Technology Xi'an Shaanxi 710071 China Key Laboratory of Computer Networks and Information Security Xidian University Ministry of Education Xi'an Shaanxi 710071 China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9781424472369

A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified Modeling Language) to model the function requirement and FSM (Finite State Machine) to verity the safety requirements of the specification. The device specifications of railway interlocking system are modeled with UML, and dynamic behaviors of the device and whole system are modeled with FSM, the safety specification is translated LTL (Linear Temporal Logic) and analyzed with NuSMV. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signaling system.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Analyzing and Correlating security Events Using State Machine

Analyzing and Correlating Security Events Using State Machin...

引用

International Conference on Computer and information technology (CIT)

作者： Feng Xuewei Wang Dongxia Zeng Jiemei Ma Guoqing Li Jin National Key Laboratory of Science and Technology on Information System Security Beijing Institute Beijing China Beijing Aerospace Control Center Beijing China

关键词： Correlation Cyberspace Computer crime Engines XML Protocols

来源：评论

学校读者我要写书评

暂无评论

A model checking approach for solving epistemic riddles

引用

Jisuanji Xuebao/Chinese Journal of Computers 2010年第3期33卷 406-413页

作者： Luo, Xiang-Yu Su, Kai-Le Gu, Ming Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing 100084 China School of Computer and Control Guilin University of Electronic Technology Guilin Guangxi 541004 China School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

This paper aims to model and solve the Sum and Product Riddle in public announcement logic. A dynamic epistemic model is proposed, that is the linear temporal combination of the epistemic model of environment and the epistemic models after each announcement, such that the authors' model checking technique for temporal epistemic logic can be extended to support the modeling and verification of public announcement logic. This model checking method not only can help to find all solutions, but also verify related temporal epistemic properties. Such characteristic is not fully supported by the current version of MCK, MCMAS and DEMO. The authors implemented the proposed method in the symbolic model checker MCTK via OBDD and verified the sum and product riddle. The experimental results show that the proposed method is correct and efficient.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Threshold Quantum Secret Sharing of Secure Direct Communication

引用

Chinese Physics Letters 2009年第1期26卷 21-24页

作者：李宝奎杨宇光温巧燕 Department of Automatic Control School of Information Science and Technology Beijing Institute of Technology Beijing 100081 College of Computer Science and Technology Beijing University of Technology Beijing 100124 State Key Laboratory of Integrated Services Network Xidian University Xi'an 710071 State Key Laboratory of Information Security Graduate University of Chinese Academy of Sciences Beijing 100049 State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876

We propose a （L, n）-threshold quantum secret sharing protocol of secure direct communication following some ideas of Zhang＇s protocol [Phys. Lett. A 342 （2005） 60] and Tokunaga et al.＇s protocol [Phys. Rev. A 71 （2005） 012314]. The sender distributes the classical secret shares to his or her n agents and each agent owns a secret share in advance. The sender＇s secure direct communication message can be extracted by an agent subset by collaboration in such a way that at least t or more agents can obtain the secret message with the mutual assistances but any t - 1 or fewer agents cannot. In contrast to the previous multiparty quantum secret sharing protocols in which the sender＇s secret message can be recovered only if all the agents collaborate, our protocol is more practical and more flexible.

关键词： QUANTUM communication COMPUTER network protocols DIGITAL communications MESSAGE theory (Communication) MATHEMATICAL physics WIRELESS communication systems

来源：评论

学校读者我要写书评

暂无评论

A new wireless mesh network authentication scheme based on threshold method

A new wireless mesh network authentication scheme based on t...

引用

9th International Conference for Young Computer Scientists, ICYCS 2008

作者： YataoYang Gu, Yonghao Tan, Xi Lina, Ma. Beijing Electronic Science and Technology Institute Beijing 100070 China Information Security Center Beijing University of Posts and Telecommunications State Key Laboratory of Networking and Switching Beijing 100876 China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9780769533988

Access authentication is one of the secure issues which are eager to be resolved in wireless mesh networking. This paper proposes new wireless mesh network authentication architecture based on threshold signature technology. First, we point out the weakness of single authentication server and the security risks of traditional AAA authentication method. Then we design a new authentication system with multiple authentication servers: N authentication servers (AS) compose a authentication server group, only if t or more than t authentication servers allow a certain mobile subscriber require to access to the network, this subscriber can join in the network. This approach solves the deficiencies of single authentication server and guarantees the whole security of the authentication systems in mesh network. © 2008 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Research on Restraining Low Frequency Oscillation with Flywheel Energy Storage System

Research on Restraining Low Frequency Oscillation with Flywh...

引用

International Conference on Power System technology (POWERCON)

作者： Yun Zhong Jiancheng Zhang Gengyin Li Zhiyuan Chen School of Information Engineering University of Nanchang Baoding Jiangxi China Department of Electrical power Engineering North China Electric Power University Baoding Hebei China Key Laboratory of Power System Protection and Dynamic Security Monitoring and Control under Ministry of Education North China Electric Power University Baoding Hebei China Baoding Zhongli Power Science and Technology Development Company Limited Baoding Hebei China

Low frequency oscillations in the interconnected power systems are observed all around the world. Besides conventional PSS to suppress Low frequency oscillation, there are other modern FACTS devices to damp oscillation, among which flywheel energy storage system (FESS) is a comparative valid way. The theory on restraining low frequency oscillation used by flywheel energy storage system is described through transfer function diagram and complex torque coefficient. A numerical model of flywheel energy storage asynchronous motor controlled by VVVF inverter is derived from its mathematical model in alpha-beta coordinate system. Then the total model eigenvalue is analyzed. Based on analysis, attach control strategy using two parallel independent parts for active power control and reactive power control is designed in FESS to restrain low frequency oscillation. The calculation result shows that flywheel energy storage system is an effective way to restrain low frequency oscillation and enhance power system dynamic performance.

关键词： Frequency Flywheels Energy storage Power system interconnection Transfer functions Torque Numerical models Inverters Mathematical model Power system modeling

来源：评论

学校读者我要写书评

暂无评论

Weight hierarchies of extremal non-chain ternary codes of dimension 4

Weight hierarchies of extremal non-chain ternary codes of di...

引用

IEEE International Symposium on information Theory

作者： Wende Chen T. Klove Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences China Key State Laboratory of Information Security Graduate School of Academia Sinica Chinese Academy and Sciences Beijing China Department of Informatics Bergen High Technology Center University of Bergen Bergen Norway

The weight hierarchy of a linear [n,k;q] code C over GF(q) is the sequence (d/sub 1/,d/sub 2/,...,d/sub k/) where d/sub r/ is the smallest support of an r-dimensional subcode of C. An [n,k;q] code is extremal non-chai... 详细信息

ISBN: (纸本)0780371232

关键词： Hamming weight Councils Laboratories information security Informatics

来源：评论

学校读者我要写书评

暂无评论

IBAQ: Frequency-Domain Backdoor Attack Threatening Autonomous Driving via Quadratic Phase

引用

ACM Transactions on Autonomous and Adaptive Systems 1000年

作者： Jinghan Qiu Honglong Chen Junjian Li Yudong Gao Junwei Li Xingang Wang College of Control Science and Engineering China University of Petroleum China the Key Laboratory of Computing Power Network and Information Security Ministry of Education Qilu University of Technology China

The rapid evolution of backdoor attacks has emerged as a significant threat to the security of autonomous driving models. An attacker injects a backdoor into the model by adding triggers to the samples, which can be activated to manipulate the model’s inference. Backdoor attacks can lead to severe consequences, such as misidentifying traffic signs during autonomous driving, posing a risk of causing traffic accidents. Recently, there has been a gradual evolution of frequency-domain backdoor attacks. However, since the change of both amplitude and its corresponding phase will significantly affect image appearance, most of the existing frequency-domain backdoor attacks change only the amplitude, which results in a suboptimal efficacy of the attack. In this work, we propose an attack called IBAQ, to solve this problem by blurring semantic information of the trigger image through the quadratic phase. Initially, we convert the trigger and benign sample to YCrCb space. Then, we perform the fast Fourier transform on the Y channel, blending the trigger image’s amplitude and quadratic phase linearly with the benign sample’s amplitude and phase. IBAQ achieves covert injection of trigger information within amplitude and phase, enhancing the attack effect. We validate the effectiveness and stealthiness of IBAQ through comprehensive experiments.

关键词： backdoor attack quadrature phase artificial intelligence security

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：