An unsupervised approach to generating generic summaries of documents

We present an optimization-based unsupervised approach to automatic document summarization. In the proposed approach, text summarization is modeled as a Boolean programming problem. This model generally attempts to optimize three properties, namely, (1) relevance: summary should contain informative textual units that are relevant to the user; (2) redundancy: summaries should not contain multiple textual units that convey the same information; and (3) length: summary is bounded in length. The approach proposed in this paper is applicable to both tasks: single- and multi-document summarization. In both tasks, documents are split into sentences in preprocessing. We select some salient sentences from document(s) to generate a summary. Finally, the summary is generated by threading all the selected sentences in the order that they appear in the original document(s). We implemented our model on multi-document summarization task. When comparing our methods to several existing summarization methods on an open DUC2005 and DUC2007 data sets, we found that our method improves the summarization results significantly. This is because, first, when extracting summary sentences, this method not only focuses on the relevance scores of sentences to the whole sentence collection, but also the topic representative of sentences. Second, when generating a summary, this method also deals with the problem of repetition of information. The methods were evaluated using ROUGE-1, ROUGE-2 and ROUGE-SU4 metrics. In this paper, we also demonstrate that the summarization result depends on the similarity measure. Results of the experiment showed that combination of symmetric and asymmetric similarity measures yields better result than their use separately.     

Formation of high-density scintillation ceramic from LuAG:Ce + Lu2O3 powders obtained by co-precipitation method

The results of formation of the high density effective scintillation ceramics consisting of two compounds of the cubic symmetry, LuAG:Ce and Lu₂O₃ (LuAG:Ce + Lu₂O₃), are described. Powders of a novel material LuAG:Ce + Lu₂O₃ were synthesized by co-precipitation method. The introduction of Lu₂O₃ into LuAG:Ce was shown to increase the density of the ceramics obtained and modify its scintillation properties.     

Sol–gel synthesis of Nd-doped BiFeO3 multiferroic and its characterization

Neodymium doped bismuth ferrite (BiFeO₃, BFO) nanoparticles were successfully synthesized by a facile sol–gel route. The influence of annealing temperature, time, Bi content and solvent on the crystal structure of BFO was studied. Results indicated that the optimum processing condition of BFO products was 550–600 °C/1.5 h with excess 3–6% Bi and ethylene glycol as solvent. On the other hand, Nd³⁺ ion was introduced into the BFO system and the effect of Nd³⁺ concentration on the structure, magnetic and dielectric properties of BFO were investigated. It was found that the magnetization of BFO was enhanced significantly with Nd³⁺ substitution, being attributed to the suppression of the spiral cycloidal magnetic structure led by the crystal structure transition. Furthermore, with increasing Nd³⁺ content, the dielectric constant was found to decrease while the dielectric loss was enhanced, which was mainly due to the hoping conduction mechanism with the reduction of oxygen vacancies.     

Failure analysis on welded joints of 347H austenitic boiler tubes

Microstructural and thermo-mechanical analyses using the finite element method (FEM) were performed on the welded joint of 347H boiler tubes in a coal-fired power plant after 3600 h of operation. The cracks in the failed tube started on the inner surface of the heat-affected zone (HAZ). This area had a high hardness value and volume fraction of strain-induced martensite. The plastic deformation around the crack was concentrated near the grain boundaries. This failure occurred as the stabilizing effect disappeared due to carbide dissolution in the heat-affected zone, and plastic deformation and tensile residual stress were formed at the inner side due to the solidification contraction of the outer bead.     

An adaptive image steganographic scheme based on Noise Visibility Function and an optimal chaotic based encryption method

Steganography is the science of hiding secret message in an appropriate digital multimedia in such a way that the existence of the embedded message should be invisible to anyone apart from the sender or the intended recipient. This paper presents an irreversible scheme for hiding a secret image in the cover image that is able to improve both the visual quality and the security of the stego-image while still providing a large embedding capacity. This is achieved by a hybrid steganography scheme incorporates Noise Visibility Function (NVF) and an optimal chaotic based encryption scheme. In the embedding process, first to reduce the image distortion and to increase the embedding capacity, the payload of each region of the cover image is determined dynamically according to NVF. NVF analyzes the local image properties to identify the complex areas where more secret bits should be embedded. This ensures to maintain a high visual quality of the stego-image as well as a large embedding capacity. Second, the security of the secret image is brought about by an optimal chaotic based encryption scheme to transform the secret image into an encrypted image. Third, the optimal chaotic based encryption scheme is achieved by using a hybrid optimization of Particle Swarm Optimization (PSO) and Genetic Algorithm (GA) which is allowing us to find an optimal secret key. The optimal secret key is able to encrypt the secret image so as the rate of changes after embedding process be decreased which results in increasing the quality of the stego-image. In the extracting process, the secret image can be extracted from the stego-image losslessly without referring to the original cover image. The experimental results confirm that the proposed scheme not only has the ability to achieve a good trade-off between the payload and the stego-image quality, but also can resist against the statistics and image processing attacks.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Multiobjective PSO based adaption of neural network topology for pixel classification in satellite imagery

