期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Multi-Agent的装备保障决策支持系统
1
作者 郑宇军 李海英 薛锦云 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期480-484,共5页
现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动... 现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动态控制,并给出了一个应用该系统进行保障规划问题求解的实例.系统采用基于Agent构件的分布式体系结构,高层Agent可由低层Agent组装而成.系统顶层使用了7类Agent,其中Decision-Maker和Solver进一步采用了基于Multi-Agent的A-Team框架来实现保障任务控制和问题求解,有效地提高了问题求解的效率和可靠性. 展开更多
关键词 决策支持系统 AGENT 装备保障 构件 A-Team
在线阅读 下载PDF
使用SPEC#开发高可靠性的物流信息系统 被引量：2
2
作者 郑宇军 王金全 薛锦云 《计算机工程与设计》 CSCD 北大核心 2006年第22期4178-4182,共5页
结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,... 结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。 展开更多
关键词 SPEC# 形式化方法 契约 不变式 物流信息系统
在线阅读 下载PDF
面向装备联勤保障的约束程序设计框架 被引量：2
3
作者 郑宇军 王连来 薛锦云 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期30-34,共5页
提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合... 提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解. 展开更多
关键词 联勤 约束程序设计 规约 问题求解
在线阅读 下载PDF
基于DSL的装备保障领域建模 被引量：3
4
作者 王金全 郑宇军 王侃 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页
基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。
关键词 需求工程 领域专用语言 装备保障 模型转换
在线阅读 下载PDF
基于模糊C均值聚类小波包重构的车辆频域非平稳振动谱模拟方法研究 被引量：1
5
作者 丛楠 任焱晞 +1 位作者 陈俊达 王彬星 《振动与冲击》 EI CSCD 北大核心 2018年第21期92-99,共8页
当前对于车辆进行非平稳振动模拟时一般仅考虑其强度的非平稳性。受到地面-车辆系统中多种因素的影响,实测振动谱在频域上往往也是非平稳的。通过对车辆振动信号进行小波包分解,并对其小波包系数矩阵的归一化列向量进行模糊C均值聚类,... 当前对于车辆进行非平稳振动模拟时一般仅考虑其强度的非平稳性。受到地面-车辆系统中多种因素的影响,实测振动谱在频域上往往也是非平稳的。通过对车辆振动信号进行小波包分解,并对其小波包系数矩阵的归一化列向量进行模糊C均值聚类,可实现对振动谱中振动模式的自动分类与统计。进而依据聚类结果,提出了一种可产生具有与原采集谱相似的频域非平稳特性的重构振动谱的方法。通过将该方法应用于某试验场块石路响应谱的重构模拟,所生成的重构谱与原采集谱相比,在时域、频域以及幅值概率密度等方面均具有理想的相似程度,验证了所提方法在车辆振动谱模拟方面的正确性和实用性。为车辆乃至各类机械结构的振动模拟试验提供了一种能够产生更为真实的具有频域非平稳特性重构振动谱的方法。 展开更多
关键词 车辆振动 小波包变换 模糊C均值聚类 非平稳 道路模拟
在线阅读 下载PDF
数字散斑相关方法的全场优化表述 被引量：5
6
作者 王显 马少鹏 +1 位作者 陈俊达 宋义敏 《北京理工大学学报》 EI CAS CSCD 北大核心 2011年第5期505-508,566,共5页
从图像运动估计中的基本假设——灰度不变假设出发,用优化方法建立了基于整幅图像匹配的数字散斑相关方法(也称为数字图像相关方法)求解模型,即全场优化求解模型.从建立的全场求解模型出发可引申出常用的两类数字散斑相关方法的求解思路... 从图像运动估计中的基本假设——灰度不变假设出发,用优化方法建立了基于整幅图像匹配的数字散斑相关方法(也称为数字图像相关方法)求解模型,即全场优化求解模型.从建立的全场求解模型出发可引申出常用的两类数字散斑相关方法的求解思路,即基于离散的子区匹配的数字散斑相关方法求解模型和基于有限元的数字散斑相关方法求解模型.从模型建立及求解分析中可知,位移表征模式是数字散斑相关方法求解模型的关键,不同的位移表征模式可构成不同的数字散斑相关方法求解方法. 展开更多
关键词 数字散斑相关方法 灰度不变假设 优化 位移表征
在线阅读 下载PDF
使用SPEC#开发高可靠性的算法程序 被引量：1
7
作者 郑宇军 马燕 薛锦云 《计算机工程与应用》 CSCD 北大核心 2006年第12期114-117,130,共5页
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。
关键词 SPEC# 形式化方法 算法程序 契约
在线阅读 下载PDF
基于SPEC#的功能性冗余软件开发
8
作者 王侃 郑宇军 范宏伟 《计算机工程与设计》 CSCD 北大核心 2009年第15期3487-3490,共4页
软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过... 软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过程中应用契约设计和冗余技术的若干准则和建议。这种基于契约的冗余技术能够显著地提高软件的可靠性、可维护性和可测试性,进而提高软硬件系统的整体可信性水平。 展开更多
关键词 软件可靠性 SPEC# 契约 功能性冗余 异常
在线阅读 下载PDF
一种指定功率谱密度与峭度值的对称威布尔分布道路谱重构方法 被引量：2
9
作者 丛楠 陈俊达 +2 位作者 任焱晞 王彬星 李青霞 《振动与冲击》 EI CSCD 北大核心 2018年第2期1-5,共5页
当前由功率谱密度重构路形谱的方法仅能生成高斯路形谱。高斯分布概率密度分布曲线较低的"拖尾"厚度决定了其难以对各类有着剧烈路面起伏的严酷道路进行有效描述。根据威布尔分布的高阶矩特性,推导了具有指定峭度的威布尔分... 当前由功率谱密度重构路形谱的方法仅能生成高斯路形谱。高斯分布概率密度分布曲线较低的"拖尾"厚度决定了其难以对各类有着剧烈路面起伏的严酷道路进行有效描述。根据威布尔分布的高阶矩特性,推导了具有指定峭度的威布尔分布参数的计算方法;进而以ZMNL方法为基础,提出了一种由高斯白噪声产生指定功率谱密度与峭度的对称幅度威布尔分布随机变量的方法。使用该方法,可在保持功率谱密度(函数)曲线的前提下,通过指定不同的峭度值,产生不同严酷程度的路形谱。通过将该方法应用于某试验场可靠性试验道路谱重构,验证了该方法的正确性和有效性。为道路模拟试验以及各种车辆仿真试验提供了一种新的非高斯道路模型建模方法。 展开更多
关键词 道路谱 对称威布尔分布 非高斯随机振动 功率谱密度 峭度
在线阅读 下载PDF
基于B方法的弹道计算机程序设计技术 被引量：2
10
作者 张子丘 郑宇军 李海英 《计算机工程与设计》 CSCD 北大核心 2005年第12期3295-3297,3300,共4页
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参... 针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。 展开更多
关键词 B方法 形式化方法 弹道计算机 抽象机 不变式
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部