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

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

Duane模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型——Bayes分析方法

本文将Bayes分析方法应用于Duane可靠性增长模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型,得到了参数以及系统能达到的MTBF的Bayes点估计和Bayes区间估计。     

济南市农村土地整理模式与措施探讨

针对济南市农村土地利用现状，分析总结出了济南市农村土地整理的基本模式，包括农村居民点，农田，废弃地，未利用土地整理，并提出相关的包括发挥政府的主导作用，制定各项条例法规，建立土地整理开发专项资金，加大土地整理相关法规的宣传等措施。     

MARKOV DECISION PROGRAMMING-THE FIRST PASSAGE MODEL WITH DENUMERABLE STATE SPACE

In this paper,we discuss MDP with discrete time parameter-the firstpassage model with denumerable state space.Under assumption A in this paper,we prove that an ε(>0)-optimal stationary policy exists.To find an ε-optimalstationary policy,an algorithm of policy improvement iteration and a method ofsuccessive approximations are given.     

日式经营管理在邃变

８０年代引人注目的日式经营管理，９０年代来其许多本质性特征却发生了意味深长的变化。注视并研究这些变化意义甚大。本文重在概括日式经营管理现正经历的变化。     

Application of Mathematial-Simulated Model Setup for Eudcational Planning

ＡｐｐｌｉｃａｔｉｏｎｏｆＭａｔｈｅｍａｔｉａｌ－ＳｉｍｕｌａｔｅｄＭｏｄｅｌＳｅｔｕｐｆｏｒＥｕｄｃａｔｉｏｎａｌＰｌａｎｎｉｎｇＦＵＨｏｎｇｙｕａｎ（ＣｈｏｎｇｑｉｎｇＩｎｓｔｉｔｕｔｅｏｆＡｒｃｈｉｔｅｃｔｕｒｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ）Ａ...     

无线异类数据网服务质量体系结构解决方案

设计了一套具有高性能的适合于移动数据网（超2．5G）和无线本地区域网（WLAN）组成的综合数据网的网络体系结构，提供基于预留端到端的QoS模型，使用带宽适应算法支持端到端的QOS，提高了系统资源的利用率，减少了呼叫拥塞概率和交接丢包概率，解决了2个系统QoS类不匹配等问题，平衡了2个系统的传输能力。     

数据包络模型的随机性研究

利用最小绝对误差估计和机会约束规划，本文研究了数据包络模型中的随机性问题，建立了一系列线性与非线性规划的数据包络模型。并对模型解的存在和鲁棒性作了讨论。     

论过程控制系统的次优化方法：（Ⅱ）最简控制功能模块替换的次优化

利用低阶模型替代高阶模型，并以此为依据设计最优状态调节器，这经常是以ＰＩＤ及其组合与替换的形式出现。本文提出这种结合最常用的方式是Ｐ－ＰＩ，ＰＩＤＡ－ＰＩＤＢ以及ＰＩ－Ｉ的组合，并指出其适用的对象特性。     

Experimental and Parametric Design of Petroleum Back-pressured Hydraulic Impactor

Percussive-rotary drilling technology was considered many years ago as one of the best approaches for hard rock drilling. It is a key for popularizing this technology on a large scale to design and make an impactor with excellent performance. This paper presents a suit of method to design the percussive parameters for the oil or gas field by introducing the working principle of back-pressured impactor, dividing the working periods of impactor into three phases and establishing the computer emulational model of percussive parameters. It draws a comparison between the results of model calculation and experiment on the basis of analyzing the experiment results of impactor. The conclude provides credible foundation for designing and further ameliorating the impactor.