模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

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

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

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

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

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

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

Preparation and properties of the SmOx/Rh(100) model surface

The preparation of SmOx/Rh(100) and CO adsorption on this model surface have been investigated with Auger electron spectroscopy (AES), X-ray photoelectron spectroscopy (XPS) and temperature programmed desorption spectroscopy (TDS). The oxygen adsorption on the SmRh alloy surface leads to the aggregation of Sm on the surface. The thermal treatment of this oxidized surface induces the further agglomeration of SmOx on the Rh(100) surface. Compared with CO TDS on the clean Rh(100) surface, three additional CO desorption peaks can be observed at 176, 331 and 600 K on the SmOx/Rh(100) surface. The CO desorption peak at 176 K may originate from CO adsorbed on SmOx islands, while the appearance of the CO adsorption peaks at 331 and 600 K, depending on the oxidation state of Sm, is attributed to CO species located at the interface of SmOx/Rh(100).     

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个系统的传输能力。     

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

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