领域本体在课件自动生成中的应用研究

鉴于本体在描述概念方面所具有的优势,结合教学内容自身的特点,提出在课件自动生成中应用领域本体的方法,以解决当前课件制作过程中存在的费时费力、通用性不强、无法自动更新等问题在课件的自动生成中应用领域本体,不仅能够改善目前课件手工制作的现状,而且从某种意义上来说自动生成的课件还能够自动更新     

反应堆保护系统N取M判决系统分析与设计

N取M判决系统是反应堆保护系统中的冗余设计,分析了判决系统拒动率、误动率两个量化指标,得到严格的数学公式并做了近似计算,解释了工程实际中N取M多为4取2或3取2经验值的基本原理。以非安全故障概率0．1、安全故障概率0．1为例详细比较不同取值的判决系统。依据设计参数给出三种N、M取值的算法,将工程参数选取与理论计算融合。     

Web信息查询结果的区域性处理

针对现有搜索引擎存在的问题,提出了一个基于ＷＷＷ信息区域的查询结果处理方法,该方法能够运行在现有的查询系统上,以较小的代价获得查询质量的较大提高。     

赛博空间隐性知识内涵及相关研究

信息时代,大量知识以数字化形式存在于赛博空间中,但是特定类型的数字知识只能被特定的数字系统（程序）直接使用,而不能被其它类型的数字系统充分利用,数字知识呈现相对＂隐性＂特征,深刻影响了数字知识的共享利用。针对这一问题,在对管理学和信息科学领域等隐性知识相关研究的基础上,提出了赛博空间隐性知识概念,从数字化的角度扩展了隐性知识的内涵,以知识科学与工程领域的数据挖掘和知识发现、机器学习、用户模型、企业应用集成、网格等方面,分析了赛博空间隐性知识的研究现状,并就传统隐性知识和赛博空间隐性知识的区别与联系进行了辨析,以及对下一步工作进行了展望。.     

软件工程学生团队构建的案例分析

团队是当前企业的主要运作形式,软件行业尤其强调"团队"。本文以南华大学"软件工程实验班"为研究背景,重点分析软件工程学生团队的特点,依据团队构建的基本原理,在长期教学实践中积极开展实验,提出成功构建软件工程学生团队的具体策略。通过在实验班一年多的运用,验证了该方法的有效性,该策略具有普遍的指导意义。     

一种乏燃料后处理系统安全工程能力成熟度评估系统

SSE-CMM可用于过程改进、能力评估和提高用户的信任度,是组织和实施安全工程的通用方法,是系统安全工程领域成熟的方法体系。SSE-CMM结合了计算机科学中的CMM模型、管理学中的全面质量管理思想和统计理论,将系统安全工程转换为一个具有良好定义的、成熟的、可测量的先进工程学科。SSE-CMM评估面临领域知识缺乏、数据量大、证据类型多样、过程繁琐、证据与问题匹配复杂等问题。为有效提高评估效率,本文依据本体论、证据理论、语义网、智能信息检索、智能自动匹配等技术和方法,针对乏燃料后处理系统,设计了一种基于领域本体的智能评估软件系统,主要包括领域本体建模和管理、证据自动收集、问题和证据自动匹配、过程评估等4个子系统,技术体系结构分为数据层、本体层、知识层、服务层、表示层5层。     

C程序不变量动态发现编配工具的设计

程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言.程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现.程序编配是程序不变量过程中的关键步骤.本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程.     

基于查询与内容的文档表示模型

在信息检索中,文档表示模型的优劣是影响检索性能的重要因素之一.根据全信息理论,认识论信息是语法信息、语义信息和语用信息的三位一体.当前主流的文档表示模型主要利用语法和语义信息,造成语用信息的缺失,成为改善检索性能的瓶颈.该文提出了一种整合用户查询行为与文档内容的文档表示模型,将用户隐性反馈的语用信息和文档自身的语义、语法信息相结合,动态调整索引库关键词权重,从而提高信息检索的查全率和查准率.     

动态不变量检测工具Daikon的分析及运用

讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术。     

基于.NET组件技术的选课管理系统的设计

基于组件技术的软件开发模式是实现大规模的代码复用的一条切实可行的途径,是面向对象技术的发展,介绍了基于组件的软件开发方法,完成了选课管理系统的功能描述和组件设计。实际运行结果表明,该系统设计合理,响应速度适中,具有较好的推广价值。