小钝头锥体全目标流场与光电特性一体化数值模拟

从简化的或全ＮＳ方程出发,采用化学非平衡和热辐射非平衡模型,数值模拟了有烧蚀产物引射条件下小钝头锥体全目标流场与光电特性,旨在为防护设计提供气动物理环境数据。计算结果表明,本文流场模拟数据与实验数据基本吻合,壁面烧蚀产物引射和壁面催化特性对流场电子数密度均有量级影响。     

应用参数微分法从弹丸试验数据获取阻力系数

本文在介绍弹道模型的基础上,讨论了应用参数微分法获取弹丸阻力系数的过程,并给出了计算机仿真实验结果。此方法已应用于靶场。     

新型八毫米电扫描跟踪天线

本文研究了一种小功率毫米波电扫天线的新技术。它用开关置于上、下两层双加脊波导组成的馈源中的四个二极管实现波束的快速电子扫描。文中讨论了研制技术难点与解决方法。实验所得各项指标均较满意。此技术也可方便地推广应用到其它微波频段。     

核电站运行诊断系统探讨

根据国外核电站诊断系统的现状,简要叙述其基本组成及工作过程,分析了运行诊断系统在核动力方面的应用前景,提出了加强核电站运行诊断系统应用有效性的几个问题。     

综合翻译理论观浅谈

介绍了翻译理论界两大学派：科学学派和艺术学派各自争论的焦点和缺憾,阐述了综合翻译理论观,即把科学和艺术学派的理论观结合起来,采取兼容并包的方针,来研究翻译理论。     

细长壳体水声辐射问题的有限元结合边界元解法

采用三角形面积元,提出了一种计算任意形状的细长壳体水声辐射问题的有限元结合边界元解法,推导了三角形面积坐标下的质量矩阵。在水动力方面,根据单层势的概念,提出了声场速度势的边界积分表示式,给出了三角形面积坐标下的附加质量矩阵和附加阻尼矩阵,从而得以建立流固耦合的有限元动力响应方程。本方法的进一步发展可用于计算具有加强肋骨的双层壳体结构的声辐射问题以及船体在随机激励下的远场声功率谱。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

核爆炸源区早期电磁脉冲的一种近似解析解

本文导出了地面核爆炸源区早期电磁脉冲波形的近似解析解。得出的电磁脉冲早期波形特征和γ射线源波形有一一对应关系。把解析结果与有关数值模拟结果进行了比较,符合得较好。为通过测量电磁脉冲来了解γ源波形特征提供了理论依据。     

关于最大公因数与最小公倍数概念的推广及其应用举例

本文运用通常最大公因数与最小公倍数的性质以引入非空整数组的最大公因数与最小公倍数的概念,并运用它引入群元素的特征数和环与域的特征数,此外论证了任意非空整数组必存在最大公因数和最小公倍数,且对于确定的非空整数组它们是唯一的