Renaming a set of non-Horn clauses

Several extensions of the logic programming language Prolog to nonHorn clauses use case analysis to handle non-Horn clauses.In this paper,analytical and emprirical evidences are presented to show that,by making a set of clauses less “non-Horn“ using predicated renaming.the performance of these case-analysis based procedures can be improved significantly.In addition,the paper also investigated the problem of efficeiently constructing a predicate renaming that reduces the degree of “non-Hornness“ of a clause set maximally.It is shown that this problem of finding a redicate renaming to achieve minimal “non-Hornness“ is NP -complete.     

单组分聚氨酯弹性填缝剂的合成工艺研究

介绍单组分聚氨酯弹性填缝剂的一步法合成中高分子量聚醚多元醇的应用及其用量对填缝剂性能的影响 ,探讨了在一步法合成中催化剂及溶剂用量对填缝剂粘度的影响及作用。     

应急装备有望迎来新机遇《关于加快应急产业发展的意见》发布

日前,国务院办公厅发布《关于加快应急产业发展的意见》（以下简称《意见》）。重点提出加快关键技术和装备研发;优化产业结构;推动产业集聚发展;支持企业发展;充分发挥市场作用;推广应急产品和应急服务以及加强国际交流合作七方面任务。     

超声波辅助法提取细叶黄皮叶总黄酮及其清除羟自由基活性的测定

对超声波法提取细叶黄皮叶中黄酮类物质进行了研究,通过单因素及L9(3(4))正交实验,最佳提取工艺条件为A1B3C3D3,即:温度60℃,乙醇浓度60%,超声波功率90 W,料液比1:25,提取时间70 min.此条件下细叶黄皮叶总黄酮提取率达5.730%.在设置的5个质量浓度梯度下,总黄酮提取液对羟自由基的清除效果与...     

油田井下作业如何做好新工艺的研究

在油田生产中,井下作业是重要的生产工序。从当前井下作业施工来看,鉴于井下作业的实际难度,井下作业要想提高整体质量,并满足整体效果,就要积极研究和应用新工艺和新技术,为井下作业提供有力的技术支撑,保证井下作业能够在工作实效性上满足实际要求。结合井下作业实际,积极应用新工艺,优化井下作业工艺流程,是保证油田井下作业取得积极效果的关键。为此,我们应从油田井下作业实际出发,做好新工艺的研究,保证油田井下作业能够在实效性上有全面提高。     

水泥中矿渣掺入量测定误差浅析和对比试验

采用熟料粉、矿渣粉拌和水泥生产工艺，往往易混淆水泥中矿渣粉配比和矿渣掺入量这两个概念。通过开展测定误差分析，采取人工配制和还原值法测定水泥中矿渣掺入量的对比试验，合理调整矿渣还原值，能够准确地确定水泥中渣掺入量和矿渣粉配比之间的对应关系，可提高水泥中矿渣掺入量合格率。     

浅谈深基坑支护及控制开挖施工中的监理要点

深基坑的支护与开挖是目前施工监理中责任较大、协调量多、风险较高、任务较重的子分部工程,监理单位如何开展深基坑支护监理工作,应重点抓好哪些方面确保基坑支护与开挖不出质量安全事故,就需要仔细认真地研究策划,本文针对存在的一些问题,监理单位要协调施工、设计、建设单位,采取各种措施控制施工的质量安全。     

多用线阵CCD驱动器模块

本文介绍一种广泛应用于光谱仪器，精密尺寸检测仪器中的线阵ＣＣＤ驱动器模块。该模块适用于各种Ｍ相线阵ＣＣＤ。     

住房维修资金 为业主储备安全

住房是每个业主赖以生存的基础，生存安全得到充分保障才能实现社会进步与和谐。只有建立了住房维修储备资金。才能确保住房安全。个别不缴纳维修资金的业主不仅弱化了自身的住房安全保障，同时也影响和损害了公共利益，因此、住房维修资金的建立是社会稳定的基本要素。是社会保障制度在住宅领域中的发展和创新。[编者按]     

浅析如何提高非煤会计人员业务素质教育

随着市场经济的逐步建立和发展,会计工作在发展社会主义市场经济中的地位和作用越来越重要,这就要求建立起素质过硬、业务精良的会计人员队伍,迎接市场经济的挑战。