关于弱等价的若干讨论

本文提出了非空集合上的弱等价的概念,并讨论了弱等价的一些重要性质,文中证明了弱等价格是二元关系格的完全子格.

凸模糊集与模糊闭集间的弱等价条件

在文献3所定义的凸模糊集、1定义的模糊闭集及2定义的弱似凸模糊集等概念的基础上,讨论了三种模糊集间的构成关系,得到了模糊闭集构成弱似凸模糊集的等价条件,及模糊闭集构成凸模糊集的依赖条件,从而丰富了凸模糊理论。

语法的强等价和弱等价以及相关的句子计数、句法结构数和结构歧义的若干定理

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式,探讨一些与这几个概念有关的句子(词)结构的问题,并且得出了几个有关句子(词)结构的有意义的定理。

弱紧生成的Banach空间中弱随机元的弱等价性定理及其应用

本文证明了如下基本定理:设(Ω,σ,u)为任一概率空间,(B,||·||)为任一弱紧生成的Banach空间,则任一弱随机元V:Ω→B必弱等价于一强可测随机元(?):Ω→B 从而本定理不仅去掉了Lewis定理中关于弱随机元有界性的限制且在Banach空间概率论中有广泛的应用.作为应用的例子,本文在弱紧生成的Banach空间中就弱2-阶弱随机元建立了其再生核Hilbert空间的性质定理.

两类循环模糊自动机的弱等价性

定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性。

相似关系的基本概念及其弱等价性质

本文的主要目的是确立相似关系的准确数学概念。首先本文将等价关系合理推广为弱等价关系，其次为解决描述部分与整体的共同属性问题，本文引入了向下相容性概念，并证明了向下相容性具有弱等价性质。然后用集合、子集、幂集、并集、１—１映射这五个最基本的概念及向下相容性公理、系统原理初步界定和刻划了相似关系、相似映射、相似要素、相似基、相似元（相似点）、相似系统这六个相似方面的基本概念。这对建立相似系统的分析具有重要意义。

测度空间的等价扩张

引入测度空间的强、弱等价扩张的概念，并讨论了它们的性质．由此，在某种意义下推广了工作［2］的结果．

两类具有输出字符功能的模糊自动机的关系

在文中,对文献8中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改,并对它们进行了系统的研究,揭示了此两类自动机和取分配格的代数性质的紧密联系;得到了此两类自动机在:(1)强等价;(2)等价;(3)弱等价条件下的许多重要结论。

Cuntz代数的扩张

用一种新方法构造出(?)n通过K的在弱等价意义的所有的扩张,并且计算了其代 表元Enk的K-群.

γ演算到Action演算的转换

Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定义AC(Kg)的可观察性、弱互模拟关系和弱等价关系的基础上,以p演算为中间表示,证明了这种转换保持了g演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把g演算与其他并发模型结合并进行比较提供了前提.

Spin-Spin Interactions in Gauge Theory of Gravity, Violation of Weak Equivalence Principle and New Classical Test of General Relativity

很长时间，纺纱纺纱相互作用能仅仅在 Lorentz 对称被计量的一个理论存在，这通常 perturbatively 被相信了，并且有纺纱纺纱相互作用的一个理论不是 renormalizable。但是这不是真的。由在重力的地里学习一个旋转粒子的运动，在那里存在，这被发现在严肃的计量器理论的纺纱纺纱相互作用。它的机制是一个旋转粒子将产生 gravitomagnetic 在时空的地，和这个 gravitomagnetic 领域将与另一个粒子的旋转交往，它将引起纺纱纺纱相互作用。那么，纺纱纺纱相互作用由重力的地被播送。在柱子的纺纱纺纱相互作用的表格牛顿的近似被推出。这结果能也从 Papapetrou 方程被推出。这种相互作用不影响理论的 renormalizability。纺纱纺纱相互作用将违背弱等价原则，并且违背效果是可检测的。一个实验被建议检测弱等价原则的违背的效果。

基于流程抽象的协同业务过程符合性验证

验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。

论“标志变异系数”的两个问题

论“标志变异系数”的两个问题浙江贸易学校胡清标志变异系数（也称离散系数）是用以分析、比较两个具有不同平均水平，不同计量单位的样本，其平均值的可靠性（稳定性）程度的重要指标，是统计理论和实践中不可缺少的综合指标之一。常用的标志变异系数有两个，即平均差系...

基于进程代数的安全软件体系结构建模

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。

辛群胚的弱Morita等价与orbifold基本群

本文研究辛orbifold群胚的弱Morita等价,证明了两个辛orbifold群胚弱Morita等价当且仅当其orbifold基本群同构.