基于失效数据统计方式的软件可靠性增长模型框架

为了更真实地描述软件失效过程,针对软件故障一旦检测出就立即排除掉这一不符合真实情况的假设条件,考虑到检错过程和排错过程的异步性,提出了计入重复故障的可靠性增长模型框架（RFM）和不计重复故障的可靠性增长模型框架（NRFM）,并指出了每个框架的适用范围．最后以NRFM为例,给出一个新的可靠性增长模型．通过公开发表的一组数据集上的拟合实验和预测实验表明,与其他模型相比,该模型具有很好的拟合能力和预测能力．     

二次最优完全理性预期Riccati稳态方程

给出了完全理性预期条件下宏观一致增长波动经济二次最优闭环模型的框架,推导出了求解动态Ｒｉｃｃａｔｉ方程的稳态因子方程．建立用最大似然估计算法进行参数估计的理论基础,从而把二次最优理性预期模型理论建立在完全理性预期环境下．     

多重灾害险的最优性

将单一风险下的保险最优性条件推广到一份保单覆盖n（n〉1）种共同单调风险下的最优契约．为了考虑风险分布的尾部特征，用失真定价原则而不是期望值保费计算原理对灾害风险进行定价，讨论了该保险产品的一般性质，证明了在多重灾害险情况下若不考虑交易成本则保单的最优形式仍然为超过某个固定免赔额的完全保险．最后通过一个算例给出了在已知效用函数形式的条件下，最优赔付额的表达形式．     

连续时间不完全信息的组合投资

在假定证券市场为有效竞争均衡市场的条件下,研究了连续时间不完全信息的M-V组合投资问题.首先引入基于不完全信息的M-V组合投资模型,在贝尔曼动态规划意义下将目标函数等价转化为可分离结构的函数,利用卡尔曼最优滤波估计,将不完全信息进行滤波转化为完全信息,从而通过求解相应的随机线性二次控制问题得到了最优投资策略和有效前沿.     

不完全信息下电力市场竞价的博弈模型

针对在单一购买者的电力市场模式下发电商之间的竞争，在研究了不完全信息条件下电力联营体的最优拍卖机制基础上，将发电商的生产成本或生产函数看作是其私人信息，通过应用博弈论中关于机制设计的理论，建立了电力联营体最优拍卖机制的理论模型。用该模型求出的交易机制可为电力监管部门在进行发电市场的信息引导时提供理论依据。     

响应面分析法优化蛭弧菌生长条件

为了优化蛭弧菌的生长条件,在前期研究确定适于蛭弧菌BD1生长的最佳pH、盐度、二价金属离子（ Ca2＋、Mg2＋）、谷氨酸钠的浓度范围的基础上,综合考虑4个因子对蛭弧菌BD1生长的影响,利用Design Expert 6．0软件进行响应面分析,优化菌体生长条件,得到该菌株生长模型,并在模型最优值时得到各因子的水平。结果表明：BD1的最优培养条件为盐度（ NaCl浓度）为2．9％,培养液pH值为7．4,Ca2＋、Mg2＋浓度为6．4 mmol,谷氨酸钠浓度为4．2 mmol。菌体生长过程中,盐度和二价金属离子,谷氨酸钠和二价金属离子,谷氨酸钠与盐度交互作用不显著,pH与盐度,pH与谷氨酸钠,pH与二价金属离子交互作用显著。菌体生长模型达到显著水平,可以对BD1在不同条件下的生长情况进行分析和预测。     

不完全信息下电力市场竞价的博弈模型

针对在单一购买者的电力市场模式下发电商之间的竞争,在研究了不完全信息条件下电力联营体的最优拍卖机制基础上,将发电商的生产成本或生产函数看作是其私人信息,通过应用博弈论中关于机制设计的理论,建立了电力联营体最优拍卖机制的理论模型.用该模型求出的交易机制可为电力监管部门在进行发电市场的信息引导时提供理论依据.     

供求关系的可计算模型研究

如何从人工智能的角度来描述人们的意识行为,关键问题是要建立能够正确反映这一事实过程的数学映象．在分别讨论了单层感知器的线性可分性和不可分性的基础上,利用单层感知器对XOR函数的不完全感知特性,建立了供求关系的可计算模型,并揭示了该博弈系统的隐秩序．该模型的建立为博弈过程的计算机仿真创造了条件,并拓宽了感知器的应用范围．     

可变电压处理器的最优动态电压选择算法

对于电池供电的嵌入式系统,已有研究考虑了理想的具有连续可变电压的处理器模型,而真实的可变电压处理器仅具有离散的电压等级．针对运行在真实的可变电压处理器上的实时嵌入式应用,提出了一种最优电压选择算法,使得在不违背给定应用执行时限的前提下系统能耗最少．与已有的启发式算法不同,最优电压选择算法将该节能调度问题转化为多选则背包问题的变种,并提出一种动态规划算法,该算法可以求得最优解．通过在真实嵌入式应用上实验比较几种电压调度策略表明,在不违背给定时限的条件下,新算法的能耗最小．     

不同模式下 TBM 刀群三维回转切削仿真与优化设计

