基于广义归结的定理机器证明系统

本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ,ＲＭ,证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中全部定理（３５０个）．讨论ＧＲＭ和ＲＭ的时、空复杂性,并在实现设计中提出新的全局调度策略及归结式的化简、排序策略,以单子句恒真、恒假的判断代替了广义归结中的自归结,实现了带ＯＣＣＵＲ检查的模式匹配．     

考虑可再生能源配额分配的电力零售市场设计

随着中国电力市场化快速推进,不同用电需求的电力用户入市交易,参与市场化交易的电力用户数量剧增.根据国家发改委可再生能源配额制文件要求,各类市场主体应承担可再生能源消纳任务.在这种发展趋势下,研究如何让售电公司在批发市场中发挥对价格波动的平抑作用,在零售市场中发挥电价调节供需关系的作用,用以解决清洁能源消纳问题,是建设多...     

基于身份广播加密的安全性

在对基于身份的加密IBE和广播加密BE的安全性概念归纳分析的基础上,总结了基于身份广播加密的安全概念。首先描述了基于身份广播加密中的两种标准安全概念,并提出了攻击模型的形式化定义;然后介绍了主要的安全性并归纳了它们之间的转化关系;最后,提供了两种构建选择密文安全的基于身份广播加密方案的方法。     

浅述我国电力市场化改革进展

自"中发9号文"印发以来的近三年时间,我国在电力市场化建设方面取得了较为显著的成绩,在借鉴国外先进经验的同时,走出了一条具有中国特色的电力市场化改革之路。打破了政府定价的计划经济形式,引入市场竞争。首先对电改以来我国电力改革组织机制建设情况做了说明,其次介绍了目前我国电改的开展情况,最后提出了我国电力市场化改革仍存在的问题和今后工作展望。     

食用油脂多元加氢催化剂的制备研究

用浸渍法制备负载在凹凸棒土载体上的多元(Fe、Cu、La)镍基催化剂用于食用油脂加氢,通过碘值的测定评价催化剂的活性,并讨论了不同因素对催化剂活性的影响。     

基于模糊逻辑的不确定知识处理（Ⅰ）：模糊蕴涵的合理性

本文从蕴涵悖论出发，分析了几种已有模糊蕴涵的合理性，定义了新的非单调的，次协调的，没有一般的蕴涵悖论的模糊择优蕴涵；通过比较这此模糊推理关系的性质与处理不确定听能力，说明本文定义的模糊择优蕴函能更好地处理不精确的，不断更新的，特别是不一致的知识。     

管道生产信息系统的发展趋势

当今世界已进入知识经济、信息经济时代,以信息技术、知识产业为主要标志的知识经济革命,给当今社会的经济发展、领导方式和管道运行模式带来了深刻影响.随着信息技术的发展,特别是计算机、网络以及通信系统的发展,使长输管道的自动化水平越来越高,管道生产信息系统向着集中调度监控和集中管理的方向发展.     

十二内酰胺改性铸型尼龙的研究

介绍了十二内酰胺改性铸型尼龙的制备方法，在绝热条件下通过活化阴离子共聚制得己内酰胺与十二内酰胺共聚体．通过扭摆的自由振动测定其动态剪切模量和力学损耗，结果表明α转变温度随共聚单体浓度而不同，当共聚物中十二内酰胺与已内酰胺的物质的量之比为1：9时，Ta显著降低，讨论了改性铸型尼龙结构变化对其性能的影响，测试了制品性能与十二内酰胺用量的关系，发现随十二内酰胺含量的增加，共聚体缺口冲击强度增加，形变能力得到改善。     

新型高分子材料在汽车动力系统中的应用进展

汽车工业的飞速发展已成为一个国家现代文明和科技水平高低的重要标志之一,随着汽车制造技术的进步,对节省能源和保护自然环境提出了更高的要求。过去10年,主要依靠汽车动力系统的不断改进达到节油和环保的标准,但是这方面的改进已接近极限,几乎无潜力可挖。近年来,以质量轻,耐腐蚀,易成型的现代高分子材料代替传统金属材料用于汽车工业,已引起发达国家的高度重视,减轻汽车自重无疑是提高燃油效率的崭新而有效的途径,世界各大汽车公司纷纷致力于汽车塑料化的研究,尤其是开拓纤维增强塑料、树脂/金属复合材料及工程塑料合金等新型材料在汽车…     

1995年发布部分标准介绍

１９９５年发布部分标准介绍随着我国社会主义市场经济体制的不断完善和发展，各油田设计单位质量意识不断增强，标准化工作做为质量保证工作的重点基础工作，日益得到各单位重注。为使各设计单位更好地了解全国各行业标准制修订情况和最新标准信息，现将国家及部分行业１...