刘海天
- 作品数：13 被引量：3H指数：1
- 供职机构：中国电子科技集团第二十八研究所更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术兵器科学与技术军事理学更多>>
- 基于国产化平台的高可靠集群构建方法
- 本发明公开了一种基于国产化平台的高可靠集群构建方法，包括双层心跳检测，所述双层心跳检测包括如下步骤：将所有集群节点按照物理位置将其划分为不同区域，将网络通信代价小且网络状况稳定的节点划分为同一区域；每个区域选出一个节点作...
- 张民强杨凌刘海天付建苏王会龙刘飞邱德明王符合王梓
- 文献传递
- 一种基于光流法的微表情分类方法
- 本发明公开了一种基于光流法的微表情分类方法，包括如下步骤：(1)利用Haar特征及Adaboost算法对待测视频中第一帧图像的人脸和五官进行定位；(2)对五官所处的位置进行光流计算，获取五官位置的光流值：(3)将获得的五...
- 李立阳刘海天付建苏王会龙张民强邱德明陈阳王梓刘飞
- 文献传递
- 一种通用客户端软件集成系统
- 本发明提供了一种通用客户端软件集成系统，系统是基于OSGI标准的客户端软件集成系统，采用bundle机制进行集成，可集成Web页面、可执行程序、动态库等多种类型插件；提供单点登录及用户登录管理、界面显示风格管理及风格一键...
- 杨新民鱼江海房广江胡道亮颜如祥梁波付建苏刘海天董莹莹李奇志陈晓婧
- 文献传递
- 一种多源异构数据访问中间件构建方法
- 本发明公开了一种多源异构数据访问中间件构建方法，该方法突破高效多源异构数据访问中间件构建、缓存替换算法两项关键技术，能够构建用于信息系统应用的多源异构数据访问中间件，提供统一的数据访问接口，简化信息系统开发中的多源异构数...
- 陈阳刘海天付建苏王会龙张民强王梓刘飞邱德明
- 文献传递
- 一种基于QT的自动生成跨平台复杂流程图的系统
- 本发明公开了一种基于QT的自动生成跨平台复杂流程图的系统，包括流程图基本图元绘制模块、流程图结构化描述模块、流程监控功能支撑模块和流程监控应用支撑模块；所述流程图基本图元绘制模块从QT提供的基类进行继承和派生，形成流程图...
- 杨新民金明韩俊林付建苏颜如祥刘海天薛新华梁波金华刚周新
- 文献传递
- 基于国产化平台的高可靠集群构建方法
- 本发明公开了一种基于国产化平台的高可靠集群构建方法，包括双层心跳检测，所述双层心跳检测包括如下步骤：将所有集群节点按照物理位置将其划分为不同区域，将网络通信代价小且网络状况稳定的节点划分为同一区域；每个区域选出一个节点作...
- 张民强杨凌刘海天付建苏王会龙刘飞邱德明王符合王梓
- 文献传递
- 面向同步语言的多时钟系统行为建模与验证
- 基于形式化方法,考虑多时钟嵌入式反应系统,针对SIGNAL模型难以在设计阶段发现系统缺陷的问题,提出基于标记迁移系统(LTS)的SIGNAL有界性检测分析方法。设计了SIGNAL模型中各操作结构的状态变迁语义系统,基于该...
- 王梓付建苏刘海天张民强陈阳
- 关键词：形式化方法
- 文献传递
- 一种通用客户端软件集成系统
- 本发明提供了一种通用客户端软件集成系统，系统是基于OSGI标准的客户端软件集成系统，采用bundle机制进行集成，可集成Web页面、可执行程序、动态库等多种类型插件；提供单点登录及用户登录管理、界面显示风格管理及风格一键...
- 杨新民鱼江海房广江胡道亮颜如祥梁波付建苏刘海天董莹莹李奇志陈晓婧
- 阶段一致型阶段任务系统最优变量排序研究被引量：1
- 2015年
- 为缩小二进制决策图(BDD)模型的尺度,提高阶段一致型阶段任务系统(PMS)可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了研究。利用已有的阶段依赖排序(PDO)方法,基于不同的阶段组合关系,研究PMS故障树最优变量排序和PDO之间的关系。结果表明:阶段一致型PMS具有前向PDO适用于阶段与组合PMS,后向PDO适用于阶段或组合PMS的特性;将PMS故障树排序问题规约为一般故障树变量排序问题。
- 杨新民刘海天莫毓昌
- 关键词：故障树
- 基于AHP模糊综合评价法的导弹作战分队能力评估被引量：2
- 2015年
- 导弹作战分队能力评估是导弹部队指挥员在受领打击任务面临的首要决策问题。本文基于AHP模糊综合评价法,通过对导弹作战分队作战能力影响因素的分析,建立了导弹作战分队能力评估指标体系,并运用模糊综合评价方法构建了导弹作战分队评估模型,实现了导弹作战分队能力的量化评估。
- 刘海天徐文海
- 关键词：AHP模糊综合评价法
