排序方式: 共有49条查询结果,搜索用时 15 毫秒
1.
提出了语义企业服务总线的概念,并给出了相应的原型设计及实现该总线所涉及的技术.针对语义Web服务的自动组装问题,设计了一种使用混合匹配的有限服务自动组装算法,相比手工和半自动的组装方法,该算法能实现语义Web服务的全自动组装. 相似文献
2.
基于Web的SIP实现技术 总被引:2,自引:0,他引:2
SIP是基于IP的语音通讯体系结构的标准之一,本文通过对SIP协议的研究,提出在Web的客户端浏览器上用Java来实现SIP协议的客户端用户代理部分。 相似文献
3.
针对入侵容忍身份认证方案的安全性进行了详细分析,并用状态转移图描述了系统的安全行为.该方案的特点是基于Shamir秘密共享算法将用户密码分片后存储在多个认证服务器中,使得少数服务器受到入侵时仍能继续提供正确的认证服务,且在认证身份时不需要重构用户原来的密码数据,提高了认证系统的可用性、完整性和机密性. 相似文献
4.
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。 相似文献
5.
说明了HYTECH工具中采用的参数分析方法对系统描述能力的限制,提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析。 相似文献
6.
为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。 相似文献
7.
为了降低线谱频率(LSF)参数矢量量化器的搜索复杂度和码字存储单元,利用格型矢量量化的优点,设计了一种适合LSF参数量化的标量格型混合量化器。该量化器对LSF参数的预测残差矢量的第一、二个参数进行标量量化,余下的参数则利用格型矢量量化,从而降低了搜索复杂度和码字存储单元,与G.729协议所使用的LSF量化技术相比,有一定的改进。 相似文献
8.
提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。 相似文献
9.
采用固相微萃取(SPME)技术结合气相色谱-质谱(GC-MS)分析了中药砂仁中的挥发性化合物.实验中,对影响SPME的参数条件进行了研究和优化,用HS-SPME-GC-MS方法从砂仁中共分离和鉴定出42个化合物其中主要的化合物为樟脑(36.9%)、莰烯(13.9%)、柠檬烯(13.4%)、龙脑乙酸酯(11.1%)、月桂烯(7.2%)、龙脑(5.0%)和α-蒎烯(4.2%).结果表明这是一种简单、快速,无需要溶剂提取的方法,适合砂仁以及其他中药的挥发性成分分析. 相似文献
10.
研究并行系统的软硬件划分方法,建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构,提出了一种基于基本调度块(BSB)的并行系统优化划分方法,该方法首先将PL程序分解为BSB,然后考察BSB的软硬件度量,最后利用启发式方法求出优化的软硬件划分方案,语法制导的划分规则可以用于系统的划分和软硬件成分的组合,本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合,具有实用价值。 相似文献