容纳矛盾逻辑系统与悖论

分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.     

Thermodynamics-inspired inverse halftoning viamultiple halftone images

Based on an analogy between thermodynamics and Bayesian inference,inverse halftoning was formulated using multiple halftone images based on Bayesian inference using the maximizer of the posterior marginal(MPM) estimate.Applying Monte Carlo simulation to a set of snapshots of the Q-Ising model,it was demonstrated that optimal performance is achieved around the Bayes-optimal condition within statistical uncertainty and that the performance of the Bayes-optimal solution is superior to that of the maximum-a-posteriori(MAP) estimation which is a deterministic limit of the MPM estimate.These properties were qualitatively confirmed by the mean-field theory using an infinite-range model established in statistical mechanics.Additionally,a practical and useful method was constructed using the statistical mechanical iterative method via the Bethe approximation.Numerical simulations for a 256-grayscale standard image show that Bethe approximation works as good as the MPM estimation if the parameters are set appropriately.     

绥高#2线线路保护2动作分析

对高岭站2009年6月15日绥高#2线线路保护动作的原因进行深入分析,介绍处理措施。     

成品油罐车智能管理系统

针对当前成品油配送运距及运行线路的管理缺陷,以及传统物理签封、电子签封的不足,给出了结合物联网技术和无线通信技术,将GPS定位、射频签封、车载液位仪、车辆行驶路线、车辆行驶运距、车载摄像等功能模块有机结合起来,共同组成成品油罐车智能管理系统的设计方案。该方案改变了以往电子签封仅仅具有路途防偷盗的功能弱点,实现了全过程、全时段、多功能的车辆监控,从而全面提升了油品数质量及物流管理水平。     

一种新的坡位定量描述方法及其与滑坡发生的关系

滑坡发生与地形因子的关系是区域滑坡静态规律研究的重点,但以往的研究多注重考虑其与反映几何形态的基本地形属性因子(几何形态属性因子)之间的关系,如坡度和坡向等。首先提出一种新的基于子流域内相对位置定量描述坡位(相对位置因子)的方法,并以温州地区瓯江流域1990~2001年发生的滑坡为研究对象,使用证据权法对比滑坡发生与两种不同类型地形因子之间的关系。结果表明,相对位置因子与滑坡发生的相关性大于滑坡危险性评价经常使用的几何形态属性因子;并且滑坡大多发生在定量坡位值较低的区域,这些地区处在下游,遭受流水侵蚀的强度更大、频率更高。     

MEMS陀螺仪零位误差分析与处理

研究微机械陀螺仪的零位误差对提高惯性导航精度具有重要意义。采用Allan方差分析法对MEMS陀螺仪的零位误差做了综合评定,提出了一种动态的零值偏移误差补偿算法来滤除陀螺仪的零值偏移误差,还对启发式漂移消减法HDR(Heuristic Drift Reduction)做了改进,有效地提高了原算法的补偿精度。最后,再次采用Allan方差分析法对补偿后的零位误差进行评定,并以Voyager-IIA机器人为平台进行试验,结果证明了改进后的算法能显著的提高陀螺仪的输出精度。     

动态优化不等精度经纬仪交会方法

在多台不等精度经纬仪交会测量系统中,为提高数据的可靠性和精度,根据异面交会原理,提出空间定位精度及其误差的模型;提出采用定常异动算子算法和普通加权平均法相结合的处理方法;对该算法进行数学仿真,计算分别使用定常异动算子和普通加权平均法的交会角区间,并在实际任务中加以应用。试验结果表明,采用合理的算法对多台不等精度经纬仪进行交会测量,增加了测量基线数量从而提高了整体数据的稳定性,同时提高了测量精度。     

Ultrasonic crack characterization via a constrained inversion algorithm

The Kirchhoff approximation is used to show that the time domain impulse response of an isolated flat crack can be given a simple geometrical interpretation in terms of the derivative of a projected length function. For an elliptical crack, this derivative can be obtained explicitly to yield the two edge-diffracted waves which originate from the flashpoints of the crack. An explicit coordinate invariant expression is obtained from this elliptical crack solution which relates the time difference, t, between the arrival of these edge-diffracted waves and the crack size and orientation. Previously, we have proposed that this expression, together with t measurements in different scattering directions, could be used in a regression analysis as the basis for performing a constrained inversion of crack scattering data (i.e., where we attempt to obtain the best equivalent flat elliptical crack that fits the scattering measurements). Here we will demonstrate some results of applying the proposed algorithm using noisy synthetic data. The sensitivity of the results to both, number of measurements and transducer orientation, will be discussed.