论文研究一种移动数据库事物处理模型的设计 .pdf

讨论了矢谱融合技术和模糊Petri 网的相关理论,提出了基于矢谱和模糊Petri网的旋转机械故障诊断方法,建立了基于矢谱的旋转机械常见故障诊断Petri网模型。模拟实验结果表明:与基于单通道数据的诊断

针对目前数字权利难以动态描述的现状，提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义好逻辑推理相关的基本要素后，分析了该跃迁模型的逻辑推理机制以及动态推理过程。最后深入地讨论了该跃迁模型中的各种可

通过引入面向方面的核心思想，分析了网格安全实现方案GSI中存在的结构复杂和耦合度过高问题。在传统网格安全模型的基础上，利用方面机制来实现网格安全，提出了一种新的面向方面的网格安全模型(AOGSM)，并

在分析了一种实用信任模型的特点和不足的基础上，提出了一种改进的信任模型WeightRep。分析和仿真表明，改进模型比原模型具有更好的安全性和可用性。

为了在医院内部及医院之间实现医疗平台的数据交换与共享，根据HL7标准协议进行医疗公共接口的模型研究。通过对医院应用现状的分析，提出了基于HL7标准的电子病历与其他医疗信息系统的对接方式，形成了基于公共

提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想，协议的安全性分析，则综合运用了串空间知识以及可证安全中Game证明的方法，给出了严格的证明。协议具有良好的前向安全性

针对运动物体检测研究的难点之一——复杂动态背景，提出一种新的基于块的校正码书模型。该模型利用HSV空间基于像素块建立校正码书,它具有四个方面的特色：a）引入HSV颜色空间提高了前后景的区分度；b）利用

一种针对CP-nets并发模型的验证方法，孙涛，叶新铭，状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型��

根据图像低层特征和高级语义间的对应关系，自动进行图像语义标注是目前图像检索系统研究的热点。简要介绍了基于图像语义连接网络的图像检索框架，提出了一种基于该框架的图像自动标注模型。该模型通过积累用户反馈信

提供可用的服务是面向服务计算的关键技术。文章提出了一种层次性可用服务计算结构框架，它由服务注册层，虚拟服务层，真实服务层三个有机结合的层面组成。服务注册层和虚拟服务层共同组成可用服务框架，由可用服务框