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

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

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

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

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

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

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

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

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

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

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

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

军事信息服务的概念体系及其应用

随着军事变革和信息技术的发展,传统的指挥控制系统已经无法满足联合作战的需求,下一代指控系统必然是基于面向服务思想构建的。针对该情况,介绍了军事信息服务的概念体系,提出了军事信息服务的逻辑结构,分析了军事信息服务的组成分类,并在此基础上,给出了基于服务的指挥控制系统构建框架以及军事信息服务应用模型,最后给出了结论。     

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.     

基于对象Petri网(OPN)的C3I系统仿真建模

首先介绍了OPN的特点和利用OPN建立C3I系统仿真模型的一般步骤,然后用一个简单的实例说明了该方法的使用情况,并总结了该方法在建立C3I系统仿真模型中的优缺点.     

灰色可靠性设计模型及其在机械工程应用

将灰色系统推广到概率统计理论 ,阐述了灰色概率公理化体系 ,研究了灰色概率密度函数与灰色可靠度计算方法 ,建立了应力—强度干涉灰色可靠度计算模型及其白化求解方法 ,编制了matlab5 3语言程序。给出了工程应用实例 ,并对结果与常规可靠性设计进行了对比分析 ,显示了本模型的正确性与可行性。它可用于设计参数变动对可靠度的灵敏度分析及其稳健性可靠性设计 ,有效地控制设计参数