当前位置：首页 > 名称
大约有7,000项符合查询结果项。（搜索耗时：0.0260秒）
为您推荐： 复杂制造系统的可重构计划与调度 制造系统智能调度方法与云服务 基于lmi的控制系统设计 分析及matlab仿真 基于折纸元素的可展开结构形态与性能研究 title空调系统建模及控制 英文版 基于anylogic的系统建模与仿真
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
柔性制造系统运行控制理论与技术
张友良等编著2000 年出版166 页ISBN：7801327632本书介绍了柔性制造系统在运行控制中所涉及的理论与技术，主要包括柔性制造系统的概念和理论、计划与调度、运行控制的仿真等，还介绍了连续柔性生产线的仿真等内容。 ...
-
-
-
-
-
-
学科分类