Side-effect localization for lazy, purely functional languages via aspects

Many side-effecting programming activities, such as profiling and tracing, can be formulated as crosscutting concerns and be framed as side-effecting aspects in the aspect-oriented programming paradigm. The benefit gained from this separation of concerns is particularly evident in purely functional programming, as adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This paper presents an approach to provide side-effecting aspects for lazy purely functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to monadic style purely functional code. Furthermore, we present a static and dynamic semantics of the aspect programs and reason about the correctness of our monadification scheme with respect to them.     

High-fidelity lossless data hiding based on predictors selection

Multimedia Tools and Applications - Reversible data hiding based on prediction methods is a data hiding technique wherein secret bits can be efficiently hidden into cover images. In this paper, we...     

An efficient reversible data hiding with reduplicated exploiting modification direction using image interpolation and edge detection

Multimedia Tools and Applications - Data hiding is a technique that embeds a cluster of secret messages into the original image. The image with secret messages can be distributed on the Internet...     

交流阻抗法测定锂离子电池正极材料的导电率

采用交流阻抗法测定了3种锂离子电池正极材料LiCoO2,LiMn2O4和LiFePO4的电子导电率、离子导电率和材料电导率.结果表明,LiCoO2材料的电导率较高,含有聚阴离子基团LiFePO4材料的电子电导率和离子电导率均较低.     

Investigation of failure mechanism and modification for film-lubricated precise angular-contact ball bearing

This paper describes an experimental investigation into the performance and lubrication failure mechanism of precise angular-contact ball bearings treated with MoS₂-sputtered film, etc. As an important executive component of various spacecrafts, there are some strict requirements on the lubrication performance of angular-contact ball bearing, but the related experimental data are rare to see in literatures. In this experiment, the lubrication performances of MoS₂-sputtered ball bearing pairs were evaluated by using lifetime test as a main method, and the topographies and compositions of working surfaces were investigated through SEM, AES and EDS. The systematical experiment results reveal that the degradation and failure process of solid lubrication for such ball bearing is divided into three stages with different characters. A supposed failure mechanism has been proposed. An improved lubrication treatment based on above mechanism was conducted for the precise ball bearings, and a later test showed that long endurance life with more than 10⁸ revolutions has been reached.     

消除矿用电机绕组端部冷凝以及机内积水

提出解决矿用三相异步电动机绕组端部冷凝水和电动机内腔积水的方法。     

P-表示为经典位相的位相算符

以其P-表示为经典位相的要求我们定义了一种新的位相算符表达式,并指出它与Susski-nd-Glogower相算符的异同。     

压缩真空态的另一表示

本文用正规乘积内积分法证明态矢exp(λQ~2)|0>(|0>是真空谐振子态,Q=1/2~(1/2)(a+a~+))在适当地选择λ后构成压缩真空态。     

Learning-based ventricle detection from cardiac MR and CT images

The objective of this work is to investigate the issue of automatically detecting regions of interest (ROI's) in medical images. It is assumed that the regions to be detected can be roughly segmented by a threshold based on a likelihood measure of the ROI, First, an analysis of the global histogram is used to compute a preliminary threshold that is likely near the optimal one. The histogram analysis is motivated by the analytical result of a bell image intensity model proposed in this work. Then, the preliminary threshold is used to segment the input image, resulting in an attention map, which contains an attention region that approximates the ROI as well as many spurious ones. Due to the nonoptimality of the preliminary threshold, it can happen that the attention region contains a part of, or more regions than, the ROI. Learning takes place in two stages: (1) learning for automatic selection of the preliminary threshold value and (2) learning for automatically selecting the ROI from the attention map while dynamically tuning the threshold according to the learned-likelihood function. Experiments have been conducted to approximately locate the endocardium boundaries of the left and right ventricles from gradient-echo magnetic resonance (MR) images. Cardiac computed tomography (CT) images have also been used for testing. The boundary of the segmented region provided by this algorithm is not very accurate and is meant to be used for further fine tuning based on other application-specific measures