射线图像的立体匹配技术研究

在数字射线成像检测技术中,当物体形状不适宜于旋转扫描时,传统的X射线计算机断层成像技术(CT)难以得到其3维信息,对于这种情况,立体视觉是一种较好的解决方案。立体视觉的关键技术是立体匹配,尽管目前立体匹配技术的研究已取得了很大的进展,然而这类研究主要局限于可见光等反射成像领域,对X射线图像等透射成像领域的研究很少。由于成像原理的不同,透射图像的立体匹配技术与可见光图像存在很大差异。为了对X射线图像进行正确匹配,根据射线图像的特点,首先制定了合理的立体匹配策略,并指出边缘是一种"好"的匹配基元;然后建立了射线图像立体匹配的约束条件,同时分析了射线图像匹配不确定性的原因;最后确定了由粗到精的两步匹配方法,并提出利用多目视觉约束来实现精匹配。利用工业射线像增强器系统对标准样件进行成像的实验结果表明,该技术是可行的,匹配的绝对平均误差在2pixels范围内。     

SJ—3专家系统的开发技术

本文详细讨论了一个实用专家系统的开发技术,主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．     

Robust integrated sequential covariance intersection fusion Kalman filters and their convergence and stability for networked sensor systems with five uncertainties

For networked sensor systems (NSSs) with hard and soft sensors including five uncertainties, two universal approaches of solving the robust fusion estimation problems are presented. It includes an integrated sequential covariance intersection (SCI) fusion minimax robust Kalman filtering approach with cross-covariance information and a generalized Lyapunov equation approach with four pairs of Lyapunov equations. Applying them, the robust local and SCI fused time-varying and steady-state Kalman filters are presented in the sense that their actual estimation error variances are guaranteed to have the corresponding minimal upper bounds. The equivalent batch SCI fusers are also presented. Their robustness and accuracy relations are proved, and the sensitivity of the SCI fuser with respect to the fused orders of sensors is analyzed. Applying the dynamic error system analysis method and the dynamic variance error system analysis method, a new convergence and absolute asymptotic stability theory of robust fusion Kalman filtering is presented. The classical Kalman filtering convergence and stability theory is developed. Compared with the original covariance intersection fuser, they significantly reduced the computational complexity and burden. Compared with the optimal and conservative SCI fusers, they significantly improved the robust accuracies. They are suitable to deal with asynchronous or random delayed data and are suitable for real-time applications. A simulation applied to the two-mass spring damper mechanical system shows their effectiveness.     

一种结合机器学习的移动边缘计算的切换预测方法

随着移动通信的发展,减少通信延时成为关键性问题,因此,提出了一种使用机器学习方法的移动边缘计算(MEC)移动性管理。移动性决策基于参考信号接收功率(RSRP)值和不确定性预测器。使用神经网络建立预测器,输出不同相邻单元的RSRP平均值和标准偏差,推导了切换概率的封闭表达式。基于这些可能性,MEC服务器能够提前缓存用户服务,以便将切换期间的中断降至最低。实验结果表明,提出的方法能够满足实际需求。     

Model-based robust control design and experimental validation of collaborative industrial robot system with uncertainty

Based on the traditional PID control and robust control algorithm, a novel practical robust control method is designed for the 6-DOF collaborative industrial robot with uncertainty. The proposed algorithm consists of a robust term and a model-based PD control term, which we call MPDP controller. It is demonstrated by Lyapunov theoretical analysis that the algorithm is able to guarantee uniform boundedness and uniform ultimate boundedness of the system. Simulations and experiments show the good performance of MPDP control in a robot with smaller steady-state tracking errors and better robustness compared to PID controllers.     

Probabilistic crack trajectory analysis by a dimension reduction method

