315 resultados para Distributed parameters
Resumo:
The problem of nondestructive determination of the state-of-charge of nickel-cadmium batteries has been examined experimentally as well as theoretically from the viewpoint of internal impedance. It is shown that the modulus of the impedance is mainly controlled by diffusion at all states of charge. Even so, a prediction of the state of charge is possible if the equivalent series/parallel capacitance or the alternating current phase shift is measured at a sufficiently low a.c. test frequency (5–30 Hz) which also avoids inductive effects. These results are explained on the basis of a uniform transmission-line analog equivalent circuit for the battery electrodes.
Resumo:
The small signal ac response is measured across the source-drain terminals of organic field-effect transistors (OFET) under dc bias to obtain the equivalent circuit parameters of poly(2,5-bis(3-tetradecylthiophen-2-yl)thieno[3,2-b]thiophene) (PBTTT) and poly(3-hexyl thiophene) (P3HT) based devices. The numerically simulated response based on these parameters is in good agreement with the experimental data for PBTTT-FET except at low frequencies, while the P3HT-FET data show significant deviations. This indicates that the interface with the metal electrode is rather complex for the latter, involving additional circuit elements arising from contact impedance or charge injection processes. Such an investigation can help in identifying the operational bottlenecks and to improve the performance of OFETs.
Resumo:
A model comprising several servers, each equipped with its own queue and with possibly different service speeds, is considered. Each server receives a dedicated arrival stream of jobs; there is also a stream of generic jobs that arrive to a job scheduler and can be individually allocated to any of the servers. It is shown that if the arrival streams are all Poisson and all jobs have the same exponentially distributed service requirements, the probabilistic splitting of the generic stream that minimizes the average job response time is such that it balances the server idle times in a weighted least-squares sense, where the weighting coefficients are related to the service speeds of the servers. The corresponding result holds for nonexponentially distributed service times if the service speeds are all equal. This result is used to develop adaptive quasi-static algorithms for allocating jobs in the generic arrival stream when the load parameters are unknown. The algorithms utilize server idle-time measurements which are sent periodically to the central job scheduler. A model is developed for these measurements, and the result mentioned is used to cast the problem into one of finding a projection of the root of an affine function, when only noisy values of the function can be observed
Resumo:
Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.
Resumo:
At an EMBO Workshop on DNA Curvature and Bending, held at Churchill College, Cambridge, on 10-15 September 1988, two sessions were scheduled on definitions of parameters used to describe the geometry of nucleic acid chains and helices, and a common nomenclature for these parameters. The most widely used library of helix analysis programs, HELIB (Fratini et al., 1982; Dickerson, 1985) suffers from the fact that the translations and rotations as defined are not fully independent and depend to a certain extent upon the choice of overall helix axis. Several research groups have been engaged independently in developing alternative programs for the geometrical analysis of polynucleotide chains, but with different definitions of quantities calculated and with widely different nomenclature even when the same parameter was involved.
Resumo:
The sharp increase in microwave power loss (the reverse of what has previously been reported) at the transition temperature in high-Tc superconducting systems such as YBaCu oxide (polycrystalline bulk and thin films obtained by the laser ablation technique) and BiPbSrCaCu oxide is reported. The differences between DC resistivity ( rho ) and the microwave power loss (related to microwave surface resistance) are analysed from the data obtained by a simultaneous measurement set-up. The influence of various parameters, such as preparation conditions, thickness and aging of the sample and the probing frequency (6-18 GHz), on the variation of microwave power loss with temperature is outlined.
Resumo:
The modularity of the supramolecular synthon is used to obtain transferability of charge density derived multipolar parameters for structural fragments, thus creating an opportunity to derive charge density maps for new compounds. On the basis of high resolution X-ray diffraction data obtained at 100 K for three compounds methoxybenzoic acid, acetanilide, and 4-methyl-benzoic acid, multipole parameters for O-H center dot center dot center dot O carboxylic acid dimer and N-H center dot center dot center dot O amide infinite chain synthon fragments have been derived. The robustness associated with these supramolecular synthons has been used to model charge density derived multipolar parameters for 4-(acetylamino)benzoic acid and 4-methylacetanilide. The study provides pointers to the design and fabrication of a synthon library of high resolution X-ray diffraction data sets. It has been demonstrated that the derived charge density features can be exploited in both intra- and intermolecular space for any organic compound based on transferability of multipole parameters. The supramolecular synthon based fragments approach (SBFA) has been compared with experimental charge density data to check the reliability of use of this methodology for transferring charge density derived multipole parameters.
Resumo:
A novel approach for simultaneous measurement of chirp (any parameter that can induce strain gradient on FBG) and temperature using a single FBG is proposed. Change in reflectivity at central wavelength of FBG reflection & Bragg wavelength shifts induced due to temperature were used for chirp & temperature measurements respectively. Theoretical resolution limit for chirp and temperature using an Optical Spectrum Analyzer (OSA) with 1pm wavelength resolution and >58dB dynamic range are 12.8fm and 1/13 degrees C respectively.
Resumo:
In a typical sensor network scenario a goal is to monitor a spatio-temporal process through a number of inexpensive sensing nodes, the key parameter being the fidelity at which the process has to be estimated at distant locations. We study such a scenario in which multiple encoders transmit their correlated data at finite rates to a distant, common decoder over a discrete time multiple access channel under various side information assumptions. In particular, we derive an achievable rate region for this communication problem.
Resumo:
The objective of the present work is to propose a constitutive model for ice by considering the influence of important parameters such as strain rate dependence and pressure sensitivity on the response of the material. In this regard, the constitutive model proposed by Carney et al. (2006) is considered as a starting basis and subsequently modified to incorporate the effect of brittle cracking within a continuum damage mechanics framework. The damage is taken to occur in the form of distributed cracking within the material during impact which is consistent with experimental observations. At the point of failure, the material is assumed to be fluid-like with deviatoric stress almost dropping down to zero. The constitutive model is implemented in a general purpose finite element code using an explicit formulation. Several single element tests under uniaxial tension and compression, as well as biaxial loading are conducted in order to understand the performance of the model. Few large size simulations are also performed to understand the capability of the model to predict brittle damage evolution in un-notched and notched three point bend specimens. The proposed model predicts lower strength under tensile loading as compared to compressive loading which is in tune with experimental observations. Further the model also asserts the strain rate dependency of the strength behavior under both compressive as well as tensile loading, which also corroborates well with experimental results. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.
Resumo:
The tracer diffusion coefficients of the elements as well as the integrated interdiffusion coefficients are determined for the Cu3Sn and Cu6Sn5 intermetallic compounds using incremental diffusion couples and Kirkendall marker shift measurements. The activation energies are determined for the former between 498 K and 623 K (225 A degrees C and 350 A degrees C) and for the latter between 423 K and 473 K (150 A degrees C and 200 A degrees C). Sn is found to be a slightly faster diffuser in Cu6Sn5, and Cu is found to be the faster diffuser in Cu3Sn. The results from the incremental couples are used to predict the behavior of a Cu/Sn couple where simultaneous growth of both intermetallics occurs. The waviness at the Cu3Sn/Cu6Sn5 interface and possible reasons for not finding Kirkendall markers in both intermetallics in the Cu/Sn couple are discussed.
Resumo:
A computerized non-linear-least-squares regression procedure to analyse the galvanostatic current-potential data for kinetically hindered reactions on porous gas-diffusion electrodes is reported. The simulated data fit well with the corresponding measured values. The analytical estimates of electrode-kinetic parameters and uncompensated resistance are found to be in good agreement with their respective values obtained from Tafel plots and the current-interrupter method. The procedure circumvents the need to collect the data in the limiting-current region where the polarization values are usually prone to errors. The polarization data for two typical cases, namely, methanol oxidation on a carbon-supported platinum-tin electrode and oxygen reduction on a Nafion-coated platinized carbon electrode, are successfully analysed.
Resumo:
FePS3 is a layered antiferromagnet (T N=123 K) with a marked Ising anisotropy in magnetic properties. The anisotropy arises from the combined effect of the trigonal distortion from octahedral symmetry and spin-orbit coupling on the orbitally degenerate5 T 2g ground state of the Fe2+ ion. The anisotropic paramagnetic susceptibilities are interpreted in terms of the zero field Hamiltonian, ?=?i [?(L iz 2 ?2)+|?|L i .S i ]?? ij J ij S i .S j . The crystal field trigonal distortion parameter ?, the spin-orbit coupling ? and the isotropic Heisenberg exchange,J ij, were evaluated from an analysis of the high temperature paramagnetic susceptibility data using the Correlated Effective Field (CEF) theory for many-body magnetism developed by Lines. Good agreement with experiment were obtained for ?/k=215.5 K; ?/k=166.5 K;J nn k=27.7 K; andJ nnn k=?2.3 K. Using these values of the crystal field and exchange parameters the CEF predicts aT N=122 K for FePS3, which is remarkably close to the observed value of theT N. The accuracy of the CEF approximation was also ascertained by comparing the calculated susceptibilities in the CEF with the experimental susceptibility for the isotropic Heisenberg layered antiferromagnet MnPS3, for which the high temperature series expansion susceptibility is available.