检索结果-内蒙古大学图书馆

Arbogast: Higher order automatic differentiation for special functions with modular C

OPTIMIZATION METHODS & SOFTWARE 2018年第4-6期33卷 963-987页

作者： Charpentier, Isabelle Gustedt, Jens CNRS UMR 7357 ICube Strasbourg France Univ Strasbourg Strasbourg France INRIA Le Chesnay France

This high-level toolbox for the calculus with Taylor polynomials is named after L.F.A. Arbogast (1759-1803), a French mathematician from Strasbourg (Alsace), for his pioneering work in derivation calculus. Arbogast is based on a well-defined extension of the C programming language, modular C, and places itself between tools that proceed by operator overloading on one side and by rewriting, on the other. The approach is best described as contextualization of C code because it permits the programmer to place his code in different contexts-usual math or automatic differentiation (AD)-to reinterpret it as a usual C function or as a differential operator. Because of the type generic features of modern C, all specializations can be delegated to the compiler. The higher order AD with arbogast is exemplified on families of functions of mathematical physics and on models for complex dielectric functions used in optics.

关键词： automatic differentiation differential operators modular programming C contextualization functions of mathematical physics

来源：评论

学校读者我要写书评

暂无评论

Implementing modular adaptation of scientific software

引用

JOURNAL OF COMPUTATIONAL SCIENCE 2012年第1-2期3卷 28-45页

作者： Kang, Pilsung Selvarasu, Naresh K. C. Ramakrishnan, Naren Ribbens, Calvin J. Tafti, Danesh K. Cao, Yang Varadarajan, Srinidhi Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA Virginia Tech Dept Mech Engn Blacksburg VA 24061 USA

Scientific software often needs to be adapted for different execution environments, problem sets, and available resources to ensure its efficiency and reliability. However, for existing programs, implementing adaptations by directly modifying source code can be time-consuming, error-prone, and difficult to manage for today's complex software. In this paper, we present a modular approach to realizing adaptation for existing scientific codes. By treating adaptation as a separate concern, our approach supports the development of application-specific, context-aware adaptation schemes without directly modifying the original code. Our approach uses a compositional framework that offers language-neutral mechanisms to integrate separately written adaptation code with existing code. Using our approach, scientific programmers can focus on the design and implementation of adaptation schemes separately from the original code development, and then compose an adaptive application whose original capabilities are enhanced in diverse aspects such as performance and stability. Our compositional approach enables fine-grained adaptation, so that an application's program behavior is controlled at the function or algorithm level by adaptation code plugged into the application. By applying our approach to real-world scientific applications to implement various adaptation scenarios, we demonstrate applicability and effectiveness for adapting scientific software. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Program adaptation Scientific computing modular programming

来源：评论

学校读者我要写书评

暂无评论

Development of a modular computer-aided process planning (CAPP) system for additive-subtractive hybrid manufacturing of pockets, holes, and flat surfaces

引用

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY 2018年第5-8期96卷 2407-2420页

作者： Basinger, Katie L. Keough, Carter B. Webster, Caroline E. Wysk, Richard A. Martin, Thomas M. Harrysson, Ola L. North Carolina State Univ Coll Engn Edward P Fitts Dept Ind & Syst Engn Raleigh NC 27695 USA Univ North Carolina Chapel Hill Joint Dept Biomed Engn Raleigh NC 27695 USA North Carolina State Univ Raleigh NC 27695 USA

Additive manufacturing (AM) can significantly reduce the development time for small batch parts or parts with complicated geometries. However, the accuracy of most metal AM processes requires parts to be subjected to secondary processing (typically machining) in order to obtain requisite tolerances. Process plan development for hybrid manufacturing, which is defined for the following as additive manufacturing followed by subtractive multi-axis computer numerical control (CNC) machining, typically takes weeks rather than hours or days. This paper outlines a feature-based advanced hybrid manufacturing process planning system (FAH-PS) that uses feature-specific geometric, tolerance, and material data inputs to generate four-automated process plans based on user-specified feature precedence for hybrid manufacturing. FAH-PS currently has the capability to identify manufacturing processes for critical pockets, flat surfaces, and hole features. Additional plans generated by FAH-PS minimize tool changes, orientation changes, etc., to improve process times. FAH-PS is modular and extensible to allow for additional feature types, materials, tool sizes, and/or optimization strategies to be included in future versions. A case study, using a custom patient-specific bone plate, demonstrated system capabilities and processing time reductions as compared to the current manual process planning for hybrid manufacturing methodologies. Using the generated FAH-PS process plan resulted in a 35% reduction in machining time from the current hybrid manufacturing strategy. Imploring a strategy of minimizing tool and orientation changes generated a process plan that demonstrated that even further improvements were possible.

