Asymptotic behavior of a hierarchical system of learning automata

Learning automata arranged in a two-level hierarchy are considered. The automata operate in a stationary random environment and update their action probabilities according to the linear-reward- -penalty algorithm at each level. Unlike some hierarchical systems previously proposed, no information transfer exists from one level to another, and yet the hierarchy possesses good convergence properties. Using weak-convergence concepts it is shown that for large time and small values of parameters in the algorithm, the evolution of the optimal path probability can be represented by a diffusion whose parameters can be computed explicitly.

Probing potential energy surfaces in confined systems: behavior of mean-square displacement in zeolites

Time evolution of mean-squared displacement based on molecular dynamics for a variety of adsorbate-zeolite systems is reported. Transition from ballistic to diffusive behavior is observed for all the systems. The transition times are found to be system dependent and show different types of dependence on temperature. Model calculations on a one-dimensional system are carried out which show that the characteristic length and transition times are dependent on the distance between the barriers, their heights, and temperature. In light of these findings, it is shown that it is possible to obtain valuable information about the average potential energy surface sampled under specific external conditions.

Investigations of the reduction behavior of Iron-impregnated alumina gels (Fe/AlOOH) and the formation of Fe0-Al2O3 metal-ceramic composites

Fe/AlOOH gels calcined and reduced at different temperatures have been investigated by a combined use of Mossbauer spectroscopy, x-ray diffraction, and electron microscopy in order to obtain information on the nature of the iron species formed as well as the various reduction processes. Calcination at or below 1070 K mainly gives reducible Fe3+ while calcination at higher temperatures gives substitutional Fe3+ in the form of Al2-xFexO3. The Fe3+ species in the calcined samples are, by and large, present in the form of small superparamagnetic particles. Crystallization of Al2O3 from the gels is catalyzed by Fe2O3 as well as FeAl2O4. Fe (20 wt. %)/AlOOH gels calcined at or below 870 K give FeAl2O4 when reduced in hydrogen at 1070 K or lower and a ferromagnetic Fe0-Al2O3 composite (with the metallic Fe particles >100 angstrom) when reduced at 1270 K. Samples calcined at 1220 K or higher give the Fe0-Al2O3 composite when reduced in the 870-12,70 K range, but a substantial proportion of Fe3+ remains unreduced in the form of Al2-xFexO3, showing thereby the extraordinary stability of substitutional Fe3+ to reduction even at high temperatures. Besides the ferromagnetic Fe0-Al2O3 composite, high-temperature reduction of Al2-xFexO3 yields a small proportion of superparamagnetic Fe0-Al2O3 wherein small metallic particles (<100 angstrom) are embedded in the ceramic matrix. In order to preferentially obtain the Fe0-Al2O3 composite on reduction, Fe/AlOOH gels should be calcined at low temperatures (less-than-or-equal-to 1100 K); high-temperature calcination results in Al2-xFexO3. Several modes of formation of FeAl2O4 are found possible during reduction of the gels, but a novel one is that involving the reaction, 2Fe3+ + Fe0 --> 3Fe2+.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.

Simulating grasping behavior of people using the relational description scheme

This paper presents an enhanced relational description for the prescription of the grasp requirement and evolution of the posture of a digital human hand towards satisfaction of this requirement. Precise relational description needs anatomical segmentation of the hand geometry into palmar, dorsal and lateral patches using the palm-plane and joint locations information, and operational segmentation of the object geometry into pull,push and lateral patches with due consideration to the effect of friction. Relational description identifies appropriate patches for a desired grasp condition. Satisfaction of this requirement occurs in two discrete stages,namely,contact establishment and post-contact force exertion for object capturing. Contact establishment occurs in four potentially overlapping phases,namely,re-orientation,transfer,pre- shaping,and closing-in. The novel h and re-orientation phase,enables the palm to face the object in a task sequence scenario, transfer takes the wrist to the ball park ; pre-shaping and close-in finally achieves the contact. In this paper, an anatomically pertinent closed-form formulation is presented for the closing-in phase for identification of the point of contact on the patches ,prescribed by the relational description. Since mere contact does not ensure grasp and slip phenomenon at the point of contact on application of force is a common occurrence, the effect of slip in presence of friction has been studied for 2D and 3D object grasping endeavours and a computational generation of the slip locus is presented.A general slip locus is found to be a non-linear curve even on planar faces.Two varieties of slip phenomena,namely,stabilizing and non-stabilizing slips, and their local characteristics have been identified.Study of the evolution of this slip characteristic over the slip locus exhibited diverse grasping behaviour possibilities. Thus, the relational description paradigm not only makes the requirement specification easy and meaningful but also enables high fidelity hand object interaction studies possible.

