张伟
- 作品数:50 被引量:81H指数:5
- 供职机构:中国航天更多>>
- 发文基金:国防基础科研计划国家自然科学基金教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域:自动化与计算机技术经济管理航空宇航科学技术机械工程更多>>
- 一种基于可靠性框图的软件可靠性指标分配方法、介质及设备
- 本发明提供一种基于可靠性框图的软件可靠性指标分配方法、介质及设备,属于软件可靠性研究技术领域。该方法步骤包括:首先,划分软件模块并定义各个模块可靠性提升困难度信息;其次,根据软件任务需求,由软件模块构造软件可靠性框图模型...
- 高金梁高玉峰闫陈静孟小娟张伟陈漠
- 文献传递
- 一种复材车间的动态排产系统及排产方法
- 本发明涉及一种复材车间的动态排产系统及排产方法,实时读取车间物联感知系统感知数据,包括车间工件加工实时数据和生产扰动事件信息,获取车间工件加工状态以及设备故障、生产进度延期和齐套性问题等扰动事件;基于感知信息,对当前的资...
- 侯俊杰于成龙张伟徐皓赵颖
- 文献传递
- 复材车间智能排产系统研究被引量:3
- 2020年
- 为解决航天复材车间以经验为主的排产实时性和实用性不够的问题,提出了智能排产系统并讨论了智能排产系统的体系架构和功能组成,研究了基于感知信息的排产计算方法,开发了航天复材车间智能排产原型系统并进行了校验。该系统能够根据生产实时数据和排产知识,自动判断并进行资源优化配置和工序工时计算,并根据生产扰动情况执行重排产及输出排产方案,为企业排产方案的制定提供了依据,并为后续工程化智能排产系统的开发奠定了基础。
- 张伟于成龙
- 一种基于仿真的复杂软件系统可靠性指标确定方法
- 本发明提供一种基于仿真的复杂软件系统可靠性指标确定方法,属于软件系统可靠性研究技术领域。该方法步骤包括:首先根据软件系统任务需求,划分并构建软件任务阶段模型;然后根据软件系统任务需求及任务阶段模型,构造软件任务剖面集合;...
- 高玉峰高金梁闫陈静张伟薛琼牟迪蔡诗冉
- 新一代人工智能在国防科技领域发展探讨被引量:7
- 2020年
- 新一代人工智能技术已经成为当前研究的重点和热点,并逐渐成为提升国防力量、军事能力和国家竞争力的有效途径。本文在总结人工智能概念的基础上,给出了新一代人工智能的定义和发展的重要意义,从掌握未来战争主动权、支撑军工装备研制生产模式转型和保障国防科技先进性三个方面梳理了国防科技领域发展新一代人工智能的必要性,并从基础技术支撑和国防特色应用两个方向提出了国防科技领域发展新一代人工智能涉及的基础软硬件、标准规范、智能装备/系统、辅助作战指挥、智能研发等重点内容,在此基础上给出了相关的发展建议。以上研究可为新一代人工智能技术在国防科技领域的研究、应用和发展提供参考。
- 于成龙侯俊杰蒲洪波张伟
- 关键词:国防科技
- 一种基于白名单机制的软件运行统一控制系统及方法
- 一种基于白名单机制的软件运行统一控制系统及方法,属于信息安全技术领域。本发明包括客户机白名单初始化及软件验证功能启动;以及用户申请在客户机添加新软件进入本地软件白名单,客户机准备要加入白名单的软件实体,然后将软件实体及其...
- 陈漠杨隽闫陈静孟小娟薛琼贾之楠张伟
- 文献传递
- 一种基于数据挖掘的生产进度预测方法及系统
- 一种基于数据挖掘的生产进度预测方法及系统,属于自动化技术领域。本发明包括如下步骤:建立数据库,存储零件加工的历史数据和车间资源数据;基于历史数据和预测算法,计算零件加工工时和工时影响参数之间的函数关系;基于当前在加工零件...
- 于成龙侯俊杰张伟蒲洪波郭旭凯孙磊王家胜徐皓
- 文献传递
- 34家上市航天企业国际化发展指数分析及启示
- 2018年
- 航天企业国际化发展是实现航天强国建设、适应商业航天发展的必由之路。本文通过构建航天企业国际化发展指数,分析34家上市航天企业的国际化战略、国际化投资与并购情况、国际化运营和国际化绩效情况,并分别从国际项目、并购重组、投融资平台、国际化管理和发展路径方面提出若干建议和措施。
- 林仁红高军张伟田茜
- 关键词:商业航天
- 一种软件运行时故障定位方法
- 本发明提供了一种软件运行时故障定位方法,该方法包括静态准备阶段、动态运行阶段和故障定位阶段;其中:在静态准备阶段,即在软件系统运行之前,根据软件系统的高层需求描述,确定性质规约,然后根据该性质规约在软件系统中插装代码、部...
- 薛惠锋闫陈静张伟葛慧经小川高金梁傅艳张博吕宏宇
- 文献传递
- 军工高安全软件数值型运行时错误分析方法
- 2016年
- 提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.
- 黄明詹海潭张伟经小川李宁王潇茵