挖坑机钻头主轴纵向振动系统模型的建立与控制

首先利用弹性杆理论和H am ilton变分原理建立了挖坑机钻头主轴及钻尖在工作过程中由于外激励的作用使钻尖与土壤互相作用而产生纵向振动的动力学模型,同时给出边界条件和初始条件.其次通过把系统外激励函数当作控制变量,利用Banach空间几何性质证明了此系统存在唯一最优控制元.     

Optimal Investment Strategies for an Insurer with SAHARA Utility

In this paper, we consider the optimal investment strategy which maximizes the utility of the terminal wealth of an insurer with SAHARA utility functions. This class of utility functions has non-monotone absolute risk aversion, which is more flexible than the CARA and CRRA utility functions. In the case that the risk process is modeled as a Brownian motion and the stock process is modeled as a geometric Brownian motion, we get the closed-form solutions for our problem by the martingale method for both the constant threshold and when the threshold evolves dynamically according to a specific process. Finally, we show that the optimal strategy is state-dependent.     

Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

Multi-dimensional asymptotically quasi-Toeplitz Markov chains and their application in queueing theory

Multi-dimensional asymptotically quasi-Toeplitz Markov chains with discrete and continuous time are introduced. Ergodicity and non-ergodicity conditions are proven. Numerically stable algorithm to calculate the stationary distribution is presented. An application of such chains in retrial queueing models with Batch Markovian Arrival Process is briefly illustrated. AMS Subject Classifications Primary 60K25 · 60K20     

Non-self-adjoint sturm-liouville operators with matrix potentials

We obtain asymptotic formulas for non-self-adjoint operators generated by the Sturm-Liouville system and quasiperiodic boundary conditions. Using these asymptotic formulas, we obtain conditions on the potential for which the system of root vectors of the operator under consideration forms a Riesz basis.     

Dynamic Nonlinear Modelization of Operational Supply Chain Systems

Supply Chain Management (SCM) is an important activity in all producing facilities and in many organizations to enable vendors, manufacturers and suppliers to interact gainfully and plan optimally their flow of goods and services. To realize this, a dynamic modelling approach for characterizing supply chain activities is opportune, so as to plan efficiently the set of activities over a distributed network in a formal and scientific way. The dynamical system will result so complex that it is not generally possible to specify the functional forms and the parameters of interest, relating outputs to inputs, states and stochastic terms by experiential specification methods. Thus the algorithm that will presented is Data Driven, determining simultaneously the functional forms, the parameters and the optimal control policy from the data available for the supply chain. The aim of this paper is to present this methodology, by considering dynamical aspects of the system, the presence of nonlinear relationships and unbiased estimation procedures to quantify these relations, leading to a nonlinear and stochastic dynamical system representation of the SCM problem. Moreover, the convergence of the algorithm will be proved and the satisfaction of the required statistical conditions demonstrated. Thus SCM problems may be formulated as formal scientific procedures, with well defined algorithms and a precise calculation sequence to determine the best alternative to enact. A “Certainty equivalent principle” will be indicated to ensure that the effects of the inevitable uncertainties will not lead to indeterminate results, allowing the formulation of demonstrably asymptotically optimal management plans.     

Optimal production and rationing decisions in supply chains with information sharing

This paper considers a two-echelon capacitated supply chain with two non-identical retailers and information sharing. We characterize the optimal inventory policies. We also study the benefits of the optimal stock rationing policy over the first come first served (FCFS) and the modified echelon-stock rationing (MESR) policies.     

On then-cutset property

For a partially ordered setP and an elementx ofP, a subsetS ofP is called a cutset forx inP if every element ofS is noncomparable tox and every maximal chain ofP meets {x}∪S. We letc(P) denote the smallest integerk such that every elementx ofP has a cutsetS with ‖S‖?k: Ifc(P)?n we say thatP has then-cutset property. Our results bear on the following question: givenP, what is the smallestn such thatP can be embedded in a partially ordered set having then-cutset property? As usual, 2 ⁿ denotes the Boolean lattice of all subsets of ann-element set, andB _n denotes the set of atoms and co-atoms of 2 ⁿ . We establish the following results: (i) a characterization, by means of forbidden configurations, of whichP can be embedded in a partially ordered set having the 1-cutset property; (ii) ifP contains a copy of 2 ⁿ , thenc(P)?2^[n/2]?1; (iii) for everyn>3 there is a partially ordered setP containing 2 ⁿ such thatc(P)<c(2 ⁿ ); (iv) for every positive integern there is a positive integerN such that, ifB _m is contained in a partially ordered set having then-cutset property, thenm?N.     

一种供应链中的知识管理绩效评价方法研究

作为知识管理的重要组成部分，知识管理绩效评价旨在帮助企业找出影响绩效提高的关键因素并及时采取有效措施，提高知识管理水平。本文从创造顾客价值、知识的获取能力、知识的共享与传播能力、知识的运用水平、知识的存量水平和知识管理平台等六个方面，分析了评价供应链的知识管理绩效应考虑的主要因素，建立了供应链的知识管理绩效评价指标体系，在此基础上，提出了运用D-S证据推理方法，对供应链知识管理绩效进行评价，并给出了证据推理的算法步骤，最后通过算例分析，说明该方法的有效性、实用性。     

Single-period Two-product Inventory Model with Reorder and Substitution

In market, excess demands for many products can be met by reorder even during one period, and retailers usually adopt substitution strategy for more benefit. Under the retailer's substitution strategy and permission of reorder, we develop the profits maximization model for the two-substitutable-product inventory problem with stochastic demands and proportional costs and revenues. We show that the objective function is concave and submodular, and therefore the optimal policy exists. We present the optimal conditions for order quantity and provide some properties of the optimal order quantities. Comparing our model with Netessine and Rudi's, we prove that reorder and adoption of the substitution strategy can raise the general profits and adjust down the general stock level.