孙献策
- 作品数：4 被引量：3H指数：1
- 供职机构：浙江理工大学更多>>
- 发文基金：浙江省科技厅新苗人才计划浙江省“钱江人才计划”浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于广义随机Petri网的Web服务组合建模与可达性分析
- 2013年
- 针对目前Web服务组合性能分析研究中的不足,深入研究了基于构件服务的服务组合模型和Web服务组合的技术特点,提出了一种基于广义随机Petri网的Web服务组合可靠建模和可达性分析方法,提高了Web服务组合性能分析的准确性,从而更有效的指导Web服务的组合过程中构件服务的选择和系统建构的调整。
- 高君包晓安谢晓鸣孙献策
- 关键词：WEB服务组合广义随机PETRI网可达性分析
- 支持在线重配置的机器人架构模型开发研究
- 随着机器人应用领域的不断扩展，如医疗、救灾、智能家居等不同应用场景对随需性有更高的要求，智能机器人运行在越来越多非结构化工作环境中，可能需要在运行时添加各种新式传感器和执行器，同时在这种环境下很难事先确定机器人的任务，机...
- 孙献策
- 关键词：机器人软件
- 文献传递
- 基于智能家居的一致性模型融合技术研究被引量：3
- 2015年
- 在智能家居的自适应软件设计中,往往采用传统的模块构建技术。但由于其适应逻辑存在着低复用性、高复杂度等问题,很难验证模块组合后的正确性及有效性。为了满足开发过程中用户的增量性需求,针对适应逻辑的组合难题,提出把部分行为模型的形式化方法引入到适应行为的描述中。通过三值逻辑KMTS模型描述语言,提出一致性模型的判断方法以及融合算法,以提供明确的适应模型在线融合支持。最后通过智能家居中的一个模型实例来分析并验证融合后的适应逻辑。
- 包晓安林辉周建平桂宁孙献策张娜
- 关键词：智能家居
- 一种机器人在线重配置方法
- 本发明公开了一种机器人在线重配置方法。它包括以下步骤：S1：建立抽象的机器人架构元模型；S2：建立机器人系统元模型；S3：建立机器人架构元模型和机器人系统元模型中部件元素之间及部件元素属性之间的映射关系及管理API；S4...
- 包晓安张娜孙献策桂宁俞成海
- 文献传递
