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

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

来源：评论

学校读者我要写书评

暂无评论

Properties of Prisoner's Dilemma Game based on genetic algorithm

Properties of Prisoner's Dilemma Game based on genetic algor...

引用

作者： Wang, Tao Chen, Zhi-Gang Deng, Xiao-Heng Zhagn, Jin School of Information Science and Engineering Center South University Changsha 410083 China School of Computer and Communication Hunan University Changsha 410082 China National Laboratory of Industrial Control Technology Zhejiang University Hangzhou 310027 China

ISBN: (纸本)9787894631046

Evolutionary games are widely studied in the fields of biology, sociology, economics and informatics. People's interests focus on how cooperation emerged in a system that individuals are selfish. We studied the iterated Prisoner's Dilemma Game evolved on BA network with genetic algorithm. Nodes in network could remember the game historical strategies and coded into gene. We show that memory length has gentle effect on cooperation level, and that some characteristic genes and frequentlyused genes emerge after some generations. We also find that cooperate strategy distributed on different degree-nodes equably. These findings give new perspectives to the illustration of cooperation behavior in biological group and society.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

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

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.

关键词： Correlation Cyberspace Computer crime Engines XML Protocols

来源：评论

学校读者我要写书评

暂无评论

A variable step size blind equalization algorithm for QAM signals

A variable step size blind equalization algorithm for QAM si...

引用

International Conference on Microwave and Millimeter Wave technology Proceedings

作者： Xue Wei Yang Xiaoniu Zhang Zhaoyang Department of Information Science and Electronic Engineering University of Zhejiang Hangzhou Zhejiang China National Laboratory of Information Control Technology for Communication System Jiaxing Zhejiang China

The constant modulus algorithm (CMA) is one widely used algorithm for blind equalization of quadrature amplitude modulation (QAM) signals. The algorithm exhibits slow convergence rate and large steady state mean square error and the phase blind nature in comparison with the algorithms used in conventional data-aided equalization schemes. In this paper, a variable step size modified constant modulus algorithm is proposed. The proposed algorithm can achieve fast convergence rate and decrease steady state mean square error and correct phase shift and carrier frequency offset at the same time. The simulation results demonstrate the effectiveness of the proposed algorithm in improving convergence behavior and bit error rate performance.

关键词： Blind equalizers Quadrature amplitude modulation Steady-state Convergence Mean square error methods Baseband Intersymbol interference Adaptive equalizers Laboratories communication system control

来源：评论

学校读者我要写书评

暂无评论

Recognition and Parameter Estimation of MPSK Signals Based on Instantaneous Phase Difference

Recognition and Parameter Estimation of MPSK Signals Based o...

引用

International Conference on Wireless communications, Networking and Mobile Computing (WiCom)

作者： Chunyun Song Yi Zhan Lin Guo Control Technology of Communication System No.36 Research Institute of CETC National Laboratory for Information Science and Technology Zhejiang China Shanghai Acoustic Laboratory Institute of Acoustic Chinese Academy and Sciences Shanghai China

There many researches about modulation mode classification of the MPSK signals, but these studies pay few attentions to some especial MPSK signals such as OQPSK or π/4QPSK. However, the signals are very important in the digital communications. The method of classification of the QPSK, OQPSK, π/4QPSK and 8PSK has discussed in this paper, because these MPSK signals have similar constellations or spectrum. The method of the classification and parameter estimation based on the statistical and spectral characters of the instantaneous phase difference (IPD) is proposed. The simulation results of the digital signals indicate that this method is availability when the SNR is higher than 5dB.

关键词： Phase shift keying Signal to noise ratio Estimation Frequency estimation Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Carrier Recovery Algorithm for High Order QAM Signals

A Carrier Recovery Algorithm for High Order QAM Signals

引用

International Conference on Wireless communications, Networking and Mobile Computing (WiCom)

作者： Wei Xue Xiaoniu Yang Zhaoyang Zhang Department of Information Science and Electronic Engineering Zhejiang Uinversity Hangzhou Zhejiang China National Laboratory of Information Control Technology for Communication System Jiaxing Zhejiang China Dept. of Inf. Sci. & Electron. Eng. Zhejiang Uinversity Hangzhou China

The carrier recovery is one key technique in the demodulation of high order quadrature amplitude modulation (QAM) signals. A carrier recovery algorithm which switches between multi-threshold polarity decision mode and decision directed mode according to the standard deviation of the frequency of numerically controlled oscillator (NCO) is proposed. The proposed algorithm can detect a proper time for the mode switch to yield lower steady state error. The simulation results demonstrate the effectiveness of the proposed algorithm in improving the performance of blind carrier recovery.

关键词： Phase locked loops Quadrature amplitude modulation Steady-state Detectors Signal processing algorithms Constellation diagram Simulation

来源：评论

学校读者我要写书评

暂无评论

Properties of Prisoner's Dilemma Game based on genetic algorithm

Properties of Prisoner's Dilemma Game based on genetic algor...

引用

Chinese control Conference (CCC)

作者： Tao Wang Zhi-Gang Chen Xiao-Heng Deng Jin Zhagn School of Computer and Communication Hunan University Changsha P.R.China School of Information Science and Engineering Center South University Changsha P.R.China National Laboratory of Industrial Control Technology Zhejiang University Hangzhou P.R.China

Evolutionary games are widely studied in the fields of biology, sociology, economics and informatics. People's interests focus on how cooperation emerged in a system that individuals are selfish. We studied the iterated Prisoner's Dilemma Game evolved on BA network with genetic algorithm. Nodes in network could remember the game historical strategies and coded into gene. We show that memory length has gentle effect on cooperation level, and that some characteristic genes and frequently used genes emerge after some generations. We also find that cooperate strategy distributed on different degree-nodes equably. These findings give new perspectives to the illustration of cooperation behavior in biological group and society.

关键词： Games History Biological cells Evolution (biology) Barium Probability

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Ear Detection Based on Arc-Masking Extraction and AdaBoost Polling Verification

Ear Detection Based on Arc-Masking Extraction and AdaBoost P...

引用

International Conference on Intelligent information Hiding and Multimedia Signal Processing (IIHMSP)

作者： Hao-Chung Shih Chian C. Ho Hsuan T. Chang Chin-Song Wu Department of Electrical Engineering National Yunlin University of Science and Technology Yunlin Taiwan Information & Communication Security Laboratory Chunghwa Telecom Laboratories Taoyuan Taiwan

This paper proposes a simple but practical 2D ear detection algorithm based on arc-masking candidate extraction and AdaBoost polling verification. In the first half phase of the proposed ear detection algorithm, a few ear candidates are extracted by arc-masking edge search followed by multilayer mosaic and orthogonal projection histogram. Then, in the second half phase, the most likely ear candidate is picked out by rough AdaBoost polling verification. Experimental results show that the proposed ear detection algorithm can achieve a bit higher detection hit rate and much lower detection false alarm rate than conventional AdaBoost ear detection algorithm with Haar-like features under various pose rotation conditions.

关键词： Ear Detection algorithms Face detection Face recognition Image edge detection Skin Head Fingerprint recognition Biometrics Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：