排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
2.
3.
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用“或”、“与”及“逆”等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。 相似文献
4.
5.
6.
考虑城市平交口立交化改造存在的拆迁难度大、施工复杂、造价高等问题.文章对比各类平交口立交化改造方案,提出采用"中"字形立交作为城市平交口立体化改造方案;通过计算和软件模拟,分析影响"中"字形立交的关键因素,给出其交织区长度、曲线半径、加宽值等工程因素的建议值. 相似文献
8.
采用步进电动机和单片机取代原直流电动机传动和机械调整装置,更有效地检测各种开关、连接插件的寿命,摆脱以往人工操作出现不必要的误差,提高生产和工作效率。 相似文献
9.
10.
本文根据锅炉厂的需求进行软硬件分析设计,开发一个基于ARM9的嵌入式工业锅炉控制系统,对原锅炉控制系统进行多方面扩展.系统选用工业级芯片AT91RM9200为EMPU,围绕其进行硬件系统的设计;以嵌入式Linux为操作系统来实现开发环境的建立;MiniGUI为图形用户界面支持系统,在此基础上进行应用程序的研发. 相似文献