Monolithic surface acoustic wave resonator oscillator

A monolithic surface acoustic wave (SAW) resonator operating at 156 MHz, in which the frequency controlling element is a Fabry–Perot type of SAW resonator and the gain element is a monolithic SAW amplifier (SiOx/InSb/SiOx structure located inside the SAW resonator cavity) is described and experimental details presented. Based on the existing experimental data, an uhf monolithic ring resonator oscillator is proposed. Journal of Applied Physics is copyrighted by The American Institute of Physics.

Monolithic surface acoustic wave resonator oscillator

A monolithic surface acoustic wave (SAW) resonator operating at 156 MHz, in which the frequency controlling element is a Fabry–Perot type of SAW resonator and the gain element is a monolithic SAW amplifier (SiOx/InSb/SiOx structure located inside the SAW resonator cavity) is described and experimental details presented. Based on the existing experimental data, an uhf monolithic ring resonator oscillator is proposed. Journal of Applied Physics is copyrighted by The American Institute of Physics.

Mechanics of Deformation under Traction and Friction of a Micrometric Monolithic MoS2 Particle in Comparison with those of an Agglomerate of Nanometric MoS2 Particles

Tribology of small inorganic nanoparticles in suspension in a liquid lubricant is often impaired because these particles agglomerate even when organic dispersants are used. In this paper we use lateral force microscopy to study the deformation mechanism and dissipation under traction of two extreme configurations (1) a large MoS2 particle (similar to 20 mu m width) of about 1 mu m height and (2) an agglomerate (similar to 20 mu m width), constituting 50 nm MoS2 crystallites, of about 1 mu m height. The agglomerate records a friction coefficient which is about 5-7 times that of monolithic particle. The paper examines the mechanisms of material removal for both the particles using continuum modeling and microscopy and infers that while the agglomerate response to traction can be accounted for by the bulk mechanical properties of the material, intralayer and interlayer basal planar slips determine the friction and wear of monolithic particles. The results provide a rationale for selection of layered particles, for suspension in liquid lubricants.

Synthesis and Densification of Monolithic Zirconium Carbide by Reactive Hot Pressing

Synthesis and densification of monolithic zirconium carbide (ZrC) has been carried out by reactive hot pressing of zirconium (Zr) and graphite (C) powders in the molar ratios 1:1, 1.25:1, 1.5:1, and 2:1 at 40 MPa, 1200 degrees-1600 degrees C. Monolithic ZrC could be synthesized with a C/Zr ratio similar to 0.5-1.0 and the post heat-treated samples have the lattice parameter in the range 4.665 to 4.698 A. Densification improves with an increasing deviation from the stoichiometry. Fine-grained (similar to 1 mu m) and nearly fully dense material (99% RD) could be obtained at a temperature as low as 1200 degrees C with C/Zr similar to 0.67. Microstructural and XRD observations suggest that densification occurred at low temperatures with nonstoichiometric Zr-C powder mixtures.

Memory-based reasoning approach for pattern recognition of binary images

Template matching is concerned with measuring the similarity between patterns of two objects. This paper proposes a memory-based reasoning approach for pattern recognition of binary images with a large template set. It seems that memory-based reasoning intrinsically requires a large database. Moreover, some binary image recognition problems inherently need large template sets, such as the recognition of Chinese characters which needs thousands of templates. The proposed algorithm is based on the Connection Machine, which is the most massively parallel machine to date, using a multiresolution method to search for the matching template. The approach uses the pyramid data structure for the multiresolution representation of templates and the input image pattern. For a given binary image it scans the template pyramid searching the match. A binary image of N × N pixels can be matched in O(log N) time complexity by our algorithm and is independent of the number of templates. Implementation of the proposed scheme is described in detail.

A monolithic strategy for fluid-structure interaction problems

In this work, we present a new monolithic strategy for solving fluid-structure interaction problems involving incompressible fluids, within the context of the finite element method. This strategy, similar to the continuum dynamics, conserves certain properties, and thus provides a rational basis for the design of the time-stepping strategy; detailed proofs of the conservation of these properties are provided. The proposed algorithm works with displacement and velocity variables for the structure and fluid, respectively, and introduces no new variables to enforce velocity or traction continuity. Any existing structural dynamics algorithm can be used without change in the proposed method. Use of the exact tangent stiffness matrix ensures that the algorithm converges quadratically within each time step. An analytical solution is presented for one of the benchmark problems used in the literature, namely, the piston problem. A number of benchmark problems including problems involving free surfaces such as sloshing and the breaking dam problem are used to demonstrate the good performance of the proposed method. Copyright (C) 2010 John Wiley & Sons, Ltd.

Probabilistic extension to realistic abductive reasoning model

In this paper, we give a method for probabilistic assignment to the Realistic Abductive Reasoning Model, The knowledge is assumed to be represented in the form of causal chaining, namely, hyper-bipartite network. Hyper-bipartite network is the most generalized form of knowledge representation for which, so far, there has been no way of assigning probability to the explanations, First, the inference mechanism using realistic abductive reasoning model is briefly described and then probability is assigned to each of the explanations so as to pick up the explanations in the decreasing order of plausibility.

Performance of monolithic and TiB2 reinforced MoSi2 in dry sliding contact with steel

MoSi2 and its composite with TiB2 (10 and 20 wt.%) particulates were synthesized by the hot pressing technique. Dry sliding wear experiments were done on these samples by pin-on-disc method on an EN-24 steel disc. It was observed that the densification and the reinforcement of the matrix are beneficial in reducing the friction and wear Of MoSi2. The tribofilm that was formed during sliding contained both the disc and the pin material. (C) 2002 Elsevier Science B.V. All rights reserved.