关键词： Automated process planning Subtractive machining Additive manufacturing modular programming Automated operation planning Hybrid manufacturing process planning

来源：评论

学校读者我要写书评

暂无评论

A modular order-sorted equational generalization algorithm

引用

INFORMATION AND COMPUTATION 2014年 235卷 98-136页

作者： Alpuente, Maria Escobar, Santiago Espert, Javier Meseguer, Jose Univ Politecn Valencia Valencia Spain Univ Illinois Urbana IL 61801 USA

Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a generalizer is a term t '' of which t and t' are substitution instances. The dual of a most general unifier (mgu) is that of least general generalizer (lgg). In this work, we extend the known untyped generalization algorithm to, first, an order-sorted typed setting with sorts, subsorts, and subtype polymorphism;second, we extend it to work modulo equational theories, where function symbols can obey any combination of associativity, commutativity, and identity axioms (including the empty set of such axioms);and third, to the combination of both, which results in a modular, order-sorted equational generalization algorithm. Unlike the untyped case, there is in general no single lgg in our framework, due to order-sortedness or to the equational axioms. Instead, there is a finite, minimal and complete set of lggs, so that any other generalizer has at least one of them as an instance. Our generalization algorithms are expressed by means of inference systems for which we give proofs of correctness. This opens up new applications to partial evaluation, program synthesis, and theorem proving for typed equational reasoning systems and typed rule-based languages such as ASF+SDF, Elan, OBJ, Cafe-OBJ, and Maude. (C) 2014 Elsevier Inc. All rights reserved.

关键词： modular programming COMPUTER logic ALGORITHMS COMMUTATIVE law (Mathematics) MATHEMATICAL proofs FUNCTIONAL equations

来源：评论

学校读者我要写书评

暂无评论

Developing models and design methods for information management systems in space vehicles

引用

AUTOMATION AND REMOTE CONTROL 2013年第3期74卷 348-357页

作者： Mikrin, E. A. Kul'ba, V. V. Pavlov, B. V. SP Korolev Rocket & Space Corp Energia Korolev Russia Russian Acad Sci Trapeznikov Inst Control Sci Moscow Russia

We present a unified methodology, models, and design methods for optimal modular information control systems for a special class of objects, namely space vehicles. We develop methods and instruments for creating modul... 详细信息

关键词： SPACE vehicles -- Control systems INFORMATION resources management SPACE vehicle electronics modular programming COMPUTER software

来源：评论

学校读者我要写书评

暂无评论

CONVERTING A BATCH SIMULATION PROGRAM TO AN INTERACTIVE PROGRAM WITH GRAPHICS

引用

SIMULATION 1981年第4期36卷 125-131页

作者： KAUFMAN, A HANANI, MZ BEN GURION UNIV NEGEV CTR COMPBEERSHEBA 84120ISRAEL

Interactive, menu-driven graphics and animation can make a minicomputer-based simulation more informative and more useful than an equivalent simulation running in batch mode on a large computer. Converting a large batch program to interactive operation with graphics is, however, a difficult problem. A top- down, modular approach is essential. As an example, we discuss a program that simulates vehicle motion and driver behavior at a signal-free intersection. We converted the original batch version into an inter active program. The final product, which runs inter actively with animated graphics on a PDP-11 mini computer, is a highly convenient tool for studying intersection design and traffic control.

关键词： animation graphics interactive simulation menues minicomputers modular programming real time top-down design traffic engineering

来源：评论

学校读者我要写书评

暂无评论

Antipattern Discovery in Folk Tunes

引用

JOURNAL OF NEW MUSIC RESEARCH 2013年第2期42卷 161-169页

