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

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

三维空间中高斯束法有关应用公式的推导

本文从理论上推导了三维空间中高斯束法有关应用公式,研究了高斯束的性质,阐述了高斯束在自由空间中的传播规律及其在界面上的反射规律。文中还探讨了高斯束初值的选择及其反射后的相位补偿问题,为高斯束法在三维空间中的应用创造了条件。     

未修正单炮基线的误差及其对射击效率的影响

如果高炮系统的指挥仪没有修正炮阵地中心至各炮的基线,则会产生射击误差。本文分析了由此而产生的射击误差的特性,计算方法及其对高炮系统射击效率的影响。     

关于烟雾对光电成像装备的干扰效果试验及其试验靶标

主题是如何通过外场试验定量评价烟雾对光电成像装备的干扰效果。提出一种综合靶标,可用于这种外场试验,也可考察光电成像装备抗烟雾干扰的能力。它适用于普通观瞄器材、照相侦察和摄像装备、微光夜视设备、热成像系统等。     

雷达目标回波信号的混沌、多重分形分析与识别

本文旨在将混沌、多重分形的理论和方法引入雷达信号处理，从混沌、分形动力学角度来揭示和刻划复杂目标散射机理，为进行有效信号处理和可靠目标识别寻找新的理论和技术实现方法。文中统计了五种飞机目标回波信号的Ｌｙａｐｕｎｏｖ指数分布情况，并计算了其多重分形维数，然后在此基础上，进行了目标识别的实验，获得了较高识别率。本文的研究表明，混沌、多重分形理论在目标特性及识别的研究中具有良好的应用前景。     

《线性代数》教学与观念更新

《线性代数》是理、工、农、经类各专业的一门重要的基础课,对后续课程起到工具性、奠基性的作用。《线性代数》中许多概念抽象、层次甚高,学生普遍感到难学,教师在教学中要注意指导和帮助学生更新观念,使其加深对抽象概念的理解,以便较好地掌握基础的代数思想和代数方法。     

图形模型在航迹规划中的应用

对几种图形模型航迹规划的基本原理和方法进行了介绍,并进行了仿真验证。针对图形模型航迹规划中可行点选取的随意性,提出利用遗传算法寻找初始可飞区域内的可行点,将可行点连接起来就组成了初始可行航迹,此时便可用dijkstra算法进行航迹规划。由于标准传统遗传算法航迹规划的不足,提出运用实数编码的贝叶斯优化算法进行航迹规划,通过仿真验证了算法的有效性。     

双机编队协同制导的火控机理

针对半主动雷达中制导的远距空空导弹在制导过程中对载机的强依赖性问题,提出了双机协同制导的概念;首次给出了双机协同制导的过程描述.分析了长、僚机制导过程中对导弹导引和目标跟踪过程中的各计算要素;提出了长机对目标预测并进行数据传递,僚机再通过预测值对目标实施机动和照射的协同制导思想.     

The impact of animal welfare regulations on firms' product offerings: Humane or organic product?

Increased public concerns about animal welfare have spurred new regulations to improve animals' treatment and living conditions. We study how these regulations affect firms' product offerings, prices, and profits. We consider two competing animal agriculture supply chains, each consisting of a supplier and a buyer. New regulations require firms to choose between offering humane or organic products, which are differentiated by animals' living conditions. We find that consumers' growing awareness of animal welfare encourages firms to offer organic products, which require the highest standards for animals' living conditions. We also show that tightening humane product standards and loosening organic product standards encourage firms to offer organic products—but with distinct pricing implications. The former leads to higher retail prices whereas the latter may lower retail prices. Depending on costs and consumers' awareness of animal welfare, a humane product may be priced higher or lower than an organic product. Furthermore, we provide conditions under which a regulator should offer a unit-cost or an investment cost subsidy to improve social welfare. We show that subsidies can encourage firms to change from offering humane to organic products, or vice versa, to enhance total social welfare.     

信号处理与深度学习硬件加速的一致性计算结构

在计算需求层面对多种典型信号处理算法与深度学习算法进行了分析与模块化分解,提取了两类应用共有的且适合并行硬件加速的计算模块,提出了信号处理与深度学习的一致性计算模型,并基于一致性计算模型设计了控制与计算分离的层次化处理单元与阵列化计算结构。通过对不同应用计算过程的软件定义能够实现信号处理与深度学习的一致性硬件加速计算,基于Zynq计算平台从重构效率与计算性能两个方面对一致性计算模型与计算结构进行了验证,结果表明：基于一致性计算模型的软件定义可重构计算结构,具有较高的计算性能与重构效率。