基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

高比重钨合金的烧结成形与组织性能研究

采用液相烧结成形工艺制备了90W-Ni-Fe合金棒,通过分析烧结态钨合金的组织形貌和力学性能,观察合金的断口组织形貌,研究了烧结工艺对高比重钨合金组织性能的影响,认为减少W-W界面,增加W-W界面的结合强度,是提高烧结态钨合金力学性能的有效途径。     

基于ASP．NET技术的动态网页实现

ASP .NET为Web应用系统开发提供了一种全新的灵活的基础结构,是迄今为止最先进的Web应用服务系统开发平台.动态网页是Web应用服务系统的核心.提出了采用ASP .NET技术实现动态网页的方法,在数字化油库与油库信息可视化项目研究中得到很好的应用.     

非均布应力场中内埋裂纹的应力强度因子

在内埋裂纹线性线弹簧模型的基础上,通过引入二维权函数将裂纹面上的非均布载荷进行均布化等效,求解了中心内埋椭圆形裂纹在沿板厚非均匀分布应力场中的应力强度因子,列出了问题的奇异积分方程,利用Gauss-Chebyshev方法求解了在4种应力场分布情形下的数值结果,并与已有文献的解进行了比较,当a0/c0 ＜0.4、a0/h≤0.3时,两者结果具有较好的一致性,表明了本文方法的合理性和可靠性.     

中继镜系统作用效果与上行链路望远镜口径关系分析

建立了中继镜系统模型,计算了30km高度中继镜系统作用效果与上行链路望远镜口径的关系,结果显示:当望远镜口径低于0.42m时,系统作用效果随着望远镜口径增大而显著提升;在0.42～0.54m范围内,系统作用效果随着上行链路望远镜口径增大而显著降低;当望远镜口径大于0.54m时,系统作用效果随着上行链路望远镜口径的增加而增加,但增加的幅度逐步降低,当望远镜口径增加到一定大小后,系统作用效果趋向于稳定值,望远镜口径的增加对系统作用效果不具有提升作用.分析了系统作用效果在0.42～0.54m范围内出现突降的原因,计算结果显示:上行接收光束强度不均匀性导致二次光源光束质量的急剧下降,进而降低了系统作用效果.文章的计算结果为中继镜系统参数设置提供参考.     

Newsvendor problems with sequentially revealed demand information

This article analyzes a capacity/inventory planning problem with a one‐time uncertain demand. There is a long procurement leadtime, but as some partial demand information is revealed, the firm is allowed to cancel some of the original capacity reservation at a certain fee or sell off some inventory at a lower price. The problem can be viewed as a generalization of the classic newsvendor problem and can be found in many applications. One key observation of the analysis is that the dynamic programming formulation of the problem is closely related to a recursion that arises in the study of a far more complex system, a series inventory system with stochastic demand over an infinite horizon. Using this equivalence, we characterize the optimal policy and assess the value of the additional demand information. We also extend the analysis to a richer model of information. Here, demand is driven by an underlying Markov process, representing economic conditions, weather, market competition, and other environmental factors. Interestingly, under this more general model, the connection to the series inventory system is different. © 2012 Wiley Periodicals, Inc. Naval Research Logistics 2012     

Optimal path finding in direction,location, and time dependent environments

This article examines optimal path finding problems where cost function and constraints are direction, location, and time dependent. Recent advancements in sensor and data‐processing technology facilitate the collection of detailed real‐time information about the environment surrounding a ground vehicle, an airplane, or a naval vessel. We present a navigation model that makes use of such information. We relax a number of assumptions from existing literature on path‐finding problems and create an accurate, yet tractable, model suitable for implementation for a large class of problems. We present a dynamic programming model which integrates our earlier results for direction‐dependent, time and space homogeneous environment, and consequently, improves its accuracy, efficiency, and run‐time. The proposed path finding model also addresses limited information about the surrounding environment, control‐feasibility of the considered paths, such as sharpest feasible turns a vehicle can make, and computational demands of a time‐dependent environment. To demonstrate the applicability and performance of our path‐finding algorithm, computational experiments for a short‐range ship routing in dynamic wave‐field problem are presented. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

Economic lot sizing with constant capacities and concave inventory costs

This article studies the classical single‐item economic lot‐sizing problem with constant capacities, fixed‐plus‐linear order costs, and concave inventory costs, where backlogging is allowed. We propose an O(T³) optimal algorithm for the problem, which improves upon the O(T⁴) running time of the famous algorithm developed by Florian and Klein (Manage Sci18 (1971) 12–20). Instead of using the standard dynamic programming approach by predetermining the minimal cost for every possible subplan, we develop a backward dynamic programming algorithm to obtain a more efficient implementation. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

Partial equilibrium in risk‐based production decisions

Characteristically, a small subset of operational problems admit risk neutrality when contingent claims methodology were used in their analysis. That is, for the majority of manufacturing and production problems, operating cash flows are not directly linked to prices of traded assets. However, to the extent that correlations can be estimated, the methodology's applicability to a broader set of operational problems is supported. Our article addresses this issue with the objective of extending the use of contingent claims techniques to a larger set of operational problems. In broad terms, this objective entails a partial equilibrium approach to the problem of valuing uncertain cash flows. To this end, we assume risk aversion and cast our approach within Merton's intertemporal capital asset pricing model. In this context, we formulate a “generic” production valuation model that is framed as an exercise in stochastic optimal control. The model is versatile in its characterization and can easily be adapted to accommodate a wide‐ranging set of risk‐based operational problems where the underlying sources of uncertainty are not traded. To obtain results, the model is recast as a stochastic dynamic program to be solved numerically. The article addresses a number of fundamental issues in the analysis risk based decision problems in operations. First, in the approach provided, decisions are analyzed under a properly defined risk structure. Second, the process of analysis leads to suitably adjusted probability distributions through which, appropriately discounted expectations are derived. Third, through consolidating existing concepts into a standard and adaptable framework, we extend the applicability of contingent claims methodology to a broader set of operational problems. The approach is advantageous as it obviates the need for exogenously specifying utility functions or discount rates.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

机载无源干扰诱饵的运动特性研究

考虑机载无源干扰诱饵自身的属性和其所处的大气环境,对其进行受力分析,发现无源干扰诱饵受空气动力和自身重力的影响较大。据此建立了无源干扰诱饵的动力学模型和运动学模型,仿真得出无源干扰诱饵的运动情况。在对箔条云受力和单根箔条受力分析的基础上,给出等效球的概念,在仿真中直观地得到了箔条云的散开过程。