GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

舰艇核反应堆堆芯寿期的论证研究

服役年限是核舰艇可靠性要求的一个组成部分,影响其确定的一个主要因素是核动力装置反应堆的堆芯寿期。本文讨论了堆芯寿期与核舰艇服役年限的关系,在分析核燃料消耗的影响因素基础上建立其估计模型以供服役年限与堆芯寿期进行权衡,最后参考军情况,提出堆芯寿期的确定原则。     

四-(对-甲氧苯基)卟啉氧钒(Ⅳ)配合物的合成与表征

在丙酸溶剂中合成了一种新的大环配合物四—(对—甲氧苯基)卟啉氧钒(Ⅳ)[tetra-(P-me-thoxyphenyl)porphyrinoxovana dium(Ⅳ),T(P-OCH_3)PPVO],进行了元素分析和差热-热重分析,测定了其紫外-可见光谱、红外光谱和电子顺磁共振谱,确定了配合物的组成、对称性及立体结构。     

气象火箭隔热涂层的设计

本文论及气象火箭头部锥壳的隔热涂层。在考虑了火箭头锥工作环境需要和可能的基础上,完成了材料在飞行环境下温度载荷的计算、涂层组成以及成型方法的选择。通过地面模拟实验确定了涂层的最佳厚度。最后通过飞行试验,证实了隔热涂层可供实际使用。     

引信电子部件ESD效应和加固实验研究

利用静电放电模拟器对某电子时间引信的电子部件的损伤及其防护加固进行了实验研究。引信部件在ESD的作用下,储存的信息会改变;当ESD的电压进一步升高时,引信中的电子部件出现损坏,其损伤阈值为＋200V．采取加固措施后,系统抗ESD的电压提高了2～3倍,达到了预期的目的。     

关于课程评估模式和原则

通过对典型的教育评估模式的探讨,论述了课程评估的概念、地位和作用,提出了包括确定评估模式,建立指标体系,实施评估在内的全部课程评估工作应遵循的原则,在综合性评估模式中加入了课程制定评估,使评估模式更趋于完整、科学、合理。     

数学物理反演问题

介绍数学物理反演问题的概念、由来、历史、分类和特点。     

解二维卷积型积分方程的正则化方法

基于傅立叶变换和Tikhonov的正则化方法,讨论了解二维卷积型积分方程的正则化方法。     

条件适定性及其差分类比

讨论了各种适定性和它们之间的关系,给出ι适定性的差分类比,证明了一个类似于Lax等价定理的定理。     

副面母线为双曲线的环焦天线的分析与设计

为了解决标准卡氏天线的驻波特性差的问题,本文分析了副面母线为双曲线的环焦天线,给出了这种天线的最佳设计公式,并从能量守恒定理出发,导出了计算其方向图的简单表达式。利用文中所给的公式进行设计,可使天线获得良好的驻波特性。