A compact voltage controlled CMOS current divider is presented. Differently from previous implementations, exploiting the
MOSFET translinear characteristics in subthreshold region, the proposed circuit is based on devices operating from moderate
to strong inversion. An input current linearity range of nearly a decade is obtained by compensating for the deviations from
the ideal drain current square-law approximation through an original empirical approach. The circuit is suitable for use as
a building block in analog multipliers and for transconductor continuous tuning. The effectiveness of the proposed configuration
is demonstrated by means of electrical simulations, performed on a prototype designed with a commercial process. The robustness
of the linearization algorithm with respect to temperature variations is proven. 相似文献
The working cycle of a novel hydrogen and power generation system based on aluminum combustion with water is analyzed in order to evaluate the best performance in terms of energy conversion efficiency. The system exploits the exothermic reaction between aluminum and steam and produces thermal power for a super-heated steam cycle and hydrogen as a by-product of the reaction. 相似文献
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled Transition Semantics. We prove that the two semantics coincide. The labelled transition system is then used to derive the notions of (weak) simulation and bisimulation for ad hoc networks. The labelled bisimilarity completely characterises reduction barbed congruence, a standard branching-time and contextually-defined program equivalence. We then use our (bi)simulation proof method to formally prove a number of non-trivial properties of ad hoc networks. 相似文献
Polarization Mode Dispersion (PMD) compensation has been a matter of investigation of several papers in literature. The proposed solutions belong basically to two large families: electronic compensators and optical compensators. Both PMD compensator schemes have advantages and disadvantages: electronic PMD compensators are usually simple to include in line-terminal, potentially low-cost, very fast, and FEC compatible but their development is strongly dependent on IC technology capability that at this time allows device developments up to the 10 Gbit/s bit rates area. Furthermore, they are strongly dependent on modulation formats, and they can operate only on a single channel. Conversely, optical compensators are independent of bit rate and modulation format and potentially they can compensate more channels simultaneously; their major drawbacks are the longer response time and the complexity in the feedback signal process within the control algorithm. In this paper we consider an optical Polarization Mode Dispersion Compensator (PMDC) that is simple to realize and easy to include at limited costs in each EDFA module (distributed compensation) as well as a single-stage front-end compensator. Numerical analysis of the PMDC and experimental results confirm the utility of the PMDC proposed and its capability in compensating DGD larger than 20 ps in NRZ and RZ 40 Gbit/s optical systems. 相似文献
Spatial resolution in modern ultrasound imaging systems is limited by the high cost of large aperture transducer arrays, which require a large number of transducer elements and electronic channels. A new technique to enhance the spatial resolution of pulse-echo imaging systems is presented. The method attempts to build an image that could be obtained with a transducer array aperture larger than that physically available. We consider two images of the same object obtained with two different apertures, the full aperture and a subaperture, of the same transducer. A suitable artificial neural network (ANN) is trained to reproduce the relationship between the image obtained with the transducer full aperture and the image obtained with a subaperture. The inputs of the neural network are portions of the image obtained with the subaperture (low resolution image), and the target outputs are the corresponding portions of the image produced by the full aperture (high resolution image). After the network is trained, it can produce images with almost the same resolution of the full aperture transducer, but using a reduced number of real transducer elements. All computations are carried out on envelope-detected decimated images; for this reason, the computational cost is low and the method is suitable for real-time applications. The proposed method was applied to experimental data obtained with the ultrasound synthetic aperture focusing technique (SAFT), giving quite promising results. Realtime implementation on a modern, full-digital echographic system is currently being developed. 相似文献
Starting by quasilinear means, we propose and analyze functionals that allow to represent the preferences of the decision maker in a more general setting; the preference order in the set of the alternatives depends on the way the functional has been generated. The functionals of this kind enjoy classical properties as independence and dominance principle. Anyway we stress that to make use of a single functional is not sufficient to describe paradoxical situations that arise for istance in the Kahneman and Tversky experiment. 相似文献
The high computational complexity of advanced reasoning tasks such as reasoning about knowledge and planning calls for efficient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate, an algorithm for evaluating quantified Boolean formulae (QBFs). Algorithms for evaluation of QBFs are suitable for experimental analysis of problems that belong to a wide range of complexity classes, a property not easily found in other formalisms. Evaluate is a generalization of the Davis–Putnam procedure for SAT and is guaranteed to work in polynomial space. Before presenting the algorithm, we discuss several abstract properties of QBFs that we singled out to make it more efficient. We also discuss various options that were investigated about heuristics and data structures and report the main results of the experimental analysis. In particular, Evaluate is orders of magnitude more efficient than a nested backtracking procedure that resorts to a Davis–Putnam algorithm for handling the innermost set of quantifiers. Moreover, experiments show that randomly generated QBFs exhibit regular patterns such as phase transition and easy-hard-easy distribution. 相似文献
This paper addresses the designers’ activity and in particular the way designers express an object shape in 2D sketches through character lines and how these lines form a basis for sketching shapes in 3D. The tools currently available in commercial CAS/CAD systems to manipulate the digital models are still not sufficiently suited to support design. In this paper, the so-called fully free-form deformation features (δ-F4) are introduced as a modelling method to take into account the curve-oriented stylists’ way of working. Both the advantages of a free-form surface deformation method and a feature-based approach are merged to define these high-level modelling entities allowing for a direct manipulation of surfaces through a limited number of intuitive parameters. Such features incorporate several characteristics designed to handle the uncertainties and/or inconsistencies of the designer's input during a sketching activity. In addition, a δ-F4 classification is proposed to enable a fast access to the desired shape according to its semantics and characteristics. 相似文献
The static phase shifting transformer is one of the potential options of the recently proposed FACTS (flexible AC transmission systems). Promising results have been obtained for enhancing the small-disturbance and the transient stability of interconnected power systems.
In this paper, the important concept of involving in the same control strategy both generating units and static phase shifters has been considered. A systematic procedure for designing co-ordinated and decentralized controllers of these components is provided to assure a satisfactory dynamic performance of an interconnected power system under both small and large perturbations. The approach uses optimal control theory as a basis for the co-ordination of static phase shifter and governor controllers. A suboptimal decentralized control scheme is derived from the designed optimal controller by using a ‘minimum norm’ nearness criterion. The resulting feedback control signals for each generating unit and for each phase shifter is expressed in terms of measurable and local variables only.
Test results show the effectiveness of the proposed control strategy and the usefulness of control actions on static phase shifters. 相似文献
Terminase is an enzyme from bacteriophage lambda that is required for insertion of the viral genome into an empty pro-capsid. This enzyme is composed of the viral proteins gpNu1 (20.4 kDa) and gpA (73.3 kDa) in a holoenzyme complex. Current models for terminase assembly onto DNA suggest that gpNu1 binds to three repeating elements within a region of the lambda genome known as cosB which, in turn, stimulates the assembly of a gpA dimer at the cosN subsite. This prenicking complex is the first of several stable nucleoprotein intermediates required for DNA packaging. We have noted a hydrophobic region within the primary amino acid sequence of the terminase gpNu1 subunit and hypothesized that this region constitutes a protein-protein interaction domain required for cooperative assembly at cosB and that is also responsible for the observed aggregation behavior of the isolated protein. We therefore constructed a mutant of gpNu1 in which this hydrophobic "domain" has been deleted in order to test these hypotheses. The deletion mutant protein, gpNu1DeltaK, is fully soluble and, unlike full-length protein, shows no tendency toward aggregation; However, the protein is a dimer under all experimental conditions examined as determined by gel permeation and sedimentation equilibrium analysis. The truncated protein is folded with evidence of secondary and tertiary structural elements by circular dichroism and NMR spectroscopy. While physical and biological assays demonstrate that gpNu1DeltaK does not interact with the terminase gpA subunit, the deletion mutant binds with specificity to cos-containing DNA. We have thus constructed a deletion mutant of the phage lambda terminase gpNu1 subunit which constitutes a highly soluble DNA binding domain of the protein. We further propose that the hydrophobic amino acids found between Lys100 and Pro141 define a self-association domain that is required for the assembly of stable nucleoprotein packaging complexes and that the C-terminal tail of the protein defines a distinct gpA-binding site that is responsible for terminase holoenzyme formation. 相似文献