多层次语义网的改进Web服务检索技术

利用语义Web服务中的标准OWL-S,提出多层次语义Web服务检索技术.与目前关键字或分类的查询方法相比,多层次语义Web服务检索技术具有更多的判断依据,并增加Web服务在搜寻时的准确率及可用性.模型包括服务名称分析、概念描述及输出-输出参数相似性分析、服务质量分析3个阶段.实验结果表明,与传统的基于关键字的检索方式相比,采用多层次语义扩展检索的查准率平均值上升0.25,查全率平均值上升0.24,但执行效率降低3.2%.     

楼宇门禁系统基于petri网的分析和设计

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。     

向前向后法证明一阶逻辑的几个定理

向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型论中对这些的证明较为繁难．文中使用向前向后方法，对有限语言下一阶逻辑的内插定理和保持定理等几个定理，给出一种简洁的证明．     

一种基于SOCKS 5的Web安全代理技术

综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES每次加密都使用新的密钥,杜绝黑客通过分析明文/密文获得密钥,从而能防御网络数据包被恶意截取后造成泄密,安全代理既保证Web数据的加密速度,又保证DES密钥的安全性和可管理性.     

模态逻辑两个定理的基于向前向后方法的证明

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

神经网络的压力容器评估系统设计

为解决长周期压力容器设备安全评估的低效率、低可靠性和不能人机交互等问题,利用开源的R语言设计复杂的神经网络识别算法,并通过C#.NET设计出一套界面友好的压力容器评估系统.实验结果表明:创建的压力容器评估系统嵌入BP神经网络算法,能精确刻画压力容器参数与状态之间的复杂非线性关系,评估准确率高;同时,软件系统实现了评估过程的交互性和自动化,具有良好的用户体验和很强的实践性.