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

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

森林面积分布系统的最优控制存在性问题

本文研究森林面积分布系统的最优控制问题。本文将林木总和长消率作为控制变量，以“范数最小”来衡量其最优性，利用空间Ｌ＾２（０，Ｔ）Ｔ〉０的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

一种新的配电网故障恢复算法及其改进

当配电网中某运行设备发生故障并切除后,会引起一些负荷失去供电,此时需要快速有效地寻找恢复供电路径。文中介绍的算法根据配电网的辐射状结构特征,把电源点和失去供电的负荷点看作“兴趣点”,把寻找供电路径转化为求解给定图的“兴趣树”,从而简化了问题。计算结果表明,经多方面的改进后,算法更加快速有效,在配电系统自动化高层软件开发中,有在线应用前景,本算法适用于负荷集中的１０ｋＶ以上配电网。     

高硅沸石中二元物系表面扩散系数的预测

用动力学蒙特卡罗（Kinetic Monte Carlo，KMC）方法模拟客体分子单组分及双组分混合物在高硅沸石（Silicalite）分子筛中的扩散，与分子动力学（Molecular Dynamics，MD）方法的模拟结果及Maxwell-Stefan（M-S）方程计算对比说明KMC方法的合理性，而由真实的体系性质获得正确的跳跃频率值及合适的晶格模型是获得正确计算结果的关键，且一旦由单组分研究获得正确的跳跃频率值及晶格模型，便可直接移用至多组分体系的KMC模拟中。     

阿米西达水悬浮剂防治苹果病害的应用研究

对具有保护和治疗双重功效的仿生性杀菌荆25％阿米西达（Amistar）水悬浮剂在苹果病害管理体系中的应用技术和定位进行了探讨．结果表明，25％Amistar SC除对嘎啦品种有药害外，对红富士、新红星、北斗、澳州青苹等6个骨干品种均无任何不良影响，使用安全；同时。25％阿米西达sc对苹果白粉病、黑星病及斑点落叶病等3种主要病害均具有显著防治效果。使用浓度1：2000～1：2500，防治效果为80％～90％；在广谱性和防效上显著优于目前生产上推广的常规性的苯并咪唑类、三唑类及代森类的杀菌剂品种．应用上重点应在发病前或发病初期施药。间隔7～10d喷1次，连喷3～4，次为宜，同时与其它作用机制的杀菌剂如苯并咪唑类、三唑类等内吸性杀菌剂混用或交替用药．在以红富士、新红星等品种为主栽品种果区的无公害苹果生产病害管理体系中具有极高的推广价值．     

三元等价关系的定义和等价性质

给出三元等价关系的定义,并讨论了它的一些基本性质以及三元等价关系的一些等价条件。     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

《雨中的猫》中的二元对立结构

<雨中的猫>在乐趣/无聊二元对立不断重复的基础上,生动地传达出了由于社会性别的不同,男女主人公无法沟通,爱情已死亡,婚姻关系不正常的生活.     

杜诗中"自"字与诗中的"二元主体"世界

杜甫在诗中喜用“自”字。在其诗中，“自”字可以当代词，也可以当介词。当它作为代词，指代物的时候，诗中的“物”成为和人一样的独立的主体，拥有了独立的情感和意志，诗中世界成为了“二元主体”的世界。诗中空灵澄明的意境得以深化，诗歌的艺术空间得以拓展。这种物的独立和海德格尔诗学中所推崇的人与物的“敞开”，有殊途同归之妙。略有不同的是，杜甫对国家和百姓的不能忘怀，使得他的个人意志虽然在某些时候弱化，但始终没有丧失，这使他和海德格尔诗学中那完全“自在生存的人”是不同的。但这也正是他的伟大之处。