扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程, 根据物理世界W中对象所属域的不同生成多重域抽象模型, 并讨论了两种情况下域抽象模型Wi和Wj间的域关系： W的多重域模型W_i和W_j中的构成对象交集为空（即W_i和W_j中不存在有跨域行为的实体）; W的多重域模型W_i和W_j中的对象实体存在跨域行为. 扩展后的框架R丰富了物理世界W的模型表示, 使对象感知由平面感知变为立体感知, 应用多种领域知识生成相互关联的不同域模型, 增强了模型的推理能力.     

基于G-KRA模型框架的工作流建模

基于广义知识重构与抽象(G KRA)模型框架给出了工作流建模的一般过程, 根据功能知识引入了功能感知的概念, 自动构造工作流抽象对象库WfO_a. 构造基本行为感知和WfO_a中的基于功能的工作流抽象对象之间的映射关系, 实现基本行为感知与相应关系的替换操作. 通过这些映射关系, 生成了基于功能的工作流抽象模型以简化基本工作流模型的表示.     

关于拟线性椭园型方程广义解最大模的估计

本文对一类特殊类型的拟线性椭圆型方程,改进了其广义解最大模的估计式.     

广义Λ-型具有虚光子过程的J-C模型中的几何相位

采用Lewis-Riesenfeld不变量理论,我们研究了广义Λ-型具有虚光子过程的J-C模型中的动力学特性和几何相位.我们发现在一个周期中几何相位与光场的频率、光子和原子的耦合常数以及原子的跃迁频率毫无关系.如果采用比较精确的设备,虚光子过程中的几何相位可以被观察到,这种过程中的几何相位具有可观测的物理效应.     

抛物型方程解的最大模的先验估计

本文对抛物型方程Ｕｔ－ｄｉｖＡ（ｘ，ｔ，ｕ，ｖｕ）＋Ｂ（ｘ，ｔ，ｕ，ｖｕ）＝０的某些特殊情形作出了广义解最大模的先验估计，推广了现有文献的已知结果。     

广义对称表的矩阵象和点估计

基于《多边矩阵理论》,由东方整体性思维所启迪,试图提供并完善一套从整体到局部处理复杂系统对称多指标问题、对称非均匀性问题、对称非线性问题的强有力的数学工具,并对其进行严格的理论推导和证明.广义对称性或广义对称分析方法,是许多学科关注的问题之一,在研究广义对称性问题时,构造广义对称表和正交幂等系统成为了研究广义对称性问题...     

自适应广义酉变换近似消息传递算法

信号/参数经过线性变换,再经过逐位非线性变换得到测量值的过程可以抽象为广义线性模型。广义近似消息传递算法是处理广义线性模型的一种Bayes方法,通过引入信号的稀疏先验分布,利用似然函数和先验分布得到后验均值和后验方差。然而,当测量矩阵的元素不服从次Gauss分布时,广义近似消息传递算法性能会急剧恶化。通过奇异值分解,广义酉变换近似消息传递算法消除了测量矩阵的相关性,在包括相关测量矩阵的各类测量矩阵中表现出更强的鲁棒性。然而,经过足够多次迭代后,广义酉变换近似消息传递算法的信号重构误差在平衡点附近振荡;且随着测量矩阵相关性的增加,广义酉变换近似消息传递算法性能开始恶化。为了进一步提高广义酉变换近似消息传递算法的稳健性、改善算法准确性,该文提出自适应广义酉变换近似消息传递算法。该算法通过构造目标函数并自适应选择合适的步长,使得广义酉变换近似消息传递算法能够收敛到平衡点,从而获得更好的性能。大量的数值仿真实验结果验证了自适应广义酉变换近似消息传递算法的有效性。     

非阶化Witt型李代数的广义Verma模

构造了非阶化Witt型单李代数W [G]上的一类广义Verma模V(N), 并讨论了此类模的可约性.     

Bloch型空间到其他空间上的广义Cesdro算子的本性模

H（B）表示单位球上画的全纯函数类．对p≥0,单位球上的Bloch型空间用BP表示．对给定的g∈H（B）,我们给出了广义Cesciro算子Tg在不同Bloch型空间上本性模的等价条件．     

拟线性抛物型方程广义解最大模的先验估计

对下面抛物型方程(1)的某些特殊情形作出未知解最大模的先验估计     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

Reduction and Simplification of Explicit LTL Model Checking via an Abstraction Method

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period.This reduces the cost during the abstraction period relative to models requiring many useless states.A dining-philosophers example comparing this abstraction method with conventional methods indicates that a large proportion of the state space has been reduced by this abstraction method.Finally,the abstract method is shown to be correct and an analysis is given to show how such a large proportion of states can be reduced.     

分层抽象和多级综合——现代数学规律和趋势的研究之一

本文以大量事实揭示了现代数学在形成和发展过程中分层抽象和多级综合的规律。指出了一些发展趋势。     

带干扰双Poisson风险模型的大偏差问题

讨论了双Poisson风险模型以及带干扰的双Poisson风险模型，给出了其偏差的一个索赔额尾分布的渐进估计．     

多重分层抽象模型

基于G-KRA模型框架, 对已有的流片段概念进行扩展,  提出3种不同类型的流片段组, 并引入现象和目的的概念, 定义了流片段（组）的现象不可区分性. 根据流片段（组）的现象不可区分性合并流感知过程获得的某些流片段, 建立了流片段集合与现象集合间及现象集合与目的集合间的映射关系, 并形式化地描述了基于多重知识流片段集合的分层过程, 为客观世界基于多重知识的分层抽象过程提供了可共享和重用的知识库及转换机制.     

中国经济的可计算一般均衡模型框架及分析

为了研究中国的社会主义市场经济相对于完全市场经济的扭曲程度,建立了一个中国经济可计算一般均衡模型呆,并对这个模型进行有关分析。通过对模型的计算,得出中国经济的确在国内产品的相对价格,要素报酬率,部门就业结构,部门的生产结构,外贸等方面均存在不同程度的扭曲：在１９９５年的经济中,产品价格被严重扭曲;在许多非训,劳动力的报酬率过高,而资本的回经则过低,在１９９５年中国经济处于完全的市场经济条件下,则将     

沼泽红假单胞菌类胡萝卜素的提取和分析

对沼泽红假单胞菌B.9菌株（RhodopseudomonasPal-ustrisstrainB．9）类胡萝卜素的提取进行了研究。用超声波破碎菌体,类胡萝卜素得量较高;菌体中类胡萝卜素用丙酮提取,提取效果因菌体量、丙酿用量而变;提取波经革取、皂化。洗涤得类胡萝卡素粗制品,对其分析表明B．9菌株含有螺菌黄素系列的类胡萝卜素,     

淋巴瘤病理图像中R-S细胞的自动提取

介绍一种淋巴瘤病理图像中R-S细胞自动提取的方法．针对淋巴瘤病理图像中组织灰度分布的特点,采用循环分解和类别方差思想的混合自动分割算法分割病理图像;提出一个基于目标形态、灰度纹理和空间相关性等特征的识别模型,提取R-S细胞．实验结果表明,该方法速度快,能准确地识别提取淋巴瘤病理图像中的R-S细胞,有助于病理医生研究诊断。     

增长曲线模型中线性预测的泛容许性

在二次损失情况下,研究一般增长曲线模型中未来观察值线性预测的泛容许性.根据线性可预测变量泛容许预测的定义,得到了齐次线性预测和非齐次线性预测在对应的线性预测类中是泛容许预测时的充分必要条件.