Microwave Spectrum of Hexafluoroisopropanol and Torsional Behavior of Molecules with a CF3-C-CF3 Group

This paper presents the first microwave spectroscopic investigation on hexafluoroisopropanol (HFIP). A pulsed nozzle Fourier transform microwave spectrometer has been used to determine the rotational constants for HFIP as A = 2105.12166(18) MHz, B = 1053.99503(12) MHz, and C = 932.33959(13) MHz. In addition, five isotopologues of HFIP have been observed experimentally to determine the accurate structure of HFIP. The observed spectrum could be assigned to the most stable conformer of HFIP, called antiperiplanar. Available spectroscopic information and ab initio calculations on five prototype molecules helped in exploring the torsional behavior of molecules having a CF3-C-CF3 group. Two-dimensional potential energy surfaces have been analyzed for all molecules, which explained the presence/absence of doubling in the rotational transitions. With the help of natural bond orbital (NBO) analysis, reasons for the conformational preference of HFIP have been explained.

Behavior of Brick-Mortar Interfaces in FRP-Strengthened Masonry Assemblages under Normal Loading and Shear Loading

Determination of shear strength of brick-mortar bed joint is critical to overcome the sliding-shear or joint-shear failure in masonry. In the recent past, researchers have attempted to enhance the shear strength and deformation capacity of brick-mortar bed joints by gluing fiber-reinforced polymer (FRP) composite across the bed joint. FRP composites offer several advantages like high strength-to-weight ratio, and ease of application in terms of labor, time, and reduced curing period. Furthermore, FRP composites are desirable for strengthening old masonry buildings having heritage value because of its minimal interference with the existing architecture. A majority of earlier studies on shear strengthening of masonry available in the literature adopted masonry having the ratio of modulus of elasticity of masonry unit (Emu) to modulus of elasticity of mortar (Em) greater than one. Information related to shear behavior of FRP glued masonry composed of masonry units having Young's modulus lower than mortar is limited. Hence the present study is focused on characterizing the interfacial behavior of brick-mortar bed joint of masonry assemblages composed of solid burnt clay bricks and cement-sand mortar (E-mu/E-m ratio less than one), strengthened with FRP composites. Masonry triplets and prisms with bed joint inclined to loading axis (0 degrees, 30 degrees, 45 degrees, 60 degrees and 90 degrees) are employed in this study. Glass and carbon FRP composites composed of bidirectional FRP fabric with equal density in both directions are used for strengthening masonry. Masonry triplets are glued with glass and carbon FRP composites in two configurations: (1) both faces of the triplet specimens are fully glued with GFRP composites; and (2) both faces of the triplet specimens are glued with GFRP and CFRP composites in strip form. The performance of masonry assemblages strengthened with FRP composites is assessed in terms of gain in shear strength, shear displacement, and postpeak behavior for various configurations and types of FRP composites considered. A semianalytical model is proposed for the prediction of shear strength of masonry bed joints glued with FRP composites. A composite failure envelope consisting of a Coulomb friction model and a compression cap is obtained for unreinforced masonry and GFRP-strengthened masonry based on the test results of masonry triplets and masonry prisms with bed joints having various inclinations to the loading (C) 2015 American Society of Civil Engineers.