递归建立HS-树计算最小碰集

在基于模型的诊断中，广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS－树，HST－树，BHS－树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS－树（Recursive hitting set-树，简记为RHS－树）计算最小碰集的方法，在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。     

用对分HS-树计算最小碰集

在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树     

使用Photoshop和Authorware设计任意形状的按钮

Authorware40是开发计算机辅助教学系统的常用软件平台之一,它可以自定义矩形按钮（Butto）,本文介绍了使用Photoshop5.0为Authorware设计任意形状的按钮的方法。     

从试题库中选题的快速算法

本文介绍一种快速选题的算法，该算法只经一次比较，便可判定是否已选过该考核点的题。且又可以有针对性地重点选取某个考核点的试题。该算法可以减少比较次数，从而可以提高效率。     

溯因推理研究：现状与问题

在人类认识世界的过程中,现实的生存世界里会不时发生着一些“令人惊奇的”现象,为了理解和分析这个问题,人们所使用的解疑释惑的方法往往就是尝试寻找引起这些现象的原因是什么。例如早上醒来你发现路是湿的,你会猜测昨晚天下雨了。通俗地讲这种解释观测事实(或已知结果)的推理过程就是溯因(Abduction)。可以说类似的例子一直在我们的日常生活或者科学研究中重复着,以现实生活中的医学诊断为例,当医生了解了患者的病症后,他会根据自己对疾病和症状间因果关系方面的医学知识,推断出可能的病因是什么。对于自然科学研究也是如此,N.R.Hanson和C.S.Pierce曾分别论证说,当开普勒断言“火星的运行轨迹是椭圆的”的时候,他所使用的推理方法就是溯因。     

使用Photoshop为Authorware设计任意形状的按钮

Ａｕｔｈｏｒｗａｒｅ４．０是开发计算机辅助教学系统的常用软件平台之一,它可以自定义短形按钮（Ｂｕｔｔｏｎ）,本文介绍了使用Ｐｈｏｔｏｓｈｏｐ５．０为Ａｕｔｈｏｒｗａｒｅ设计任意形状的按钮的方法。