混凝土坝裂缝变形的不确定性分析模型

混凝土坝裂缝的发生和发展受到不确定因素影响。将大坝系统及其安全监控看作一个受诸多因素影响的不确定性系统,结合裂缝实测资料,应用近似推理模型和信息分配法,建立了裂缝变形的不确定性分析模型。     

添加辅助线辅助点在计算机自动推理中的研究

在证明中使用辅助线和辅助点,是传统几何的特色,是高智能的解题方法,但却给几何证明的机械化增添了很大的困难．尝试在自动推理中应用辅助线和辅助点．实验证明,对较为复杂的几何问题来说,采用这种方法可以显著提高推理效率．     

“ORACLE数据库”课程教学方法及其目标的探讨

介绍了“ORACLE数据库”课程的目标以及教学方法,致力于理论基础知识、提出加强实践训练,理论联系实际的教学观念．,最后给出一些教学方法的深度研究。     

基于多层动态索引的相似炉型检索方法研究

针对炉型设计涉及的原始数据量庞大,合理炉型的界定范围广,界限模糊等问题,提出应用基于实例的推理方法辅助炉型初始方案的生成.分析了高炉炉型设计的特征属性,并建立了层次结构,针对其特征索引较多,权重系数小,检索效率低等问题,建立一种多层动态索引策略来改进传统的最近邻法,实现了炉型初始设计方案的智能生成.从而提高了相似实例检索的准确性和有效性,为后续对比调整提供了具有可比性和高参考价值的设计方案.     

一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF（ConjunctiveNormalForm）公式之间仅相差几个子句的一系列SAT（SatisfiabilityProblem）问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

基于CBR和RBR混合推理的齿轮箱智能诊断技术

针对传统齿轮箱智能诊断系统获取知识的困难,提出了基于案例(case-based reasoning,CBR)和规则(rule-based reasoning,RBR)混合推理方式的智能诊断技术.在研究此2种推理技术优缺点的基础上,取长补短,合理地将其应用到轧机齿轮箱故障诊断工作中,提高了故障诊断的准确率和效率.针对传统案例检索中相似度算法的不足之处,提出了一种新的案例检索算法,有效地解决了传统的相似度算法检索案例不准确的问题.     

基于直觉模糊推理的网络舆情预警方法*

为解决网络舆情预警等级问题,提出了一种基于直觉模糊推理的网络舆情预警方法。借鉴战场态势分析思想,对网络舆情态势分析的原理进行了阐述,选取了适合计算机实现的七个网络舆情态势分析模式对预警等级进行判断。选择七个舆情话题进行实验,实验结果表明,该方法能够准确地估计出威胁等级,符合专家经验判断,说明该方法是可行的。     

基于虚拟现实技术的煤矿安全培训系统

针对传统煤矿安全培训手段单一、效果不理想的问题,提出了基于虚拟现实技术的煤矿安全培训系统。该系统应用虚拟现实开发软件3DS MAX和Virtools DEV来完成设备建模、场景构建和交互式系统的开发,实现了煤矿风险预控、事故案例再现和事故应急救援的仿真。应用结果表明,该系统通过三维仿真和交互形式可有效提高煤矿安全培训的针对性和实施效果,达到提高安全意识、减少安全事故的目的。     

CNONIX标准符合性测试研究

CNONIX标准规范了图书出版行业在信息交互过程中的数据项及其格式,提高了数据质量和使用效率。为了保证第三方软件能够正确地生成符合CNONIX标准的XML文件以及检测一个XML文件是否符合CNONIX标准,提出了相关的标准符合性测试方法;对CNONIX标准中规定的元素属性进行了研究并且分析了其对测试用例的影响;设计了XML文件对于CNONIX标准符合性的检测规则;最后提供了一个应用实例对检测规则予以说明。     

基于ASL的模型驱动架构测试方法

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法：从UML模型出发,将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。