C逻辑值的类型及其应用

C逻辑值“真”和“假”分别为整数1和0,可作为普通的数参与数值运算,由此派生出许多巧妙算法。逻辑值与分支选择结构密切相关,在解决各类分支选择问题中有相应的应用。     

基于模型诊断的集合逻辑运算法计算最小碰集

在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算法则进行运算简化,可得到全部的最小碰集。该方法具有简单有效、数据结构简单、计算简便快捷和易于程序实现等优点。最后通过实例计算,验证了该算法的正确性、简单性和高效性。     

可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

灰集与泛灰集的关系及泛灰幂集中的逆合对应

本文讨论了如下三个问题:(1)从同构的角度给出了泛灰幂集的余运算;(2)证明了灰幂集与泛灰幂集就运算、∪、∩、C 来说是同构的;(3)讨论了泛灰幂集中的逆合对应,并说明了(g(u)、∪、∩、′)是Fluzzy 格。     

数字电路中引线逻辑值的计算

采用了事件驱动法计算电路的逻辑值,其特点是将变化的引线值定义为一个事件,根据事件是否发生计算引线的逻辑值,和下一事件法相比,该方法明显提高效率。     

用单板机测定程序执行时间的简便方法

此文以 TRS—80微型机与 DBJ—Z80单板机接成的测时系统为例,介绍了一种用单板机测定程序执行时间的具体方法。这种方法硬件接线和软件设计都很简单,操作方便,可测定用各种语言(如汇编、BASIC、FORTRAN 等)所编写的程序执行时间。笔者在不同型号的微型机上进行了试验,并同其它测时方法进行了对比,证明了这种测定方法切实可行。     

S—饱和集的性质及其应用

在一般拓扑空间(x,τ)的非标准扩张(“x,”τ)中引入S—饱和集的概念.在一定条件下,S_t映射对于S—饱和集保持集的基本运算.基于这一事实,证明了标准Souslin集与Loeb可测集的关系定理,得到μ_L一零集在S_t映射下是μ—零集的一个充分条件.     

BASIC 主程序与汇编语言子程序连接的新方法

本文总结了在实际工作中摸索的 BASIC 主程序与汇编语言子程序连接的新方法。它采用 DEBUG 的 W 命令直接将汇编子程序的机器代码存入磁盘的扇区。再在 BASIC 环境下调用 DOS 中断25H,将汇编子程序机器码装入内存,然后可由CALL 语句或由 USR 函数调用。该方法可以简化 BASIC 主程序和汇编语言子程序的调试和连接过程。     

基于高性能DSP实现的多普勒波束锐化实时成像处理

在简要介绍多普勒波束锐化 (DBS)成像原理和TMS32 0C6 2 0 1芯片特点的基础上 ,着重讨论了DBS成像算法基于DSP的实现。在实现过程中充分考虑了通用DSP完成非线性运算、除法运算耗时大以及存贮I/O操作耗时不能忽略等特点。最后分析了算法性能并给出了实验结果     

基于降低运算复杂度的子空间跟踪算法稳健性分析

FDPM和FOOJA是目前两种最为有效的适用于主、次子空间跟踪的方法,属于低复杂度算法。进一步降低算法运算复杂度,对保证算法的实时性具有非常重要的意义。以降低算法运算复杂度为背景,通过对FDPM、FOOJA算法的分析,指出存在两种简化运算量的FDPM1stcol、FOOJA1stcol方法。在有限精度运算条件下,对四种方法的稳定性、数值鲁棒性进行了深入分析和讨论。通过实验仿真,对分析的结论进行了验证。     

高中数学教学应重视学生运算能力

高中数学学习随着学习内容的加深,运算的能力要求也不断提高,学生在运算中暴露的问题也越来起多,究其原因无外乎以下三条,一是只重视机械的运算,不重视对概念的理解,因而对运算结果缺乏完整的讨论;二是只会盲目地运算练习,而不懂得对知识结构、方法、技巧的归纳整理;三是由于计     

利用结型场效应管实现自动增益控制

