宇宙的拓扑结构及应用

宇宙的拓扑结构及应用杨旭（四平师范学院）关键词宇宙，拓扑，模型通过对几何公理内在矛盾的分析和近代科学发展内在逻辑之探讨，本文揭示了宇宙的拓扑结构并提出一个全新的宇宙模型，从而对宇宙奇点，有限无限以及黑洞与白洞的问题给出更为合理的解答．在奇点处被消灭的...     

种内竞争对一年生植物高生长与生物量关系的影响

通过田间试验研究了两种一年生植物燕麦和箭She豌豆在高密度和低密度条件下表现出来的株高（H）与生物量（M）之间的异速生长关系，并用线性回归和非线性回归的方法对所得数据进行了分析，结果表明，植物在低密度条件下，个体间没有明显的竞争作用存在，株高与生物量之间表现为“简单的异速生长”关系，其异速生长表达式为y=a bx的形式；植物在高密度条件下，个体间存在着激烈的种内竞争，株高与生物量之间表现为“非线性的异速生长”关系，其异速生长表达式为y=ax^2 bx c的形式。     

组织和个体激励效益合理最大化的规划模型

激励是人力资源管理中的一项重要职能 ,激励是有投入与产出的管理活动 .文章通过定义激励过程中的组织和个体的激励效益及其合理最大化的概念 ,建立了一个组织激励效益和个体效益合理最大化的规划模型     

模型化推理与理论的建构

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

基于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.     

用预测－校正方法解非线性含扩散的色谱方程

用预测－校正方法，模拟了非线性含扩散的色谱过程，并与有限分析法及Ｇａｌｅｒｋｉｎ方法作了比较。     

非线性抛物型方程的耗散性和渐近性

利用能量积分、Ｐｏｉｎｃａｒｅ不等式和Ｓｏｂｏｌｅｖ空间的迹定理，证明了两类非线性抛物型方程在非线性Ｎｅｕｍａｎｎ边界条件下的吸收集的存在性，并给出了一类拟线性抛物型方程在齐次Ｎｅｕｍａｎｎ边界条件下的渐近估计