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.     

高强混凝土T形截面双向压弯构件承载力的研究

对9根T形截面高强混凝土双向压弯构件进行试验研究,揭示了这类构件的破坏形态,并进一步分析T形截面正截面承载力的变化规律.     

Realization of nth-order series impedance function using only (n-1) current-feedback amplifiers

A new configuration for realizing a higher-order series impedance function using current-feedback amplifiers (CFAs) is presented. The nth-order series impedance function employs only (n–1) CFAs and (2n–1) passive elements. The higher order series impedance function can be applied to realize various higher-order highpass and lowpass filters. The passive element values can be easily decided from the coefficients of the filter transfer functions. The use of CFAs simplifies the circuit implementation and makes the proposed circuit attractive for application. Experiments and simulation results are given to confirm the theoretical analysis.