SL(2,R)上的Hardy-Littlewood极大函数的性质

本文给出了SL(2,R)上的Hardy-Littlewood极大函数mf的定义,利用Ergodic定理证明了Hardy-Littlewood极大函数的强(p,p)型性质,p>1.     

模型化推理与理论的建构

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

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

关于扰动单位根上的复Hermite插值多项式

本文给出了基于扰动单位根的Hermite插值对As(|z|<1)中函数f(z)及其导数的同时一致及平均逼近阶。