一种小样本集可信向量机3S—CSVM

利用支持向量机中的拉格朗日系数,从系数所表达的意义出发,根据Kolmogorov算法随机性理论,定义了可信度和可靠性,提出了一种小样本集可信向量机,该向量机在预测对象类别的同时,给出本次预测的可信程度和可靠性,丰富了支持向量机的输出信息。同时通过在预测的过程中有限增加训练集中的有用特征信息,提高了预测的准确率,在只有少量训练样本的情况下具有较好的性能。     

基于模糊理论的IT企业员工素质的评估

该文引入模糊集理论,通过建立数学模型,对IT企业员工素质进行评测,解决了传统测评中客观性欠缺而主观性太强的问题,并进行了实际应用举例。     

基于模糊理论的椒盐噪声滤波算法

针对图像中的椒盐噪声,基于模糊理论设计了一种滤波算法。首先结合椒盐噪声特点,借助窗口进行噪声检测,其次设计了自适应的方法消除噪声,最后采用图像进行实验,定性和定量分析结果表明该方法对于椒盐噪声的消除可行有效。     

建构主义教学法在JAVA程序设计课程中的改革与应用

大学计算机相关专业中,学生在理解和掌握知识的同时更关注自己的学分总数和学分积点,学习兴趣和能力培养成为获取毕业证书和学位证书的一个副产品。导致学生难以产生浓厚的程序设计兴趣,对专业课程的掌握不够扎实。因此改变学生的学习心态和认识尤为重要,基于建构主义的教学方法在专业课程中的应用则会起到促进的效果,让学生在主动学习,享受学习的过程中掌握计算机课程的核心技术,让证书成为一个必然的副产品。     

计算机专业英语中的词汇语义场研究

语义场理论是现代语义学研究的一个重要成果,为词汇教学提供了系统科学的理论依据。计算机英语是计算机专业学生的必要工具,将语义场理论应用于专业英语词汇的教学,使学生了解语义场的内涵及特点,有助于更好地掌握专业知识。结合教学实践,探索研究了英语词汇教学的方法和策略。     

弹性自适应二端布线算法研究及实现

军事通信指挥中很重要的环节是大量通信组织图表的绘制,目前借助计算机软件进行数字化制图处于研制与发展中,其重点与难点在于自动布线算法的设计和实现.由此在系统开发中首次提出了弹性自适应二端布线算法,主要对布线点的自适应选择、寻路算法优化、布线版图美化几个方面进行研究与实践.从而解决了自动布线过程中布通率低、布线速度慢的技术难题,大大提高通信制图的自动化程度.     

基于序列运算理论的维修备件保障决策模型

备件保障过程存在大量不确定性, 使其决策困难. 本文以序列运算理论的概率性序列为基础, 把需求、维修、存储的备件数量看作一维离散的随机变量, 通过随机序列之间的卷和、卷差和交积运算来分析保障过程中各随机事件之间的相互作用, 从而对保障过程进行动态描述; 通过概率性序列的期望值理论确立了备件需求满足率来预测库存备件补充的时机和数量, 从而为备件存储决策提供依据.     

基于模糊BP神经网络的模拟电路实时故障诊断

以进行模拟电路实时故障诊断为主要目的,对BP神经网络故障字典法进行了深入研究,针对传统BP算法收敛速度慢、易产生局部最优等不足,采用神经网络与模糊理论相结合的方法,根据模式识别原理实现模拟电路故障的实时诊断。实验结果表明:该算法在网络收敛速度和识别精度上较传统的BP算法均有明显的改善。     

基于多项式核的结构化有向树数据聚类算法

各个点在数据内部的组织结构中自然地扮演着3种不同的结构性角色,分别是毂、质心和野值.在基于邻域的聚类算法中,邻域密度因子能够识别分离数据集中的毂、质心和野值.但是,邻域密度因子对有噪声和重叠的数据往往失效.为了解决该问题,引入了基于多项式核的邻域密度因子,并在有向树框架下,提出了一种结构化的数据聚类算法,其计算复杂度线性于输入数据的大小.对带有噪声和重叠的数据集,该算法能够找到所有显著的、任意形状的不均衡聚类.在人工和真实数据集上的实验结果都证实了该算法的有效性和快速性.     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.