Creating change and driving innovation in highly automated and lean organizations: The Temporal Think Tank™ (T3™)

This paper introduces the concept of the temporal think tank™ (T3™), a temporary in-house research center, based on case studies with a highly automated global manufacturer and in various small-sized manufacture (SME's). The T3™ brings individuals from across the organization together in a team setting in which they are charged to look at the future, develop their decision-making skills, and use entrepreneurial thinking to incubate new processes and/or products. After an appropriate time in the temporal think tank™, the individuals are asked to return to their regular positions to implement the best practices and best ideas and doing so spur the organization forward. At intervals, the temporal think tanks™ can be reconvened, or reconstituted with new participants. This approach prepares technology champions for the SME, who can return to the organization with a fresh outlook and renewed energy to keep the enterprise at the peak of efficiency and effectiveness.     

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.     

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

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

基于水管理对象的数字流域顶层设计技术方法研究

水利信息化是实现水利现代化的基础和重要标志。以水管理对象为基础,利用现代信息技术构造数字流域,集中管理流域内的水事问题,是实现流域现代化管理的有效途径。从数字流域体系架构、水管理对象构造及全息化描述、基础平台构建、业务系统的构件化开发、数字功能流域等方面详细介绍了基于水管理对象的数字流域构造技术方法。     

太湖流域水灾害应急对策研究

太湖流域是我国经济社会高度发达的地区之一,发生水灾害时往往会造成重大经济损失。对发生各类水灾害时的应急对策展开研究总结,以减轻水灾害,避免人员伤亡,保障经济社会可持续健康稳定发展,并通过分析典型案例的实际应对过程,为今后开展类似工作提供参考。