针对TBM刀群回转切削问题,建立了17寸盘形滚刀刀群切削岩石的数值仿真模型,使用有限元仿真分析软件ANSYS LS-DYNA对不同工作模式下的盘形滚刀回转切削岩石工作过程进行仿真。仿真结果表明,通过对盘形滚刀刀间距进行优化设计,分析不同刀间距下滚刀的力学参数,得到在该地质条件下,中心滚刀最优刀间距为75 mm、正滚刀最优刀间距为80 mm;通过对边滚刀安装角度进行优化,分析不同安装角度下滚刀的力学参数,得到边滚刀最优安装角度为6．5°;通过对滚刀切削岩石的顺次切削角度进行优化,分析不同顺次切削角度下滚刀的力学参数,得到正滚刀最优顺次切削角度为30°、边滚刀为20°。     

考虑S型测试工作量函数与不完美排错的软件可靠性模型

为准确描述测试工作量与不完美排错这2种重要测试过程因素对软件可靠性建模的影响,提升软件可靠性模型的拟合与预计精度,提出一种变形S型测试工作量函数,描述测试工作量增长速率随测试时间先增后减的S型增长趋势.在此基础上,分别提出考虑S型测试工作量函数与2种不完美排错假设的指数型非齐次泊松过程(NHPP)软件可靠性模型(即IS...     

基于事件注入机制的软件调试方法与实现

在研究原有QF(事件驱动框架)和QS(实时跟踪调试器)的基础上,提出并设计实现了基于事件注入机制的软件调试方法,使得软件调试有针对性地主动进行,并实现调试自动化,该方法可以提高软件调试的效率。     

用混合语言编程技术开发实时仿真软件

对Ｖｉｓｕａｌ Ｃ＋＋和 Ｗｉｓｕａｌ Ｆｏｒｔｒａｎ的混合编程进行了研究。设计开发了一种基于微机的实时仿真软件,在该软件环境下移植了某核电站全范围模拟机的部分数学模型,并对该核电堆芯模型及其控制系统进行了仿真实验。结果证明,利用混合语言编程技术开发的该实时仿真软件,对建立仿真算法、仿真模型以及进行实时仿真调试是很方便的,具有较高的应用价值。     

A software cost model with maintenance and risk costs for safety-critical systems

Safety-critical systems are those systems whosefailure could result in loss of life,significant propertydamage,or damage to the environment[1].Software isincreasingly being used to control safety-critical systemsnow.But how can we improve the reliability of soft-ware?Formal methods can successfully enhance thequality of software and therefore increase the confidencein the system behaviors[2-4].Unfortunately,formalmethods are too complex to apply.Software testing isan efficient way to improve …     

软件纠错技术研究

软件测试是软件质量保证的主要活动之一,而进行软件测试的目的是发现错误,并最终纠正错误.本文基于软件纠错技术,提出了三种常用的纠错手段蛮干、消去原因、回溯,并对消去原因和回溯作了详尽的分析.     

集水井集散控制系统

针对煤矿集水井自动控制的工艺要求,依据集散控制原理,采用研华工控机,ADAM系列模块及组态软件Genie,设计了集水井集散控制系统,经运行证明,该系统运行可靠,人机交互方便 ,并且有推广价值。     

天然气发动机点火提前角的优化

为提高天然气发动机的动力性和燃料经济性,对天然气发动机的点火提前角进行了优化研究.利用GTPower软件搭建了天然气发动机的仿真模型,通过理论分析与数值模拟相结合的方法,分析了点火提前角对天然气发动机缸内燃烧压力和燃烧温度、压力升高率、燃烧放热率、转矩及燃气消耗率的影响.在此基础上,利用DOE(design of experiments)模块,针对增压天然气发动机节气门全开、空燃比为22~25的工况,以转速和点火提前角为独立变量、以输出转矩为相关变量、以缸内燃烧压力峰值出现的位置及压力升高率限值为约束条件,进行了点火提前角的优化计算,得到了最佳点火提前角的三维MAP图.     

一种用于继电保护装置调试的多功能测量仪

介绍了一种用于继电保护装置调试的多功能测量仪,详细说明了测量仪的硬件构成原理、软件实现方法和抗干扰措施。该仪表以８０９８单片机为核心,具有量程自动转换功能,并配有微型打印机,实现汉字打印输出。该测量仪功能齐全,可完成电压、电流、频率、相角、阻抗及继电器动作时间等多种信号的采集、处理、显示和打印。     

库容有限且缺陷产品可修复的模糊生产库存模型

研究了模糊环境下库容有限且缺陷产品可修复的经济生产批量问题.在库容有限且缺陷产品可修复条件下,将缺陷率、废品率视为三角模糊数,建立了一个模糊期望值模型,通过求解模型确定最优生产批量及最大缺货量.数值例子表明所建模型是切实可行的.     

软件可靠性预测模型的优选问题研究

针对软件可靠性预测模型过多且难以选择的实际问题,基于混合专家网络,采用基于梯度下降法的变步长LMS算法,解决软件可靠性预测模型选择优化问题．并通过实例分析,验证了该算法应用于模型优选的有效性．