Displacement Amplifying Compliant Mechanisms for Two-axis High-resolution Monolithic Inertial Sensors

Novel designs for two-axis, high-resolution, monolithic inertial sensors are presented in this paper. Monolithic, i.e., joint-less single-piece compliant designs are already common in micromachined inertial sensors such as accelerometers and gyroscopes. Here, compliant mechanisms are used not only to achieve de-coupling between motions along two orthogonal axes but also to amplify the displacements of the proof-mass. Sensitivity and resolution capabilities are enhanced because the amplified motion is used for sensing the measurand. A particular symmetric arrangement of displacement-amplifying compliant mechanisms (DaCMs) leads to de-coupled and amplified motion. An existing DaCM and a new topology-optimized DaCM are presented as a building block in the new arrangement. A spring-mass-lever model is presented as a lumped abstraction of the new arrangement. This model is useful for arriving at the optimal parameters of the DaCM and for performing system-level simulation. The new designs improved the performance by a factor of two or more.

Nano-ZnO particle addition to monolithic magnesium for enhanced tensile and compressive response

In this study, the effects of nanoscale ZnO reinforcement on the room temperature tensile and compressive response of monolithic Mg were studied. Experimental observations indicated strength properties improvement due to nanoscale ZnO addition. A maximum increment in tensile yield strength by similar to 55% and compressive yield strength by 90% (with reduced tension-compression asymmetry) was achieved when 0.8 vol.% ZnO nanoparticles were added to Mg. While the fracture strain values under tensile loads were found to increase significantly (by similar to 95%, in case of Mg-0.48ZnO), it remained largely unaffected under compressive loads. The microstructural characteristics studied in order to comprehend the mechanical response showed significant grain refinement due to grain boundary pinning effect of nano-ZnO particles which resulted in strengthening of Mg. Texture analysis using X-ray and EBSD methods indicated weakening of basal fibre texture in Mg/ZnO nanocomposites which contributed towards the reduction in tension-compression yield asymmetry and enhancement in tensile ductility when compared to pure Mg. (C) 2014 Elsevier B.V. All rights reserved.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Effect of applied pressure on densification of monolithic ZrCx ceramic by reactive hot pressing

The effect of applied pressure on reactive hot pressing (RHP) of zirconium (Zr):graphite (C) in molar ratios of 1:0.5, 1:0.67, 1:0.8, and 1:1 was studied at 1200 degrees C for 60 min. The relative density achievable increased with increasing pressure and ranged from 99% at 4 MPa for ZrC0.5 to 93% for stoichiometric ZrC at 100 MPa. The diminishing influence of pressure on the final density with increasing stoichiometry is attributed to two causes: the decreasing initial volume fraction of the plastically deforming Zr metal which leads to the earlier formation of a contiguous, stress shielding carbide skeleton and the larger molar volume shrinkage during reaction which leads to pore formation in the final stages. A numerical model of the creep densification of a dynamically evolving microstructure predicts densities that are consistent with observations and confirm that the availability of a soft metal is primarily responsible for the achievement of such elevated densification during RHP. The ability to densify nonstoichiometric compositions like ZrC0.5 at pressures as low as 4 MPa offers an alternate route to fabricating dense nonstoichiometric carbides.

Functional programming systems revisited

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Is Human-X Chromosome Inactivation A Sex-Determining Device

The evolutionary function of X chromosome inactivation is thought to be dosage compensation. However, there is, at present, little evidence to suggest that most X chromosome-linked genes require such compensation. Another view--that X chromosome inactivation may be related to sex determination--is examined here. Consider a hypothetical DNA sequence regulating a major structural gene concerned with the determination of maleness. If this regulatory sequence occurs in both X and Y chromosomes and if its copy number in the Y chromosome is significantly greater than in the X chromosome, then the male-determining properties of the Y chromosome could be attributed to this higher copy number. On the other hand, if the Y chromosome has the same copy number of this sequence as the X chromosome, it is difficult to see how determination of two sexes would occur under such circumstances because XX and XY genomes would then be indistinguishable in this regard. Such a situation seems to occur in the human species with respect to the banded krait minor satellite, a repetitious DNA sequence associated with sex determination. This apparent difficulty may be resolved if X chromosome inactivation renders regulatory as well as structural genes nonfunctional and thereby brings about a significant reduction in the effective copy number of X chromosome-linked DNA sequences concerned with sex determination. It is suggested that X chromosome inactivation brings about, in this manner, a critical inequality between XX and XY embryos and that sex determination in humans is a consequence of this inequality. An analogous situation appears to exist in certain insects in which inactivation of a haploid set of chromosomes (and presumably, therefore, a 50% reduction in the effective copy number of most genes) is associated with maleness. If this line of reasoning is correct, it would suggest that sex determination may be the primary function of X chromosome inactivation.

A new approach to thermochemical calculations of condensed fuel-oxidizer mixtures

A simple method of calculating the elemental stoichiometric coefficient, φe has been developed, which can easily be applied to multicomponent fuel-oxidizer compositions. The method correctly predicts whether a mixture is fuel lean, fuel rich, or stoichiometrically balanced. The total composition of oxidizing (or reducing) elements of the mixture appears to be related to the thermochemistry of the system. For the reaction of ammonium perchlorate and an organic fuel the heat of reaction varies linearly with the total composition of oxidizing elements. The physical significance of such a correlation based on thermochemical reasoning is highlighted in the paper.