面向等价性验证的锁存器匹配算法

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分. ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.     

高水头泄水建筑物侧墙掺气减蚀特性研究

工程中通常采用强迫掺气减蚀措施,防止泄水建筑物在高速水流作用下发生空蚀破坏,但在保护过流面底板的同时,忽视了对其侧墙的保护。为了减免位于高流速区域和低压区域侧墙发生空化空蚀,消除侧墙清水区,采用理论分析和物理模型试验研究方法,对龙抬头明流泄洪洞下游边墙掺气减蚀进行了研究,提出了在反弧末端加折流器（突扩）和突跌掺气方式。结果表明,采用突扩和突跌的掺气方式后,侧墙水流的出射角增大,侧空腔畅通,并直接和底空腔相连,有助于掺气坎后水舌的全断面的掺气,对侧墙和底板皆起到了很好的保护作用。     

基于断电后残余电压的感应电机定子故障诊断

为了提高感应电机定子绕组故障诊断的准确性,提出了一种基于Hilbert-Huang变换(HHT)的故障诊断新方法.选取断电后零序电压的基波分量作为定子故障特征,可有效避免电源不平衡和负荷波动的影响,直接反映电机定子的不对称度.利用Hilbert-Huang变换中经验模态分解(EMD)方法对断电后的零序电压进行了分解,提取出基波分量,通过计算其均方根值可以诊断出电机定子绕组故障.在一台4 kW的感应电机上进行的实验证明了该方法的可行性和有效性.     

基于家族基因的网格信任模型

针对现有基于PKI (Public Key Infrastructure)的网格信任系统的不足,证书主体信息不明确, 认证过程复杂等缺陷提出了一种新颖的基于家族基因的网格信任模型。该模型解决了传统信任模型存在的问题,如采用将用户的全部身份信息放在用户的基因里方法解决了证书主体信息的不明确,用基因检测解决了认证过程的复杂,用基因指派解决了访问控制的繁琐,并且给出了网格家族、家族基因、基因指派、基因鉴别和信任等概念,并建立了模型的形式化描述,理论分析和实验结果表明这种模型是网格信任领域一种较好的解决方案。     

轴流式转轮三元粘性流动数值计算

为进一步提高轴流式转轮的设计精度与性能,采用时均Navier-Stokes控制方程,标准k-ε湍流模型及SIMPLEC算法,对一轴流定浆式水轮机转轮内三元粘性流动进行了数值模拟。提出了水力损失计算方法,获得了转轮的预测效率。分析了转轮内部流场分布规律,建立了叶片表面压力在包角范围内的变化曲线,有助于认识转轮内真实流动现象,为改善设计提供可视化数据支持。     

我国养老保障制度改革面临的问题及对策探讨

在简要回顾我国社会养老保障制度改革历程的基础上,重点剖析了当前我国“混合型”养老保障制度在试运行过程中所存在的问题及其成因,进而有针对性的提出了完善我国“混合型”养老保障制度的建议。     

基于MetaFrame的中小企业ASP服务平台解决方案*

介绍了ASP模式的概念、优点,分析了MetaFrame的技术特点及基于服务器计算体系结构。在此基础上提出了一套基于MetaFrame的中小企业ASP服务平台解决方案,并给出具体的应用示例。     

军地物流资源军民融合存在的问题与对策

为促进军地物流资源军民融合,在辨析军地物流资源军民融合概念内涵的基础上,分析当前军地物流资源军民融合存在的主要问题,并从强化政府部门的主导作用、健全物流民企"参军"准入制度、建立军地物流利益相容体系、健全军地物流资源信息沟通机制、鼓励先进民用技术在军事物流领域的应用等5个方面提出对策与建议,可为军地物流资源军民融合发展提供借鉴.     

间作下根际微生物控制土传病害的研究进展

为了解根际微生物在间作模式下有效控制土传病害的作用和机理,综述了间作系统对于根际微生物群落结构和代谢功能的影响,介绍了间作作物组合、作物品种选择和间作方式对根际微生物群落的影响,并从养分和宿主感染位点竞争、生防微生物的拮抗作用、植物化感自毒作用的缓解以及植物诱导系统抗性四个方面总结了与根际微生物相关的间作抗病机理。最后,讨论了现阶段间作抗病研究的局限性并对今后的研究方向进行了展望。     

微晶纤维素在稀硫酸中的热解机制研究

以微晶纤维素为原料,通过热转化可以得到葡萄糖、乙酰丙酸等多种用途广泛的有机化合物,在此过程中也存在脱水碳化竞争反应,得到生物碳副产物.分别以酸浓度和温度为实验变量,采用高效液相色谱(HPLC)对样品的液体产物进行表征,探索微晶纤维素在稀硫酸溶液中的热分解转化机制.结果表明:微晶纤维素的热分解转化是连续反应和竞争反应同时存在的复杂反应过程;控制温度在180～200℃,酸浓度在0.05～0.1 mol/L时,可获得最大产率的葡萄糖(约21.90％);若温度为200℃,酸浓度为0.2 mol/L时,则主要产物为乙酰丙酸.