关于区域到区域映射的某些新结果

研究了指数函数、对数函数所构成的映射的映射特点;拓广了基本映射公式,提出了利用基本映射公式求区域到区域的映射。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

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

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

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

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

瞄准线偏移故障诊断方程及其优化

本文利用矢量分析法,分析了瞄准线偏移与各故障因素的关系,导出了瞄准线偏移故障诊断方程并对其进行了优化。提出了一个不必调整炮耳轴水平而测定瞄准线偏移及其原因的方法。     

雷达角跟踪系统检测的新方法

本文提出了雷达角跟踪系统检测的一种新方法——暂态特性测试法。文中介绍了该检测方法的原理及由CCD摄象传感器件、单片微机等组成的检测设备。分析了实验结果,讨论了提高检测精度的措施。     

PC—1500计算机配置软磁盘机的研究与设计

本文研究并设计了一种新的接口电路,使 PC-1500计算机能够与软磁盘机配接、并能通过键盘编制注解文件。本系统使用的软磁盘格式与 IBM-PC 系列微机完全兼容。文中论述了接口电路及软件设计原理.     

舰载分布式系统总线的硬件实现及调试

舰载分布式系统总线局网HJ-90具有很高的数据传输速率,有较强的冗余容错能力,可入网节点数多达256个,它对于海军舰载指挥控制系统及其它一些实时控制系统的连网都具有很强的实用性。本文作者首先对该总线局网的硬件实现方法作了简要介绍,然后,作者着重就接口板调试中遇到的问题,对该总线局网的调试方法作了详细介绍。     

等离子体粒子模拟技术引起的对于色散关系的偏离及对孤立子模拟的影响

本文用解析分析的方法分析了等离子体粒子模拟中的有限大小粒子、电荷近网格分配和时间差分方法引起的相对于等离子体静电波色散关系的偏离,导出了修正后的色散关系。文中设计了等离子体粒子模拟的计算机模拟实验方案,验证了有限大小粒子和时间差分方法引起的对于色散关系的偏离;介绍了用不同大小粒子进行孤立子现象的等离子体模拟,结果表明,粒子的大小不同可产生相反的结果。     

新的固相反应法合成钼青铜化合物 NaxMo6O17的研究

本文介绍了一种以MoO_3和NaI 为原料,在高温、惰性气氛中通过氧化还原反应合成Na_xMo_6O_(17)化合物的新方法。进而研究了Na_xMo_6O_(17)化合物的组成分析和热分析方法。