Word level bitwidth reduction for unbounded hardware model checking

In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that are unsuited to our analysis. We do this by combining modifications of several previously known techniques into a static abstraction algorithm which is guaranteed to produce bit-level netlists that are as small or smaller than the original bitblasted designs. We evaluate our algorithm on several challenging hardware components.     

基于C—V模型的目标检测与提取

在目标检测与提取中,传统的蛇模型和基于活动轮廓的局部区域检测方法受到初始条件或者自身的收敛性约束的影响,不仅时间花费多,而且不具备鲁棒性。本文提出一种基于C V模型的变分水平集的目标检测与提取方法,通过大量实验验证,在花费时间和鲁棒性上得到了显著的改善。     

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.     

分布式对象管理的几种常用技术

以丰富的分布式系统开发经验为基础,详细分析了传统和新兴的分布式对象技术,比较它们的优缺点,探索分布式对象管理的未来走向。     

水煤浆添加剂的研究进展

随着世界原油资源的日渐减少及燃煤污染的日趋严重，水煤浆作为一种新型的环保型煤基流体燃料日益受到人们的重视。从70年代至今，国内外学都研究过多种添加剂，目前制浆用添加剂主要分为阴离子表面活性和非离子表面活性剂两大类，但高效、价廉、适用性广的添加剂为数并不多。     

高温水采暖系统内部氧腐蚀

对阜康冶炼厂高温水采暖系统内部产生氧腐蚀的原因进行分析，采取相应的措施，收到良好的效果     

综合评标法在水利工程检测项目招标投标中的应用

本文主要论述综合评标法是水利工程检测项目评标中较为实用的一种方法。本文建立了综合评分法模型,并通过实际案例,介绍其评分过程。     

Integrated Water Resources Management in the Republic of Uzbekistan

Abstract

The Uzbek socio-economic structure is characterized by the transition from a centrally-planned to a market-orientated economy, with a shifting from agricultural production to industrial development. However, the agricultural sector continues to play a significant role in a general economy of the country. The major water sector strategy is to decrease the dependence of agricultural production on climate by introducing advanced irrigation techniques and water saving methods to achieve future sustainable socio-economic development and environmental protection. Water management policy should be flexible enough to adapt to new demands. The regulation of consumption through demand management tools, such as appropriate pricing policies, has recently received greater attention in Uzbekistan. The main thesis of this paper is that allocation of water resources cannot be separated from ecological and economic considerations. The establishment of development objectives and the identification of constraints are also discussed. In the coming years, special attention will need to be paid to the control of water pollution and land salinization, water resources conservation, and acknowledging that actions to increase water productivity are as important as finding additional sources of water.     

小流域设计洪水计算方法的探讨

利用实例对各常用设计洪水流量计算方法进行比较分析,指出各方法的特点。     

加强研究生基层任职能力培养的思考

针对军校培养的硕士研究生到基层任职比例逐年增大,为进一步提高研究生培养质量,通过对学院已毕业的硕士研究生在基层部队任职情况的调研,分析了硕士研究生在基层部队任职中暴露出的问题和原因,提出了加强思想政治教育、增强培养的针对性以及与部队开展联合培养等建议.