Development of Support Program for AMBER.
نویسندگان
چکیده
منابع مشابه
Generic System Support for Deductive Program Development
We report on a case study in using logical frameworks to support the formalization of programming calculi and their application to deduction-based program synthesis. Within a conservative extension of higher-order logic implemented in the Isabelle system, we derived rules for program development that can simulate those of the deductive tableau proposed by Manna and Waldinger. We have used the r...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولdevelopment of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles
a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...
Development of Financial Support Program for High Risk Pregnant Women
OBJECTIVES The purpose of this study was to develop a financial support program for high-risk pregnant women based on opinions obtained using a questionnaire survey. METHODS The program development involved two steps: (1) developing a questionnaire through reviewing previous financial support programs for maternal care and then validating it via professional consultation; and (2) drafting a f...
متن کاملGraphical environments to support parallel program development
The paper describes and compares two graphical environments for supporting parallel program development. GRADE supports application programmers in order to develop explicitly parallel programs based on the message passing paradigm. It provides a graphical language GRAPNEL, animation for correctness and performance debugging as well as a performance visualization tool PROVE. The other system, MO...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Software
سال: 1999
ISSN: 0918-0761
DOI: 10.2477/jchemsoft.5.39