简介：2016年12月16日，俄罗斯成功地第5次试射了PL—19“努多尔”反导拦截弹。美国认为它是直接上升式反卫星导弹，频繁试射表明正朝部署阶段推进。2016年12月，德国航空航天中心也首次验证了航天器完全自主交会。

简介：2016年10月，俄军方公布了用于替代SS—18“撒旦”重型液体洲际弹道导弹的RS-28“萨尔玛特”导弹的照片。该导弹投掷重量大，不依赖外国部件，发射准备时间、打击精度都有所改善，还计划研制弹头可亚轨道飞行的改进型。

简介：微电网容量有限,而系统中越来越多的非线性负载使得系统的电能质量面临巨大挑战.逆变器作为距离非线性负载最近的控制器,对系统的稳定性至关重要.以典型的整流性负载为代表,在传统PI双环控制的基础上,通过理论推导,对微电网逆变器的控制策略进行了改进,通过Matlab/Simulink建模仿真,验证了该策略的有效性.

简介：为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.

简介：讨论一类非线性分数阶微分方程耦合系统的Robin边值问题，应用Schauder不动点定理证明正解的存在性，然后利用Adomian分解方法求出该边值问题的近似解．另外，给出一个数值例子来说明我们主要结果的应用．