改进的蠕虫特征自动提取模型及算法设计

文章提出了一种基于序列比对的蠕虫特征自动提取模型,该模型针对现有蠕虫特征自动提取系统的可疑蠕虫样本流量单来源和粗预处理等问题,提出了对网络边界可疑流量和蜜罐捕获网络流量统一的聚类预处理,并使用改进的T-Coffee多序列比对算法进行蠕虫特征提取。实验分别对Apache-Knacker和TSIG这两种蠕虫病毒进行特征提取,从实验结果可以看出文章提出的模型产生的特征质量优于比较流行的Polygraph、Hamsa两种技术。     

基于多序列联配的攻击特征自动提取技术研究

误用入侵检测系统的检测能力在很大程度上取决于攻击特征的数量和质量．该文提出一种基于多序列联配的攻击特征自动提取方法：首先将可疑的网络数据流转化为序列加入到可疑数据池中;通过聚类将这些序列分为若干类别;最后利用该文提出的多序列联配算法对同一类中的序列进行联配,并以产生的结果代表一类攻击的特征．该方法的核心是该文提出的两种序列联配算法：奖励相邻匹配的全局联配算法CMENW（Contiguous—Matches Encouraging Needleman—Wunsch）和层次式多序列联配算法HMSA（Hierarchical Multi—Sequence Alignment）．CMENW算法克服了Needleman—Wunsch算法易产生碎片的问题,使得连续的特征片段能够尽量地予以保留;HMSA算法以层次式策略对多序列进行联配,支持通配符,并带有剪枝功能．该方法可以自动地提取包括变形病毒和缓冲区溢出在内的新攻击的特征,其主要优点是：（1）产生的攻击特征包含位置相关信息,因而相对传统的方法结果更加准确;（2）具有良好的抗噪能力．     

高层次综合的实有化逻辑图自动生成关键技术的研究

研究的逻辑图自动生成系统是“九五”微电子重点科技预研项目的成果“实用化专用集成电路高层次自动化设计系统－Talent系统”的子系统,该系统通过对电路网表有效的识别与划分、逻辑单元的布局及互连信号线的布线等,自动生态具有一定逻辑功能且布局美观规范的逻辑原理图。该文重点研究逻辑图自动生成实用化过程中的关键技术,将人工智能基于规则的知识表示与形式化算法相结合,提出有效的自动布局方法;应用模式识别理论和方法解决逻辑图的自动布线问题,提出基于决策树的通道分配方法,并设计一套完整的规则体系;进而,文中给出详细的划分模型,并在此基础上,结合逻辑原理图的特点实现了两种有效的划分算法：（1）种子生成的构造式划分算法;（2）迭代改进划分算法。其中算法（1）的设计思想主要源于贪婪构造,而算法（2）则对经典的最小分割划分算法Kernigham－Lin算法进行改进。基于上述研究实现的逻辑图自动生成系统,能够在很短的时间内生成美观规范、可读性好的逻辑图,为整个系统实用化做出了贡献。     

NIDS签名获取及其测试数据的生成

当实现一个新的NIDS检测算法时,很难获得一个实用的签名库及其测试数据。该文介绍了怎样利用Snort的签名库,以及怎样生成相应的测试数据,最后给出了一些测试数据。     

现代电力系统自动发电控制实现与发展

针对现代电力系统自动发电控制(Automatic Generation Control,AGC)的基本原理及相关概念、控制策略及评价标准进行了简要论述。指出了目前我国区域互联电力系统AGC广泛采用的分层分区控制模式的实质为典型的FFC一TBC二级控制模式,阐明了在该模式下AGC控制存在经济性、协调性等方面的问题。就现代电力系统AGC向智能化、市场化、可兼容、分布式方向发展的现状和趋势进行了总结。最后,针对现代电力系统智能化调度的发展要求,进一步指出了AGC近期的研究方向和应用重点。     

Rough Set 规则自动生成的关键算法改进

基于RoughSet理论,研究从Skrowon分辨矩阵到规则自动生成过程中的关键算法的改进问题。提出由分辨矩阵到合取项矩阵的计算方法,建立了从属性约简的合取项矩阵到析取项矩阵转换的数学模型,基于数学模型,提出直接搜索的转换方法。同时,提出了属性值约简的改进方法,使得改进后的算法从总体上节省了运算空间,降低了算法的时间复杂性,提高了规则生成的效率。最后通过UCI数据库的实例验证了改进算法的有效性。     

一种基于序列比对的入侵特征提取算法

本文提出了一种新的基于多序列比对1的入侵特征提取算法.该算法包括两部分:基于局部比对的两序列比对算法SLA(Sequence Local Alignment)和多序列比对算法MSA(Multi-Sequence Alignment).SLA算法借鉴了生物信息学中两序列比对的思想,用局部序列比对思想和仿射空位罚分模型代替了目前在攻击特征提取中常用的全局序列比对思想和权值恒定空位罚分模型,以提高攻击特征的泛化程度.MSA算法利用一种新的剪枝策略来提高现有多序列比对算法在攻击特征提取中的抗噪声能力.本文详细介绍了两个算法,并给出了算法分析,最后对算法的有效性、提取的攻击特征在检测中的有效性以及抗噪声能力进行了实验验证.     

软件需求规格说明自动生成工具

