王政
- 作品数:50 被引量:23H指数:3
- 供职机构:华东师范大学更多>>
- 发文基金:国家自然科学基金国家中长期科技发展规划重大专项中国人民解放军总装备部预研基金更多>>
- 相关领域:自动化与计算机技术医药卫生文化科学航空宇航科学技术更多>>
- 一种基于事件队列的航天器故障诊断方法
- 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操...
- 王政刘端牛和明尚葳蕤王振华
- 文献传递
- 一种1553B总线远置终端子地址查找表自动分配方法及系统
- 本发明公开了一种1553B总线远置终端子地址查找表自动分配方法及系统,定义了子地址属性描述结构,子地址属性描述列表作为自动分配算法的输入,自动分配算法以“先大后小”原则为子地址查找表映射空闲内存区,满足循环缓存对齐限制条...
- 李经松党纪红尚葳蕤傅秀涛李川李晶心于海心王晶杨俊春王政
- 文献传递
- 一种并发中断驱动软件系统的时序确定方法
- 并发中断驱动软件系统的时序确定方法,通过功能分配,为每个具体的功能模块进行处理时间和调用时间间隔的时序确定,并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配,在设计中就考虑了时序约束,易于保...
- 杨孟飞顾斌綦艳霞董晓刚陈尧王政陈睿赵雷关小川
- 文献传递
- 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法及系统
- 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法,如下:(1)构造控制系统的部件单机1553数传模型,(2)配置数传模型的通信参数生成多个部件单机(3)配置数传模型的数据收发接口(4)根据数传模型的被测...
- 于海心党纪红王晶钟睿明尚葳蕤李经松杨俊春王政王振华
- 文献传递
- 一种基于事件队列的航天器故障诊断方法
- 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操...
- 王政刘端牛和明尚葳蕤王振华
- 文献传递
- 一种保障1553B总线通信时序正确性的时序确定方法
- 一种保障1553B总线通信时序正确性的时序确定方法,根据1553B总线各个子地址通讯方式和特点,确定了通讯的时序要求,保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时...
- 顾斌綦艳霞杨孟飞董晓刚陈尧王政关小川
- 文献传递
- 航天嵌入式软件可信性保障技术及应用研究被引量:10
- 2015年
- 研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.
- 杨孟飞顾斌郭向英董晓刚王政陈睿
- 关键词:航天器嵌入式
- 一种人体跳跃式踝关节本体感觉测试训练装置
- 本发明公开了一种人体跳跃式踝关节本体感觉测试训练装置,包括有矩形框,所述矩形框的基面分别安装有站立平台和固定平台,所述固定平台的侧壁活动连接有测试平台,本发明涉及人体感觉测试技术领域。本发明,解决了踝关节本体感觉测试不具...
- 韩甲杨宗瀚余若妮常琳邓发伟李佳佳刘博文刘颖徐欣仪潘力邵雪荣石诗萌童玉洁田潇纯王宣琳王政肖芳欣张树新
- 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法及系统
- 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法,如下:(1)构造控制系统的部件单机1553数传模型,(2)配置数传模型的通信参数生成多个部件单机(3)配置数传模型的数据收发接口(4)根据数传模型的被测...
- 于海心党纪红王晶钟睿明尚葳蕤李经松杨俊春王政王振华
- 文献传递
- 面向航天嵌入式软件的形式化建模方法被引量:6
- 2015年
- 航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了满足型号应用的需求,对这一方法进行了若干改进.为了表达航天器的时序性质,提出了一种基于区间逻辑的性质规范语言.为了支持工业应用,还设计了代码生成方法.这一建模方法已在航天工业领域得到了应用.
- 顾斌董云卫王政