知识库集成维护方法研究

本文首先回顾了国内外近期的知识库维护思想和方法，进而提出在面向对象知识库组织形式下，用规则关系树进行规则一致性，完整性检查的算法，并采用实例效验的方法，从语义上进行全局维护，此方法已经在８６３课题中得到初步应用。     

精确寄生参数提取软件设计和实现

在超大规模集成电路设计中,互连线寄生参数提取已经成为必不可少的一个环节,并且随着工艺进步对寄生参数提取精度和速度都提出更高要求。论文描述了一款基于3D场解决器的精确寄生参数提取软件设计与实现方法,试验表明该软件能够方便精确地完成寄生参数提取。     

X70厚壁海管DWTT减薄试样与全壁厚试样的对比分析

使用常规落锤试验机与大能量摆锤冲击试验机两种机型,对准762 mm×31.8 mm X70MO直缝埋弧焊厚壁海管进行了DWTT减薄试样(单面减薄及双面减薄)与全壁厚试样系列温度试验,利用Boltzmann函数对试验数据进行了拟合,得出了试验温度与断口剪切面积的关系曲线,确定了减薄试样与全壁厚试样的韧脆转变温度,对其进行了对比分析。结果验证了厚壁钢管使用减薄试样时,应降低相应的试验温度;同时得出在相同试验温度下,单面减薄试样的试验结果优于双面减薄试样(壁厚中心试样)等结论,并提出了相关建议,希望对以后的试验研究有借鉴作用。     

6-羟基-2-萘磺酸铜、镁、锌、钴、镍配合物的合成和结构表征

6-羟基-2-萘磺酸钠分别和CuSO4,MgSO4,ZnSO4、Co(phen)3Cl2反应,物质的量比为5∶1,得到一系列铜、镁、锌、钴、镍配合物并通过红外和元素分析确定结构。测定了钴的配合物的单晶结构,结果表明,钴配合物1属于三斜晶系,P-1空间群,a=12.4120(15),b=12.4711(16),c=20.090(2),α=90.0450(10)°,β=103.161(2)°,γ=113.519(2)°,V=2761.9(6)3,Z=2。     

碳债券发行时机已成熟——专访中国广东核电集团公司副总经理谭建生

谭建生认为，由于我国碳金融手段相对单一，已不能够适应再生能源发展需求。作为碳金融创新的一种形式，碳债券的推出时机已经成熟。     

水泥出厂检验中安定性检验应注意的问题

正本文简述了水泥安定性不合格的原因以及在出厂检验中遇到的安定性的检验时效问题及成因。在水泥的各项指标中,安定性可以说是最主要的一个指标。水泥安定性指的是水泥在凝结过程中体积变化的均匀性,水泥的安定性不合格指的是水泥硬化后产生不均匀的体积变化。在国家标准中安定性不合格的水泥是不合格品,水泥中的不安定因素(f-CaO和f-MgO等)的     

基于MOGA/SOS的互连缓冲及线型优化算法

将互连延时、信号响应波形、布线面积作为互连优化的3个目标函数,把推导出的串扰下边界作为优化参量的限制条件,采用分布式RLC模型作为互连系统的近似解析模型,提出了一种基于单目标排序非支配集构造算法的多目标遗传算法,用于解决互连优化中的缓冲及线型优化问题.算法所得解为满足串扰限制条件且对信号延时、信号波形以及布线面积进行优化的折中解.测试结果表明所提算法对互连优化问题规模的适应性强,所得解的优化结果明显优于基于Elmore模型的优化结果,布线面积减少了30%,信号延时与串扰性能分别提高了25%和25.73%.     

中石化曲线入中东

中国石化收购加拿大石油公司在叙利亚的资产,不仅是加快推进公司国际化战略的重要步骤,也是中国石化借道进入中东进行能源开采的有效途径。     

中石化企地合作向纵深

中国石化与福建省政府签署的“海峡西岸经济区石化产业发展会谈纪要”，是近年来地方政府与石油企业建立战略合作关系的又一典范。油地合作在助推地方经济发展的同时，也为企业带来丰厚收益。     

油价涨了？！——解冻，果断出手

成品油价格在被冻结7个月后，以一种决绝的姿态断然“解冻”，意味着在与国际高油价及国内高企的CPI的博弈中，我国政府抛弃了单纯依靠财政补贴维持市场成品油供应的传统思路，留给自己一个更大的操作空间。