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.     

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.     

Excited-state absorption of meso-tetrasulfonatophenyl porphyrin: Effects of pH and micelles

The influence of the environment on the excited state transitions of meso-tetrakis(p-sulfonatophenyl) porphyrin (TPPS) is reported. TPPS was investigated in protonated and non-protonated forms, and in the presence of the cationic cetyltrimethylammonium bromide (CTAB) micelles. The singlet excited-state absorption spectra were measured by using the white-light continuum Z-scan technique and the triplet–triplet absorption spectra were acquired employing an association of laser flash photolysis and Z-scan techniques. Our results show that the perseveration of the molecular symmetry, upon excitation, depends on the state of multiplicity of the molecules, as well as on the environment and structural characteristics of the porphyrin. Additionally, it was observed that for excited molecules, the ring distortion caused by the protonation of porphyrin ring has great influence on the changes observed for the symmetry and vibronic structure. The results clearly show that the porphyrin investigated is a promising candidate for optical limiting applications for all investigated environments.     

Energy-optimal base station density in cellular access networks with sleep modes

Sleep modes are widely accepted as an effective technique for energy-efficient networking: by adequately putting to sleep and waking up network resources according to traffic demands, a proportionality between energy consumption and network utilization can be approached, with important reductions in energy consumption. Previous studies have investigated and evaluated sleep modes for wireless access networks, computing variable percentages of energy savings. In this paper we characterize the maximum energy saving that can be achieved in a cellular wireless access network under a given performance constraint. In particular, our approach allows the derivation of realistic estimates of the energy-optimal density of base stations corresponding to a given user density, under a fixed performance constraint. Our results allow different sleep mode proposals to be measured against the maximum theoretically achievable improvement. We show, through numerical evaluation, the possible energy savings in today’s networks, and we further demonstrate that even with the development of highly energy-efficient hardware, a holistic approach incorporating system level techniques is essential to achieving maximum energy efficiency.     

Inverted pendulum stabilization: Characterization of codimension-three triple zero bifurcation via multiple delayed proportional gains

The paper considers the problem of stabilization of systems possessing a multiple zero eigenvalue at the origin. The controller that we propose, uses multiple delayed measurements instead of derivative terms. Doing so, we increase the performances of the closed loop in presence of system uncertainties and/or noisy measurements. The problem formulation and the analysis is presented through a classical engineering problem which is the stabilization of an inverted pendulum on a cart moving horizontally. On one hand, we perform a nonlinear analysis of the center dynamics described by a three dimensional system of ordinary differential equations with a codimension-three triple zero bifurcation. On the other hand, we present the complementary stability analysis of the corresponding linear time invariant system with two delays describing the behavior around the equilibrium. The aim of this analysis is to characterize the possible local bifurcations. Finally, the proposed control scheme is numerically illustrated and discussed.     

Theoretical study of the structural,elastic and thermodynamic properties of chalcopyrite ZnGeP2

The structural, elastic, and thermodynamic properties of ZnGeP₂ with chalcopyrite structure are investigated using the pseudo-potentials plane wave method based on the density functional theory with the generalized gradient approximation. The lattice parameters (a, c and u) are directly calculated and agree well with previous experimental and theoretical results. The obtained negative formation enthalpy shows that ZnGeP₂ crystal has strong structural stability. We have also calculated the bulk modulus B and the elastic parameters (C₁₁, C₁₂, C₁₃, C₃₃, C₄₄, and C₆₆) which have not been measured yet. The accuracy and reliability of the calculated elastic constants of ZnGeP₂ crystal are discussed. In addition, the pressure and temperature dependencies of the lattice parameters, bulk modulus, Debye temperature, Grüneisen parameter, entropy, volume thermal expansion coefficient, and specific heat capacity are obtained in the ranges of 0–20 GPa and 0–1200 K using the quasi-harmonic Debye model. To our knowledge this is the first quantitative theoretical prediction of the thermodynamic properties for ZnGeP₂ compound and still awaits experimental confirmations.     

The implementation of a smartphone-based fall detection system using a high-level fuzzy Petri net

The falling down problem has become one of the very important issues of global public health in an aging society. The specific equipment was adopted as the detection device of falling-down in the early studies, but it is inconvenient for the elderly and difficult for future application. The smart phone more commonly used than the specific fall detection equipment is selected as a mobile device for human fall detection, and a fall detection algorithm is developed for this purpose. What the user has to do is to put the smart phone in his/her thigh pocket for falling down detection. The signals detected by the tri-axial G-sensor are converted into signal vector magnitudes as the basis of detecting a human body in a stalling condition. The Z-axis data sets are captured for identification of human body inclination and the occurrence frequencies at the peak of the area of use are used as the input parameters. A high-level fuzzy Petri net is used for the analysis and the development of identifying human actions, including normal action, exercising, and falling down. The results of this study can be used in the relevant equipments or in the field of home nursing.     

Graph-based video fingerprinting using double optimal projection

A double optimal projection method that involves projections for intra-cluster and inter-cluster dimensionality reduction are proposed for video fingerprinting. The video is initially set as a graph with frames as its vertices in a high-dimensional space. A similarity measure that can compute the weights of the edges is then proposed. Subsequently, the video frames are partitioned into different clusters based on the graph model. Double optimal projection is used to explore the optimal mapping points in a low-dimensional space to reduce the video dimensions. The statistics and geometrical fingerprints are generated to determine whether a query video is copied from one of the videos in the database. During matching, the video can be roughly matched by utilizing the statistics fingerprint. Further matching is thereafter performed in the corresponding group using geometrical fingerprints. Experimental results show the good performance of the proposed video fingerprinting method in robustness and discrimination.     

Bayesian and Dempster-Shafer fusion

The Kalman Filter is traditionally viewed as a prediction-correction filtering algorithm. In this work we show that it can be viewed as a Bayesian fusion algorithm and derive it using Bayesian arguments. We begin with an outline of Bayes theory, using it to discuss well-known quantities such as priors, likelihood and posteriors, and we provide the basic Bayesian fusion equation. We derive the Kalman Filter from this equation using a novel method to evaluate the Chapman-Kolmogorov prediction integral. We then use the theory to fuse data from multiple sensors. Vying with this approach is the Dempster-Shafer theory, which deals with measures of “belief”, and is based on the nonclassical idea of “mass” as opposed to probability. Although these two measures look very similar, there are some differences. We point them out through outlining the ideas of the Dempster-Shafer theory and presenting the basic Dempster-Shafer fusion equation. Finally we compare the two methods, and discuss the relative merits and demerits using an illustrative example.