时间表问题中的定额匹配算法

大学排课表是一个多因素优化决策问题。该文提出的最大定额匹配算法,给出了一大类课程的课表编排模型,定额匹配算法是图论中二分图最大匹配算法的推广（匹配常数Ｋ≥１）。清华大学的计算机自动排课表系统ＵＴＰＳ（ｕｎｉｖｅｒｓｉｔｙｔｉｍｅｔａｂｌｅｐｌａｎｎｉｎｇｓｙｓｔｅｍ）已使用１０年,该算法在计算机自动编排课表的过程中起到了重要作用。     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。