基于多面体包含的非线性混成系统可达性分析

针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。     

采用蚁群爬山法进行聚类分析的算法

介绍了一种基于密度和网格的聚类分析算法——蚁群爬山法（ACH)，这种算法能自动获得簇数k的值和任意形状的簇的划分，并具有较好的并行性。通过对网格大小的控制可获得不同层次的聚类结果。     

虚拟网络映射高效节能运输模型及算法

网络虚拟化使得智能能量感知网络部署成为可能,已有研究忽略了节点映射能耗最优化。本文把节点映射能耗优化问题转化为生产地与销售地之间物资运输代价最优化问题,建立高效节能节点映射运输模型。根据最大元素法,提出了混合一阶段与两阶段映射算法,在链路映射的约束下找到节点分配最小能耗代价最优解;利用主动休眠策略,提出了基于运输模型的主动休眠虚拟网络映射节能算法;利用节点可重复映射技术,提出了基于运输模型的节点可重复映射算法,进一步提高了底层网络资源休眠数量。仿真结果验证了本文所提算法能够显著降低系统能耗,适合大规模高效节能虚拟网络映射。     

A recursive algorithm for constructing generalized Sturm sequence

The generalized Sturm sequence is used to determine the number of real roots of a polynomial f(x) subject to h(x) >0 where h(x) is another polynomial. To construct this sequence, the original procedure is almost the same as Euclidean algorithm, so it is terribly inefficient for polynomials with symbolic coefficients. A new method is developed instead, which succeeds in avoiding the high computational complexity caused by the division algorithm.     

相干命题逻辑系统R的一种演绎生成算法

本文提出了相干命题逻辑系统R的一种演绎生成算法--试探法。该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果。     

基于小波变换的流域分割算法*

流域算法是一种形态学的图像分割算法,但由于其对噪声十分敏感,分割结果往往存在过度分割的现象。该算法充分利用小波的多分辨率特性,有效地解决了流域算法的过度分割问题,并大大提高了分割的计算速度和噪声抑制能力。     

偏差最小的四心圆近似椭圆作图法

以曲线的等距线距离为度量,得到近似椭圆与精确椭圆的偏差估计,并给 出了偏差与半轴长的显示表达式。通过符号计算和回归分析,提出一种偏差最小的四心圆近 似椭圆作图法。新方法易于通过尺规作图实现,可用于编制数控机床中加工椭圆零件的插补 程序。     

基于Ontology的平面几何知识库设计

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例，先从总体上介绍了Ontology建模方法的思想，框架结构及优点，再详细描述了平面几何知识库的设计、组织结构及其实现，我们提出概念分层，等价类存贮、启发式双向推理、推理经验生成，交互解题，数字测试等多种平面几何知识库的相关技术，能生成与“吴法”等代数方法不同的、传统的、较优的可读证明，并提高了系统的重用性、可靠性、可维护性和知识扩展性。     

非线性循环不变式的自动生成

提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。     

带结论域的关联规则的挖掘

为了提高关联规则挖掘的效率和提高关联规则的准确率，提出了以rough set为基础的关联规则挖掘，该文系统介绍了两种挖掘算法的主要过程，并提出了带结论域的并联规则挖掘解决方法。