论文部分内容阅读
基于Horn子句集的Pr/T网可达树的方案求解
【出 处】
：
系统仿真学报
【发表日期】
：
2005年z1期
其他文献
随着社会经济的快速发展，建筑行业竞争日趋激烈，如何在建筑市场中凸显竞争优势、提高建筑产品的质量和创新性，是促进建筑行业健康稳定发展必须考虑的问题。建筑工程管理是建筑工
随着我国建筑业的蓬勃发展，促使各种民用建筑、市政建设迅猛发展，同时因管理、设计、施工等原因出现了许多质量问题，从而造成了重大的经济损失。本文详细分析了砖混结构房屋常见
信息网络技术不断发展,各种信息网络技术产品被广泛地应用在生活与工作中,人们对其的依赖性也越来越大,计算机网络信息安全一旦出现问题,人们就会面临着较大的损失与威胁。人
本篇文章介绍了在建筑设计中基础梁的主要结构设计，并对设计机构当中不同形式的基础梁设计目的和基础梁构造的要求进行简单介绍。为了方便建筑工程师更加合理地对基础梁结构进
新年伊始,钢铁市场便出现开门红,一方面进入月初,厂家资金压力略有缓解,在资源紧俏情况下,冬储意愿明显增强;另一方面房产行业作为钢铁消费大户,在年末出现翘尾现象,销量创下
结合西藏林芝地区“福建园”绿化工程建设 ,首次在露地条件下引种栽培了 35种观赏植物。从引种苗木的成活率以及景观表现来看 ,在本次引种中 ,初期生长表现较好的植物有 :碧
在当今世界被广泛关注的问题就是环境和能源问题，随着经济的日趋发展，房屋建筑行业也在持续快速地发展，推行和发展绿色建筑节能已经成为当今时代维护建筑业可持续发展的重要步骤
伴随信息化建设进程的逐步加快,民航信息网络安全重要性日益凸显,其密切关系我国经济建设、国防安全及大众利益.同时,民航信息安全逐步变成我国信息安全的一项重要内容.基于