关于BCK-代数的商代数的讨论

本文对ＢＣＫ－代数的商代数作了进一步的探讨,得出结论,理想的商集是商代数的理想,且构成一个新商代数－－商商代数;商代数作乘积仍是商代数;理想的交集构成商代数。     

一类生态捕食模型的局部稳定性

文献3讨论了系统(1)在两个平衡点时平衡点的豫定性,分界线环的存在性等性质,本文则讨论系统(1)在两个平衡点时的局部稳定性。     

威布尔过程模型在机械系统可靠性中的应用

为了研究复杂可修系统的规律,应用威布尔过程模型,得出这样结果,即提出一种定量描述预防性维修质量的方法,并对MTBF进行了分析。可以这样认为,模型参数在实际工作中有很广泛的应用。     

软件重用综述

本文综述了软件重用的发展历程、基本概念、形式、技术和方法,然后就软件重用的技术领域和管理范畴分析了目前存在的主要问题后,提出了相关的解决方法,展望了软件重用的未来。     

非线性系统的鲁棒镇定:Volterra级数法

基于Ｖｏｌｔｅｒｒａ 级数理论,针对一类非线性系统,首先给出了此类系统可镇定的充分条件,接着讨论了非线性系统鲁棒镇定性的问题,并给出了系统鲁棒可镇定的条件;最后,用实例仿真来验证其有效性     

Poisson分布与正态分布参数的Γ—极小极大估计

对于Poisson分布及正态分布,本文在其参数θ的先验一阶矩和二阶矩的部分信息已知的情况下,给出了θ的极小极大估计,同时也给出了最不利先验分布。     

浅析马岛战争中英军联合海上封锁作战的经验教训

马岛战争期间,英军对阿军实施了长时间、大范围的联合海上封锁作战,为最终夺取战争胜利奠定了坚实的基础,取得了封锁作战的丰富经验,也暴露出一些问题,主要有5点:正确的战略决策和灵活的封锁策略,是联合海上封锁作战取得胜利的关键;实施高度集中的统一指挥,保持指挥体系的畅通、高效;封锁兵力运用得当,注重发挥整体作战威力;充分发挥先进武器装备的主导作用,以此直接影响战争的进程和结局;英国海军的建设方针有误,致使远洋作战能力不足,防空、反潜能力较弱,战争中遭受了不必要的损失。     

目标起伏特性对雷达威力性能的影响分析

介绍了典型雷达目标RCS起伏模型,阐述了起伏目标在实际中的应用,建立了目标损耗和雷达作用距离之间的关系,为不同目标的等效替代推算提供了理论依据.验证了雷达目标满足卡平方分布时发现概率和起伏因子之间的关系.并针对不同类型的起伏目标,建立了雷达探测距离和发现概率之间的关系,为雷达的威力检测和飞行目标的航线设计提供依据.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

黏弹性基底上阻尼碳纳米管的动力学特性

采用欧拉梁模型建立了有阻尼碳纳米管在黏弹性基底上的动力学问题分析模型。通过引入非局部理论、广义Maxwell黏弹性模型、速度相依的外阻尼模型及黏弹性基底模型推导出碳纳米管动力学分析的欧拉梁振动控制方程。在Kelvin-Voigt黏弹性模型基础上,分别给出无基底和全基底支撑时碳纳米管固有频率的一般解析表达式,并分析讨论全基底时的多种典型情况。然后利用传递函数方法求解出一般边界条件下振动控制方程的封闭解。以某单壁碳纳米管为例,得到不同边界条件下该单壁碳纳米管的前四阶固有频率,并分析了碳纳米管非局部参数、黏弹性参数、基底刚度及长度等影响因素对固有频率和阻尼因子的影响情况。结果表明,文中所建的动力学分析模型及计算方法对解决碳纳米管在黏弹性基底上的动力学问题准确有效。