Thermally stimulated discharge current studies in pure and fe-doped polystyrene films

Studies were made on the thermally stimulated discharge currents (TSDCs) in pure (undoped) and Fe-doped polystyrene films as a function of polarizing field, polarizing temperature and dopant concentration. While undoped films exhibited a single peak, doped films showed two peaks one at low temperatures and another at high temperatures. The low temperature peak, which exhibits a shift towards lower temperatures with increasing dopant concentration, is attributed to the relaxation of the main chain, while the high temperature peak, which shows a tendency to shift towards higher temperatures with dopant concentration, is due to space charge polarization. The TSDCs were higher for low dopant concentrations than their undoped counterparts, while for high concentrations of the dopant, the TSDCs decreased. Formation of charge transfer complexes at low dopant concentrations and molecular aggregates at higher dopant concentrations are suggested as the possible reasons for this behaviour.     

Instrumental characterization of clay by XRF,XRD and FTIR

Instrumental characterizations of the clay were performed by different techniques such as XRF, XRD and FTIR. XRF shows the chemical compositions of the clay where Al-oxide and silica oxide are present in major quantity whereas XRD confirms the presence of these minerals in clay. FTIR studies show the presence of quartz, alumina, haematite and different mineral matters.     

(BaTiO3)1-x + (Co0.5Ni0.5Nb0.06Fe1.94O4)x nanocomposites: Structure,morphology, magnetic and dielectric properties

Two phase-based nanocomposites consisting of dielectric barium titanate (BaTiO₃ or BTO) and magnetic spinel ferrite Co_0.5Ni_0.5Nb_0.06Fe_1.94O₄ (CNNFO) have been synthesized through solid state route. Series of (BaTiO₃)_1-x + (Co_0.5Ni_0.5Nb_0.06Fe_1.94O₄)_x nanocomposites with x content of 0.00, 0.25, 0.50, 0.75, and 1.00 were considered. The structure has been examined via X-rays diffraction (XRD) and indicated the occurrence of both perovskite BTO and spinel CNNFO phases in various nanocomposites. A phase transition from tetragonal BTO structure to cubic structure occurs with inclusion of CNNFO phase. The average crystallites size of BTO phase decreases, whereas that for the CNNFO phase increases with increasing x in various nanocomposites. The morphological observations revealed that the porosity is highly reduced, and the connectivity between grains is enhanced with increasing x content. The optical properties have been investigated by UV−vis diffuse reflectance spectroscopy. The deduced band gap energy (E_g) value is found to reduce with increasing the content of spinel ferrite phase. The magnetic as well as the dielectric properties were also investigated. The analysis showed that CNNFO ferrite phase greatly affects the magnetic properties and dielectric response of BTO material. The obtained findings can be useful to enhance the performances of magneto-dielectric composite-based systems.     

On the electrochemical nature of hot-corrosion attack in Ni-Cr alloys

Hot-corrosion attack on gas-turbine components has been a problem of practical importance for over two decades. The nature and the extent of corrosion are influenced by the type of contaminants, the alloy constituents, and temperature. The hot-corrosion process is quite complex. There is controversy regarding the role of alloying elements, and whether the process is chemical or electrochemical in nature. In this investigation, an attempt has been made to investigate the role of Al and Ti in influencing the hot-corrosion attack of Ni-20 wt. % Cr alloys in molten Na₂SO₄-NaCl mixtures. It was found that Ni-Cr-Al alloys undergo a localized, heavy-blister attack under certain experimental conditions which is electrochemical in nature. An electrochemical model has been proposed which can satisfatorily explain the nature and kinetics of the localized blister corrosion.     

Verification of evolving software via component substitutability analysis

This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution generates constructive feedback to developers showing how to improve the components. The substitutability approach has been implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark. This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547, and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no. DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the US government or any other entity.     

Trends in intelligent manufacturing research: a keyword co-occurrence network based review

Journal of Intelligent Manufacturing - In recent years, driven by Industry 4.0 wave, academic research has focused on the science, engineering, and enabling technologies for intelligent and cyber...     

Comparison of osteoconductivity and absorbability of beta-tricalcium phosphate and hydroxyapatite in clinical scenario of opening wedge high tibial osteotomy

The purpose of this study was to compare the osteoconductivity, and absorbability of hydroxyapatite or beta-tricalcium phosphate in clinical scenario of opening wedge high tibial osteotomy Total 41 knees of 40 patients with follow up period of more than 1 year were enrolled. These patients were divided into two groups, Group I (22 knees, 21 patients) used hydroxyapatite and Group II (19 knees, 19 patients) used beta-tricalcium phosphate as a substitute in the opening gap. According to proven method, the osteoconductivity was assessed radiographically by the extent of new bone formation at osteotomy space and absorbability was evaluated by measuring the area occupied by substitute at immediate postoperative, postoperative 6 months and 1 year. Regarding preoperative demographic data, no significant differences were found between two groups. No statistically significant differences were found between two groups regarding lower limb alignment (mechanical femorotibial angle, weight-bearing line%) and posterior tibial slope at postoperative and final follow up radiographs. Concerning the osteoconductivity, there were no significant differences between two groups in any zone. However, the absorption rate was significantly greater in the Group II than in Group I at 6 months (Group I: 13.7?±?6.8, group II: 35.3?±?15.8, P?=?0.001) and 1 year (Group I: 24.2?±?6.3, Group II: 49.6?±?14.3, P?<?0.0001). The complications related to bone substitutes were not observed. Both hydroxyapatite and beta-tricalcium phosphate showed satisfactory gap healing without complications and can be successfully used as alternative healing materials in opening wedge high tibial osteotomy. Our study showed that beta-tricalcium phosphate has superior absorbability than hydroxyapatite. But osteoconductivity showed no significant difference.     

Software model checking without source code

We present a framework, called air, for verifying safety properties of assembly language programs via software model checking. air extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, air allows verification of programs for which source code is unavailable—such as legacy and COTS software—and programs that use features—such as pointers, structures, and object-orientation—that are problematic for source-level software verification tools. In addition, air makes no assumptions about the underlying compiler technology. We have implemented a prototype of air and present encouraging results on several non-trivial examples.     

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications. More specifically, we present a fully automated compositional framework which combines two orthogonal abstraction techniques (operating respectively on data and events) within a counterexample-guided abstraction refinement (CEGAR) scheme. In this way, our algorithm incrementally increases the granularity of the abstractions until the specification is either established or refuted. Our explicit use of compositionality delays the onset of state space explosion for as long as possible. To our knowledge, this is the first compositional use of CEGAR in the context of model checking concurrent C programs. We describe our approach in detail, and report on some very encouraging preliminary experimental results obtained with our tool MAGIC.