首先提出了一种面向业务流的需求分析方法，并给出了相应的条件有向图需求描述模型(CDGRD)，然后详细地介绍了基于CDGRD的软件需求规格说明自动生成工具，最后以某大型企业信息系统项目为例，详细讨论了CD-GRD描述方法以及该自动生成工具的具体应用．     

Quantitative Measures for Cartogram Generation Techniques

Cartograms are used to visualize geographically distributed data by scaling the regions of a map (e.g., US states) such that their areas are proportional to some data associated with them (e.g., population). Thus the cartogram computation problem can be considered as a map deformation problem where the input is a planar polygonal map M and an assignment of some positive weight for each region. The goal is to create a deformed map M′, where the area of each region realizes the weight assigned to it (no cartographic error) while the overall map remains readable and recognizable (e.g., the topology, relative positions and shapes of the regions remain as close to those before the deformation as possible). Although several such measures of cartogram quality are well‐known, different cartogram generation methods optimize different features and there is no standard set of quantitative metrics. In this paper we define such a set of seven quantitative measures, designed to evaluate how faithfully a cartogram represents the desired weights and to estimate the readability of the final representation. We then study several cartogram‐generation algorithms and compare them in terms of these quantitative measures.     

Test Generation Techniques

Existing test generation procedures are rooted in the SSI/MSI era. New techniques will cope with today's vastly more complicated LSI/VLSI systems.     

Automatic Generation of Invariants

When proving invariance properties of programs, one is faced with two problems. The first problem is related to the necessity of proving tautologies of the considered assertion language, whereas the second manifests itself in the need of finding sufficiently strong invariants. This paper focuses on the second problem and describes techniques for the automatic generation of invariants. The first set of these techniques is applicable to sequential transition systems and allows deriving so-called local invariants, i.e., predicates which are invariant at some control location. The second is applicable on networks of transition systems and allows combining local invariants of the sequential components to obtain local invariants of the global system.     

RTL数据通路模拟矢量自动生成方法研究与实现

针对已有的RTL数据通路模拟矢量自动生成方法的不足,提出一种利用约束逻辑编辑(CLP)自动生成数据通路模拟矢量的新方法．该方法首先对给定的Verilog RTL描述采用程序切片进行设计化简,然后对化简后的结果基于位向量算术原理生成CLP约束,并利用CLP求解器GProlog进行约束求解,最终生成满足输出要求的模拟矢量．该方法约束求解速度快,生成的约束是统一的,得到的模拟矢量较完备,能满足模拟验证的要求．实验结果表明,文中方法是一种高效的RTL数据通路模拟矢量自动生成方法．     

决策树的自动生成模板

用于知识发现的大部分数据挖掘工具均采用规则发现和决策树分类技术来发现数据模式和规则。该文通过采用基于仿真属性的离散化方法,基于概率统计的未知属性与噪声数据处理方法以及基于误差的剪枝算法,实现了用于自动生成决策树的通用算法模板。利用该模板,决策树算法的设计者可以快速验证为解决特定决策问题而设计的新算法。构造决策树的基本机制是算法的设计者利用其自己定义的公式来初始化通用算法模板。然后利用该系统提供的交互式图形环境,针对不同的决策问题测试该算法,从而找出适合特定问题的算法。     

一种决策模型的自动生成及管理系统

本文说明了一种决策模型的自动生成及管理系统的设计与实现方法。该系统能够辅助人们去建立一种基于决策表的决策模型，自动进行各种检验，并能将此模型转换成另外两种决策模型。此外，它还具有决策模型库和应用案例库的管理功能。该系统已成功地运用到多个大型信息系统的开发之中。     

Automatic Generation of Language-based Tools

Many tools can be automatically derived from formal language definitions, such as compilers/interpreters, editors, analyzers, visualizers/animators, etc. Some examples of language-based tools generated automatically by the LISA system are described in the paper. In addition the specification of an algorithm animator and program visualizer, Alma, generated from an extended LISA input-grammar is discussed; LISA principles and code are reused in Alma implementation.     

形文件自动生成技术

形是AutoCAD软件定义的一类特殊图形,是解决特殊符号及汉字输入的基本手段。但由于它必须用特定的编码定义,所以形的生成并不容易。本文在仔细研究形的编码后,提出了形的自动编码方法,并对其算法原理和关键技术作了详细说明。     

基于抽象解释理论抽取多态恶意程序特征码

抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论。文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路。实践证明所述方法准确、高效。     

Stochastic Models for Automatic Diacritics Generation of Arabic Names

In this paper, two new models for generating diacritics for Arabic names are proposed. The first proposed model is called N-gram model. It is a stochastic model that is based on generating a corpus database of N-grams extracted from a large database of names with their corresponding probability according to an N-gram position in a text (Bhal et al., 1983). i.e., the probability that an N-gram has happened in a position x, where x can be the first, second,... or ith position in the text. Replacing the N-grams with their patterns extends the first model to the second proposed stochastic model. It is called the Envelope model. These two proposed models are unique in being the first attempt to solve the problem in Arabic text diacritics generation using linguistic constraints stochastic approaches that are neither grammatical nor pure lexical based (Merialdo, 1991; Ney and Essen, 1991; Schukat-Talamazzini et al., 1992; Witschel and Niedermair, 1992). This methodology helps in reducing size and complexity of software implementation of the proposed models and makes it easier to update and port across different platforms.     

Web服务组合的Petri网自动生成方法

针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.