Tool for efficient intermodulation analysis using conventional HB packages

A simple and efficient approach is proposed for the intermodulation analysis of nonlinear microwave circuits. The algorithm, which is based on a very mild assumption about the frequency response of the linear part of the circuit, allows for a reduction in computing time and memory requirement. Moreover. It can be easily implemented using any conventional tool for harmonic-balance circuit analysi

ПІДХІД ДЛЯ АВТОМАТИЗОВАНОЇ КОМПОЗИЦІЇ BPEL ПРОЦЕСІВ / ПЕРЕКЛАД СТАТТІ «AN APPROACH FOR THE AUTOMATED COMPOSITION OF BPEL PROCESSES» (ПЕРЕКЛАД РЕМАРОВИЧ С.)

Ми описуємо метод для автоматизованого синтезу нових композитних Веб-сервісів. Враховуючи набір компонентних сервісів, які описані як абстрактні BPEL4WS процеси, збагачені семантичними анотаціями, а також враховуючи вимогу композиції, ми автоматично генеруємо виконуваний BPEL4WS процес, який після розгортання здатний взаємодіяти з компонентами, щоб задовольнити вимогу. Ми орієнтуємося, зокрема, на опис анотацій, які ми повинні додати до \ud абстрактних BPEL4WS процесів для того, щоб охопити «семантичні» аспекти їх виконання, і на роль, яку ці семантичні анотації грають в завданні автоматизованої композиції

АВТОМАТИЗОВАНА КОМПОЗИЦІЯ СЕМАНТИЧНИХ ВЕБ-СЕРВІСІВ У ВИКОНУВАНІ ПРОЦЕСИ. ПЕРЕКЛАД СТАТТІ «AUTOMATED COMPOSITION OF SEMANTIC WEB SERVICES INTO EXECUTABLE PROCESSES\ud (ПЕРЕКЛАД РЕМАРОВИЧ С.)\ud

Пропонується метод планування для автоматизованої композиції Веб-сервісів, які описані в OWL-S моделях процесу, який може\ud ефективно боротися з недетермінізмом, частковою спостережністю і складними цілями.\ud \ud Abstract\ud Different planning techniques have been applied to the problem of automated composition of web services. However, in realistic cases, this planning problem is far from trivial: the planner needs to deal with the nondeterministic behavior of web services, the partial observability of their internal status, and with complex goals expressing temporal conditions and preference requirements. We propose a planning technique for the automated composition of web services described in OWL-S process models, which can deal effectively with nondeterminism, partial observability, and complex goals. The technique allows for the synthesis of plans that encode compositions of web services with the usual programming constructs, like conditionals and iterations. The generated plans can thus be translated into executable processes, e.g., BPEL4WS programs. We implement our solution in a planner and do some preliminary experimental evaluations that show the potentialities of our approach, and the gain in performance of automating the composition at the semantic level w.r.t. the automated composition at the level of executable processes

Inelastic and elastic collision rates for triplet states of ultracold strontium

We report measurement of the inelastic and elastic collision rates for ^{88}Sr atoms in the (5s5p)^3P_0 state in a crossed-beam optical dipole trap. This is the first measurement of ultracold collision properties of a ^3P_0 level in an alkaline-earth atom or atom with similar electronic structure. Since the (5s5p)^3P_0 state is the lowest level of the triplet manifold, large loss rates indicate the importance of principle-quantum-number-changing collisions at short range. We also provide an estimate of the collisional loss rates for the (5s5p){^3P_2} state.Comment: 4 pages 5 figure

Experimental and numerical study of error fields in the CNT stellarator

Sources of error fields were indirectly inferred in a stellarator by reconciling computed and numerical flux surfaces. Sources considered so far include the displacements and tilts (but not the deformations, yet) of the four circular coils featured in the simple CNT stellarator. The flux surfaces were measured by means of an electron beam and phosphor rod, and were computed by means of a Biot-Savart field-line tracing code. If the ideal coil locations and orientations are used in the computation, agreement with measurements is poor. Discrepancies are ascribed to errors in the positioning and orientation of the in-vessel interlocked coils. To that end, an iterative numerical method was developed. A Newton-Raphson algorithm searches for the coils' displacements and tilts that minimize the discrepancy between the measured and computed flux surfaces. This method was verified by misplacing and tilting the coils in a numerical model of CNT, calculating the flux surfaces that they generated, and testing the algorithm's ability to deduce the coils' displacements and tilts. Subsequently, the numerical method was applied to the experimental data, arriving at a set of coil displacements whose resulting field errors exhibited significantly improved quantitative and qualitative agreement with experimental results.Comment: Special Issue on the 20th International Stellarator-Heliotron Worksho

07061 Abstracts Collection -- Autonomous and Adaptive Web Services

From 4.2.2007 to 9.2.2007, the Dagstuhl Seminar 07061 ``Autonomous and Adaptive Web Services\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

АВТОМАТИЗОВАНИЙ СИНТЕЗ КОМПОЗИТНИХ BPEL4WS ВЕБ-СЕРВІСІВ. ПЕРЕКЛАД СТАТТІ «AUTOMATED SYNTHESIS OF COMPOSITE BPEL4WS WEB SERVICES» (ПЕРЕКЛАД РЕМАРОВИЧ С.)

У цій статті ми пропонуємо метод для автоматизованого синтезу нових композитних Веб-сервісів. Враховуючи набір абстрактних BPEL4WS описів компонентних сервісів, а також вимогу композиції, ми автоматично генеруємо виконуваний BPEL4WS процес, який, після розгортання, здатний взаємодіяти з компонентами, щоб задовольнити вимогу. Ми реалізували запропонований підхід, використовуючи ефективні засоби синтезу, і експеримент з деякими тематичними дослідженнями, взятими з реальних застосувань і з параметризованим доменом. Ми показали, що метод може масштабуватися до випадків, в яких ручна розробка BPEL4WS композитних сервісів не є тривіальною і вимагає багато часу

Repumping and spectroscopy of laser-cooled Sr atoms using the (5s5p)3P2 - (5s4d)3D2 transition

We describe repumping and spectroscopy of laser-cooled strontium (Sr) atoms using the (5s5p)3P2 - (5s4d)3D2 transition. Atom number in a magneto-optical trap is enhanced by driving this transition because Sr atoms that have decayed into the (5s5p)3P2 dark state are repumped back into the (5s2)1S0 ground state. Spectroscopy of 84Sr, 86Sr, 87Sr, and 88Sr improves the value of the (5s5p)3P2 - (5s4d)3D2 transition frequency for 88Sr and determines the isotope shifts for the transition.Comment: 4 pages, 5 figure

Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements

Abstract. We propose an approach for incremental modeling of composite Web services. The technique takes into consideration both the functional and nonfunctional requirements of the composition. While the functional requirements are described using symbolic transition systems—transition systems augmented with state variables, function invocations, and guards; non-functional requirements are quantified using thresholds. The approach allows users to specify an abstract and possibly incomplete specification of the desired service (goal) that can be realized by selecting and composing a set of pre-existing services. In the event that such a composition is unrealizable, i.e. the composition is not functionally equivalent to the goal or the non-functional requirements are violated, our system provides the user with the causes for the failure, that can be used to appropriately reformulate the functional and/or non-functional requirements of the goal specification.