下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。     

FAE武器威力评价方法探讨

FAE武器的威力评价方法应包括自身威力评价和毁伤效应评价两个方面,在对既有FAE武器威力评价方法发类评价的基础上,本文结合FAE武器爆炸场特性,综合该武器的各种爆炸作用形式,并兼顾科学与实用的原则,提出了FAE武器自身威力评价方法,研究表明,用FAE爆轰能和广义TNT当量两个指指来评价FAE自身威力能全面反映FAE武器爆炸场持性,适合于FAE武器间的威力对比以及FAE武器与HE武器的威力对比,该评价方法具有普遍性。     

基于复杂网络社团结构理论的同调等值算法

基于复杂网络社团结构理论,提出了一种同调等值的新算法。首先构造动态电力网络的加权Laplace矩阵,在此基础上利用谱平分法分析系统故障后的Laplace矩阵,将系统划分为2个区域,其中同步能力弱化系数最小的机组所在的区域被选为研究区域,另一个则为外部区域。然后基于模块度的概念构建分区评价指标,并利用凝聚算法分析故障前的Laplace矩阵,将外部区域划分为多个等值分区。对IEEE39节点系统的仿真分析表明,所提出的同调等值算法能够自动确定研究区域和外部区域,自动确定外部区域中等值分区的数目,而且计算量小,迅速准确。     

新的等价类划分算法—计数法

目前,基于基数排序的等价类划分算法有较低的时间复杂度但存在以下不足：属性值跳跃性大时会产生大量空队列;排序后仍需O（|P‖U|）的时间才实现划分,求出等价类,排序没能发挥应有作用。为此,设计了一种新算法,通过属性值映射避免大量空队列产生,通过增加一个记录等价类长度信息的计数数组,排序后仅需O（|U|）就可实现划分,求出等价类。整个算法时间复杂度为O（|C‖U|）,空间复杂度为O（|U|）,为求等价类划分提供了一个新的解决办法。     

基于等价类的关联规则挖掘矩阵算法

关联规则挖掘算法中的Apriori算法利用查找频繁项集来发现数据集中的关联规则,算法思路简单容易实现;但在由k-1次频繁项集生成k次频繁项集时需反复查找数据库,效率较低,在寻找高次频繁项集时其低效性更加明显;矩阵算法是通过直接查找高次频繁项集,避免了反复查找数据库,但要存储大量的非频繁项集,且查找低次频繁项集速度较慢。文中提出的矩阵等价类算法,利用等价关系进一步降低矩阵算法的时间空间复杂度,然后通过项目相似度直接求取所有最大频繁项集。实验结果证明了算法的可行性、高效性。     

基于Rough集的连续属性离散化方法

连续属性离散化是Rough集理论应用中面临的主要问题之一.提出了一种基于的Rough集连续属性离散化方法.首先提出主泛化决策等概念,在数据过滤方法的基础上,利用等价类的合并对属性离散化.实验表明,利用该方法对数据进行离散预处理后提取的规则具有较好的分类预测准确性.     

Cbase数据库查询重写模块的设计与实现

本文详细讨论了重写模块的设计思想与实现技术，并讨论了利用执行引擎特点引入的一组基于等价谓调的简单语句直写规则．测试结果表明，增加重写模块的查询优化器能显著提高系统的查询效率．     

微带双分支定向耦合器的小型化设计与实现

提出了小型化微带双分支定向耦合器的设计方案,通过对双分支微带线进行结构等效,解决了传统微带双分支定向耦合器尺寸较大的问题。应用HFSS软件对结构进行了优化仿真设计,并制作和测量了一款工作在L波段用于海事卫星通信的微带耦合器样件。该耦合器样件比传统双分支定向耦合器面积缩小了51%,实测结果与仿真结果吻合较好,验证了方案的可行性。     

结合关系建模与项重写技术的时序电路等价验证

提出一个新颖的时序电路等价验证的方法框架.该方法有效地结合了关系建模和项重写技术.首先利用带有测试条件的Kleene关系代数建模时序设计,进而通过对关系表达式的项重写来证明时序设计的等价性.与传统的基于状态空间遍历的时序等价验证方法相比,该方法提供了一种全新的思路.     

EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system

We investigate the simulation preorder between finite-state systems and a simple subclass of BPP-nets (communication-free nets). We show EXPSPACE lower bounds for the simulation problems, in both directions, as well as for the simulation equivalence. Our results improve PSPACE and co-NP lower bounds for the simulation between finite-state systems and BPP-nets, given by Ku?era and Mayr in [A. Ku?era, R. Mayr, Simulation preorder over simple process algebras, Information and Computation 173 (2) (2002) 184-198].