-
题名基于SxSTS的会话类型Web服务匹配判定框架
- 1
-
-
作者
张驰
金咏琪
-
机构
江西财经大学软件与物联网工程学院
-
出处
《计算机应用与软件》
北大核心
2025年第8期12-19,共8页
-
基金
国家自然科学基金项目(61262012,61866014,61762041)。
-
文摘
针对当前会话类型Web服务匹配模型信息不足的问题,提出蕴含多层次、多概念和多策略的Web服务匹配框架。该文构造涵盖语法、语义和行为协议的SxSTS模型,以完整准确地描述Web服务;定义包含强、弱、迹三种内部变迁处理策略和涵盖完全匹配、包含匹配、部分匹配和不匹配四种匹配标准的Web服务匹配框架;通过SxSTS同步积中有无死锁设计匹配判定算法,实现对匹配类型的自动判定。最后,通过实例验证该框架的有效性。
-
关键词
会话类型Web服务
匹配框架
SxSTS模型
内部变迁处理策略
-
Keywords
Session type Web service
Matching framework
SxSTS model
Internal transition processing strategy
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名平台-平台惯性系统传递对准技术
被引量：1
- 2
-
-
作者
李蝉
余浩章
张士峰
-
机构
国防科学技术大学航天科学与工程学院
北京跟踪与通信技术研究所
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2015年第12期2823-2829,共7页
-
基金
国家高技术研究发展计划(863计划)(2011AA8011002A)资助课题
-
文摘
分析了平台-平台系统传递对准技术与捷联-捷联系统传递对准技术的差异,在此基础上,推导了平台-平台传递对准中主、子惯导系统速度误差方程和框架角误差方程,建立了平台-平台传递对准数学模型,给出了角速度与角加速度的获取方法,设计的低通滤波能够有效抑制角速度与角加速度中的高频噪声。仿真计算表明,基于速度与框架角匹配的平台-平台传递对准方法能够得到优于0.15°的对准精度。
-
关键词
传递对准
平台式惯性系统
速度匹配
框架角匹配
低通滤波器
-
Keywords
transfer alignment
platform inertial system
velocity matching~ frame angle matching
low- pass filter
-
分类号
U666.1
[交通运输工程—船舶及航道工程]
-
