共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
3.
4.
近年来人类活动引发的水危机受到社会各界的关注,如何找到解决水安全问题的有效手段成为新的研究热点.运用系统动力学理论建立了社会水循环系统动力学模型,模拟水资源在区域社会系统和水系统之间的转化和消耗过程;从提高水安全保障能力角度,设计了节水农业型、环保工业型和服务业驱动型三种发展模式,并研制了基于发展模式驱动的水安全调控模型;在对区域水安全状态关键指标模拟的基础上,评价在不同发展模式情景下的水安全度,对比给出推荐的调控方案.通过在郑州市的应用发现,设计的七种调控方案均能不同程度地提高水安全度,但采用复合模式方案的水安全度明显高于采用单一模式方案,综合考虑三种模式的方案7是最理想的推荐方案. 相似文献
5.
6.
硬件在环仿真试验台监控系统的设计与开发 总被引:2,自引:0,他引:2
针对基于xPC的硬件在环仿真系统,研究了Matlab GUI监控软件的相关开发技术,以解决时钟驱动模式下,数据更新速率慢、显示停顿的问题。在设计监控系统模块化方案的基础上,利用ActiveX控件技术建立虚拟仪表交互界面,提出S函数驱动GUI界面的实时显示方法,实现仿真数据的动态显示。试验台的使用表明,开发的监控系统具有良好的人机交互功能,对仿真数据的采集频率可达100Hz,虚拟仪表的更新速率超过20Hz,数据传输及显示过程耗时小于21毫秒,满足实时监控的要求。 相似文献
7.
针对面向非合作目标的航天器相对轨道动力学系统,研究了基于视线制导的开关控制问题。详细推导了视线相对运动模型,并定性分析了重力差项。基于相平面法,分别独立设计了横向和纵向相对运动通道的开关曲线控制算法。针对横向控制,基于比例导引律设计了开关曲线,并利用李雅普诺夫方法给出了稳定性证明。针对纵向控制,采用双开关曲线,并给出了一种相应的设计方法。数值仿真分析验证了所提出的开关控制方法的有效性。 相似文献
8.
针对多变量小样本的非线性系统建模问题,提出了多变量离散灰色幂模型,并探讨其参数求解方法;鉴于驱动因素作用机制对模型精度的重要影响,通过引入驱动控制函数,多阶段识别起主导作用的驱动因素,构造多变量离散灰色幂模型的优化模型,并研究驱动控制函数参数识别方法,给出了模型建模预测步骤;最后,利用构建模型解决我国粮食产量预测问题,表明新模型能够更好地描述系统特征行为序列与驱动因素序列间的非线性关系,从而有效提升建模精度。 相似文献
9.
首先给出电动车在行驶时驱动与制动输入下的高阶双质量运动模型,然后针对数学模型的复杂性和强非线性特征设计基于小脑模型神经网络CMAC复合PID的控制器,并在Matlab下进行仿真。结果表明所设计的控制器可以得到较好的控制效果。 相似文献
10.
本文简要介绍“澳门国际机场工程施工管理系统”的目标、功能、系统设计与实现技术,并详细给出了基于网络计划技术的工程进度控制软件的设计思想. 相似文献
11.
鄂大伟 《复杂系统与复杂性科学》2005,2(4):77-83
从软件工程的视角对软件复杂性进行了初步研究,讨论了软件复杂性的基本定义,分析了软件复杂性产生的原因及软件度量方法,最后提出了未来适应软件复杂性的几种技术解决方案. 相似文献
12.
软件可靠性度量实例研究 总被引:2,自引:0,他引:2
为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。 相似文献
13.
基于COTS的军用软件保障问题研究 总被引:1,自引:0,他引:1
商用货架产品在军事领域的应用趋势将给传统军用软件的保障模式带来冲击。对此,在研究基于商用货架产品的军用软件(CBMS)开发过程的基础上,讨论了CBMS的保障组织形式和实施方案,构建了CBMS保障过程模型用以描述军方软件保障机构在整个保障过程中的工作,并就CBMS开发过程中与保障密切相关的商用货架产品选择和风险评估等问题进行了讨论。 相似文献
14.
15.
基于检查点和Rejuvenation的软件可靠性建模分析 总被引:1,自引:1,他引:0
处于运行阶段的软件往往存在老化现象,即性能的逐渐下降或失效。为了避免软件老化造成的影响,人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略,能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性,它的成本也是不可忽略的。相对于rejuvenation来说,检查点是一种轻量级的软件容错策略,其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术,在rejuvenation周期间插入适当数目的检查点,以降低系统的宕机成本。丈中给出了系统的Detri网模型,并结合实例进行了分析。 相似文献
16.
一种实时多任务软件可靠性验证方法 总被引:2,自引:0,他引:2
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性. 相似文献
17.
针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。 相似文献
18.
19.
20.
为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法. 相似文献