【摘 要】
：
为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方法,提出了一种可信管理软件的模型驱动构造参考方法.通过分析国内外的研究现状,明确界
【机 构】
：
哈尔滨工业大学计算机科学与技术学院,北京卫星制造厂
【基金项目】
：
国家自然科学基金资助项目（60773064）
论文部分内容阅读
为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方法,提出了一种可信管理软件的模型驱动构造参考方法.通过分析国内外的研究现状,明确界定了管理软件可信性概念,给出可信性判定问题描述.结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制.
其他文献
针对一体式PAC/UF工艺的重要环节———曝气,通过小试和中试实验,研究曝气方式、曝气量等因素对一体式PAC/UF工艺运行及除污染性能的影响.结果表明：相对于间歇曝气,连续曝气情
针对目前OFDMA系统上行信道信息的反馈量大和公平性欠佳的问题,提出了减少上行反馈的资源分配算法.该算法在高信噪比下,小区中心的用户不需要反馈CQI,而在低信噪比的小区边缘
针对旋转机械振动参数图形边缘特征提取困难问题,根据模糊软形态学理论,提出滤波增强处理方法及自适应边缘检测算子.在600 MW模化汽轮机转子试验台上进行转子正常运转、转子不平衡故障、转子不对中故障、汽流激振故障、轴承松动故障的实验研究.将得到的振动参数三维图形转化为二维灰度图形,对二维灰度图形进行模糊软形态学滤波增强处理和自适应边缘检测.结果表明,该方法在滤除参数图形中噪声的同时,可以有效地提取图形
采用数值仿真的方法研究了水下航行体垂直发射出筒过程多相流场和流体动力特性演化规律.结合动网格技术,采用多相流Mixture模型、Singhal空化模型及标准的k-ε湍流模型,对混
Skyline查询是一种非常耗时的操作,而涉及多个表的Skyline查询（Skyline-join查询）则会给数据库系统带来更多的负载,从而影响整个系统的响应时间.为解决这个问题,提出了基于Goog
为提高故障系统的性能,研究了一类时滞不确定系统的鲁棒容错控制问题.针对一类典型的线性时滞不确定系统中执行机构和敏感器发生可修复故障的情况,采用线性矩阵不等式（LMI）方法
地表水水质的好坏可以影响到水环境功能是否能够发挥其应有的作用．因此，对地表水水质评价问题一直是环境科学研究的热点问题．本文在调研分析常用水质评价方法的基础上，提出了水环
针对内分泌干扰物在水中质量浓度低、危害大、去除困难的现状,采用固相萃取/重组酵母法调查了城市污水厂各工艺过程中雌激素活性的分布并对其去除途径进行分析.结果表明：雌激
为研究某型燃气轮机中间三级轴流压气机第二级动叶片的CLOCKING效应及其对静叶片气动负荷的影响,采用基于谐函数（harmonic）的非定常计算方法对三级压气机进行数值模拟,分析流场
为提高Al18B4O33w/Al复合材料的室温阻尼性能,通过原位反应向复合材料的界面引入了低熔点金属Bi.研究了涂层质量分数对涂覆后复合材料室温力学性能和阻尼性能的影响.结果表明