国家自然科学基金(60873209)
- 作品数:4 被引量:6H指数:1
- 相关作者:戚正伟朱江章甫源张常有段淑凤更多>>
- 相关机构:上海交通大学杭州市公安局石家庄铁道大学更多>>
- 发文基金:国家自然科学基金河北省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术交通运输工程更多>>
- 一种分布式Web服务内容的匹配方法研究
- 为了提高非结构化对等网络中Web服务查找的准确性,研究了一种基于语义的Web服务内容匹配方法.首先,为对等网络中的服务提供者设计了以功能为关键词的服务内容模型;然后,针对计算服务,建立了语义字典;最后,以对等网络中服务内...
- 李文清张常有段淑凤
- 关键词:语义
- 文献传递
- Power-aware I/O-Intensive and CPU-Intensive Applications Hybrid Deployment within Virtualization Environments
- <正>As more and more software applications are migrating from local desktops to remote data centers,efficient d...
- Zhiwu Liu
- 关键词:VIRTUALIZATION
- 文献传递
- 基于信号衰减和孤立点检测的移动定位算法被引量:6
- 2010年
- 提出一种基于信号衰减的GSM移动定位算法,该算法从移动台上行信令中提取相关网络信号衰减参数,通过改进的无线信道数学模型计算出移动台与附近基站的距离,通过孤立点检测算法降低偶然误差,给出移动台的估计位置。实验表明,该算法有效提高定位精度,且对现有网络和移动台无任何要求,实用性强。
- 朱江戚正伟
- 关键词:信号衰减孤立点检测
- 基于D3S的分布式系统监控技术
- 2009年
- 调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
- 章甫源戚正伟
- 关键词:分布式系统线性时态逻辑
- 一种分布式Web服务内容的匹配方法研究
- 2010年
- 为了提高非结构化对等网络中Web服务查找的准确性,研究了一种基于语义的Web服务内容匹配方法.首先,为对等网络中的服务提供者设计了以功能为关键词的服务内容模型;然后,针对计算服务,建立了语义字典;最后,以对等网络中服务内容为检索对象,设计了分布式发现的节点结构,以及相应的匹配度算法.根据对算例的分析,可知匹配度在值域范围内有较好的分布性,能够满足计算服务的需要.
- 李文清张常有段淑凤
- 关键词:语义
- Enhance Information Flow Tracking with Function Recognition
- 2010年
- Zhou KanHuang ShiqiuHuang ShanQi ZhengweiGu JianGuan Haibing
- 关键词:二进制代码刑事案件