摘要:属性值可以取布尔量或多值量.从以布尔量描述的数据中发掘关联规则已经有比较成熟的系统和方法,而对于多值量则不然.将多值量的数据转化为布尔型的数据是一条方便、有效的途径.提出一种算法,根据数据本身的情况决定多值量的划分,进而将划分后的区段映射为布尔量,在此基础上可发掘容易理解且具有概括性的、有效的关联规则.

摘要:针对MPEG-2测试模型5(TM5)比特速率控制算法进行了以下改进:①引入一种智能积分作用,有利于提高比特速率的控制精度;②采用DCT交流系数定义宏块和图象的编码难度测度,然后提出了改进的目标编码量分配策略,即根据编码难度测度自适应调整图象和宏块的目标编码量,有利于提高包括场景变化在内的图象解码质量及其一致性.模拟实验结果表明:采用智能积分作用能达到很高的控制精度,与TM5相比,相对误差降低了约一个数量级;采用目标编码量的改进分配策略,平均峰值信噪比(PSNR)有明显提高,而且也能改善由于场景切换所带来的对图象解码质量的影响.

摘要:在有色调明暗变化的灰度图上叠加线框图的显示,有利于人们进行更好的观察.但已有的各种叠加方法均是依赖深度值比较进行操作的.它们不仅没有完全解决线框图显示时的断续现象,而且还会导致被遮挡面的线框也被显示的错误.对此,提出一种不进行深度值比较的方法.利用线框与面片的相关性及面片间的遮挡关系进行比较的操作,使得线框图不仅能得到高质量的叠加绘制,而且不必进行深度值的计算.

摘要:提出了一个新的高阶双向联想记忆模型.它推广了由Tai及Jeng所提出的高阶双向联想记忆模型HOBAM(higher-order bidirectional associative memory)及修正的具有内连接的双向联想记忆模型MIBAM(modified intraconnected bidirectional associative memory),通过定义能量函数,证明了新模型在同步与异步更新方式下的稳定性,从而能够保证所有被训练模式对成为该模型的渐近稳定点.借助统计分析原理,估计了所提模型的存储容量.计算机模拟证实此模型不仅具有较高的存储容量,而且还具有较好的纠错能力.

摘要:在对比传统的B树和B⁺树的定义和操作算法的基础上,定义了一种新的B⁺树:RFN-B⁺树,以获得更高的空间利用率和可用性.首先比较和分析了RFN-B⁺树与传统B⁺树的空间效率,然后讨论了RFN-B⁺树索引文件的有效性以及支持这种有效性的全链接指针结构和两个备用模块:基于虚拟根结点的随机检索算法和重构结点的算法.

摘要:3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N，合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N 时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义.文章着重讨论了SAT问题的更一般形式，即2-3-SAT问题的相变现象.研究了相变点处的2-子句和3-子句个数的关系，发现了2-子句和3-子句在约束能力意义下的当量关系，并提出了如何有效地利用2-3-SAT的相变现象.

摘要:将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统.

摘要:超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现，指出LPc是NP完全问题，并给出了将LPc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为LPc的实现提供了新的途径.

摘要:在不同的设备间保持色彩的一致性是当前彩色印刷的一项重要的世界性技术难题.从机器学习的角度,提出了基于学习的色彩空间变换方法,并利用科学发现的基本思想,较为成功地解决了彩色喷墨打印机中的彩色匹配的自动化和通用性问题,取得了理想的匹配效果.该技术目前已与日本佳能泰克公司进一步合作、开发,实现商品化.

摘要:分析研究了当前网络计算的传统模型,指出了它们在服务资源表示中的不足,提出了新的接口模型,能够精确、全面地描述计算资源所提供的服务,以期增进计算机之间的交互,使之能够自动地发现并共享网络上的软件资源.

摘要:从模糊信息量入手,对复合模糊命题的真值及其模糊信息量的计算进行了探讨,提出了一种新方法.此方法既考虑了子命题的逻辑关系,又考虑了子命题的相对重要程度而不丢失过多信息.实验证明,这种方法克服了封闭性、信息丢失、二义失效和全同失效的缺陷,能获得较合理的结果.

摘要:产品变型设计的基本思想就是通过改进已有的系列产品或模块来适应新的设计需求.针对变型设计的基本特点,提出了以基于实例的推理为基础,综合运用规则推理和约束满足方法来完成产品的变型设计活动.结合所开发的“细纱机模块化变型设计系统”,从知识表达模式、推理流程等方面详细讨论了以基于实例的推理为核心方法的多推理机合作变型设计系统的实现.

摘要:提出了软件体系结构工程的概念,建立了软件体系结构生命周期模型,并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言——XYZ/SAE.该语言可作为系列化时序逻辑语言族XYZ/E的子语言,支持对软件体系结构中构件、连接件和配置的描述,并可在统一的框架下描述软件体系结构的静态行为和动态行为.

摘要:对FP算法进行了改进.首先对“共同特征位”进行了优化处理,其次对x⁰样本的选取进行优化,最后,对阈值设计进行优化处理.经过优化后的样本吸引域明显地较为均匀,模拟实验数据也证明了这一点.

摘要:针对经典遗传算法在优化计算中存在的弊端,提出进化遗传算法.在染色体基因位编码方式、交叉与变异算子、适合度函数设计、候选解染色体选取方式及收敛准则等方面做了改进.通过对极难优化的Shekel类函数等的优化计算,说明该算法具有良好的全局搜索能力和较快的收敛速度.