谈应用正弦定理讨论三角形解的个数

<正> 我们知道利用正弦定理可以解决两类三角形的问题。对于已知三角形的两边和其中一边的对角,求另一边的对角,迸而求其它的边和角的这一类型问题,则需要讨论解的个数。过去对于这一问题的教学,学生只是模模糊糊地听懂了,应付完了作业。由于学生只记忆结果,不注重过程分析,时间一久,结果记不清了,过程更不知道怎么回事。为了克服这种现象,在教学中重过程分析,引导学生发现、抓     

国外反卫星武器发展述评

从反卫星需求出发,对反卫星武器的定义、分类、优缺点、组成及其作战过程以及美、俄反卫星武器的发展现状进行了阐述,对重点研究的2种反卫星武器作了介绍。对反卫星武器发展特点及趋势作了分析。     

体系结构方法本质

针对体系结构方法缺乏明确定义和一致理解、难以指导实践的应用现状,详细阐述了体系结构方法的定义及本质、体系结构框架指导体系结构开发的作用,讨论了描述体系结构产品的不同建模方法以及支持不同体系结构框架的体系结构开发过程,详述了体系结构方法在大型复杂信息系统建设中的作用,并说明了体系结构开发工具在体系结构方法中的重要作用。最后,对体系结构方法进行总结,说明了其发展趋势及关键技术。     

现场作业环境下的舰船设备维修过程模型

作业环境对舰船设备维修过程有重要的影响,考虑了环境影响的维修过程研究才具有实际应用价值。在分析维修过程的基础上,对资源、操作和约束等维修作业三要素分别建立基于Petri网的元模型,利用元模型融合技术将维修作业要素元模型进行融合,从而得到维修过程的基本元模型。最后给出应用实例,建立了现场维修作业环境下舰船设备维修过程模型,通过过程模型的数学分析可以为维修过程的优化提供依据。     

军转干部择业心理障碍分析及调适

在第二次职业选择过程中,面对地方工作的不确定性所带来的机遇、挑战与压力,加之身份和经历的特殊性,军队转业干部在择业过程中容易出现一些心理障碍,如果不能及时有效地予以排除,势必会对他们顺利就业和环境适应造成被动,甚至给国家军转工作带来长久的不良影响。     

我心运八

空军和海军驻陕西飞机工业（集团）公司的军代表们与陕飞集团科研、生产人员齐心协力,并肩作战,在重点型号研制过程中解决一道又一道技术难关,排除了一个又一个质量问题,筑起一道质量防护墙,为打造运8飞机精品作出贡献。     

基于马氏链的反辐射导弹毁伤雷达概率分析

为了研究反辐射导弹(ARM)对雷达阵地连续攻击时的作战效能,提出采用马尔可夫链进行分析.该方法是在单发反辐射导弹对雷达的毁伤概率基础上,依据ARM连续攻击时阵地中雷达工作状态的变化,得到了ARM对雷达阵地的毁伤概率数学模型.同时,运用马尔可夫链的性质对所建立的模型进行了深入分析,并通过实例检验了该模型的有效性.     

备件需求过程的MAP数据拟合算法研究

为了将备件需求过程表示为马尔可夫到达过程(Markovian arrival process, MAP)形式,设计了备件需求到达流的MAP拟合算法.首先,采用EM算法将备件需求到达间隔时间拟合成Hyper-Erlang分布形式,然后利用MAP性质和Bayes公式推导出生成元矩阵的计算公式;随后设计了一个完整的数据拟合流程,并通过实例对算法的效果和效率与已有研究进行了对比.结果表明,该算法在确保拟合效果的同时,能够有效提升拟合效率.     

考虑不完全维修的可修串联系统可用度模型

可用度是衡量系统可靠性、维修性水平的一个重要指标.提出一类基于gamma劣化过程的可修串联系统的可用度计算方法.该方法从构成系统部件的状态出发,用gamma过程刻画部件的退化失效规律,同时考虑系统维修效果的不完全性,在此基础上推导出系统可用度的表达式.最后用一个算例验证了研究模型的合理性.     

特殊半鞅的强大数定律

利用特殊半鞅的收敛定理和一般形式的Kronecker引理,给出了特殊半鞅和非负特殊半鞅强大数定律的一般形式,推广和完善了已有的结果.