The proposed work involves the multiobjective PSO based adaption of optimal neural network topology for the classification of multispectral satellite images. It is per pixel supervised classification using spectral bands (original feature space). This paper also presents a thorough experimental analysis to investigate the behavior of neural network classifier for given problem. Based on 1050 number of experiments, we conclude that following two critical issues needs to be addressed: (1) selection of most discriminative spectral bands and (2) determination of optimal number of nodes in hidden layer. We propose new methodology based on multiobjective particle swarm optimization (MOPSO) technique to determine discriminative spectral bands and the number of hidden layer node simultaneously. The accuracy with neural network structure thus obtained is compared with that of traditional classifiers like MLC and Euclidean classifier. The performance of proposed classifier is evaluated quantitatively using Xie-Beni and β indexes. The result shows the superiority of the proposed method to the conventional one.     

Spray coating process variable and property analysis of UV-curable polyurethane acrylate coating on polycarbonate substrate

A series of spray coating experiments were conducted on an UV-curable, polyurethane-modified, acrylate-based coating formulation with the aim to control defects, coating thickness, and thickness variation. Statistical approaches including design of experiment, residual examination, analysis of variance, and t-test were used in designing the experiments and analyzing data. Viscosity of formulation, atomizing pressure, liquid feeding pressure, distance between nozzle and substrate, and travel speed of substrate were the process variables studied. The ranges of process variables that gave defect-free coating were identified and used in the subsequent experiments to determine process variables and interactions that had significant contribution to the changes in coating thickness and thickness variation. All process variables studied were found to have contribution to the change in coating thickness, but they showed no significant contribution to the variation of coating thickness. No interaction displayed significant contribution. Confirmation tests performed on extra samples prepared with varying coating thicknesses indicated a good agreement with the experimental results. Additional samples were tested for total transmittance, transmission haze, adhesion, surface roughness, hardness, scratch hardness, abrasion resistance, and durability to attack of car wash chemicals. Spray coated samples showed slight improvement in the total transmittance over the uncoated samples, while maintaining the transmission haze and exhibiting rougher surfaces. Only samples with thin coatings were found to possess sufficient adhesion to the substrate. These thin coatings gave improved hardness, scratch hardness, and durability to car wash attack to the level comparable to commercial coated polycarbonate headlamp lenses, whilst giving better abrasion resistance.     

Adaptive actuator failure compensation design for unknown chaotic multi‐input systems

In this paper, an adaptive control approach is designed for compensating the faults in the actuators of chaotic systems and maintaining the acceptable system stability. We propose a state‐feedback model reference adaptive control scheme for unknown chaotic multi‐input systems. Only the dimensions of the chaotic systems are required to be known. Based on Lyapunov stability theory, new adaptive control laws are synthesized to accommodate actuator failures and system nonlinearities. An illustrative example is studied. The simulation results show the effectiveness of the design method. Copyright © 2014 John Wiley & Sons, Ltd.     

Distributed wireless power transfer in sensor networks with multiple Mobile Chargers

We investigate the problem of efficient wireless power transfer in wireless sensor networks. In our approach, special mobile entities (called the Mobile Chargers) traverse the network and wirelessly replenish the energy of sensor nodes. In contrast to most current approaches, we envision methods that are distributed and use limited network information. We propose four new protocols for efficient charging, addressing key issues which we identify, most notably (i) what are good coordination procedures for the Mobile Chargers and (ii) what are good trajectories for the Mobile Chargers. Two of our protocols (DC, DCLK) perform distributed, limited network knowledge coordination and charging, while two others (CC, CCGK) perform centralized, global network knowledge coordination and charging. As detailed simulations demonstrate, one of our distributed protocols outperforms a known state of the art method, while its performance gets quite close to the performance of the powerful centralized global knowledge method.