网络节点双机容错系统中的重构算法

提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。     

多故障信息标志的临界路径跟踪

提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪（CPT）和故障信息跟踪（FIT）,但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。     

一个空-空射击的指挥仪模型及其解算

导出了一种指挥仪式的空－空射击模型,用于计算弹丸飞行时间和瞄准角误差。文中的模型严格地区分了向量和向量的坐标表示两个不同的概念,引入了线性代数的记号和运算;不使用小角度假设;在外弹道学子模型中使用了弹丸飞行时间,而不是射程作为自变量。最后还构造了一种迭代格式,并讨论了有关的计算问题。     

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

快速传送语法的设计与实现

国际标准化组织提出的抽象语法ASN-1和传送语法ASN-BER功能强,通用灵活,但在一般实现中存在编码效率低和开销大的缺点。本文讨论提高编码效率和速度的一般方法,以及描述快速传送语法的设计与实现技术。     

两栖装甲装备车内环境的测试与分析

综合运用噪声传感器、温度传感器、压电加速度传感器以及PXI采集器等设备,对影响两栖装备乘员持续战斗能力的环境适应性数据进行了采集与分析,得出了评估结果,找出了影响装备战斗力发挥的环境适应性因素,提出了相应的解决方案.     

Dynamic inventory control with limited capital and short‐term financing

For most firms, especially the small‐ and medium‐sized ones, the operational decisions are affected by their internal capital and ability to obtain external capital. However, the majority of the literature on dynamic inventory control ignores the firm's financial status and financing issues. An important question that arises is: what are the optimal inventory and financing policies for firms with limited internal capital and limited access to external capital? In this article, we study a dynamic inventory control problem where a capital‐constrained firm periodically purchases a product from a supplier and sells it to a market with random demands. In each period, the firm can use its own capital and/or borrow a short‐term loan to purchase the product, with the interest rate being nondecreasing in the loan size. The objective is to maximize the firm's expected terminal wealth at the end of the planning horizon. We show that the optimal inventory policy in each period is an equity‐level‐dependent base‐stock policy, where the equity level is the sum of the firm's capital level and the value of its on‐hand inventory evaluated at the purchasing cost; and the structure of the optimal policy can be characterized by four intervals of the equity level. Our results shed light on the dynamic inventory control for firms with limited capital and short‐term financing capabilities.Copyright © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 184–201, 2014     

科学化:推进马克思主义中国化时代化大众化的关键

推进马克思主义中国化时代化大众化,是我党对发展马克思主义的新认识和新要求.科学化是推进马克思主义中国化时代化大众化的关键.必须在坚持实事求是的精神、以人为本的价值取向、与时俱进的科学品质中发展马克思主义.     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的     

Analysis of a production system in a general configuration

We consider a production system comprising multiple stations (or workshops) such as an entry station, a set of work stations, a central station, and an exit station, which are arranged in a general configuration. A worker (or a vehicle tool) is assigned to each station, who sends a part from the station to the destination station according to the required process path of the part. Any part is allowed to visit a work station more than once if its process path requires. We propose a new control strategy with the push policy for instructing each worker to send a part and the kanban mechanism for controlling the work‐in‐process (WIP) in each work station. As all work stations have limited local buffers, the central station is used for storing blocked parts temporarily. Such a production system is modeled as an open queueing network in a general configuration with a Markovian part sending policy and a machine no blocking mechanism. The queueing network is analytically characterized. Some important performance measures are compared with other control strategies. A semi‐open decomposition approach is applied to the queueing network for computing the blocking probabilities when parts arrive at the work stations. An algorithm is developed based on the semi‐open decomposition approach. Numerical experiments show the quality of the solutions obtained by the algorithm as well as a property of a performance measure. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 128–143, 2001