布尔函数运算在计算机上的实现

用计算机自动求取一个电路的故障的测试码时,常常要遇到布尔函数表达式的运算。例如用布尔差分法求测试码时,有时要求扇出线的布尔差分,就需要从定义求,即 df/dx_i=f_i(1)f_1(0)=f_1(1)f_i(0)+f_i(1)f_i(0)其中 f_i(1)=f(x_1,x_2,…,x_(i-1),1,x_(i+1),…x_n) f_i(0)=f(x_1,x_2,…,x_(i-1),0,x_(i+1),…x_n)这时就涉及到布尔函数的“非”“逻辑乘”“和”“逻辑加”等运算。此外,在求测试码的过     

采用压缩感知的卫星高频姿态确定方法

高频振荡通常会超过星载陀螺和星敏的测量频率范围,导致卫星姿态确定精度下降。因此,提出一种基于常规姿态传感器进行高频姿态确定的方法。将高频姿态抖动看作一个稀疏信号,通过压缩感知的方法将该信号从低频采样结果中恢复。利用低带宽姿态传感器和卡尔曼滤波器测量得到低频姿态数据并进行融合,再通过压缩感知算法从融合数据中恢复出高频姿态数据。通过仿真实验验证了该方法的有〖BHDWG8,WK10YQ,DK1*2,WK1*2D〗〖XCWP.TIF;%129%129〗听语音 聊科研与作者互动 效性。     

整环上不定方程组的通解公式及其应用

借助Z上矩阵A∈Mm×n(Z)的标准形式D=VAU=diag(d1,d2,…,dq,0,…,0),得到了整环上不定方程组AX=B的通解公式以及矩阵初等变换法.     

未标定的视频小卫星深空目标凝视控制

设计了一种目标凝视自适应姿态控制方法,可以实现未知目标位置和未标定相机参数条件下的目标凝视控制。根据运动学方程提取出恰当的未知参数,从而将参数进行线性化表示;引入关于未知参数的势函数,确保参数矩阵的秩满足稳定性要求;采用了一个参数自更新律在线估计未知参数,提出了基于估计参数的自适应控制律。采用李雅普诺夫稳定性理论和芭芭拉特引理,证明了目标成像位置与期望成像位置的误差可以渐近收敛到零。仿真结果表明:目标位置未知且相机参数存在偏差的情况下,该自适应控制器能〖BHDWG8,WK10YQ,DK1*2,WK1*2D〗〖XCSC.TIF;%129%129〗听语音 聊科研与作者互动 够有效地对深空目标进行凝视观测。     

中国民兵之歌

一弋脚尸气~泌夕1=D琴 件进行速度、坚定、豪迈地崔润生词马学思曲(业… }>>旦1 2 16·05·0>6·0 236一{50}5 23了/称丫1一}10)0 5 55 面-~一一石.诞生乡城0 3 21 风雨中 漫长的2吞…卫旦卫z长成,战歌中边境,到处有13走来强大的血火里广阔的 /一~\5 77中国 中国/一一~个\3一」     

扫频仪的打印接口电路

本文介绍一个打印出传统型扫频仪的幅-频特性曲线的打印接口电路设计,本电路设计采用两块A／D转换芯片巧妙地获得频率为f0、f1、f、…fn所对应的被测网络的输出幅度特性的一组数据的方法,这组数据通过打印接口送到打印机便可以打印出被测网络的幅一频特性曲线。     

满足线性二次型调节器性能指标的群系统编队跟踪问题优化控制方法

针对群系统编队跟踪问题,提出一种满足线性二次型调节器性能指标的优化控制方法。建立编队跟踪问题的数学描述和设计编队跟踪控制协议。给出群系统实现编队跟踪的充要条件,借助李雅普诺夫第二方法分析系统的稳定性。得到了控制协议能够最小化线性二次型调节器性能指标的拓扑条件,设计了编〖BHDWG8,WK10YQ,DK1*2,WK1*2D〗〖XCWL.TIF;%129%129〗听语音 聊科研与作者互动 队跟踪算法。仿真实验验证了控制方法的有效性。     

美国国防部规划的电子战经费概要(续)

美国空军电子战系统的采购预算(198～1987) 经费(百万美元)财政年度 序号 计 划 名 称 1985 1986 1987 战斗机 2 B-IB少量预先采购(0.01)6 5 一 4 F-15C/D/E少量预先采购(0.01)18 19 18 6 F-16C用少量预先采购(0.of)24 28 30 飞 机 29 TR-1/U-2少量预先采购(0.2)34 69 22 战略飞机的改进型 31～33 B-52G,FB-111,B-IB(0.15)70 72 132 ·不断改进的ALQ-117 B-52G Pave A4int ·B52H的 ALQ-172电子于扰 ·提高箔条/曳光弹的电子战训陈功能 ·提高*r皿二A的电子…     

