Acoustic microscopy and nonlinear effects in pressurized superfluid helium

The operation of an acoustic microscope having a resolution of 15 mm has been demonstrated. It uses as a coupling medium superfluid (4 )He colder than 0.9 K and pressurized to greater than 20 bar. The microscope has been used to image objects that show little or no contrast on a scanning electron microscope. In addition, the acoustic microscope has been used to study the properties of sound propagation in the coupling fluid. At low acoustic intensities, the coupling fluid has very low acoustic attenuation at the microscope's operating frequency (15.3 GHz), but near the focal point the acoustic intensity can be high enough that the helium behaves with extreme nonlinearity. In fact, this medium is capable of entering new regimes of nonlinear interaction. Plots of the received signal versus input power display a nearly complete source depletion at certain input power levels and a reconversion to the source frequency at higher power levels. Arguments that the process underlying this nonlinear behavior is harmonic generation are presented.     

基于小波的实时烟雾检测*

传统的离子式、吸气式、光电式等烟雾检测器在大空间中检测烟雾时,会受到发射信号与接收信号之间的距离、平面角度、精确对准等限制,无法对整个空间的烟雾状况进行描述.新的方法通过监测区域的摄像机拍摄的视频图像序列,进行小波变换,分析图像帧在时域和空域的频率特性,来确定被监测区域是否有火灾烟雾的发生.实验证明该方法不受空间高度、热障、易爆、有毒等环境的限制,并且有灵敏度高、抗干扰力强、适用范围广等特点.     

Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.     

Towards adaptive learning with improved convergence of deep belief networks on graphics processing units

In this paper we focus on two complementary approaches to significantly decrease pre-training time of a deep belief network (DBN). First, we propose an adaptive step size technique to enhance the convergence of the contrastive divergence (CD) algorithm, thereby reducing the number of epochs to train the restricted Boltzmann machine (RBM) that supports the DBN infrastructure. Second, we present a highly scalable graphics processing unit (GPU) parallel implementation of the CD-k algorithm, which boosts notably the training speed. Additionally, extensive experiments are conducted on the MNIST and the HHreco databases. The results suggest that the maximum useful depth of a DBN is related to the number and quality of the training samples. Moreover, it was found that the lower-level layer plays a fundamental role for building successful DBN models. Furthermore, the results contradict the pre-conceived idea that all the layers should be pre-trained. Finally, it is shown that by incorporating multiple back-propagation (MBP) layers, the DBNs generalization capability is remarkably improved.     

CRUDi framework proposal: financial industry application

The alignment of information systems with the business goals of an organisation, although a topic of great importance, is not always properly valued or taken into consideration. In general, managers have different opinions to chief information officers (CIOs) in relation to IS, especially with regard to their importance and value to the business and also in terms of investment needs. Here, we discuss and study new approaches to methods and tools for assessing the relative importance of each information system to business, focusing on the financial sector including banks and insurance companies. We suggest the introduction of new key indicators for better decision support and to identify investment priorities, and present results regarding the relative importance of each process to support the business strategy. The primary goal for the inherent research project is to analyse the main problems and difficulties encountered by IS and IT managers, featuring different players and how they relate. The main contributions of this work are the CRUDi framework as a tool to improve alignment between business and IS strategies and the CRUDi survey and its results qualifying the financial sector's opinion regarding the relative importance of processes and investments.     

A formal representation for context-aware business processes

A business process is a set of activities performed in a coordinated manner within an organizational and technical environment that is aimed toward a business goal. The flexibility of a process is related to an understanding of the unexpected events that occur when people, systems and resources interact and require adjustments. Thus, business processes must be designed to respond to information about different events and their specificity. This information defines what the literature calls “context”. To broaden the perception of context in the case of a business process, this work proposes an approach to characterize the context of a business process activity in a given domain through conceptual models structured in layers. A case study was conducted to evaluate the proposal, which provided evidence of the applicability of the model.     

A web-based platform for biosignal visualization and annotation

