基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

供需网环境下企业动态结构建模研究

针对传统供应链管理中存在的弊端，提出了多功能开放型供需网概念，在此基础上分析了多功能开放型企业供需网环境下企业动态结构的需求与特点，并建立了基于Multi-agent的企业动态结构及其协作模型．在此动态结构及协作模型中，系统的构成单元具有决策智能、自治、自组织和协作能力，支持企业动态重构，从而使企业具有以内部变化适应外部快速变化的能力．     

客户关系的动态发展及其策略分析

根据客户关系管理中客户关系发展的周期性特点，提出了客户关系发展的五阶段模型．以此为基础，构造了马尔可夫过程模型，对客户关系的动态发展进行了分析研究，并得出了客户关系生命周期价值的定量计算方法．以该方法为基础，定量分析了影响客户关系发展的各个因子对客户关系生命周期价值的影响，得到了可供企业借鉴的客户关系管理策略．     

几种典型混农林业模式的综合评价

应用层次分析—模糊评判方法，对黄土高原、秦巴山区不同地城的几种典型混农林业模式进行综合评价，为不向模式地之间相互学习借鉴、共同取长补短，提供了科学的参考依据，文中将农民群众对混农林业模式的理解接受能力纳入评价指标体系范畴，这在国内尚属新的尝试．     

城市地价监测点配置的一种模式

地价监测点配置关系到城市地价水平的真实反映，影响到我国城市地价监测体系的系统性和规范性．提出以空间分层抽样技术为基础，首先确定城市地价监测点总量，然后选择一定的指标，分别确定地价监测点在城市内不同区域、不同用地类型、不同土地级别中的分布，经综合平衡，最后确定地价监测点配置方案．该模式解决了我国当前地价监测体系建立中如何配置监测点这一技术问题．     

C语言与大学物理相结合的教学模式探索

C语言是一种高级程序语言，利用它作为一种研究工具，能突破大学物理中数学知识不足的困难，从而深化物理知识的传授，并运用C语言对学生进行研究式训练，以培养学生的科学素质，同时对大学物理的教学模式进行了探索性的改革。     

中国农产品显示比较优势降税模型

根据比较优势理论，竞争优势理论建立了中国农产品的静态和动态显示比较优势降税模型。讨论了模型解的存在性。     

增长曲线模型误差方差的非齐次二次型可容许估计

对于增长曲线模型Y=ABC+εEε=0,cov(vecε)=σ2(Ip Gn),在二次损失函数下,研究了误差方差的非齐次二次型估计的容许性.在矩阵A行满秩而矩阵C列满秩时,得到了非齐次估计可容许的充要条件.     

公路环境仿真系统中三维地面模型简化

随着“虚拟现实”技术的进一步发展 ,它在公路管理中将会有较好的应用前景。但由于其需要依赖较为复杂的数字地面模型的支持 ,这必将制约其更为广泛的应用 ,基于这一情况 ,对公路环境仿真系统中三维地面模型的 DTMs模型及 TIN模型的简化技术作了一定的讨论 ,并提出了一些具体的、实用的算法。     

力素比对预应力混凝土复合受力构件强度及破坏形态的影响

构件的受力特征及承载力大小与许多因素有关,当构件其他内在因素不变时,力素比对构件的强度及破坏形态有很大影响。以预应力混凝土构件在弯、剪、扭复合受力下的板-桁模型理论为基础,按照力的平衡、力矩平衡、变形协调及材料本构关系等建立了相应的计算方程及全过程分析程序。利用此方法分析了在小扭弯比情况下,不同力素比对复合受力构件强度及破坏形态的影响,经试验值和理论值对比符合情况较好。