论文部分内容阅读
齿轮传动快速计算图
【机 构】
：
青岛市机械研究所
【出 处】
：
中国机械工程学会机械设计专业委员会机械零部件设计学术会
【发表日期】
：
1989年期
其他文献
该文给出了分支时序逻辑ＣＴＬ的一个基于自动机理论的模型检验算法。作者将模型检验问题规约为树自动机的成员问题，即判定给定树是否为自动机所接收。通过模拟自动机在树上所有可能
本文记述了闽东茶区宁德市的部分至今幸存的稀有野生茶资源状况，观察记载了梅鹤姑娘坪的门头厂、乌坑和八都镇洋头村大车坪等多种“苦茶”的生物学性状；同时介绍了产地自然环境
该文研究了计算机科学理论中的可计算性理论、自动机理论、计算复杂性理论、程序文法、程序语言等，讨论了印刷电路的布线问题。（李励摘）
该文就空间有界图灵机其细分非确定性问题作了讨论。这一讨论的直接背景耒源于LBA问题。指出了解决非确定与确定之间关系的困难程度，同时对能不能对LBA问题作出回答也作了一点