NSA在证明一类积分方程解存在性上的应用

本文应用NSA方法研究Voltter积分方程解的存在性问题,给出解的延拓定理.     

伙食费标准调整模式构想

部队伙食费标准调整是涉及到每一个官兵切身利益的大事,对部队战斗力产生直接的、重要的影响。那么,建立一种市场经济条件下的部队伙食费标准与市场物价同步增长的调整方法和模型就是我们当前和今后一定时期内需要着重探讨和解决的问题之一。本文认为,伙食费标准调整工作应同部队物价评价工作结合起来,在考虑物价上涨因素的情况下对伙食费标准进行调整。从这一观点出发,进一步建立了伙食费标准自适应调整模型。     

时间定额标准数学模型的建型步骤

介绍劳动时间定额数学模型的建型步骤,并着重说明建型过程中的非线性函数类型数据的判别方法。     

贯彻ISO 9000系列标准 推动兵器工业汽车发动机产品的更大发展

长安汽车有限责任公司把贯彻 ISO 9000标准视为求得兵器工业汽车产品更大发展的两大战略之一的标准化战略的重点工作,并使之与创名牌产品,推动企业技术进步结合起来,取得了明显效果。     

《金属镀覆和化学处理表示方法》新旧标准的对照过渡

对 GB/T 13911—92与 GB1238—76之内容、符号、表示方法等作了详细对照。并列举了表示方法新、旧对照实例,供参考。     

话带调解器及其最新发展

本文简要概述了话带调解器的概念及其标准,重点介绍了56kModem的概念及其最新发展。     

排队论在后勤保障中的应用

应用标准的M/M/n模型,证明在一定条件下,n个服务台集中在一起服务,优于各自独立的n个只有一个服务台的服务机构,从而证明在后勤工作中统一使用保障力量、相对集中配置保障力量原则的正确性。     

欧拉猜想计算机证明的一个新算法

文献（１）通过直接构造正交拉丁方对解答树并搜索树的所有结点这一算法,用计算机证明了不存在６阶正交拉丁方对。本文对上述算法做了改进,首先寻找所有６阶标准拉丁方,然后运用遍历解答树每个结点的方法逐一证明没有与之正交的拉丁方,从而实现欧拉猜想的机器证明,新算法使得机器运行时间大为缩短。     

学习2000年版ISO 9000族标准草案的几点体会

根据2000年版 ISO 9000标准的特点,对国内标准化机构、认证企业、认证机构及制造业在跟踪、转化和实施标准中应注意的问题提出了看法,对新贯标企业的质量体系设计提出了意见。     

美军无人机集群项目发展

近几年来,无人机集群技术在美军多个方面的推动下,引起了全世界的热切关注。文章简要总结了美军无人机集群发展现状,梳理了美军开展无人机集群技术的初衷,并分析认为美军数量型无人机集群发展战略不完全适用于现阶段我军军情。文中给出了我国现阶段发展无人机集群的思路,这对全面认识无人机集群的优势、明晰我军无人机集群技术发展方向具有一定的参考价值。