编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

一种加入综合业务数据网的先进的卫星通信系统-DYANETⅡ

本文介绍了一种用于综合业务数据网的先进的卫星系统,称为“动态信道分配和选路的卫星辅助数字网(DYANETⅡ)”．DYANETⅡ利用卫星连通IDON用户并承担过量中继业务．DYANSTⅡ适用于补充地面通信系统的不足,以迅速在全日本扩展ISDN业务．先进的网络控制技术的发展使按呼叫逐个分配卫星信道以及为各种连接建立单跳连接成为可能．此外,借助于编号和收费系统以及户网络接口,DYANETⅡ能使卫星系统用户接收到与地面系统用户相同的ISDN业务。     

TX6392型通信装备综合测试仪

本仪器用于测试收发信机及单、三路载波机主要电性能。含10种仪表,可组合或单独使用。自动测试频率、功率、调幅度、频偏、调制频率、调制失真、信噪比、输出电平、失真度等,半自动测试灵敏度、选择性、振幅特性、净衰耗等。交流或直流供电,用24位5×7点阵[E]显示。测试结果可打印输出。     

变量有界线性目标规划的对偶算法

本文讨论了变量有界的线性目标规划问题,给出了求解这类问题的一个对偶算法,此方法与变量有界线性规划问题的对偶算法相类似。文中证明了算法的有效性,并举例说明了计算过程。     

散度、旋度和梯度在共同模式上的统一定义及其在一般坐标系中的应用

本文在推广的散度定理的基础上给出了散度、旋度和梯度与坐标无关的统一定义。着重在一般曲线坐标系中利用以三对坐标面为包容面的微元体为共同模式,把散度、旋度和梯度统一表示为某一微分量的极限值,从而直接导出了张量分析中这三种量的熟知的表达式。     

一种瞄准线稳定跟踪系统的探讨

本文提出了一种用于自行高炮或主战坦克的瞄准线稳定系统方案,讨论了稳定原理、数学模型及由此构成的跟踪系统。探讨了工程实践的三种方法。     

瞄准线坐标系内“自主式”解相遇问题研究

本文从两个方面进行论述,一是寻求合理的推导方法,对舰载火控系统瞄准线坐标系内“自主式”解相遇问题建立一般性的原理公式,二是提出一个“基本原理”,做为该原理公式可行性的理论依据,不失一般性,也具有一定的理论指导意义。     

桥丝式电火工品静电感度测试方法研究

本文对目前静电感度试验的现状进行了分析。在理论分析的基础上解决了JGY-50型静电火花感度仪的串联电阻和真空开关所带来的问题。提出了桥丝式电火工品的静电感度测试新方法,通过一个高压线性采样装置直接测量试样在试验过程中的电压、电流曲线,求得试样实际消耗的能量,以此统计试样的静电感度。采用这种方法,测试了JD-11电点火具的50％发火能与放电时间常数的关系,得到了呈单调规律变化的曲线。     

系统效能综合建模方法研究

在介绍了几种常见的武器系统效能建模方法之后,提出了一种综合采用解析计算、仿真、层次分析、模糊评判、专家评估等手段来建立效能模型的方法