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

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

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

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

TX6392型通信装备综合测试仪

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

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

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

武装直升机综合火/飞系统的组合智能控制

讨论了武装直升机综合火／飞系统的组合智能控制及系统的设计方法,并且针对某型直升机用数字仿真证明了这种系统的优点及其良好效能     

军用通信测量仪器与测试技术

本文阐述了通信测量仪器在军用通信中的地位及作用,介绍了军用通信技术的发展趋势,军用通信网所需测量仪器以及国内外军用无线通信测量仪器的现状、技术水平和发展方向。     

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

雷达至指挥仪基线修正研究

综合诸元是指挥仪解算精度较高的一种工作方式,但存在一个雷达至指挥仪间的基线误差,就这一误差进行了分析并提出了修正方法。     

一类较为完善的不可逆制冷机模型及其最优化

在考虑工质与热源间热阻损失的内可逆卡诺制冷机模型基础上,用一常数项表示热源间的热漏,用一常系数项表示循环中除热阻和热漏外的其余所有不可逆性（如摩擦、涡流、惯性效应等）,提出了一类较为完善的不可逆卡诺制冷机模型,并对此不可逆制冷机模型进行优化分析,导出了其最佳制冷率与制冷系数间的优化关系和最大制冷系数及其相应的制冷率。由定义的一常数项和一常系数项可定性、定量地分析不可逆性对循环性能的影响,所得结果包含了有关文献的一些特例。最后,给出了详细的数值算例,说明本模型的有效性。