用监视卡解决WGL-12微机型故障录波器存在的问题

故障录波器对于故障性质及保护动作行为的认定有着不可替代的重要作用，分析了WGL－12型录波器存在的缺陷，通过采用监视卡的方法，加强了对设备前后机和后台机运行状态的监控，采用了软、硬件互相监视的方法，提高录波完好率。     

SysML状态图合理性验证研究与实现

给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证。模型在实现前就被验证,可减少目标系统的测试周期。文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证。按照语义规范和性能需求的标准验证状态图的体系结构。另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程。并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证。最终通过实验验证了该方法的有效性和可行性。     

基于OWL-S的Web服务匹配研究

提出一种基于OWL-S描述的混合服务匹配方法,得到服务输入/输出功能参数的匹配度。该方法对服务集进行聚类以减少计算量,在语法层面上做基于奇异值分解的统计相似计算,在语义层面上基于本体做逻辑推理相似计算,根据两者结合的结果得出服务相似度计算。实验结果表明,该方法优于其他常用的方法。