不完备决策系统中规则提取的快速矩阵算法

提出了广义决策的不可分辨关系及其不可分辨类、联合决策相容矩阵等概念以及不完备决策系统中基于联合决策相容矩阵的约简和规则提取的快速矩阵算法.将条件属性相容矩阵和决策属性分配决策矩阵合并到一个矩阵中,大大减少了矩阵生成过程的比较次数,有效的提高了算法的效率.通过一个实例,说明了算法的执行过程;算法复杂度分析以及相应的对比实验,进一步说明了该方法的有效性.     

基于区域边界的图像变形算法

基于区域边界的图像变形算法使用不同类型的区域划分图像，在区域内建立仅与该区域边界相关的扭曲函数，使区域内象素的扭曲局部化，同时又保证区域问扭曲函数的连续性，从而克服了基于特征线段、基于网格扭曲等方法的缺点。本文详细讨论了区域的划分类型和方法，给出了区域的扭曲函数，最后对复杂的人脸图像进行了实验。实验结果表明，该算法所需用户控制少，方便用户对渐变精细度的控制，运算速度快，能产生理想的平滑渐变效果。     

教学软件测试过程模型研究及应用

教学软件的开发已相对成熟,但在测试方面,尚未形成完善的测试过程模型或体系。在对教学软件所具有的教学性、人机交互性与科学性三大共性特点深入分析的基础上,充分结合了软件工程领域中的软件测试流程,遵循"测试与开发活动同时贯穿于软件生命周期"的思想,提出一个由教学需求设计、测试用例设计、教学设计、软件设计、单元与集成测试、编码、综合测试、教学评价等涵盖了软件开发、测试及评价活动共同组成的针对教学软件的测试过程模型,并通过实际测试项目予以应用实现。     

基于知识的智能化Internet远程教学模型

主要研究基于知识的智能化Internet远程教学模型(ILTMK);模型采用面向对象的系统分析方法及统一模型描述语言(UML),基于教学内容知识元的知识库、智能化的学生模型和教师模型。模型的设计遵从了LOM和DOM国际标准,并在学生能力的动态评价及学习策略的动态选择上,对模型做了进一步的优化,设计了基于J2ZZ的Web智能推理引擎,最后探讨了ILTMK的一些最新的实现技术。     

形象类比法在C语言函数教学中的运用

基于C语言课程教学实践,通过运用形象类比法,巧妙讲解C语言函数部分中的几个抽象的、难以理解的知识点以及需要注意的相关问题,变抽象为直观,以帮助学生理解和记忆抽象的概念,从而提高学习效果。     

一种新颖的网格综合优化算法

用三角网格逼近三维扫描所得散乱点集,实现曲面重构,是一种得到广泛应用的技术。为了提高网格对物体表面的逼近精度,需要对网格进行优化。提出一种新颖的网格综合优化算法,将基于SOM的网格优化模型和节点分裂算法有机结合,使网格中顶点的分布更符合散乱点数据的空间分布,使网格更好地逼近数据点集,还通过分裂大度数顶点来改善网格的拓扑关系,使其更好地反映原始数据点集的拓扑特征,也使得网格更加平滑。试验结果表明,该算法取得的网格优化效果良好。     

基于边界域的知识粗糙熵与粗集粗糙熵

传统的知识粗糙熵表征了知识整体的统计特征,是总体的平均不确定性的量度,知识和粗集的不确定性值被放大。从Pawlak拓扑的角度,给出了一种基于边界域的知识粗糙熵新定义,并修正了粗集粗糙熵的定义,集合的不确定性可以通过边界域来描述,能更精确的度量知识不确定性;证明了知识粗糙熵和修正后的粗集粗糙熵都随着信息粒度的变小而单调减少等重要结论。最后,通过弹簧振子系统定性仿真例子,结合定性推理技术,构造属性约简的启发式算法,消去定性描述中的冗余,获得了其系统的定性微分方程,说明了粗集理论在定性推理与定性仿真技术中的重要应用价值。     

IP Sec下安全关联协商的实现环境

IP Sec是IP协议层的安全体系结构，是构筑虚拟专网(Virtual Private Networks，VPNs)的基本规范；它是通过安全关联(Seeurity Association，SA)的约定和协商来实现对通信实体间通信过程的保护．目前，在该领域中尚有诸如IP Sec下安全关联的协商机制等问题有待进一步探讨．首先分析IP Sec安全关联及其协商的实现条件和相应的保护环境，即ISAKMP SA，然后讨论在IKE协议中协商ISAKMP SA过程存在的安全关联载荷认证缺陷，并以主模式下预共享密钥方式交换过程为例，针对该缺陷对IKE协议交换过程中验证参数的计算提出了改进方案．     

IDE协议人证方式分析和改进

IKE协议作为IP Sec协议组的重要组成部分，在保证因特网的安全通信方面起着重要的作用。在 分析IEK协议定义认证方式及其改进方案的基础上，我们对基于IKE协议抵御拒绝服务攻击的认证方式改进作了进一步的探讨。