基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于工程项目风险分析的模糊影响图方法

本文综合应用模糊集与影响图理论建立了模糊影响图方法，并以工程项目风险分析系统为背景进行了初步应用研究，取得一定成效。     

正交双向网格图及方向优先算法

目前建筑工程的工程量计算基本上采取的是“统筹法”和“公式法”,这两种方法对工程的概算、预算的精确度及工作效率都产生了那样或这样的问题。本文从建筑图的正向分析开始,进而讨论了工程量计算模型的定义,在定义基础上给出了轴线的方向函数以及方向优先算法和具体实现过程。     

关于我国铁路组织按图行车现状和问题的研究

组织“按图行车”是实现铁路运输管理现代化的重要方面。本文根据调查资料,研究了当前我国铁路实现“按图行车”的现状、货物列车晚点的一般规律,并据以提出了进一步提高我国铁路组织“按图行车”水平的意见。     

新疆阿克提什坎金-多金属矿床微量元素地球化学

系统地研究了新疆阿尔泰诺尔特地区阿克提什坎金－多金属矿床的微量元素组成特征,并应用Ｇｒａｎｔ等位线方法讨论了热液蚀变作用过程中微量元素的行为。认为在热液蚀变作用过程中,微量元素尤其是Ａｕ、Ａｓ等,活动强烈,围岩为成矿提供了部分物质来源。文章还进行了质量迁移的定量计算。     

对数浓度图在氧化还原滴定分析中的应用

文中就对数浓度图在氧化还原滴定分析中的绘制及其应用进行了较为详细的讨论。     

1673K下BaO-BaF_2-Cr_2O_3渣系的热力学性质

１６７３Ｋ下,采用－ＭｏＣｒ＋Ｃｒ２Ｏ３ＺｒＯ２（ＭｇＯ）｛Ｃｕ＋Ｃｒ｝ａｌｏｙ＋（Ｃｒ２Ｏ３）ｓｌａｇＭｏ＋固体电解质电池测定了ＢａＯＢａＦ２Ｃｒ２Ｏ３渣系中Ｃｒ２Ｏ３的活度．研究结果表明,Ｃｒ２Ｏ３的活度随其浓度升高而升高,随ＸＢａＯ／ＸＢａＦ２升高而降低．根据实验及Ｘ射线衍射结果推测了该渣系的等温相图,并作出了该渣系中Ｃｒ２Ｏ３的等活度图．     

扩展Hubbard模型的玻色化

在连续化极限情况下把量子一维格点扩展Ｈｕｂｂａｒｄ模型变换为连续的费米场．应用玻色化方法和ｓｉｎｅ－Ｇｏｒｄｏｎ模型的相图讨论了量子一维扩展Ｈｕｂｂａｒｄ模型的临界现象．当模型的相互作用发生变化时,扩展Ｈｕｂｂａｒｄ模型会历经四个不同的相,并在相区分界线处存在不同类型的相变．和以前扩展Ｈｕｂｂａｒｄ模型相图比较,发现用玻色化方法得到的相图给出模型描述更详尽．     

采用标准系统方块图实现OTA—C滤波器的设计

提出了一种采用现代控制理论中的状态空间表达式的系统方块图直接实现了ＯＴＡ－Ｃ滤波器的方法,ＳＰＩＣＥ程序模拟结果验证了设计方法的正确。     

四元体系Na2B4O7—Na2CO3—NaCl—H2O在0℃时的等温溶度研究

第一次用等温方法测定了含硼酸盐的三元边界体系Ｎａ２Ｂ４Ｏ７－ＮａＣｌ－Ｈ２Ｏ和四元体系Ｎａ２Ｂ４Ｏ７－Ｎａ２ＣＯ３－ＮａＣｌ－Ｈ２Ｏ在０℃时的溶度。结果发现它们都是低共饱型体系。在三元体系中共饱点组成为ＮａＣｌ２６．１９％,Ｎａ２Ｂ４Ｏ７０．３６％（质量）;四元体系中共饱点组成为ＮａＣｌ２３．５５％,Ｎａ２Ｂ４Ｏ７０．６２％,Ｎａ２ＣＯ３４．０７％（质量）,并且绘出了四元体系中的溶度图和等水线。