带先入先出缓冲区的A/D和D/A转换与TMS32010接口的实现

本文为了MS32010芯片*在语音信号处理方面的一种应用,设计了一种具有128个数据字先入先出存贮功能的线性12位A/D和D/A接口。     

数值计算中的一些问题

在我们的计算方案中,常用到几种计算:一是求矩阵的逆;一是计算J_0(x),J_1(x),…等的值,另一是复矩阵的计算,现将所采用的方法及有关问题写在下面。 (一) 矩阵求逆运算中的误差分析§1 Gauss消去法求逆的基本运算公式     

自动消防系统在大型物流仓库中的应用

在分析物流仓库结构和功能的基础上,总结了物流仓库的火灾特点。通过对不同自动灭火系统的分析,认为自动喷水灭火系统是最适宜保护物流仓库的固定灭火系统。根据三种类型的自动喷水灭火系统的特点,讨论了湿式系统、ESFR系统和预作用系统的选用条件,阐述了系统进行设计时应注意的问题,最后列举出自动喷水灭火系统的应用实例。     

群指挥系统分析与设计问题

对系统的开发方法进行了深入的分析比较,认为原药－结构化生命周期法是一种比较有效的方法,应用这种方法和过程－数据矩阵分析方法对炮兵群指挥系统进行了分析与分解,提出了系统的总的逻辑模型。文中还在系统配置、通信与软件结构等方面提出了改善系统反应速度和可靠性所能采用的措施,还提出了一种避免火力交叉的任务分配方法与火力分配及弹药消耗量的优化算法。     

激励系统分析与设计

阐述激励的产生机制及重大意义 ,设计综合的激励系统 ,分析激励的个性差异 ,探讨高效的激励方略。     

美军信息系统一体化建设及启示

为了实现各军兵种之间的互联、互通,提高信息的质量和实时共享能力,建设一体化信息系统成为必然。从研究美军的信息一体化建设经验出发,分析了美军在建设的各个阶段的重点工作和特点,总结了其建设的基础和关键及一些重要工作,之后,对我军的信息系统一体化的发展途径进行了探索,提出了我军信息系统一体化建设的方案构想,从而为我军在未来的信息战中夺取优势做好准备。     

C4KISR系统成熟度的评价方法及其成熟度模型

针对指挥自动化系统与武器系统一体化(即C4KISR)的演进过程及发展趋势,探索C4KISR系统成熟度的有关问题。在对C4KISR系统的内涵、组成、功能和主要特征作简要分析之后,提出了评价系统成熟度的两种方法,构建了系统成熟度模型框架,并针对其中一种方法建立了系统成熟度模型。该模型为衡量C4KISR系统的发展水平提供了方法。     

面向指挥信息系统与训练仿真系统互联中间件研究

针对实装系统与仿真训练系统的运行机制、实现机理、技术规范和应用需求的差异,实装系统与仿真系统的互联问题制约着基于信息系统的指挥对抗训练,构建融“导”、“控”、“仿”、“裁”、“评”等功能为一体的综合训练环境是一种迫切需要。本文采用基于主动感知的数据转换方法、基于模板的信息智能交互方法和异构系统集成方法等构建中间件系统,并从数据转换桥接、时间管理桥接、导调监控桥接、指挥命令桥接和互联规范桥接等方面实现实装系统与仿真系统互联、互通。     

指挥自动化系统效能评价指标体系的结构

从一般系统评价中效能的基本概念入手,给出了指挥自动化系统效能评价中效能的分类及各类的定义,总结了指挥自动化系统效能评价的特点,引入一类新的效能——作战任务效能;在此基础上提出了指挥自动化系统效能评价指标体系的结构,即“作战效能指标——作战任务效能指标——系统效能指标——系统性能指标”的四层指标结构,并进一步研究了指挥自动化系统效能评价过程中各类指标之间的关系。     

不确定系统鲁棒控制方法及在火控系统中的应用

将Ｃｈｅｎ和Ｌｅｅ给出的线性不确定性系统设计的鲁棒方法推广到一类相当广泛的仿射非线性系统。并针对某双３５火炮的随动系统设计问题进行了仿真研究,仿真结果证明了方法的有效性。     

国外指控与火控系统的最新进展

本文主要介绍国外高炮、坦克和防空指挥控制系统和通信系统的最新进展与发展特点。     

国外指控与火控系统的最新进展

本文主要介绍国外高炮,坦克和防空指挥控制系统和通信系统的最额进展与发展特点。