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

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

来源：评论

学校读者我要写书评

暂无评论

A variable step size algorithm for blind equalization of QAM signals

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

引用

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

ISBN: (纸本)9781934142141

The constant modulus algorithm (CMA) is one widely used algorithm for blind equalization of 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 speed up convergence rate and decrease steady state mean square error and correct phase error and frequency offset at the same time. The simulation results demonstrate the effectiveness of the proposed algorithm in improving convergence rate and reducing steady state mean square error.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

关键词： 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

来源：评论

学校读者我要写书评

暂无评论

Image registration algorithm based on sparse position hypergraph matching

引用

Guangdianzi Jiguang/Journal of Optoelectronics Laser 2010年第12期21卷 1865-1870页

作者： Chen, Hua-Jie Feng, Wei-Ping Lin, Yue-Song Guo, Yun-Fei Key Laboratory of National Defense for Communication Information Transmission and Fusion Technology Institute of Information and Control Hangzhou University of Electronic Science and Technology Hangzhou 310018 China

To improve matching ratio and decrease computational complexity of graph/hypergraph matching, an image registration algorithm based on sparse position hypergraph matching is proposed in this paper. Firstly, the graph model is constructed through extracting features from real images. Secondly, after getting the minimum spanning tree structure which contains the main connections among nodes of graph, sparse position hypergraph is obtained by using the position angle information of hyper-edge composed of three neighboring nodes in the minimum spanning tree. Thirdly, a inter-graph point proximity matrix is built by the position angle information. At last, an approach of global optimal soft matching is used to achieve matching. It can be clearly indicated that this algorithm has low computational complexity and is robust for image matching.

关键词： Image registration

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：