1985年 第11卷 第1期
1985, 11(1): 1-11.
摘要:
软件可靠性是在70年代由软件工程与可靠性学科相结合产生的一个新分支,是一个很有 发展前途的新领域.现在,可靠性学科的一些基本原理和方法.已逐渐渗透到软件生存期的 设计、测试和维护等各个阶段,尤其是用于对软件产品的可靠性作出定量的评估和预测.本 文侧重从可靠性学科的角度,对它的发展状况作了综合性的介绍,希望对促进这一新分支在 我国的发展有所裨益.
软件可靠性是在70年代由软件工程与可靠性学科相结合产生的一个新分支,是一个很有 发展前途的新领域.现在,可靠性学科的一些基本原理和方法.已逐渐渗透到软件生存期的 设计、测试和维护等各个阶段,尤其是用于对软件产品的可靠性作出定量的评估和预测.本 文侧重从可靠性学科的角度,对它的发展状况作了综合性的介绍,希望对促进这一新分支在 我国的发展有所裨益.
1985, 11(1): 12-20.
摘要:
本文提出了参数定常且未知的单输入单输出自适应控制系统的"模型系数之和等于一" 的关系式,导出了一种新的参数递推算法.利用上述结果,对象模型的全部系数可在线实时 辨识并收敛于工程真值.本文还介绍了这种方法的工程实现及其在空间环境模拟器温度自 适应控制系统中的应用.
本文提出了参数定常且未知的单输入单输出自适应控制系统的"模型系数之和等于一" 的关系式,导出了一种新的参数递推算法.利用上述结果,对象模型的全部系数可在线实时 辨识并收敛于工程真值.本文还介绍了这种方法的工程实现及其在空间环境模拟器温度自 适应控制系统中的应用.
1985, 11(1): 21-29.
摘要:
本文讨论了未知结构多变量系统的自校正调节器和群控双输入双输出电加热炉的工程 应用.包括确定被控过程的模型结构,给出一种多变量最小方差控制律的简洁算法和用指数 加权递推最小二乘法在线辨识控制器参数.实时控制结果初步表明,STR调节器能适应电网 电压波动等因素引起的模型参数的改变,控温效果优于PLD和LQG调节器.
本文讨论了未知结构多变量系统的自校正调节器和群控双输入双输出电加热炉的工程 应用.包括确定被控过程的模型结构,给出一种多变量最小方差控制律的简洁算法和用指数 加权递推最小二乘法在线辨识控制器参数.实时控制结果初步表明,STR调节器能适应电网 电压波动等因素引起的模型参数的改变,控温效果优于PLD和LQG调节器.
1985, 11(1): 30-37.
摘要:
自动振幅控制系统是非线性闭路控制系统.本文研究它的静态和动态性能及设计方法, 证明了系统的静态压缩精度完全取决于环路增益.如在环路中使用一个积分器,系统的静态 性能将到到改善.本文还研究了一阶及二阶自动振幅控制系统低通滤波器参数的设计问题, 导出了设计公式,并证明了二阶系统的动态性能优于一阶系统.还分析了输出信号波形畸变 的原因,介绍了减少畸变的方法.
自动振幅控制系统是非线性闭路控制系统.本文研究它的静态和动态性能及设计方法, 证明了系统的静态压缩精度完全取决于环路增益.如在环路中使用一个积分器,系统的静态 性能将到到改善.本文还研究了一阶及二阶自动振幅控制系统低通滤波器参数的设计问题, 导出了设计公式,并证明了二阶系统的动态性能优于一阶系统.还分析了输出信号波形畸变 的原因,介绍了减少畸变的方法.
1985, 11(1): 38-43.
摘要:
本文阐述了满足二次型性能指标和时域性能指标的最优线性定常系统计算机辅助设计 的方法,介绍了CAD程序包的功能以及用于求解最优系统的谱因子分解算法.设计的实例表 明,所设计的系统具有良好的性能.
本文阐述了满足二次型性能指标和时域性能指标的最优线性定常系统计算机辅助设计 的方法,介绍了CAD程序包的功能以及用于求解最优系统的谱因子分解算法.设计的实例表 明,所设计的系统具有良好的性能.
1985, 11(1): 44-52.
摘要:
本文从机理和实现两方面研究模型降阶问题.提出了在降阶模型中"中、低频段分别处 理"和"有限信息资源合理分配"的原则,介绍了由此导出的几种新的模型降阶方法.新方法具 有物理概念踢确,计算简单易行,所得到的降阶模型在宽广的频带内有较高的逼近精度等优 点,适合于工程应用.
本文从机理和实现两方面研究模型降阶问题.提出了在降阶模型中"中、低频段分别处 理"和"有限信息资源合理分配"的原则,介绍了由此导出的几种新的模型降阶方法.新方法具 有物理概念踢确,计算简单易行,所得到的降阶模型在宽广的频带内有较高的逼近精度等优 点,适合于工程应用.
1985, 11(1): 53-62.
摘要:
本文提出了一种时域和频域测辨相结合的线性定常系统测辨新方法.当高阶系统传递函 数已知时,它就是具有多可调参数的Padé逼近.此法由测辨高阶系统前n阶时间矩和测辨 描述系统主要动态性能的一些典型频率响应数据,确定动态系统"类等效"简化模型的参数. 此外,"外推函数"的使用有效地提高了时矩测辨的精度.实例表明,本方法简易、精确和灵活, 适于工程建模,便于工程设计.
本文提出了一种时域和频域测辨相结合的线性定常系统测辨新方法.当高阶系统传递函 数已知时,它就是具有多可调参数的Padé逼近.此法由测辨高阶系统前n阶时间矩和测辨 描述系统主要动态性能的一些典型频率响应数据,确定动态系统"类等效"简化模型的参数. 此外,"外推函数"的使用有效地提高了时矩测辨的精度.实例表明,本方法简易、精确和灵活, 适于工程建模,便于工程设计.
1985, 11(1): 63-70.
摘要:
本文研究系统在信息分配上受到任意约束的稳定问题,提出了系统分散可稳定的充要条 件以及获得了分散稳定控制器的一种算法.数值实例表明,该算法很有效且收敛很快.
本文研究系统在信息分配上受到任意约束的稳定问题,提出了系统分散可稳定的充要条 件以及获得了分散稳定控制器的一种算法.数值实例表明,该算法很有效且收敛很快.
1985, 11(1): 71-79.
摘要:
本文研究典型的两部件串联可修模型.在一个部件的失效分布为Erlang分布,另一个 失效分布和两个维修分布均为连续型的假定下,利用补充变量方法求得了系统的全部可靠性 指标.这种模型能用来分析某些自动化系统的可靠性.
本文研究典型的两部件串联可修模型.在一个部件的失效分布为Erlang分布,另一个 失效分布和两个维修分布均为连续型的假定下,利用补充变量方法求得了系统的全部可靠性 指标.这种模型能用来分析某些自动化系统的可靠性.
1985, 11(1): 80-86.
摘要:
本文运用两变量沃尔什-阿达马变换分析了一般多输出组合逻辑系统因软故障引起的系 统错误概率,导出了计算某些特殊情况及常用的SUM-OF-PRODUCT和NAND-NAND系统错 误概率的简化公式和快速算法.利用计算机研究了几个实例,它们揭示了由软故障引起的系 统错误概率的特征,为设计多输入多输出组合逻辑系统,降低软故障对系统的影响,提供了有 益的启示.
本文运用两变量沃尔什-阿达马变换分析了一般多输出组合逻辑系统因软故障引起的系 统错误概率,导出了计算某些特殊情况及常用的SUM-OF-PRODUCT和NAND-NAND系统错 误概率的简化公式和快速算法.利用计算机研究了几个实例,它们揭示了由软故障引起的系 统错误概率的特征,为设计多输入多输出组合逻辑系统,降低软故障对系统的影响,提供了有 益的启示.
1985, 11(1): 87-93.
摘要:
本文介绍了微型计算机应用于企业生产管理的一个实例.文中叙述了问题的解法和软 件.该软件应用后的经济效果正逐年扩大.
本文介绍了微型计算机应用于企业生产管理的一个实例.文中叙述了问题的解法和软 件.该软件应用后的经济效果正逐年扩大.
1985, 11(1): 94-97.
摘要:
本文给出了用对多项式阵的系数阵进行初等变换的方法确定两个多项式阵的最大公因 子及其互质部分的一种算法.
本文给出了用对多项式阵的系数阵进行初等变换的方法确定两个多项式阵的最大公因 子及其互质部分的一种算法.
1985, 11(1): 98-102.
摘要:
本文提出了受软故障影响的有限状态机的模型,据此导出了计算有限状态机由软故障引 起的状态转换错误概率的方法,介绍了一种新型的利用纠错码和状态束原理的容错有限状态 机,并计算了软故障引起的状态转换错误概率.这种有限状态机对于状态转换具有本征的抗 噪声性能.
本文提出了受软故障影响的有限状态机的模型,据此导出了计算有限状态机由软故障引 起的状态转换错误概率的方法,介绍了一种新型的利用纠错码和状态束原理的容错有限状态 机,并计算了软故障引起的状态转换错误概率.这种有限状态机对于状态转换具有本征的抗 噪声性能.
1985, 11(1): 103-106.
摘要:
本文用分解定理和分割树求出了复杂系统可靠性的函数表达式,给出了复杂系统可靠性 设计中费用最小化的一种方法.本方法简单,适合工程应用.
本文用分解定理和分割树求出了复杂系统可靠性的函数表达式,给出了复杂系统可靠性 设计中费用最小化的一种方法.本方法简单,适合工程应用.
1985, 11(1): 107-110.
摘要:
本注记对Locks M.0.的"Modularizing,Minimizing,and Interpreting the K&H Fault Tree" 一文进行评论,介绍了一个改进和简化了的非相干故障树分析方法.这个方法说明,在NeIson 法的"双取补"过程中插入Quine法的Consensus运算是不必要的,也是不适当的.
本注记对Locks M.0.的"Modularizing,Minimizing,and Interpreting the K&H Fault Tree" 一文进行评论,介绍了一个改进和简化了的非相干故障树分析方法.这个方法说明,在NeIson 法的"双取补"过程中插入Quine法的Consensus运算是不必要的,也是不适当的.
