基于粗糙集-LVQ神经网络的稽查选案模型研究

税务稽查选案是稽查前对纳税人纳税诚信的分析过程.利用粗糙集理论与LVQ神经网络的优势互补,粗糙集作为前置处理系统优化选案指标结构,神经网络进行分类处理,提出并建立了一种粗糙集与LVQ神经网络相结合的税务稽查选案模型,并依此模型进行了实例验证.结果表明,利用该模型在得到可视化预测结果的同时,还可以得到较高的预测精度.     

含先验信息的学习机在生物序列分析中的应用

生物序列分析是机器学习和数据挖掘技术一个重要的应用领域。它的特别之处在于,很多有领域背景的先验知识可以在分析过程中得到利用,从而改善分析的效果。在对蛋白质的乙酰化修饰的预测过程中,通过合理地利用先验信息,改进模式提取方法,能够显著地提高支持向量机模型的预测性能。     

改进的演化近似算法求解TSP问题

TSP是典型的具有NPC复杂性的组合优化问题。在演化算法的基础上，提出了一种有效求解TSP问题的近似算法IEAA。IEAA采用单性生殖方式，通过保留一组较优个体加速了算法的收敛。详细介绍了的算法的设计和实现．并用于求解CTSP问题，实验结果表明，该算法能有效的解决CTSP问题，且算法性能优于基本演化算法SEA。     

TIPPS求解过程控制及其算法的研究

本文提出了一种TIPPS(Test Intelligent Problem ProcessingSystem-TIPPS)智能处理器的求解过程控制的系统结构。阐述了递阶求解过程控制的思想,问题处理器的求解算法,经过实践检验是正确的。     

对等网络中分布式散列表的研究*

首先介绍了非结构型对等网络和结构型对等网络,归纳了分布式散列表（DHT）的性质与特点;然后对几种现有的DHT进行了介绍;最后指出DHT现存的主要问题并讨论了可能的解决方案。     

基于差异特征协同语义标注的三维模型检索方法

提出一种基于差异特征协同语义标注的三维模型检索方法.该方法利用多种特征提取方法的优点,借鉴半监督学习中的协同训练思想,首先通过3种差异特征提取算法分别训练学习器,构造出3个差异学习器;然后通过协同迭代训练找到最优学习器对三维模型进行自动语义标注;最后结合语义进行三维模型检索.在普林斯顿大学的PSB三维模型数据集上的实验...     

AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是Agent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpcak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论—AgentSpcak中的意图执行是可靠而完整的,从而验证了AgcntSpcak中软件Agent意图完成目标的正确性。     

基于高维矩阵变换的雪崩图像置乱变换

传统的以高维Arnold变换和高维Fibonacci-Q变换为代表的基于高维矩阵变换的图像置乱方法,虽然具备较好的安全性,且能改变被置乱图像的灰度特征,但存在可恢复周期长,且对攻击不具备全局扩散能力等问题,在应用中存在缺陷。针对以上问题,基于高维矩阵变换,构造了雪崩图像置乱变换,该置乱变换可通过逆变换对图像进行置乱,通过正变换对置乱图像进行恢复,因而可减少由置乱图像恢复为原始图像的迭代次数,同时理论和实验结果表明该置乱变换在受到各种攻击时的强脆弱性,因而可用于数字作品完整性鉴别的脆弱水印构造。     

面向移动嵌入式终端的柔性人机界面模型

文章提出一个面向移动嵌入式终端的柔性人机界面模型--FHCIM.该模型首先对柔性人机界面的控件、参数以及动作进行了形式化抽象描述,然后在给定的柔性人机界面标记集合的基础上,使用该自定义的标记构造了人机界面的具体描述.随后,将人机界面的具体描述送入柔性人机界面显示模块,根据标记描述的控件属性,生成相应的对象并显示,并在相应动作的触发下,获得所需信息.最后给出了一个移动嵌入式终端的柔性人机界面实现的具体实例.     

核电站设备的辅助隔离

计算机辅助隔离系统(CBA,Computerized Blocking Assistance)是大亚湾核电站重要的生产应用软件,能够协助核电站的运行人员进行设备的辅助隔离,为机组检修人员形成一个安全可靠的维修工作现场.以大亚湾核电站实际应用为背景,从申请票、隔离票状态的角度,介绍申请票、隔离票的形成过程,以及设备隔离的基本原理,讨论了CBA与生产管理信息系统(COMIS,Corporate Operation Management Information System)的接口技术,最后,介绍实施CBA的几点经验.