区间系统鲁棒稳定性和鲁棒镇定性的检验条件

讨论了区间系统的鲁棒稳定性和鲁棒镇定性的有限检验问题,给出了线段多项式鲁棒稳定性的充分必要条件,利用该条件对多项式多面体鲁棒稳定性和区间系统鲁棒镇定性进行了有限检验,并给出了相应的检验结果。该检验条件直观简明,利用它可非常方便地对这些区间系统进行鲁棒稳定性分析。     

混合寿命模型下的贝叶斯密度估计(英)

基于一类异族分布的混合寿命模型, 给出了在一/二组样本下的I/II型截尾试验下的贝叶斯密度估计方法; 给出了实例; 并提出了一些问题和解决方法.     

浅议火灾证据采信利用中应注意的几个问题

近年来,火灾事故原因、责任认定和损失核定,逐渐成为火灾事故纠纷和诉讼的依据与争执的焦点。文章对此进行了详细探讨。     

区间数弹性分析

本文给出了区间值函数的弹性即区间数弹性的概念 ,并讨论了区间值函数的乘积和商的弹性的两个性质     

基于D-S证据理论与嵌入式传感器的监控与故障诊断

在水电站的故障监控与报警系统中一般都采用实时采集传感器数据并进行处理分析的方法,这不仅增加了通信的负担而且由于恶劣的电磁环境也容易造成数据的误传;为了克服这些缺点,提出了一种采用嵌入式传感器与数据融合理论相结合的故障监控与诊断的方案,并且在吉林丰满水电站的发电机线圈温度的监控系统中得到了实际应用     

利用对称性、奇偶性求积分

对称积分区域以及被积函数有与之相匹配的奇、偶性的积分，均可用对称性简便计算。     

基于随机补货间隔和非线性变质率的易腐商品补货模型

研究了一类需求率随价格变动、有一定保鲜期的易变质商品的随机补货间隔的多周期补货策略.变质率是非线性的时变函数,补货间隔是随机变量.针对补货间隔的密度函数是一个区间上的均匀分布情形,构建了以补货水平为决策变量的补货优化模型,利用Matlab求出极值优化解.并给出了算例和补货间隔的灵敏度分析.算例表明由于商品存在保鲜期,保鲜期后有变质损失,取最优解时经常会出现商品有出空现象,为了提高顾客需求满足率,可以缩短补货间隔,减少商品空缺期.该模型为配送中心的配货决策和商场的补货策略提供了一种决策方法.     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

机器人等离子喷涂轨迹间距优化及实验研究

在等离子喷涂快速制造金属模具工艺中,采用机器人等离子喷涂成形工艺,在被喷涂原型表面生成具有较高硬度的耐磨金属涂层.机器人喷涂路径规划是影响金属涂层成形性的关键因素,而轨迹间距是机器人喷涂路径中的重要参数.通过对机器人等离子喷涂几何模型的实验研究,从而确定了最佳的轨迹间距,为合理的机器人喷涂路径规划提供了依据.