一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

水压场信息处理系统

介绍了以３８６型微机为核心,由微压差传感器、传感器平衡及实时标定装置、直流放大器、Ａ／Ｄ转换器、站位控制电路构成的实验室用模型水压场信息处理系统．     

Client/Server 模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ）,它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ,以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性,讨论了ＣＳＥ的体系结构和实现技术,说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

多体存贮器有效频带分析

本文以排队论为工具建立了紧耦合多处理机系统存贮器的排队模型。通过对存贮体忙期的分析,得出了存贮器有效频带的解析表达式,研究了在保证存贮器有效频带最大的情况下,处理机的访存请求率λ、存贮体的服务率μ和存贮体数m 三者之间的关系。     

单片机控制的指挥仪航路产生系统

本文首先介绍单片机控制的指挥仪航路产生系统的原理及组成,重点讨论了目标现在点坐标由数字量到指挥仪所需要的模拟信号的转换方法,最后对该系统的误差结果进行了分析。     

某型制导炸弹实时仿真系统设计

采用训练仿真系统进行武器装备的维修和操作训练是当今装备的发展趋势。某型制导炸弹是我军即将装备部队的精确制导武器,为了提高训练质量、节约训练经费和延长装备寿命,迫切需要研制该型弹训练仿真系统。介绍了基于PC/104总线的该型制导炸弹实时仿真系统的软硬件设计与实现。该系统具有操作简单,模拟控制信号精确,检测迅速准确,可扩展性强等特点,满足了部队训练和院校实验室教学的要求。     

Fixed‐interval joint‐replenishment policies for distribution systems with multiple retailers and stochastic demand

We consider a distribution system consisting of a central warehouse and a group of retailers facing independent stochastic demand. The retailers replenish from the warehouse, and the warehouse from an outside supplier with ample supply. Time is continuous. Most previous studies on inventory control policies for this system have considered stock‐based batch‐ordering policies. We develop a time‐based joint‐replenishment policy in this study. Let the warehouse set up a basic replenishment interval. The retailers are replenished through the warehouse in intervals that are integer multiples of the basic replenishment interval. No inventory is carried at the warehouse. We provide an exact evaluation of the long‐term average system costs under the assumption that stock can be balanced among the retailers. The structural properties of the inventory system are characterized. We show that, although it is well known that stock‐based inventory control policies dominate time‐based inventory control policies at a single facility, this dominance does not hold for distribution systems with multiple retailers and stochastic demand. This is because the latter can provide a more efficient mechanism to streamline inventory flow and pool retailer demand, even though the former may be able to use more updated stock information to optimize system performance. The findings of the study provide insights about the key factors that drive the performance of a multiechelon inventory control system. © 2013 Wiley Periodicals, Inc. Naval Research Logistics 60: 637–651, 2013     

The Dutch COIN approach: three years in Uruzgan, 2006–2009

Rarely has a military commitment led to such intense discussion in the Netherlands as the Task Force Uruzgan (TFU) mission in Afghanistan. In February 2010, the Netherlands' coalition government even collapsed after the two largest parties failed to agree on the withdrawal of Dutch troops from Afghanistan later this year. This article deals first of all with the difficult discussion over the Afghanistan mission of the TFU. The authors then subject three ISAF operations to close scrutiny. The authors provide some suggestions to help understand better this pivotal point in the execution of the whole operation and thus give a fuller picture of the Dutch counterinsurgency approach in Uruzgan.