Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

Anhydrous esterification of myristic acid with propylene: Ion exchange resin and acid-treated clay as catalysts

Anhydrous esterification of myristic acid with propylene was carried out in the temperature range of 110–145°C and pressure from 190–195 psig in the presence of Amberlyst-15 (cation exchange resin) and Filtrol-24 (acid-treated clay) as catalysts. The product ester, isopropyl myristate finds use in cosmetic and topical medicinal preparations where good absorption through the skin is desired. Filtrol-24 is the catalyst of choice, and the recommended operating temperature is 130°C with a pressure of 190 psig.     

Mechanisms in damping of mechanical vibration by piezoelectric ceramic-polymer composite materials

The piezoelectric ceramic (piezoceramic) component of a polymer-piezoelectric ceramic composite converts mechanical energy into electrical energy and this electrical energy is dissipated as heat in a load resistance, R _x, simulated by a shunted resistance, but provided in practice by a conductive polymer composite matrix. The composite therefore dissipates the input mechanical energy via the damping mechanism provided by piezoelectric ceramic-conductive matrix material, as well as the conventional viscoelastic damping provided by the polymer. Mathematical models have been developed to characterize the damping behaviour of the composites, and the maximum damping ratio of composites can be as high as 23%. A two degrees-of-freedom (2DOF) experimental setup was developed to test the validity of the models. The experimental results are in good agreement with the theoretical predictions.     

Dissolution Behavior of Griseofulvin Solid Dispersions Using Polyethylene Glycol, Talc, and Their Combination as Dispersion Carriers

Griseofulvin solid dispersions were prepared using polyethylene glycol 6000 (PEG), talc, and their combination as carriers by the solvent method. The dissolution of griseofulvin from these dispersions was studied. It was found that in these carriers the drug dissolution rate was a function of drug loading. The dissolution rate from dispersions prepared using PEG was similar to that from PEG/talc dispersions, especially at a low percentage of drug loading. Dispersions of PEG and PEG/talc provided dissolution rates faster than those from dispersions of talc. The incorporation of talc in PEG yielded dispersions with properties of less tackiness and ease for handling. Dissolution kinetics, based on the Hixson-Crowell equation, was used to determine the characteristics of griseofulvin particles in dispersions. Linear relationships were obtained for PEG and PEG/talc dispersions that indicated the presence of a uniformly sized monoparticulate system, whereas deviation from linearity was observed for talc dispersions. This appeared to be a multiparticulate system in which particles were present as free form and adsorbed form on the surface of talc.     

Identification and characterization of the murine homologue of CD22, a B lymphocyte-restricted adhesion molecule

The human B lymphocyte-specific Ag, CD22, is a cell adhesion molecule expressed on the surface during a narrow window of B cell development, coincident with surface IgD. A ligand for CD22 has recently been identified on human T cells as the low molecular mass isoform of the leukocyte common Ag, CD45RO. CD22 has been reported to function in the regulation of both T and B cell activation in vitro. In this study, we report the isolation and expression of a molecular cDNA clone encoding the murine homologue of CD22, mCD22. Within their predicted protein sequences, murine and human sequences overall have 62% identity, which includes 18 of 20 extracellular cysteines and six of six cytoplasmic tyrosines. BHK cells transfected with mCD22 cDNA specifically adhere to resting and activated T lymphocytes and in addition bound activated, but not resting, B cells. Five Th clones were analyzed for their ability to adhere to mCD22; two Th0 clones and one Th1 clone bound CD22+ BHK transfectants, but not all T cell clones bound CD22+ cells: another Th1 clone and a Th2 clone did not. mCD22+ BHK transfectants were also specifically bound by the B cell-specific mAb, NIM-R6, demonstrating that this mAb is specific for murine CD22. Human cell lines expressing the counter-receptors for human CD22 were also examined for adhesion to the murine CD22 homologue; the epitope responsible for B cell adhesion to CD22 is conserved, whereas the T cell epitope binding to CD22 is not. The cDNA and mAb to murine CD22 will be useful for defining the in vivo function of CD22.     

Energy release rates of crack kinking by boundary condition sensitivity analysis

The energy release rate, which is the total derivative of the energy with respect to crack length, is recognized as corresponding to the shape sensitivity analysis with the crack length change represented by the tangential component of design velocity. In this paper the sensitivity formula recently developed for a changing boundary condition has been further extended to cover crack kinking under mixed mode loading. Due to difficulty in defining the velocity field at the corner, the energy release rate at the onset of crack kinking is obtained by extrapolating the energy release rates for finite length kinked cracks. A rectangular plate with a single edge slant crack under uniform tension is taken as a numerical example. The multi-region technique in the numerical implementation of the boundary integral equation is adopted to consider the asymmetry of the problem. Excellent accuracy is observed as compared with reference analytic solutions.     

Electrical characterization of porous BaTiO3 using impedance spectroscopy in humid condition

The humidity response characteristics of La doped BaTiO₃ with different sintered densities and room temperature electrical conductivities were investigated using complex impedance measurement. The samples with low density and high resistivity showed the large and nearly linear sensitivity to the change of humidity. The impedance spectra of samples, when exposed to high humidity, can exhibit microstructure-related features, even though they do not give rise to a noticeable characteristic change when exposed to low humidity. The observed impedance patterns were dependent upon the density, and hence the oxidation kinetics of BaTiO₃.     

开发PROFIBUS-DP智能从站

简单介绍了PROFIBUS－DP现场总线，同时讨论了利用89C52单片机和PROFIBUS－DP从站芯片SPC3开发PROFIBUS－DP智能从站的软硬件设计方法。     

Background memory area estimation for multidimensional signalprocessing systems

Memory cost is responsible for a large amount of the chip and/or board area of customized video and image processing system realizations. In this paper, we present a novel technique-founded on data-flow analysis which allows one to address the problem of background memory size evaluation for a given nonprocedural algorithm specification, operating on multidimensional signals with affine indexes. Most of the target applications are characterized by a huge number of signals, so a new polyhedral data-flow model operating on groups of scalar signals is proposed. These groups are obtained by a novel analytical partitioning technique, allowing to select a desired granularity, depending on the application complexity. The method incorporates a way to tradeoff memory size with computational and controller complexity