ICAI中知识的表示

本文对ICAI中知识点和知识点关系进行了探讨，并在此基础上建立一个知识表示模型。     

ICAI中知识点关系的研究

详细讨论了ICAI系统中知识点之间的关系,并在此基础上建立了知识点关系的传递计算模型。     

基于知识空间理论的自适应测试过程

一个良好的测试过程不仅要对学生的能力水平进行测量，还要考察学生的知识结构和认知缺陷。现有的测试过程对后者缺乏足够的重视。基于知识空间理论，提出了一种快速自适应测试过程。该过程根据学生当前知识状态选择适合学生特点的测试试题，实现对学生的能力水平进行测量，同时也考察学生的知识结构和认知缺陷。     

生成de Bruijn序列的降级算法

讨论一种由n级de Bruijn序列产生n-1级de Bruijn序列的降级算法.方法是由n级de Bruijn序列找出其n级查寻表标签;接着通过删除该查寻表标签的相应节点的首符号,验证n-2级节点链的合法性,发现并删除节点链中的套结,实现查寻表标签的降级,最终成为n-1级查寻表标签;在此基础上建立其相应的n-1级查寻表,从而求得n-1级de Bruijn序列.文章最后给出关于算法的注解.     

de Bruijn序列查寻表标签的末位基准构造法

de Bruijn序列结构是一个查寻表,其核心是它的表标签.因此构造出查寻表标签对于生成de Bruijn序列十分重要.本文给出一种m+1元n级de Bruijn序列查询表标签的末位基准构造法.方法一为末住复制构造法,即对大部分节点用构成该节点的串的末位字符拷贝值作为该节点的标签.方法二为末位分组构造法,即对大部分节点按构成该节点的串的末位字符值分成两组,第一组的标签设为定值,第二组的标签任取为第一组节点的末位值.这些方法构造的壹寻表标签数随着m,n增长而成指数式增长.但仍与定值构造法一样,在局部看是有效的,但与查寻表标签本身数目的惊人增长比较起来就很渺小.方法二与定值标签构造法比较其速度提高了关于m和n的指数式倍.     

一种鉴定蛋白质突变和翻译后修饰的算法

提出的MSA（Modified Spectral Alignment）算法,改进了SA（Spectral Alignment）算法中D（k）和k-最佳Spectral Alignment的求解方式,并在算法中引入“双端考虑”。实验结果数据表明,MSA算法有效地提高了鉴定含突变或翻译后修饰的蛋白质的能力。     

一个ICAI课件的开放式通用平台的设计

本文以ＴｏｏｌＢｏｏｋ为著作工具，详细介绍了一个ＩＣＡＩ课件的开放式通用平台的设计，具有一定的实际应用价值。     

ICAI中基本知识组件的划分

采用自顶向下的方法研究ICAI领域内知识的构成,给出知识点含义、基本知识组件的定义以及划分方法,并以具体的学科--"几何原本"中部分内容为研究对象,划分出基本知识组件,指出它对选择学习路径的意义,从而为ICAI系统的开发提供方法和依据.     

超文本教学系统中学生知识的自适应测评研究

知识空间理论提供了一种描述给定知识域结构的方法,它被看作是有效评估学生知识程度的一个基础,但它是一种基于问题的知识空间理论.利用超文本结构和知识空间结构相似的特性,将知识点超文本结构转换为超文本知识空间,使知识空间理论建立在知识点上,并在此超文本知识空间上利用自动机原理实现对学生知识结构的自适应测评过程.给出了基于自动机的自适应测评算法,并进一步分析了算法的有效性和复杂性.     

虚拟机中的通信机制的安全问题研究

自从1960年前后IBM成功推出VM/370,虚拟机的发展已经有了40多年的历史,尤其是最近几年VMware和Xen等针对X86架构的虚拟机产品的问世把对虚拟机的研究推到了工业界和研究界的前沿。人们在考虑虚拟机带来资源利用率提高的同时,也在关注着虚拟机的引入对计算机网络信息安全的影响。虚拟化能实现部分隔离功能,能增加系统的安全性。本文对完全硬件仿真虚拟机、半虚拟化虚拟机以及操作系统级虚拟机中的通讯机制的安全性进行分析,详细描述了目前的研究情况、存在的问题以及一些有针对性的优化方法。