多参数Wiener过程平方函数积分的重对数律

设Ｗ（ｔ）是ｄ维参数Ｗｉｅｎｅｒ过程，我们在此文中证明     

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

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

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.     

Fuzzy－AHP投入产出模型及其在地方电网理论电价研究中的应用

本文提出了应用Fuzzy-AHP编制投入产出表和建立投入产出模型的方法, 并用来研究地方电网理论电价问题, 以某县为例进行了验证, 结果表明方法和模型是合理可行的。     

高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

自然观的转型

本文提出人类第一阶段的自然观是人类敬畏自然的自然观，人类考虑不到生命和环境会有系统地进化或衰退。这是客体高于主体的自然观；第二阶段的自然观是生命的进化观，认为持续进化的人类可以主宰自然，战胜自然，是主体高于客体的自然观；第三阶段是生命的诞生，发展到衰亡的全过程的自然观，是人类主动尊重自然规律的自然观，演化又回归了客体高于主体的自然观。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

多专家集成式决策支持系统探讨

本文在文献[1]给出集成式决策支持系统(I—DSS)的基本概念及提出I—DSS的两种主要形式的基础上,对I—DSS的形式之一——多专家集成式决策支持系统(MEI—DSSS)作了较深入的探讨。本文阐述了MEI—DSS提出的原因,给出了MEI—DSS的基本概念,概述了MEI—DSS同相关学科和技术的关系,提出了MEI—DSS的基本结构框架,并从知识表示、推理机制以及多专家系统动态组合进行问题求解的算法实现等方面探讨了该系统在大型决策中的应用。本文最后提出了MEI—DSS今后有待深入研究的课题。     

银行的信贷决策机制（一）——信贷市场为不完全竞争情形

本文研究了信贷市场处于不完全竞争情形下的信贷决策机制，对于完全信息情形给出了信贷决策机制的设计；针对不完全信息情形提出了信贷决策模型和机制的最优性条件，讨论了信贷决策机制的若干性质．本文的研究工作是基于对风险刻画的“均值保持展形”概念的．     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。