With the advent of wearable sensing and mobile technologies, biosignals have seen an increasingly growing number of application areas, leading to the collection of large volumes of data. One of the difficulties in dealing with these data sets, and in the development of automated machine learning systems which use them as input, is the lack of reliable ground truth information. In this paper we present a new web-based platform for visualization, retrieval and annotation of biosignals by non-technical users, aimed at improving the process of ground truth collection for biomedical applications. Moreover, a novel extendable and scalable data representation model and persistency framework is presented. The results of the experimental evaluation with possible users has further confirmed the potential of the presented framework.     

Combustion of methane over palladium ZSM-5 and mordenite catalysts

The effect of Pd-loading on Pd-NaZSM-5 and Pd-NaMordenite catalysts prepared by ion exchange was studied for methane combustion with excess oxygen (1% CH₄, 18% O₂, balance N₂) in the temperature range 40–500°C. Fresh and calcined samples (3 h, 450°C) showed methane conversions proportional to Pd-loading on Pd-NaZSM-5 catalysts, while conversions decreased with Pd-loading on calcined Pd-NaMordenite catalysts. TOF (number of methane molecules converted per second per Pd²⁺ ion) for over exchanged Pd-NaZSM5-116 was low as compared to under exchanged Pd-NaZSM5-80 and Pd-NaZSM5-58 samples. Close TOF's were found for the last two samples at 330°C. TOF differences in Pd-NaMordenite catalysts demonstrate the heterogeneity of Pd⁺² sites due to structurally nonidentical locations of cations. TOF's appear to be related to Na/Pd ratios in both catalyst types. Apparent activation energies for Pd-NaZSM-5 materials are higher than those for Pd-NaMordenite catalysts.     

Catkin liked nano-Co3O4 catalyst built-in organic microreactor by PEMOCVD method for trace CO oxidation at room temperature

In this paper, tricobalt tetraoxide (Co₃O₄) catalyst was coated on the polydimethylsiloxane microchannel by the plasma-enhanced metal-organic chemical vapor deposition technology. The obtained Co₃O₄ film was characterized by SEM, XRD, XPS, and TEM, and the results show that the as-deposited Co₃O₄ film was initially composed of many cauliflowers-shaped microclusters. Also, the microcauliflower was transformed from an amorphous phase to a crystal phase when the Co₃O₄ film was treated by Ar and O₂ plasma for more than 20 min, and the crystal lattice line occurred on the surface of nano-sized-Co₃O₄ particles. Meanwhile, the interface of Co₃O₄ particles with diameter between 3 and 12 nm became obvious and some nano-catkin structures were also formed on the Co₃O₄ film. The ratio of Co³⁺/Co²⁺ in the spinel-type Co₃O₄ was nearly 2, and the nano-particles predominantly expose their {311}, {111}, and {220} planes. These morphologies and structure characteristics were found to be ideal for increasing the catalytic activity efficiency of Co₃O₄ for CO oxidation, and the catalytic stability of Co₃O₄ coated on the organic microreactor lasted nearly 85 h for trace CO oxidation at room temperature.     

Design methodology of piezoelectric energy-harvesting skin using topology optimization

This paper describes a design methodology for piezoelectric energy harvesters that thinly encapsulate the mechanical devices and exploit resonances from higher-order vibrational modes. The direction of polarization determines the sign of the piezoelectric tensor to avoid cancellations of electric fields from opposite polarizations in the same circuit. The resultant modified equations of state are solved by finite element method (FEM). Combining this method with the solid isotropic material with penalization (SIMP) method for piezoelectric material, we have developed an optimization methodology that optimizes the piezoelectric material layout and polarization direction. Updating the density function of the SIMP method is performed based on sensitivity analysis, the sequential linear programming on the early stage of the optimization, and the phase field method on the latter stage of the optimization to obtain clear optimal shapes without intermediate density. Numerical examples are provided that illustrate the validity and utility of the proposed method.