In this paper, we propose a framework for UDDI registry based on pureXML technology. It uses XML database in place of relational database as the infrastructure and provides the same interfaces that compliant with UDDI v2 specification. With the help of pureXML, we can directly store XML data in database, preserve the original data structure, cut the heavy work in converting XML data, shredding data to relational tables and indexing. Moreover, we provide extended authentication and classification mechanism that most suitable for organizations with tree structure. It can be used by businesses and organizations as a private UDDI for Web service organizing. And the development methodology has prevalent meaning of guidance in information system development.
This work explores the relationship between digital signal processing theory and the numerical methods for circuit simulation. It is shown that by using B-spline basis function as the interpolation function, a fast recursive filtering approach can be derived for solving the ordinary differential equations. Since the spline function can be used as the scaling function in wavelet decomposition and reconstruction, the proposed method provides an alternative approach to the recently proposed wavelet collocation method for circuit simulation. Instead of decomposing the solutions directly into the wavelet basis functions at all levels and solving the obtained linear equations as in the wavelet collocation method, the proposed approach applies the multiresolution analysis. Specifically, first the expansion coefficients with respect to the scaling spline basis functions at the highest resolution level are obtained using the fast recursive filtering approach, then the wavelet coefficients at all levels are obtained by applying the fast wavelet decomposition algorithm. The experimental results show that the proposed approach is very promising.
This paper proposed a novel approach to solving SAT problems by combining Discrete Lagrangian method with ILP solvers. Traditionally when applied to SAT problems, ILP solvers have to start from an initial solution which is far away from the optimal solution. Discrete Lagrangian methods can efficiently obtain an initial solution which is very close to the optimal solution. This paper shows a method to combine their computation advantages in an efficient way.
This paper presents an analytical solution of the phase noise spectra for LC oscillators. Modeling noisy input processes as current impulse injections to the circuit, a linearized phase noise model is obtained by the Taylor series expansion method. For this linearized model, an analytic expression of the impulse sensitivity function (ISF) is derived. This is a new method to obtain ISF for a class of LC oscillators. Then we analyze for oscillator's output power spectra density (PSD) and we show that the two widely publicized methods presented in Vanassche et al. (2003) and Demir (2002) produce equal results for the oscillator's phase noise spectrum with white noise source.
A two-step spline wavelet approach to circuit simulation in the digital signal processing perspective is proposed in this paper. First a fast recursive B-spline filtering approach to solving ordinary differential equations is introduced, then the fast wavelet decomposition and reconstruction algorithms are applied using multiresolution analysis. This work also exploits the relationship between digital signal processing theory and the numerical methods for circuit simulation.
With the rapid development of deep submicron (DSM) VLSI circuit designs, many issues such as time closure and power consumption are making the physical designs more and more challenging. In this review paper we provide readers with some recent progress of the VLSI physical designs. The recent developments of floorplanning and placement, interconnect effects, modeling and delay, buffer insertion and wire sizing, circuit order reduction, power grid analysis, parasitic extraction, and clock signal distribution are briefly reviewed.
In this paper, we propose a novel time-domain based method, discrete singular convolution algorithm, for computing steady-state response in nonlinear circuit. Properties and advantages of discrete singular convolution method are discussed, compared with some other approaches. The accuracy and efficiency of this method are tested by the numerical experiments.
A new relationship of eigenvalues between the Jacobi iterative matrix and the USAOR iterative matrix for a general block p-cyclic case is derived. Many known results are its special cases.
Satisfiability (SAT) and integer linear programming (ILP) are two related NP-complete problems. They both have a lot of important applications. We study the effectiveness of using them as a complementary tool to each other. We propose three different ILP formulations to solve SAT and compare them with state-of-the-art SAT solvers Berkmin and zchaff. On the other hand, we give two methods to solve ILP by using SAT solvers. In both cases, we achieve speed-ups of several orders for most of our tested examples.
This paper studies the problems of optimizing power dissipation for simultaneous buffer insertion/sizing and uniform wire sizing (BISUWS), and simultaneous buffer insertion/sizing and tapered wire sizing (BISTWS). For BISUWS, we analyze the optimal total power dissipation under the delay constraints as well as the power-delay tradeoff. For BISTWS, we study the problems of minimizing power dissipation with optimal delay constraints or with a given delay penalty. We derive optimal solutions for both cases. These solutions can be used to efficiently estimate the power dissipation for long single wires in the interconnect designs.
A narrow light beam that propagates in the atmosphere with less disturbance than conventional light beams is introduced. The operating method and features of the newly proposed long-range nondiffracting beam (LRNB) are briefly demonstrated. Some experimental results of the atmospheric propagation of this beam at a distance of 500 m are shown in comparison with a conventional collimated beam and a focused beam. The results and related analyses show that the LRNB is much less influenced by atmospheric turbulence than other beams and suggest that the LRNB can apply to many fields.
(BEDT-TTF)4Hg2.89Br8 (BEDT-TTF = bisethylene dithiotetrathiofulvalene) is an ambient pressure low-temperature superconductor (Tc = 4.3K) with an incommensurate two-sublattice structure. It crystallizes in orthorhombic and monoclinic modifications. Only the monoclinic phase becomes superconducting on cooling, as confirmed in this study. Its Hg sublattice undergoes a transition when the temperature is reduced, during which the Hg columns gradually shift in a direction parallel to the column axis. Since the symmetry is lowered, twinning occurs, but the structure of the conducting layers of BEDT-TTF molecules is little affected. The structures at room temperature and 40K are analyzed using four-dimensional superspace group theory.
An imaging-plate detector interfaced to a large-volume high-pressure device allows quantitative in situ powder X-ray diffraction measurements at the National Synchrotron Light Source (NSLS). High-quality diffraction patterns were recorded from an (Ni,Mg)2Si04 olivine solid-solution sample at 4 GPa and 800°C as a function of time using 3 min exposures at 40, 63, and 109 min. Refinement of the crystal structure indicated an increase in the ordering of Ni2+ and Mg2+ cations over the Ml and M2 sites at high pressure. The unit-cell volume was found to decrease with increasing ordering. Kinetic phenomena associated with the cation redistribution were observed on the time scale of tens of minutes. Extrapolation based on an exponential law of ordering relaxation toward equilibrium gave a distribution coefficient (KD)of 10.7(1) at 4 GPa and 800°C; the starting sample, which was annealed at 800 °c and room pressure, gave KD = 8.3(1).
Phenyl radicals with different positively charged, chemically inert substituents in the para position were generated by collision-activated dissociation of para-substituted iodobenzene ions in the gas phase inside a Fourier-transform ion cyclotron resonance mass spectrometer. The reactivity of the radicals was examined toward organic hydrogen atom donors. The findings parallel those made by others for neutral radicals in solution. For example, the efficiency of hydrogen atom abstraction increases in the expected order phenol < thiophenol < benzeneselenol. Inspite of great exothermicity, hydrogen atom abstraction by the charged phenyl radicals occurs at a small fraction of the gas-phase collision rate, suggesting the presence of a significant barrier on the reaction coordinate. Fluorine substitution on the phenyl ring was found to drastically enhance the reaction rate for all the substrates studied. For example, hydrogen abstraction from thiophenol by the (2,3,5,6-tetrafluoro-4-dehydrophenyl)trim ion occurs at 21% of the collision rate while the (4-dehydrophenyl)trimethylphosphonium ion reacts by hydrogen atom abstraction at less than 0.3% of the collision rate. In order to probe whether a similar rate enhancement is expected for hydrogen atom abstraction from a sugar unit in DNA, a key step in the action of many antitumor drugs, tetrahydrofuran was examined as a simple model of the sugar moiety. This substrate was found to demonstrate even greater sensitivity toward fluorine substitution in the phenyl radical than the other hydrogen atom donors studied. Hence, fluorine substitution is likely to drastically increase the activity of those antitumor drugs whose action is based on DNA cleavage by polyatomic organic radicals.
The homolytic Se-H bond energy of benzeneselenol, a very efficient radical trap in solution and in the gas phase, was determined experimentally by using two independent approaches in a Fourier-transform ion cyclotron resonance mass spectrometer. The hydrogen-selenium bond strength was concluded to be 76-80 kcal mol(-1) based on the measurement of the efficiency of hydrogen atom abstraction from benzeneselenol by several radical cations. The Se-H bond energy was also determined indirectly through the use of a thermochemical cycle. This approach required the measurement of the adiabatic ionization energy of benzeneselenol and the proton affinity of C6H5Se.. An adiabatic ionization energy of 8.3 +/- 0.1 eV was obtained by measurement of the efficiencies of various electron transfer reactions in the forward and reverse directions. The proton affinity of C6H5Se. (acidity of the benzeneselenol radical cation) was found to be 200 +/- 3 kcal mol(-1) based on the measured efficiencies of several proton transfer reactions. These two values yield a homolytic Se-H bond enthalpy of 78 +/- 4 kcal mol(-1) (at 298 K) for benzeneselenol. This value is significantly different from the only estimate (67 kcal mol(-1)) currently available in the literature.
A strategy is described for recognition of partially overlapped reflections of a twinned crystal. Potentially overlapping reflections are identified by comparison of the Miller indices after transformation to a single basis set for all twin components. Overlapping reflections are subsequently rejected or accepted for structure determination based on their calculated separation in the omega-scanning angle. The method is applied to a twinned crystal of 6,6'-bi(2,3-dihydro[1,3]-dithiolo[5,4-b] diox-6-yliden)ium dicyanoargentate, [C10H8O4S4](2)-[Ag(CN)(2)], M(r) = 800.76, triclinic, P ($) over bar 1, a = 4.0355 (1), b = 16.7566(2), c = 10.2335(1)Angstrom, alpha = 82.49(1), beta = 81.12(1), gamma = 91.10(2)degrees, V = 677.3(3)Angstrom(3), Z = 1, D-calc = 1.963 g cm(-3) Mo K alpha = 0.71073 Angstrom, mu = 13.805 cm(-1), F(000) = 401, room temperature, R(F) = 0.0642, for 1250 reflections. The structure consists of stacks of BEDO-TTF cations [BEDO-TTF = bis(ethylenedioxo)tetrathiafulvalene] a. Short S-S contacts of 3.433 and 3.500 Angstrom occur between the BEDO-TTF molecules within sheets perpendicular to the stacking direction.
A set of cylindrical vacuum chambers made of a carbonaceous composite material coated with a thin layer of aluminium is described. Its performance with a Displex cryostat and Mo Kα radiation has been tested.
Vaclav Petricek合作论文数UCL Computer Science, London2