适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

M/M /1 模型的非负解的存在唯一性

本文应用正Ｃ０－半群理论证明Ｍ／Ｍ／１模型的非负解的存在唯一性     

MUL－QJM汽车驾驶模拟器系统

本文论述了ＭＵＬ－ＱＪＭ汽车驾驶模拟器系统的设计思想、结构、实现方法。该系统采用了车辆实时动力学、运动学仿真模型和实时ＣＩＧ技术，不仅能完成汽车驾驶培训，还是车辆安全性、人机工程、道路工程等有力的研究工具。     

MUL—QJM汽车驾驶模拟器系统

本文论述了ＭＵＬ０－ＱＪＭ汽车驾驶模拟器系统的设计思想，结构，实现方法。该系统采用了车辆实时动力学，运动学仿真模型和实时ＣＩＧ技术，不仅能完成汽车驾驶培训，还是车辆安全性，人机工程，道路工程等有力的研究工具。     

非平稳时间序列的状态空间建模与预测

本文研究了非平稳时间序列的状态空间建模与预测方法。在建模的过程中,采用了分解模型的方法,从原始时间序列直接建立起状态空间模型,对趋势性建立起随机走动模型,对周期性因素建立了动态谐波模型,从而摆脱了Ｂｏｘ－Ｊｅｎｋｉｎｓ建立ＡＲＩＭＡ模型的繁琐程序。     

Radar Cross-section Imaging of a Rotating Object with a Multi-frequency Holography

ＲａｄａｒＣｒｏｓｓ－ｓｅｃｔｉｏｎＩｍａｇｉｎｇｏｆａＲｏｔａｔｉｎｇＯｂｊｅｃｔｗｉｔｈａＭｕｌｔｉ－ｆｒｅｑｕｅｎｃｙＨｏｌｏｇｒａｐｈｙＺｈｏｕＪｕｎ，ＦａｎｇＤａｇａｎｇ，ＳｕｎＪｉｎｔａｏ＆ＳｈｅｎｇＷｅｉｘｉｎｇＭｉｌｌｉｍｅｔｅｒＷａ...     

保险公司的最优再保险和红利分配

本文将讨论保险公司的最优再保险和分红策略。其中风险由复合泊松过程描述了，相应的盈余过程（ｓｕｒｐｌｕｓ ｐｒｏｃｅｓｓ）是一个跳跃过程。对这一跳跃过程最优控制问题，我们应用动态规划原理得到了积分－微分（ｉｎｔｅｇｒｏ－ｄｉｆｆｅｒｅｎｔｉａｌ）形式的ＨＪＢ方程。由于此方程的解析解较难得到，我们将采用近似方法，将模型在时间和状态空间上分别离散化，将离散最优控制问题的解作为连续模型的近似。     

软件可靠性YO模型的特性分析

本文对软件可靠性YO模型的参数解结构进行了理论分析,给出了参数解存在的条件,同时根据参数解特性,构造了高效的参数估计算法并进行了数值实验。     

A Superlinearly Convergent Combined PhaseⅠ-PhaseⅡ Subfeasible Method

ＡＳｕｐｅｒｌｉｎｅａｒｌｙＣｏｎｖｅｒｇｅｎｔＣｏｍｂｉｎｅｄＰｈａｓｅⅠ－ＰｈａｓｅⅡＳｕｂｆｅａｓｉｂｌｅＭｅｔｈｏｄＪＩＡＮＪｉｎｂａｏ（ＭａｔｈｅｍａｔｉｃｓａｎｄＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅＤｅｐａｒｔｍｅｎｔｏｆＧｕａｎｇｘｉＵ...     

经济管理中一类时变分布参数系统模型妥的结构

本文基于文献「１」中关于时变双曲型发展方程的理论，针对经济管理中经常遇到的一类时变分布参数系统模型，证明了此类分布参数系统存在唯一的Ｙ－值解，并给出了用发展算子的卷积表示的系统的解，为把该系统化为相应的集中参数系统奠定了理论基础。     

NHPP类软件可靠性增长模型的统一及其性能分析

针对各种ＮＨＰＰ（Ｎｏｎ－ＨｏｍｏｇｅｎｅｏｕｓＰｏｉｓｓｏｎＰｒｏｃｅｓｓ）类软件可靠性增长模型的特点，提出了一种统一的ＮＨＰＰ类软件可靠性增长模型——ＵＮＨＰＰ模型，给出了模型的参数估值方法，并通过实例对其性能进行了评估。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。     

大型电子系统工程软件可靠性评估方法初探

本文探讨了大型电子系统工程的软件可靠性评估方法问题。从软件可靠性模型,可靠性实验数据的收集,以及可靠性数据估值的准确性,可靠性数据的检验等方面进行了研究。最后,提出了一般的评估步骤。     

软件可靠性模型的两种参数估值方法、估值结果一致性分析

本文研究软件可靠性增长模型的两种参数估值方法(最大似然函数估值法和最小均方误差估值法)的参数估值结果的一致性问题。讨论了一致性分析的必要性,一致性评价的标准和评价的方法,并以W-NHPP模型和NHPP模型为例进行了实例分析。     

基于观测器的时滞依赖鲁棒无源控制

研究一类带有参数不确定性和时变时滞的不确定线性系统的鲁棒无源控制问题。针对标称系统,利用线性矩阵不等式给出其时滞依赖无源性条件;讨论当系统的系数矩阵出现参数不确定时,存在基于观测器的控制器使得闭环系统是强鲁棒稳定且严格无源的时滞依赖性充分条件。构造出期望的观测器和控制器。数值算例说明结论的有效性。     

S-型软件可靠性模型的修正与性能评价

本文通过引入自由经验参数的方法对基本S-型软件可靠性增长模型进行修正,着重讨论了修正S-型(MS-型)模型和S-型模型、NHPP模型、W-NHPP模型的统一问题,导得了统一模型参数的最小均方误差估值计算公式,并提出了一种估值经验参数的方法。实例应用结果表明,通过对模型引入经验参数修正可以提高其参数估值的有效性和模型对实际软件失效数据的拟合性能和预测能力,不失为一种改善软件可靠性模型性能的有效途径。     

On state feedback and pole assignment of the second order coupled singular distributed parameter systems in Hilbert space

State feedback and pole assignment of the second order coupled singular distributed parameter systems are discussed via functional analysis and operator theory in Hilbert space, in which infinite many poles are changed. The solutions of the problem and the constructive expression of the solutions are given by the generalized inverse of bounded linear operator. This research is theoretically important for studying the pole assignment and stabilization of the singular distributed parameter systems.     

Ada程序设计中的一些问题

本文介绍了Ada的数据类型和特点,以及Ada程序设计中的一些问题与处理方法。文章特别指出了FORTRAN程序员在应用Ada时应当注意的若干问题。