【摘 要】
：
本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆盖为候选集,对修选集进行调整,生成最小或接近最小闭覆盖.实验结果表明:该算法在化简结果与最近的最好的算法结果相同的情况下,进一步提高了运算速度,比Imtiaz Ahmad.A.Shoba.Das在2001年发表的文章[8]中提出的VO/D算法提高速
【机 构】
：
清华大学计算机科学与技术系(北京)
【出 处】
：
企业信息化高级论坛暨全国第12届CAD/CG学术会议
论文部分内容阅读
本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆盖为候选集,对修选集进行调整,生成最小或接近最小闭覆盖.实验结果表明:该算法在化简结果与最近的最好的算法结果相同的情况下,进一步提高了运算速度,比Imtiaz Ahmad<*>.A.Shoba.Das在2001年发表的文章[8]中提出的VO/D算法提高速度达84﹪,比Rho JK.Hachtei GD.Somenzi F在1994年发表的文章[9]中提出的STAMINA算法提高达69﹪.
其他文献
基于网络的协同技术、系统和应用促进和改善了异地群组完成共同任务.协同技术和应用的下一步发展将全面地支持同步、异步协同,并满足协同工作的可持续性.本文将探讨基于场地的协同技术和介绍一个原型系统实现.原型系统示范表现出基于场地的协同技术提供了良好的协同工作环境和具有有效性的协同能力.
本文通过对CSCW和多版本数据库模型(即DBV方法)的分析,提出了面向CSCW的DBV方法的限制策略,描述了如何利用多版本数据库技术构造一个CSCW工作模型(主要包括对check-in、check-out、merge等功能的支持).最后,介绍了如何在CAD协同设计的实际应用中利用CSCW模型解决问题.
并行工程要求提前考虑制造、装配等过程的需求,因此本文提出一种基于参数协调模型的设计方法,通过收集上下游各个部门的设计要求,构建产品约束网络,利用一致性区间算法得到设计参数的可行解空间,进而依据设计经验最终确定参数的取值.最后,给出该方法在货车转向架设计中的应用实例.
工作流动态修改,尤其是基于大型数据库应用系统上的工作流动态修改一直是一个尚待解决的研究课题.通过软件工程中构件思想在实际应用中的经验,提出一种基于构件思想的工作流动态修改方法.根据建立的模型和提出的修改策略,可以在一种常用的简单模型上实现工作流实际业务中的动态修改和扩展.
人们在工作中经常需要通过网络来与他人交换信息,探讨问题,共享资料,完成协同工作.如E-mail,视音频会议,BBS等等现在人们用以进行协同工作的常用软件层出不穷,但是人们在这种协同环境中,缺乏进入一个共享工作环境的感觉,并且协同工作的进度也无法很好的保存,致使未完成的工作很难在下一次的协同工作中得以继续和完成.在本文中,我们将讨论在我们的原型系统中采用的几种虚拟协同工作环境的设计和实现技术.初步结
本文主要通过使用Auto Lisp语言及相关DCL对话框技术在Auto CAD有关版本(R14以上)实现压缩弹簧自动绘制.
二十一世纪的今天,以教师为中心的教学法将向以学生为中心的教学法转变,只要这样才能促进教学质量和教学效率的提高,然而,各门学科有着各自的具体特点,而简单地将教学内容搬到计算机上,只能是一种表面形式上的改变,于教学质量的提高益处不大,只有充分研究学科特点,采用合适的教学模式,才能使CAI教学工作真正发挥其作用.因此,本文结合笔者多年讲授电力电子技术课程特点,有针对性地开展CAI教学模式的研究与探索,对
本文讨论了在ARX开发环境下实现标准件自动绘制的一般过程,提供了一种利用ARX开发环境开发标准件库的方法.
XML是一门新兴的技术,它可以提供数据交换的一致性,便于统一的应用数据表示.XML与数据库的结合,可以促使XML的这一特点得到很好的发挥,为实现应用间数据的共享和交互提供一种更好的途径.本文在研究XML数据库的基础上,根据三层结构原理,给出了解种网络环境下XML数据库应用的体系结构,并在局域网环境下实现了两个应用实例.
净室软件工程是软件开发的一种形式化方法,它可以生成有非常高的质量的软件.它使用盒结构规约进行分析和设计建模,强调用正确性的验证,而不是测试,作为发现和消除错误的主要机制.