论文部分内容阅读
A Limited Negative-based Three Value Semantics of Inductive Logic Programs
【出 处】
：
哈尔滨工业大学学报：英文版
【发表日期】
：
1999年1期
其他文献
立足于上海世博园区地下大空间开发的实际施工经验，通过对紧邻城市隧道的深基坑支护形式、土方开挖方法、降水措施和施工监测等分析，总结出类似于上海的软土区域深基坑施工对周
2002年1月由韩国环境部门推出了《住宅建筑的绿色评估准则》，并在市场的推动下，2008年又陆续发表了绿色建筑评价标准。新发表的绿色建筑评价标准就包括了住宅建筑，学校，公共建筑，
Presents a new parallel image matching algorithm based on the concept of entropy feature vector and suitable to SIMD computer, which, in comparison with other a
期刊
20世纪70年代第一次能源危机引发的节能玻璃研发热推动了Low—E玻璃及Low．E中空玻璃的产业化，也推动了真空玻璃研发并产生了悉尼大学研发成果。真空玻璃是高科技展品，其产业化难
考虑长江水运与生态环境相互作用影响,引入资源环境学科的承载能力概念,研究界定了长江干线水运承载能力的内涵。构建了与货运量、航道通过能力、船流密度、船舶污染物排放等