排序方式: 共有150条查询结果,搜索用时 78 毫秒
1.
研究一阶非线性脉冲周期边值问题,应用微分不等式和Schaefer不动点定理,得到了脉冲边值问题解存在的充分性判据,并给出了相应的Green函数。 相似文献
2.
软件分域测试可靠性评估的注记 总被引:2,自引:0,他引:2
张志华 《海军工程大学学报》2002,14(6):35-39
软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性. 相似文献
3.
刘红岩 《中国人民武装警察部队学院学报》2003,19(3):69-72
自主择业制度是我国军队转业干部安置方式的一项重大改革 ,本文阐述了自主择业制度的意义、主要政策、实施中存在的主要问题及对策 相似文献
4.
为降低充水圆柱壳受内部点声源激励时的水下辐射噪声,在其外壳上敷设气囊,形成气囊圆柱壳。为指导气囊圆柱壳的设计,将充水裸圆柱壳和充水气囊圆柱壳分别简化为单、双层无限长隔板。比较隔板、气体与水的波阻抗,分析气体声速与层厚对双层无限长隔板在平面声波入射时的低频声辐射的影响机理。分析表明,声速小的气体和适当的气层厚度可以降低双层障板的辐射噪声。采用声无限元法计算气囊圆柱壳的水下声辐射,结论与对隔板的机理分析吻合。优化设计出的充水CO2气囊圆柱壳的水下辐射声功率与远场辐射声压明显低于充水裸圆柱壳。 相似文献
5.
着重分析了私营汽车加油站普遍存在的消防安全隐患,从加强安全监督管理力度、发挥安全评价活动的作用、创新单位的安全管理理念等几个方面提出了解决这些消防安全隐患的措施。 相似文献
6.
一类反向混合单调算子方程组解的存在惟一性 总被引:1,自引:1,他引:0
徐华伟 《海军工程大学学报》2009,21(1)
运用锥与半序理论和非对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时推广讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知的结果. 相似文献
7.
研究非齐次边界条件下,含有p-Laplacian算子的微分方程的可解性,在Banach空间中应用Krasnoselskii不动点定理,得到了边值问题正解存在性结果。 相似文献
8.
董士杰 《军械工程学院学报》2010,22(1):75-78
研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。 相似文献
9.
张志平 《武警工程学院学报》2010,(5):82-83
互动式教学是武警院校教育改革中倡导的一种新型的教学模式,要正确应用互动式教学模式,就要注重互动双方的定位、互动问题的选取、互动方法的选择。 相似文献
10.