This paper proposes a novel analysis method of stochastic crack trajectory based on a dimension reduction approach. The developed method allows efficiently estimating the statistical moments, probability density function and cumulative distribution function of the crack trajectory for cracked elastic structures considering the randomness of the loads, material properties and crack geometries. First, the traditional dimension reduction method is extended to calculate the first four moments of the crack trajectory, in which the responses are eigenvectors rather than scalars. Then the probability density function and cumulative distribution function of the crack trajectory can be obtained using the maximum entropy principle constrained by the calculated moments. Finally, the simulation of the crack propagation paths is realized by using the scaled boundary finite element method. The proposed method is well validated by four numerical examples performed on varied cracked structures. It is demonstrated that this method outperforms the Monte Carlo simulation in terms of computational efficiency, and in the meanwhile, it has an acceptable computational accuracy.     

Two-stage stochastic master production scheduling under demand uncertainty in a rolling planning environment

This paper proposes a scenario-based two-stage stochastic programming model with recourse for master production scheduling under demand uncertainty. We integrate the model into a hierarchical production planning and control system that is common in industrial practice. To reduce the problem of the disaggregation of the master production schedule, we use a relatively low aggregation level (compared to other work on stochastic programming for production planning). Consequently, we must consider many more scenarios to model demand uncertainty. Additionally, we modify standard modelling approaches for stochastic programming because they lead to the occurrence of many infeasible problems due to rolling planning horizons and interdependencies between master production scheduling and successive planning levels. To evaluate the performance of the proposed models, we generate a customer order arrival process, execute production planning in a rolling horizon environment and simulate the realisation of the planning results. In our experiments, the tardiness of customer orders can be nearly eliminated by the use of the proposed stochastic programming model at the cost of increasing inventory levels and using additional capacity.     

Lateral inventory transshipment problem in online-to-offline supply chain

Online-to-offline (OTO) is a new commercial model with enormous market potential. Online customer orders are forwarded to the offline brick-and-mortar store to fulfil, which is a combination of dual-channel supply chain. OTO overcomes many disadvantages of the traditional dual-channel supply chain, but still faces uncertain market demand. To reduce the inventory risk caused by demand uncertainty, lateral inventory transshipment is employed in this paper to pool inventory risk in OTO supply chain. We model centralised OTO and decentralised OTO with/without transshipment, and then analyse different scenarios. Our results demonstrate that there exists a unique Nash equilibrium of inventory order levels in dual channels and an optimal transshipment price to maximise the profit of the entire supply chain. Finally, we provide a numerical example of uniform demand distribution. Our analyses offer many managerial insights and show that transshipment always benefits the OTO supply chain.     

A mathematical model for vehicle routing problem under endogenous uncertainty

In this study, a multistage stochastic programming (SP) model is presented for a variant of single-vehicle routing problem with stochastic demands from a dynamic viewpoint. It is assumed that the actual demand of a customer becomes known only when the customer is visited. This problem falls into the category of SP with endogenous uncertainty and hence, the scenario tree is decision-dependent. Therefore, nonanticipativity of decisions is ensured by conditional constraints making up a large portion of total constraints. Thus, a novel approach is proposed that considerably reduces the problem size without any effect on the solution space. Computational results on some test problems are reported.     

Achieving robust design through statistical effect screening

This work proposes a method for statistical effect screening to identify design parameters of a numerical simulation that are influential to performance while simultaneously being robust to epistemic uncertainty introduced by calibration variables. Design parameters are controlled by the analyst, but the optimal design is often uncertain, while calibration variables are introduced by modeling choices. We argue that uncertainty introduced by design parameters and calibration variables should be treated differently, despite potential interactions between the two sets. Herein, a robustness criterion is embedded in our effect screening to guarantee the influence of design parameters, irrespective of values used for calibration variables. The Morris screening method is utilized to explore the design space, while robustness to uncertainty is quantified in the context of info‐gap decision theory. The proposed method is applied to the National Aeronautics and Space Administration Multidisciplinary Uncertainty Quantification Challenge Problem, which is a black‐box code for aeronautic flight guidance that requires 35 input parameters. The application demonstrates that a large number of variables can be handled without formulating simplifying assumptions about the potential coupling between calibration variables and design parameters. Because of the computational efficiency of the Morris screening method, we conclude that the analysis can be applied to even larger‐dimensional problems. (Approved for unlimited, public release on October 9, 2013, LA‐UR‐13‐27839, Unclassified.) Copyright © 2015 John Wiley & Sons, Ltd.