在机电模拟式指挥仪中通常借助于小功率随动系统完成公式系中联立方程的求解以获取输出诸元,担负这种任务的系统通称为解算随动系统(下简称系统)。它除应满足给定的品质指标外还要反映公式系所提出的条件。在图1所示求取方位角γ的原理图中,X、y为目标现在点水平座标,V_X、V_y为微分平滑后求得之目标沿X、y轴的水平速度分量,t_f为弹丸飞行时间。提前量V_x·t_f 和V_y·t_f通过运算放大器X_q、y_q与X、y相加后由正余弦旋转变压器XZ—γ进行向量合成,然后正弦绕组给出求取γ的误差讯号d_q·δγ,余弦绕组给出的水平斜距离d可兼做自动增益控制讯号。通过系统解算消除误差(即使d_ч·δγ为零)得到γ值并向XZ——γ闭环。     

基于扩充关系模型的MDBMS研究

讨论了多媒体数据库管理系统 (MDBMS)中扩充关系模型的研究问题。阐述了在关系模型基础上建立层次—关系模型和对象—关系模型的思路 ,分析了它们的逻辑与物理结构 ,并结合Illustra系统使用SQL语句举例进行了说明     

由内超实度量导出的拓扑

应用非标准方法研究由内集 E 上的超实度量所导出的 Q—拓扑与 S—拓扑,给出这两种拓扑的一些重要性质:(E,Q)是完全不连通的且其紧子集都是有限集;G(X)/关于 E 上的 S—拓扑的商拓扑是可度量化且完备的;G(X)的有界子集 A 若满足A/是 S—拓扑的商空间G(X)/的闭子集,则 A 是 S—紧的,本文还讨论了 S—拓扑在构造完备度量空间的应用。     

条件事件的表示

为了进行条件推理，本文讨论了条件事件的表示，并给出了相应的逻辑运算规则，引入了零事件间的概率比和多重条件事件的超条件事件概率的概念，它们均是无条件情形的推广。     

基于AM-LFM与BOMP的ISAR成像算法

对含微动运动的目标进行稀疏孔径逆合成孔径(ISAR)成像时,基于Chirplet分解和压缩感知(CS)的成像算法存在运算效率低、重构精度与鲁棒性差等问题。针对上述算法中存在的不足,提出了基于调幅-线性调频(AM-LFM)分解和贝叶斯正交匹配追踪(BOMP)的改进微动目标成像算法。应用该改进压缩感知(CS)算法进行微动目标成像,实验结果表明:由于改进算法采用AM-LFM分解和BOMP重构,提高了重构精度、鲁棒性与运算效率,成像效果比原算法更好。     

复杂系统使用保障测试性设计方法初探--故障设备影响分析及其应用

分析了复杂系统使用保障测试性设计方法的技术背景,系统战备状态的含义、重要性和描述方法;重点探讨了系统设备级(初始约定层次)故障设备对系统分系统战备状态影响进行分析的有效方法。并以某防空导弹武器系统为例,介绍如何利用功能分析法具体解决复杂系统使用保障测试的可测性、可控制性和可观察性等工程化设计问题。推荐一组实用的系统/分系统战备状态(正常/降级/故障)判定逻辑运算数学模型和基层级综合保障(使用保障+维修保障)计划流程图。     

反辐射导弹对地空导弹雷达装备的毁伤模型研究

对常规杀伤方式(破片杀伤)反辐射导弹建立毁伤模型,分析其破片场,研究其有效破片随距离的失效规律,最后讨论其模拟程序框图,仿真运算验证模型的可行性.     

固体火箭发动机燃烧室内一维两相变截面流动

本文在固体火箭发动机燃烧室中两相流动基本方程的基础上,导出了同时考虑侵蚀燃烧和两相流动的计算方程组,详细讨论了方程的数值求解方法,分析了侵蚀燃烧引起的通道横截面积沿长度的变化和两相流动对压力—时间曲线及燃烧室流场的影响,有利于准确预估压力—时间曲线和理论计算燃烧室中的流场。     

数字积分机工作在混合计算系统中一些问题的探讨

通过对国外数字积分机——通用数字机混合计算系统在军事中的运用和工作状态的讨论,指出这类混合计算机的特点,以及近几年来有关数字积分机运算方法的改进。最后介绍了我们曾在441—B机上模拟数字积分机——通用机混合计算系统的方法,和我们自己的一些看法。