自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

一维非线性奇异抛物方程的有限元方法

本对一非线性奇异抛物方程的有限元方法作了讨论，运用非对称有限元方法，在加权Ｌ２范数意义下，证明了半离散全离散解的最佳阶估计。     

多元Sikkema算子的逼近定理

研究单纯形上多元Ｓｉｋｋｅｍａ算子的逼近，得到逼近正逆定理和渐近估计。     

增长曲线模型回归系数的组合主成分估计

本文提出了增长曲线模型回归系数的一种新的有偏估计——组合主成分估计,在一定条件下证明了此估计优于最小二乘估计且是可容许估计,进一步,给出了这种估计与文献[4]中提出的主成分估计的关系。     

一维奇异非稳态问题全离散解的误差估计

研究如下奇异非稳态问题｛ｕｔ（ｘ，ｔ）－ｐ＾－１（ｘ）（ｐ（ｘ）ｕ＇（ｘ，ｔ））＇＋ｑ（ｘ）ｕ（ｘ，ｔ）＝Ｈ（ｘ，ｔ）ｔ〉０ ｘ∈Ｉ≡（０，１） ｕ＇（０，ｔ）＝ｕ（１，ｔ）＝０ ｔ〉０ ｕ（ｘ，０）＝ψ（ｘ）的有限元方法。分别使用Ｅｕｌｅｒ－Ｇａｌｅｒｋｉｎ方法和Ｃｒａｎｋ－Ｎｉｃｏｌｓｏｎ－Ｇａｌｅｒｋｉｎ方法，给出全离散解的加权Ｌ２模误差估计。     

取样频率对非均匀取样的DCT变换的影响

本文先介绍了基于第一类Ｃｈｅｂｙｓｈｅｖ多项式的第Ｎ次多项式的零点作为取样点的非均匀取样的ＤＣＴ变换方法．然后从插值聚合的角度（ｌｉｍＮ→∞εｎ＝０）出发，得出了为保证非均匀取样的ＤＣＴ变换具有良好的压缩效果，非均匀取样的ＤＣＴ变换的平均取样频率所应满足的要求．并通过实例验证了当取样频率满足一定要求时，非均匀取样的ＤＣＴ变换方法与传统的均匀取样ＤＣＴ变换相比在信号的压缩倍数和压缩质量方面具有优越性．     

共轭对称和共轭反对称新序列的构造与应用

本文通过对共轭对称序列和共轭反对称序列的分析,指出了一种构造新序列的方法,新序列保持了原序列的性质,用途却比原序列要广。文章着重讨论了新序列在DFT(Discrete Fourier Transform)方面的应用,通过计算一个复序列的N点DFT,便可获得四个实序列的N点DFT。     

n维离散Mobius群的Poincare序列

利用Ｍｏｂｉｕｓ变换的Ｃｌｉｆｆｏｒｄ数的表示，考虑序列Σｆ∈‖ｆ‖＾－ｓ并得到：１）对离散群Ｇ，若ｓ〉２ｎ，则（１）收敛。２）Ｋｌｅｉｎｉａｎ群Ｇ，如果Ｓ≥２ｎ，则（１）收敛。     

具有离散核的Bochner-Martinelli公式

周知,在一般有界域上至今尚未建立具有全纯核的多复变数整体积分公式.本文的目的是要在一般有界域上建立一类具有离散全纯核的Bochner-Martinelli整体积分公式,并能在(?)方程和奇异积分方程等研究中得到重要的应用.设D是C~n中具有C~1光滑边界(?)D的有界域,(?)={B_n|n∈N}是D的一个σ局部有限开覆盖,B_j ∈(?),J是N的有限子集}是(?)的一个σ局部有限加细,记为(?).(?)表示C~n中的欧氏拓扑,(?)表示(?)在D中的相对拓扑.1 构造单位分解和离散核定义1.1 设Ψ是拓补空间(C~n,(?))的子空间(D,(?))中一可数可积函数族,若对每一点z∈D,存在z的邻域U,使得除了Ψ的有限个成员之外在点z或U上均为零,而这有限个成员在U中是全纯的,则称Ψ是D上的一个σ点有限局部全纯的函数族.定义1.2 设(?)是域D的一个开覆盖,Ψ={f_n:n∈N}是D上的一个σ点有限局部全纯的函数族,若对每一点z∈D,满足,并且对每一f_n∈Ψ,存在一个U∈(?)使得{z∈D|f_n(z)≠0}=U,则称Ψ是D上的一个从属于(?)的σ点有限局部全纯的单位分解我们容易验证下面的引理.     

双参数情形的经验Bayes估计近似算法

该文给出了双参数情形利用线性经验Ｂａｙｅｓ估计公式估计待估参数的近似算法，并以正态分布为情形给出具体的计算形式．