作者： Conklin, Darrell Univ Basque Country UPV EHU San Sebastian Spain Basque Fdn Sci IKERBASQUE Bilbao Spain

This paper presents a new pattern discovery method for labelled folk song corpora. The method discovers general patterns that are rare or even entirely absent from a set of pieces, and among those the patterns that are frequent in a background set. Pattern discovery is performed with reference to a background ontology of folk tune genres. The method is applied to a large corpus of Basque folk tunes and results are evaluated as descriptive patterns and as negative association rules.

关键词： FOLK music ANTIPATTERNS (Software engineering) modular programming FOLK songs ONTOLOGY ENVIRONMENTAL music

来源：评论

学校读者我要写书评

暂无评论

FATIMA - A DATA ACQUISITION-SYSTEM FOR MEDIUM SCALE EXPERIMENTS

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 1992年第2期39卷 154-158页

作者： WATZLAWIK, KH NELLEN, R NOLL, T KARNADI, M MACHNER, H Institut für Kernphysik Forschungszentrum Jülich (KFA) Julich Germany Inst. fuer Kernphys. Forschungszentrum Julich Germany

The data acquisition system FATIMA (Fera Amplitude and TIme Multiparameter Analyzer) utilizing CAMAC, FERA [1] and a VAX-Station has been designed and built for nuclear physics experiments like subthreshold pi-0-production in Heavy Ion Collisions. The major features of the system are fast data readout of up to 352 ADCs and/or TDCs in conjunction with data reduction, event buffering, high speed data transfer and simple interfacing to any workstation. For on-line acquisition, recording and analysis of data as well as experiment control a modular program system was developed on VAX/VMS. Data analysis comprises on-line sort of real and pseudo channels and graphical representation of sorted data.

关键词： sup CAMAC data transmission Real number CONJUNCTION high speed data Nuclear Physics heavy ions modular programming Workstations readout Graphic methods fast encoding

来源：评论

学校读者我要写书评

暂无评论

A parallel and modular deformable cell Car-Parrinello code

引用

COMPUTER PHYSICS COMMUNICATIONS 1999年第1-3期123卷 56-76页

作者： Cavazzoni, C Chiarotti, GL SISSA Int Sch Adv Studies I-34014 Trieste Italy

We have developed a modular parallel code implementing the Car-Parrinello [Phys. Rev. Lett. 55 (1985) 2471] algorithm including the variable cell dynamics [Europhys. Lett. 36 (1994) 345;J. Phys. Chem. Solids 56 (1995) 510]. Our code is written in Fortran 90, and makes use of some new programming concepts like encapsulation, data abstraction and data hiding. The code has a multi-layer hierarchical structure with tree like dependences among modules. The modules include not only the variables but also the methods acting on them, in an object oriented fashion. The modular structure allows easier code maintenance, develop and debugging procedures, and is suitable for a developer team. The layer structure permits high portability. The code displays an almost linear speed-up in a wide range of number of processors independently of the architecture. Super-linear speed up is obtained with a "smart" Fast Fourier Transform (FFT) that uses the available memory on the single node (increasing for a fixed problem with the number of processing elements) as temporary buffer to store wave function transforms. This code has been used to simulate water and ammonia at giant planet conditions for systems as large as 64 molecules for similar to 50 ps. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： computer parallel molecular dynamics simulations modular programming

来源：评论

学校读者我要写书评

暂无评论

Lightweight Static Capabilities

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年第7期174卷 79-104页

作者： Kiselyov, Oleg Shan, Chung-chieh FNMOC New Brunswick NJ USA Rutgers State Univ New Brunswick NJ USA

We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel of trust that is specific to the problem domain. (ii) Unique names (capabilities) that confer rights and certify properties, so as to extend the trust from the kernel to the rest of the application. (iii) Static (type) proxies for dynamic values. We illustrate our approach using examples from the dependent-type literature, but our programs are written in Haskell and OCaml today, so our techniques are compatible with imperative code, native mutable arrays, and general recursion. The three ingredients of this programming style call for (1) an expressive core language, (2) higher-rank polymorphism, and (3) phantom types.

关键词： modular programming verification safety property static types

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：