保形压缩映射产生的一类递归集的分形性质

研究了由保形压缩映射产生的一类递归集的分形性质,得到了该类集合的Hausdorff维数．     

局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

NHibernate在Web-MIS开发中的应用研究

描述了基于.NET的持久化框架NHibernate，分析了NHibernate的工作原理，构建了基于NHibernate的Web-MIS的框架结构，给出了系统开发的实现步骤。实践表明，NHibernate能有效地实现关系型数据与对象模型之间的转换，提高系统的开发效率。     

网络安全实验平台K - 划分映射方法

对网络安全实验平台映射问题进行形式化描述,提出基于K-划分的映射方法,其核心思想是为了尽量减少占用网络资源,尽可能将逻辑拓扑紧密连接的节点映射到同一台交换机上。基于K-划分的映射方法采用贪心法确定初始划分状态,根据评价函数进行节点移动,对生成的子图进行算法迭代,直到所有子图的节点数量不大于物理拓扑端口容量为止。基于K-划分的映射方法弥补了K-L算法中初始划分状态选取的任意性对最终结果产生较大影响的缺陷,实验结果表明该算法的求解时间远小于遗传算法,能在较短的时间内得到映射结果。     

双正交重叠变换系数基于上下文的算术编码算法

提出了一种双正交重叠变换(LBT)系数基于上下文的算术编码算法.针对二进整数LBT在DSP实现过程中出现的精度和计算复杂度问题,提出了一种适于DSP并行处理的LBT定点实现方法.编码算法包含60种上下文概率模型,熵编码采用MQ编码,并根据并行处理的需要,将MQ编码从位平面扫描过程中分离,根据分离后的结构特点,设计了改进的MQ编码器.并对算法的DSP实现进行了研究.实验结果表明,本压缩算法压缩性能和SPIHT相当,稍逊于JPEG2000,算法容易并行,硬件计算复杂度很低.     

一类集值映射的高阶微分

在文[1]中,H.T.Banks 与M.Q.Jacobs 讨论了集映Ω:R~m→(?)(R~n)的一阶微分,分别给出了Ω可微的充分条件与必要条件。本文改进了文[1]的工作,证明了[1]中条件(3.2)的限制是不必要的,从而得到了Ω可微的充分必要条件,及较为简洁的Ω微分解析表达式。在文中也讨论了Ω的k 阶微分,得到了Ωk 阶可微的充分必要条件及k 阶微分的解析表达式。     

基于MAS的信息化战场火力战仿真建模

通过仿真实验进行演示、检验和评估,是研究信息化战场火力与指挥控制的有效方法.通过采用基于MAS的仿真方法,把火力战系统的内部组元直接映射成相应的Agent,研究了基于MAS的火力战仿真建模过程,提出了基于MAS建模的火力战系统总体框架与工作过程,并进一步研究了火力战Agent的定义与工作原理,为未来信息化战场火力战相关项目技术演示提供平台基础.     

航空发动机的可预测模型建模与应用

提出了一种基于混沌理论和支持向量的预测方法.通过重构相空间的饱和嵌入维数,确定支持向量机的最佳输入变量;通过计算混沌序列的最大Lyapunov指数,确定支持向量机预测模型的最大有效预测步数;利用支持向量机强大非线性映射能力、网络结构的自动最优化特性,实现时间序列的非线性预测.最后,应用于某型发动机压气机的试车时间序列数据建模与分析,结果证明该方法具有较高的预测精度.