论文研究 基于交际接口的Web应用模型检验.pdf

基于中国剩余定理的加解密接口的应用，郭禾，吴姝祎，档案管理系统特别是管理机密文件的档案管理系统被要求具有极强的安全性和保密性。对此，本文引进一种公钥加解密接口，其核心使用

基于Ajax/REST的Web架构的研究，高尚，，REST是一种被实践证明的适用于Web应用的架构风格，但是在传统的开发方法中，要完全实现REST架构，却存在着各种困难。近年来，Ajax技术

首先阐述了控制领域的企业所面临的问题；然后介绍了相关技术，包括OPC，OPCXMLDA，WebServices；最后着重探讨了基于WebServices的OPCXMLDA系统的框架模型、体系结构及

基于SIP的Web语音系统的研究，贾睿，李崴海，本文设计并实现了基于SIP的Web语音系统——WebVox。该系统基于SIP协议实现了Web语音系统服务器端的呼叫控制、会话建立等功能。并且在Jai

基于SIP的VOIP会议模型的研究，万铎，孙斌，本文通过研究现有的各种基于SIP协议的VOIP会议模型，综合各种模型优点，提出了一种新的会议组织模型，该模型能够综合各种模型优点��

基于SysML的RSW系统模型的研究，刘悦，谢益武，SysML（SystemsModelingLanguage）是国际对象管理组织(OMG)开发的系统工程可视化体系结构设计语言。本文将以系统建模语言为

目前大多数知识管理系统采用基于关键词或关键词向量空间模型表示用户的兴趣偏好。针对该方法不包含语义信息，很难准确表示用户感兴趣的信息，并且难于扩展，提出一种基于领域本体的用户模型。该模型利用用户访问量，

基于XML的构件组装模型的研究，徐骏，，基于构件的软件开发已经成为现今软件复用技术的研究热点，同时也已经被证明是解决软件危机的有效方法和途径。基于构件的软件技术

在BOM数据的建立过程中存在一种造成MRP计算死循环的数据死锁现象，在分析BOM数据复杂性和描述BOM数据要求的基础上，对BOM数据管理中出现的数据死锁恶性问题作了深入分析，并提出基于深度优先和宽度优

Abstraction plays a fundamental role in combating state-space explosion in model checking. In a comp