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

An architecture description language based on dynamic description logics 1

7th IFIP International Conference on Intelligent Information Processing, IIP 2012

作者： Wang, Zhuxiao Peng, Hui Guo, Jing Zhang, Ying Wu, Kehe Xu, Huan Wang, Xiaofeng School of Control and Computer Engineering State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing 102206 China Education Technology Center Beijing International Studies University Beijing 100024 China National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing 100029 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (数字)9783642328916

ISBN: (纸本)9783642328909

ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture. ADML is being developed as a new formal language and/or conceptual model for representing the architectures of concurrent and distributed systems, both hardware and software. ADML embraces dynamic change as a fundamental consideration, supports a broad class of adaptive changes at the architectural level, and offers a uniform way to represent and reason about both static and dynamic aspects of systems. Because the ADML is based on the Dynamic Description Logic DDL( (D)), which can represent both dynamic semantics and static semantics under a unified logical framework, architectural ontology entailment for the ADML languages can be reduced to knowledge base satisfiability in DDL( (D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML. In this article, we present the syntax of ADML, explain its underlying semantics using the Dynamic Description Logic DDL( (D)), and describe the core architecture description features of ADML. © 2012 IFIP International Federation for Information Processing.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Anomaly detection of user behavior based on DTMC with states of variable-length sequences

引用

The Journal of China Universities of Posts and Telecommunications 2011年第6期18卷 106-115页

作者： XIAO Xi XIA Shu-tao TIAN Xin-guang ZHAI Qi-bin Graduate School at Shenzhen Tsinghua University Shenzhen 518055 China State Key Laboratory of Information Security Graduate University of Chinese Academy of Sciences Beijing 100049 China Key Laboratory of Network Science and Technology Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

In anomaly detection, a challenge is how to model a user＇s dynamic behavior. Many previous works represent the user behavior based on fixed-length models. To overcome their shortcoming, we propose a novel method based on discrete-time Markov chains （DTMC） with states of variable-length sequences. The method firstly generates multiple shell command streams of different lengths and combines them into the library of general sequences. Then the states are defined according to variable-length behavioral patterns of a valid user, which improves the precision and adaptability of user profiling. Subsequently the transition probability matrix is created. In order to reduce computational complexity, the classification values are determined only by the transition probabilities, then smoothed with sliding windows, and finally used to discriminate between normal and abnormal behavior. Two empirical evaluations on datasets from Purdue University and AT＆T Shannon Lab show that the proposed method can achieve higher detection accuracy and require less memory than the other traditional methods.

关键词： intrusion detection anomaly detection shell command discrete-time Markov chain （DTMC）

来源：评论

学校读者我要写书评

暂无评论

Research on fractional order controller based on best rational approximation approach

引用

Journal of Convergence Information technology 2012年第4期7卷 50-58页

作者： Zhao, Huimin Nie, Bing Li, Wen Deng, Wu Software Institute Dalian Jiaotong University Dalian 116028 China Key Laboratory of Numerical Simulation in the Sichuan Provincial College Neijiang Normal University Neijiang 641112 China Artificial Intelligence Key Laboratory of Sichuan Province Sichuan University of Science and Engineering Zigong 643000 China State Key Laboratory of Power Transmission Equipment and System Security and New Technology College of Electrical Engineering Chongqing University Chongqing 400044 China Key Laboratory of advanced Design and Intelligent Computing Dalian University Ministry of Education Dalian 116622 China

Introduce the basic concept of best rational approximation and constructing procedure of the best rational approximation function in Laplace domain. By an illustrative example the design method of FOC based on best rational approximation is discussed. The performance comparison of transfer functions between the FOC obtained by best rational approximation method and conventional PID shows that it is effective to apply the method in design of FOC, which can guarantee maximum absolute error of amplitude frequency characteristic of approximation function in a given error tolerance.

关键词： Rational functions

来源：评论

学校读者我要写书评

暂无评论

Chosen Ciphertext Secure Identity-Based Broadcast Encryption in the Standard Model

引用

Journal of Shanghai Jiaotong university(Science) 2011年第6期16卷 672-676页

作者：孙瑾胡予濮张乐友 Key Laboratory of Computer Network and Information Security Xidian University Department of Application Mathematics Xi'an University of Technology

To give concurrent consideration both the efficiency and the security(intensity of intractable problem) in the standard model,a chosen ciphertext secure identity-based broadcast encryption is *** the chosen ciphertext security model,by using identity(ID) sequence and adding additional information in ciphertext,the self-adaptive chosen identity security(the full security) and the chosen ciphertext security are gained *** reduction of scheme's security is the decisional bilinear Diffie-Hellman(BDH) intractable assumption,and the proof of security shows that the proposed scheme is indistinguishable against adaptive chosen ciphertext attacks in the standard model under the decisional BDH intractable *** the security level is improved,and it is suitable for higher security environment.

关键词： the standard model provably secure broadcast encryption the chosen ciphertext security the self-adaptive chosen identity security

来源：评论

学校读者我要写书评

暂无评论

Erratum to: A Flame Detection Synthesis Algorithm

引用

Fire technology 2013年第6期50卷 1619-1619页

作者： Shidong Wang Jian Wang Yaping He Jujia Zou Baobin Duan State Key Laboratory of Fire Science University of Science and Technology of China Hefei People’s Republic of China Information Network Center Anhui University of Architecture Hefei People’s Republic of China School of Engineering University of Western Sydney Penrith Australia School of Computing Engineering and Mathematics University of Western Sydney Penrith Australia Department of Mathematics and Physics Hefei University Hefei People’s Republic of China

来源：评论

学校读者我要写书评

暂无评论

Universal Three-Party Quantum Secret Sharing Against Collective Noise

引用

Communications in Theoretical Physics 2011年第4期55卷 589-593页

作者：杨宇光王园滕义伟温巧燕 College of Computer Science and Technology Beijing University of Technology State Key Laboratory of Integrated Services Network Xidian University State Key Laboratory of Information Security(Graduate University of Chinese Academy of Sciences) State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications

we present a robust and universal quantum secret sharing protocol with four-qubit decoherence-free （DF） states against collective noise. The transmission＇s safety is ensured by the nonorthogonality of the noiseless states traveling on the quantum channel. Although this scheme uses entangled states for encoding, only single-particle product measurements are required.

关键词： quantum secret sharing 03.67.Hk decoherence-free collective noise

来源：评论

学校读者我要写书评

暂无评论

Multi-policy threshold signature with distinguished signing authorities

引用

The Journal of China Universities of Posts and Telecommunications 2011年第1期18卷 113-120页

作者： WANG Feng ZHOU You-sheng GU Li-ze ZHENG Shi-hui YANG Yi-xian Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China Key Laboratory of Network and Information Attack and Defence Technology Ministry of Education Beijing University of Posts and Telecommunications Beijing 100876 China

Threshold signature plays an important role to distribute the power of a single authority in modem electronic society. In order to add functions and improve efficiency of threshold signatures, a multi-policy threshold signature scheme with distinguished signing authorities is proposed. In the scheme two groups can sign and verify each other, so the scheme is two-way signing and verifying. Moreover, the threshold values of the two groups can change with the security classification of the signing document, every discretionary signatory only signs a small part of the document instead of the whole one, so the bandwidth of data transmission for group signature construction can be reduced and the size of group signature is equivalent to that of any individual signature.

关键词： threshold signature multi-policy group verified distinguished signing authorities

来源：评论

学校读者我要写书评

暂无评论

Electrical performance of 330-kV composite insulators under icing conditions

Electrical performance of 330-kV composite insulators under ...

引用

International Conference on High Voltage Engineering and Application, ICHVE

作者： F. Yin X. Jiang M. Farzaneh J. Hu State Key Laboratory of Power Transmission Equipment & System Security and New Technology Chongqing Chongqing University Chongqing China LNSERC / Hydro-Quebec / UQAC Industrial Chair on Atmospheric Icing of Power Network Equipment (CIGELE) and Canada Research Chair on Engineering of Power Network Atmospheric Icing (INGIVRE) Univcrsité du Québec á Chicoutimi Chicoutimi QC Canada

Composite insulators have been widely used in high voltage transmission lines more than 20 years in China due to their hydrophobic properties, relatively low weight and maintenance costs, and high mechanical strength. Shed configuration is a key factor that influences flashover voltage of composite insulators under icing conditions. In order to study the effect of shed configuration on the flashover performance of composite insulators under icing conditions, the electrical performance of five types of 330-kV composite insulators with different shed designs were compared under artificial icing conditions. Experiments were carried out in the multi-function climate chamber in Chongqing University. In order to explain the influence of shed configuration, electric field and potential distributions along each insulator type were calculated numerically using the finite element method (FEM). The numerical simulation results were found to be in agreement with the laboratory experimental ones.

关键词： Insulators Flashover Electric fields Ice Electric potential Meteorology Finite element methods

来源：评论

学校读者我要写书评

暂无评论

Analysis and study on detection of credict fraud in E-commerce

Analysis and study on detection of credict fraud in E-commer...

引用

International Conference on Future Computer Science and Education

作者： Deng, Kaiyong Zhang, Ru Zhang, Dongfang Jiang, Wen Feng Niu, Xinxin Guo, Hong Key Laboratory of Network and Information Attack and Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing China Key Lab. of Information Network Security of Ministry of Public Security Shanghai China

ISBN: (纸本)9780769544229

An algorithm of applying Bedford's law to detect credit fraud in e-commerce is proposed in the paper and the feasibility is studied. The weakness of the algorithm for detecting financial fraud via Benford correlation coefficients is analyzed and a new detection method for e-commerce fraud defined as credit algorithm based on Bedford' s law is established, providing better performance of reliability and precision. © 2011 IEEE.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Quantum Secure Direct Communication with Five-Qubit Entangled State

引用

Chinese Physics Letters 2011年第3期28卷 17-20页

作者： LIN Song GAO Fei LIU Xiao-Fen School of Mathematics and Computer Science Fujian Normal UniversityFuzhou 350007 Key Lab of Network Security and Cryptography Fujian Normal UniversityFuzhou 350007 State Key Laboratory of Networking and Switching Technology Beijing University of Posts and TelecommunicationsBeijing 100876

Recently,a genuine five-qubit entangled state has been achieved by Brown et al.[***.A 38(2005)1119].Later it was indicated that this state can be used for quantum teleportation and quantum state *** we build a quantum secure direct communication protocol with this state,and prove that it is secure in ideal *** the protocol,the sender performs unitary transformations to encode a secret message on his/her particles and sends them to the *** receiver then performs projective determinate measurement to decode the secret message ***,this protocol utilizes superdense coding to achieve a high intrinsic efficiency and source capacity.

关键词： conditions capacity quantum

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：