杜小智
- 作品数:32 被引量:51H指数:4
- 供职机构:西安交通大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术文化科学化学工程交通运输工程更多>>
- 基于MAS系统的动态web服务组合形式化建模研究(英文)被引量:3
- 2008年
- 动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
- 徐东红齐勇候迪沈林峰杜小智王功震
- 关键词:动态WEB服务组合MASPI演算进程代数
- 一种面向燃煤电厂的智能报警抑制方法及系统
- 本发明公开的一种面向燃煤电厂的智能报警抑制方法及系统,本发明先对火力发电厂的历史报警信息与逻辑组态信息进行预处理,然后根据预处理后的数据计算得到两两报警点之间的时延相关度、KKS位号相关度和逻辑相关度,再对时延相关度、K...
- 杜小智钱经玮朱利杨荞晖黄巍贾翔宇
- 文献传递
- 基于关键程度划分的并发活动图测试场景生成方法及系统
- 本发明公开了基于关键程度划分的并发活动图测试场景生成方法及系统,包括如下过程:对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;将并发活动图转换为xml文件;对xml文件进行解析,得到量化后的有向图...
- 杜小智张金金张博文常宸瑞
- 文献传递
- 基于资源动态重配置的应用服务器再生方法
- 传统的基于模型的老化与再生研究方法已不适于动态开放的网络环境。以对服务器内部状态、行为、环境等信息进行运行时监测,并准确、全面地评价老化趋势为基础,采用资源动态重配置方法提高系统服务能力、灵活性与适应性具有重要意义。以J...
- 刘宏磊杜小智侯迪齐勇
- 关键词:应用服务器
- 一种面向智慧燃煤电厂的基于发布订阅的数据通信方法
- 本发明公开的一种面向智慧燃煤电厂的基于发布订阅的数据通信方法,采用发布订阅的形式将电厂的生产实时数据分发到操作员站的监控画面,保证每个操作员站只会接收到当前该操作员站打开的监控画面所需要显示的数据,不会产生数据冗余。借助...
- 杜小智黄巍杨荞晖贾翔宇董鸿磊
- 文献传递
- 一种新型计算机软件测试装置
- 本实用新型公开的属于计算机技术领域,具体为一种新型计算机软件测试装置,包括本体,所述本体的前端和左右两端均开设有一体成型的凹槽,所述凹槽的内腔均滑动连接有放置板,所述本体的顶端和放置板的顶端均开设有一体成型的笔记本放置槽...
- 杜小智原盛饶元
- 文献传递
- 一种燃煤电厂的控制逻辑最长执行时间的预测方法及系统
- 本发明公开了一种燃煤电厂的控制逻辑最长执行时间的预测方法,包括以下步骤:根据控制逻辑的连接信息建立控制逻辑的语法树;计算语法树中功能块的最长执行时间,根据功能块的最长执行时间通过递归计算得到语法树中根节点的最长执行时间;...
- 杜小智杨荞晖黄巍常宸瑞查阳阳
- 一种面向智慧燃煤电厂的基于发布订阅的数据通信方法
- 本发明公开的一种面向智慧燃煤电厂的基于发布订阅的数据通信方法,采用发布订阅的形式将电厂的生产实时数据分发到操作员站的监控画面,保证每个操作员站只会接收到当前该操作员站打开的监控画面所需要显示的数据,不会产生数据冗余。借助...
- 杜小智黄巍杨荞晖贾翔宇董鸿磊
- 文献传递
- 一种基于新型漏洞指纹的脆弱性检测方法及系统
- 本发明公开基于新型漏洞指纹的脆弱性检测方法及系统,包括:通过构建漏洞指纹的漏洞,收集修改前后的样本代码,构建代码解析器;利用代码解析器对漏洞补丁文件进行预处理,基于规范性代码和利用语法树形成控制流图,获取漏洞指纹;基于L...
- 赵加坤陈迪阳杜小智
- 视频点播系统的软件老化估计和预测被引量:6
- 2011年
- 针对视频点播系统,研究其软件老化模式.对系统资源和视频点播服务器的实时参数,采用Mann-Kendall方法来检测老化趋势以判断系统是否存在软件老化现象,并采用Sen的斜率估计方法来估计老化衰退速率;提出了基于径向基网络的软件老化预测模型,对老化趋势进行预测,并采用主成分分析方法来减少径向基网络的复杂度以提高效率.实验结果表明:视频点播系统中存在软件老化现象;基于径向基网络的软件老化预测模型预测效果优于时间序列模型.基于提出方法以及对视频点播系统的老化分析,可为进一步研究相应的软件再生策略提供理论依据.
- 杜小智齐勇鲁慧民侯迪徐崇安陈滢钟虓
- 关键词:视频点播