Curvature and entropy based wall boundary condition for the high order spectral volume Euler solver

A curvature and entropy based wall boundary condition is implemented in the high order spectral volume (SV) context. This method borrows ideas from the “curvature-corrected symmetry technique” developed by (Dadone A, Grossman B. Surface Boundary Conditions for Compressible Flows. AIAA J 1994; 32(2): 285–93), for a low order structured grid Euler solver. After numerically obtaining the curvature, the right state (by convention, the left state is inside the computational domain and the right state lies outside of the computational domain) face pressure values are obtained by solving a linearised system of equations. This is unlike that of the lower order finite volume and difference simulations, wherein the right state face values are trivial to obtain. The right state face density values are then obtained by enforcing entropy conservation. Accuracy studies show that simulations performed by employing the new boundary conditions deliver much more accurate results than the ones which employ traditional boundary conditions, while at the same time asymptotically reaching the desired order of accuracy. Numerical results for two-dimensional inviscid flows around the NACA0012 airfoil and over a bump with the new boundary condition showed dramatic improvements over those with the conventional approach. In all cases and orders, spurious entropy productions with the new boundary treatment are significantly reduced. In general, the numerical results are very promising and indicate that the approach has a great potential for 3D high order simulations.     

SODA: A new method of in-scene atmospheric water vapor estimation and post-flight spectral recalibration for hyperspectral sensors: Application to the HyMap sensor at two locations

A new method of estimating per-pixel atmospheric column water vapor (ACWV) and potential differences in the reported band center wavelengths of the HyMap sensor has been developed. The new method uses variations of a second order derivative algorithm (SODA) to assess the impact of atmospheric residual features on calculated surface reflectance spectra after atmospheric compensation. The SODA method provides an alternative to the current band ratio techniques of ACWV estimation and also allows the same form of algorithm to be used for the estimation of possible band shifts. A comparison of in-situ measured surface reflectance at two field sites in Western Australia demonstrates improvement in the resulting spectra when post-flight updates are made to the reported HyMap band center wavelengths and applied during the atmospheric compensation process. The same SODA methodology was varied to estimate the ACWV on a per-pixel basis and found to significantly reduce the appearance of the underlying surface structure on the resulting ACWV images as well as improve the overall accuracy of the estimation. The ACWV estimated from the HyMap imagery at the two field sites was found to agree with in-situ atmospheric ACWV measurements to within 2% and represented a two fold increase in accuracy over a 3 band ratio Continuum Interpolated Band Ratio (CIBR) technique of ACWV estimation.     

Adaptive rational Krylov subspaces for large-scale dynamical systems

The rational Krylov space is recognized as a powerful tool within model order reduction techniques for linear dynamical systems. However, its success has been hindered by the lack of a parameter-free procedure, which would effectively generate the sequence of shifts used to build the space. In this paper we propose an adaptive computation of these shifts. The whole procedure only requires us to inject some initial rough estimate of the spectral region of the matrix, while further information is automatically generated during the process. The approach is a full generalization to the nonsymmetric case of the idea first proposed in Druskin et al. (2010) [18] and it is used for two important problems in control: the approximation of the transfer function and the numerical solution of large Lyapunov equations. The procedure can be naturally extended to other related problems, such as the solution of the Sylvester equation, and parametric or higher order systems. Several numerical experiments are proposed to assess the quality of the rational projection space over its most natural competitors.     

Analysis of the M/G/1 queue with discriminatory random order service policy

We consider an M/G/1 queue with different classes of customers and discriminatory random order service (DROS) discipline. The DROS discipline generalizes the random order service (ROS) discipline: when the server selects a customer to serve, all customers waiting in the system have the same selection probability under ROS discipline, whereas customers belonging to different classes may have different selection probabilities under DROS discipline. For the M/G/1 queue with DROS discipline, we derive equations for the joint queue length distributions and for the waiting time distributions of each class. We also obtain the moments of the queue lengths and the waiting time of each class. Numerical results are given to illustrate our results.     

Partial order reduction for state/event LTL with application to component-interaction automata

Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL (Chaki et al. (2004, 2005) [1] and [2]) incorporates both states and events to express important properties of component-based software systems.The main contribution of this paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence.To bring some evidence of the method’s efficiency, we present some of the results obtained by employing the partial order reduction technique within our tool for verification of component-based systems modelled using the formalism of component-interaction automata (Brim et al. (2005) [3]).     

One-sided multiple comparisons for treatment means with a control mean

We study comparisons of several treatments with a common control when it is believed a priori that the treatment means, μ_i, are at least as large as the control mean, μ₀. In this setting, which is called a tree ordering, we study multiple comparisons that determine whether μ_i>μ₀ or μ_i=μ₀ for each treatment. The classical procedure by Dunnett (1955) and the step-down and step-up techniques by [Dunnett and Tamhane, 1991] and [Dunnett and Tamhane, 1992] are well known. The results in Marcus and Talpaz (1992) provide multiple comparisons based on the maximum likelihood estimates restricted by the tree ordering. We also study two-stage procedures that consist of the likelihood ratio test of homogeneity with the alternative constrained by the tree ordering followed by two-sample t comparisons with possibly different critical values for the two-sample comparisons. Marcus et al. (1976) discuss the use of closed tests in such situations and propose using a closed version of the restricted likelihood ratio test. We describe step-down versions of the Marcus-Talpaz, the two-stage, and the likelihood ratio procedures, as well as a closed version of the Marcus-Talpaz multiple comparison procedure. Using Monte Carlo techniques, we study the familywise errors and powers of these procedures and make some recommendations concerning techniques that perform well for all tree ordered mean vectors.     

基于DPT的非线性调频信号的DOA估计

提出了一种基于DPT的宽带非线性调频信号的DOA估计算法.首先将非线性调频(NLFM)信号建模为高阶多项式相位信号(PPS)模型,然后通过高阶瞬时矩进行多项式相位变换.接收信号将变换为单个正弦信号和新的噪声.再利用ROOT-MUSIC或者ESPRIT算法对变换得到的正弦信号的波达方向进行估计.理论分析和仿真结果表明,该...     

基于订货阈值的供应商延期支付策略设计

针对完全信息下以供应商为核心企业的二级供应链库存系统,将全单位延期支付与部分延期支付两种手段相结合,并在考虑延期支付期限与订货量相关的条件下,设计了基于供应商视角和订货阈值的延期支付策略,从而得出此策略能使系统利润达到帕累托最优.最后,通过数值算例对相关结论进行了验证和灵敏度分析.     

单件小批量生产排产逆序递推法应用研究

针对单件小批量型生产企业,为了保证交货期和控制原材料、在制品库存,提出一种生产排产算法--逆序递推算法.本文在算法中考虑到了生产扰动对交货期的影响,并结合实例作出逆序递推排产甘特图来指导生产.     

基于Agent工作流系统的体系结构与分析

针对传统工作流灵活性和适应性差的问题,在WfMS参考模型的基础上,提出了一个基于Agent的、易于扩展和移植的工作流管理模型。实例分析表明,将Agent与传统工作流模型相结合,提高了工作流的学习能力,解决了工作流的资源冲突问题。