Knowledge Based Engineering: Between AI and CAD
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Machine That Builds Itself: How the Strengths of Lisp Family
Khomtchouk et al. OPINION NOTE The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models Bohdan B. Khomtchouk1*, Edmund Weitz2 and Claes Wahlestedt1 *Correspondence: [email protected] Abstract 1Center for Therapeutic Innovation and Department of We address the need for expanding the presence of the Lisp family of Psychiatry and Behavioral programming languages in bioinformatics and computational biology research. Sciences, University of Miami Languages of this family, like Common Lisp, Scheme, or Clojure, facilitate the Miller School of Medicine, 1120 NW 14th ST, Miami, FL, USA creation of powerful and flexible software models that are required for complex 33136 and rapidly evolving domains like biology. We will point out several important key Full list of author information is features that distinguish languages of the Lisp family from other programming available at the end of the article languages and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSL): languages which are specialized to a particular area and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the “programmable programming language.” We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and AI research in bioinformatics and computational biology. -
How Lisp Systems Look Different in Proceedings of European Conference on Software Maintenance and Reengineering (CSMR 2008)
How Lisp Systems Look Different In Proceedings of European Conference on Software Maintenance and Reengineering (CSMR 2008) Adrian Dozsa Tudor Gˆırba Radu Marinescu Politehnica University of Timis¸oara University of Berne Politehnica University of Timis¸oara Romania Switzerland Romania [email protected] [email protected] [email protected] Abstract rently used in a variety of domains, like bio-informatics (BioBike), data mining (PEPITe), knowledge-based en- Many reverse engineering approaches have been devel- gineering (Cycorp or Genworks), video games (Naughty oped to analyze software systems written in different lan- Dog), flight scheduling (ITA Software), natural language guages like C/C++ or Java. These approaches typically processing (SRI International), CAD (ICAD or OneSpace), rely on a meta-model, that is either specific for the language financial applications (American Express), web program- at hand or language independent (e.g. UML). However, one ming (Yahoo! Store or reddit.com), telecom (AT&T, British language that was hardly addressed is Lisp. While at first Telecom Labs or France Telecom R&D), electronic design sight it can be accommodated by current language inde- automation (AMD or American Microsystems) or planning pendent meta-models, Lisp has some unique features (e.g. systems (NASA’s Mars Pathfinder spacecraft mission) [16]. macros, CLOS entities) that are crucial for reverse engi- neering Lisp systems. In this paper we propose a suite of Why Lisp is Different. In spite of its almost fifty-year new visualizations that reveal the special traits of the Lisp history, and of the fact that other programming languages language and thus help in understanding complex Lisp sys- borrowed concepts from it, Lisp still presents some unique tems. -
Praise for Practical Common Lisp
Praise for Practical Common Lisp “Finally, a Lisp book for the rest of us. If you want to learn how to write a factorial function, this is not your book. Seibel writes for the practical programmer, emphasizing the engineer/artist over the scientist and subtly and gracefully implying the power of the language while solving understandable real-world problems. “In most chapters, the reading of the chapter feels just like the experience of writing a program, starting with a little understanding and then having that understanding grow, like building the shoulders upon which you can then stand. When Seibel introduced macros as an aside while building a test frame- work, I was shocked at how such a simple example made me really ‘get’ them. Narrative context is extremely powerful, and the technical books that use it are a cut above. Congrats!” —Keith Irwin, Lisp programmer “While learning Lisp, one is often referred to the CL HyperSpec if they do not know what a particular function does; however, I found that I often did not ‘get it’ just by reading the HyperSpec. When I had a problem of this manner, I turned to Practical Common Lisp every single time—it is by far the most readable source on the subject that shows you how to program, not just tells you.” —Philip Haddad, Lisp programmer “With the IT world evolving at an ever-increasing pace, professionals need the most powerful tools available. This is why Common Lisp—the most powerful, flexible, and stable programming language ever—is seeing such a rise in popu- larity. -
The Evolution of Lisp
1 The Evolution of Lisp Guy L. Steele Jr. Richard P. Gabriel Thinking Machines Corporation Lucid, Inc. 245 First Street 707 Laurel Street Cambridge, Massachusetts 02142 Menlo Park, California 94025 Phone: (617) 234-2860 Phone: (415) 329-8400 FAX: (617) 243-4444 FAX: (415) 329-8480 E-mail: [email protected] E-mail: [email protected] Abstract Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been guided more by institutional rivalry, one-upsmanship, and the glee born of technical cleverness that is characteristic of the “hacker culture” than by sober assessments of technical requirements. Nevertheless this process has eventually produced both an industrial- strength programming language, messy but powerful, and a technically pure dialect, small but powerful, that is suitable for use by programming-language theoreticians. We pick up where McCarthy’s paper in the first HOPL conference left off. We trace the development chronologically from the era of the PDP-6, through the heyday of Interlisp and MacLisp, past the ascension and decline of special purpose Lisp machines, to the present era of standardization activities. We then examine the technical evolution of a few representative language features, including both some notable successes and some notable failures, that illuminate design issues that distinguish Lisp from other programming languages. We also discuss the use of Lisp as a laboratory for designing other programming languages. We conclude with some reflections on the forces that have driven the evolution of Lisp. -
Common Lisp - Viel Mehr Als Nur D¨Amliche Klammern
Einf¨uhrung Geschichtliches Die Programmiersprache Abschluß Common Lisp - viel mehr als nur d¨amliche Klammern Alexander Schreiber <[email protected]> http://www.thangorodrim.de Chemnitzer Linux-Tage 2005 Greenspun’s Tenth Rule of Programming: “Any sufficiently-complicated C or Fortran program contains an ad-hoc, informally-specified bug-ridden slow implementation of half of Common Lisp.” Alexander Schreiber <[email protected]> Common Lisp - viel mehr als nur d¨amliche Klammern 1 / 30 Einf¨uhrung Geschichtliches Die Programmiersprache Abschluß Ubersicht¨ 1 Einf¨uhrung 2 Geschichtliches 3 Die Programmiersprache 4 Abschluß Alexander Schreiber <[email protected]> Common Lisp - viel mehr als nur d¨amliche Klammern 2 / 30 Einf¨uhrung Geschichtliches Die Programmiersprache Abschluß Lisp? Wof¨ur? NASA: Remote Agent (Deep Space 1), Planner (Mars Pathfinder), Viaweb, gekauft von Yahoo f¨ur50 Millionen $, ITA Software: Orbitz engine (Flugticket Planung), Square USA: Production tracking f¨ur“Final Fantasy”, Naughty Dog Software: Crash Bandicoot auf Sony Playstation, AMD & AMI: Chip-Design & Verifizierung, typischerweise komplexe Probleme: Wissensverarbeitung, Expertensysteme, Planungssysteme Alexander Schreiber <[email protected]> Common Lisp - viel mehr als nur d¨amliche Klammern 3 / 30 Einf¨uhrung Geschichtliches Die Programmiersprache Abschluß Lisp? Wof¨ur? NASA: Remote Agent (Deep Space 1), Planner (Mars Pathfinder), Viaweb, gekauft von Yahoo f¨ur50 Millionen $, ITA Software: Orbitz engine (Flugticket Planung), Square USA: Production tracking -
Contribu[Ii La Dezvoltarea Sistemelor Expert %N Domeniul Construc[Iilor
UNIVERSITATEA TEHNIC~ DIN CLUJ-NAPOCA FACULTATEA DE CONSTRUC[II {ef lucr@ri ing. Zsongor F. GOBESZ CONTRIBU[II LA DEZVOLTAREA SISTEMELOR EXPERT %N DOMENIUL CONSTRUC[IILOR - TEZ~ DE DOCTORAT - Conduc@tor }tiin]ific: Prof.dr.ing. Alexandru C~T~RIG CLUJ-NAPOCA 1999 MUL[UMIRI %ntruc$t aceast@ lucrare ^ncearc@ s@ reflecte preocup@rile mele din ultimii ani, dedica]i ^ntr-o mare m@sur@ cercet@rilor legate de aplicarea sistemelor pe baz@ de cuno}tin]e ^n domeniul construc]iilor din ]ara noastr@, ea nu se putea realiza f@r@ sprijinul }i ajutorul unor persoane, c@rora ]in s@-mi exprim recuno}tin]a }i pe aceast@ cale. %n primul r$nd ]in s@ mul]umesc domnului prof. Alexandru C@t@rig, conduc@torului }tiin]ific, pentru ajutorul s@u, spiritul s@u critic, sugestiile valoroase pe care mi le-a f@cut }i nu ^n ultimul r$nd pentru r@bdarea de care a dat dovad@, ^n special ^n ultimii doi ani. Doresc s@ mul]umesc domnilor prof. Marian Ivan (U.P. din Timi}oara), prof. Ioan Ciongradi (U.T. din Ia}i) }i prof. Ludovic Kopenetz (U.T. din Cluj-Napoca) pentru c@ au acceptat sarcina de a fi referen]i. %n plus, doresc s@ mul]umesc domnului prof. Ciongradi }i pentru instrumentele demonstrative }i generatoarele de sisteme expert primite de la Ia}i, iar domnului prof. Kopenetz pentru documenta]iile }i ^nsemn@rile pe care mi le-a pus la dispozi]ie. [in s@ mul]umesc ^n mod deosebit tat@lui meu, at$t pentru cuno}tin]ele ^mp@rt@}ite de-a lungul anilor c$t }i pentru ajutorul moral }i material primite pentru a finaliza }i a multiplica aceast@ lucrare. -
Lisp: Final Thoughts
20 Lisp: Final Thoughts Both Lisp and Prolog are based on formal mathematical models of computation: Prolog on logic and theorem proving, Lisp on the theory of recursive functions. This sets these languages apart from more traditional languages whose architecture is just an abstraction across the architecture of the underlying computing (von Neumann) hardware. By deriving their syntax and semantics from mathematical notations, Lisp and Prolog inherit both expressive power and clarity. Although Prolog, the newer of the two languages, has remained close to its theoretical roots, Lisp has been extended until it is no longer a purely functional programming language. The primary culprit for this diaspora was the Lisp community itself. The pure lisp core of the language is primarily an assembly language for building more complex data structures and search algorithms. Thus it was natural that each group of researchers or developers would “assemble” the Lisp environment that best suited their needs. After several decades of this the various dialects of Lisp were basically incompatible. The 1980s saw the desire to replace these multiple dialects with a core Common Lisp, which also included an object system, CLOS. Common Lisp is the Lisp language used in Part III. But the primary power of Lisp is the fact, as pointed out many times in Part III, that the data and commands of this language have a uniform structure. This supports the building of what we call meta-interpreters, or similarly, the use of meta-linguistic abstraction. This, simply put, is the ability of the program designer to build interpreters within Lisp (or Prolog) to interpret other suitably designed structures in the language. -
New Sparse Matrix Ordering Techniques for Computer Simulation of Electronics Circuits
Recent Advances in Communications, Circuits and Technological Innovation New Sparse Matrix Ordering Techniques for Computer Simulation Of Electronics Circuits DAVID CERNY JOSEF DOBES Czech Technical University in Prague Czech Technical University in Prague Department of Radio Engineering Department of Radio Engineering Technicka 2, 166 27 Praha 6 Technicka 2, 166 27 Praha 6 Czech Republic Czech Republic [email protected] [email protected] Abstract: Engineers and technicians rely on many computer tools, which help them in the development of new devices. Especially in the electronic circuit design, there is required advantageous and complex equipment. This paper makes a brief introduction to the basic problematic of electronic circuit’s simulation. It proposes the key principles for developing modern simulators and possible further steps in computer simulation and circuit design. Main part of the article presents a novel sparse matrix ordering techniques specially developed for solving LU factorization. LU factorization is critical part of any electronic circuit simulation. This paper also presents complete description of backward and forward conversion of the new sparse matrix ordering techniques. The comparison of performance of standard matrix storages and novel sparse matrix ordering techniques is summarized at the end of this article. Key–Words: Computer simulation, SPICE, Sparse Matrix Ordering Techniques, LU factorization 1 Introduction nally come? To better understanding the problematic we must a little investigate SPICE core algorithms. Simulation program SPICE (Simulation Program with The entire program and especially its simulation core Integrated Circuit Emphasis) [1, 2] has dominated in algorithms were written in Fortran, program core al- the field of electronics simulation for several decades. -
A Lisp Oriented Architecture by John W.F
A Lisp Oriented Architecture by John W.F. McClain Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degrees of Master of Science in Electrical Engineering and Computer Science and Bachelor of Science in Electrical Engineering at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY September 1994 © John W.F. McClain, 1994 The author hereby grants to MIT permission to reproduce and to distribute copies of this thesis document in whole or in part. Signature of Author ...... ;......................... .............. Department of Electrical Engineering and Computer Science August 5th, 1994 Certified by....... ......... ... ...... Th nas F. Knight Jr. Principal Research Scientist 1,,IA £ . Thesis Supervisor Accepted by ....................... 3Frederic R. Morgenthaler Chairman, Depattee, on Graduate Students J 'FROM e ;; "N MfLIT oARIES ..- A Lisp Oriented Architecture by John W.F. McClain Submitted to the Department of Electrical Engineering and Computer Science on August 5th, 1994, in partial fulfillment of the requirements for the degrees of Master of Science in Electrical Engineering and Computer Science and Bachelor of Science in Electrical Engineering Abstract In this thesis I describe LOOP, a new architecture for the efficient execution of pro- grams written in Lisp like languages. LOOP allows Lisp programs to run at high speed without sacrificing safety or ease of programming. LOOP is a 64 bit, long in- struction word architecture with support for generic arithmetic, 64 bit tagged IEEE floats, low cost fine grained read and write barriers, and fast traps. I make estimates for how much these Lisp specific features cost and how much they may speed up the execution of programs written in Lisp. -
ASDF 3, Or Why Lisp Is Now an Acceptable Scripting Language (Extended Version)
ASDF 3, or Why Lisp is Now an Acceptable Scripting Language (Extended version) François-René Rideau Google [email protected] Abstract libraries, or network services; one can scale them into large, main- ASDF, the de facto standard build system for Common Lisp, has tainable and modular systems; and one can make those new ser- been vastly improved between 2009 and 2014. These and other im- vices available to other programs via the command-line as well as provements finally bring Common Lisp up to par with "scripting via network protocols, etc. languages" in terms of ease of writing and deploying portable code The last barrier to making that possible was the lack of a that can access and "glue" together functionality from the underly- portable way to build and deploy code so a same script can run ing system or external programs. "Scripts" can thus be written in unmodified for many users on one or many machines using one or Common Lisp, and take advantage of its expressive power, well- many different compilers. This was solved by ASDF 3. defined semantics, and efficient implementations. We describe the ASDF has been the de facto standard build system for portable most salient improvements in ASDF and how they enable previ- CL software since shortly after its release by Dan Barlow in 2002 ously difficult and portably impossible uses of the programming (Barlow 2004). The purpose of a build system is to enable divi- language. We discuss past and future challenges in improving this sion of labor in software development: source code is organized key piece of software infrastructure, and what approaches did or in separately-developed components that depend on other compo- didn’t work in bringing change to the Common Lisp community. -
Th`Ese Est Une Tˆache Ardue
No d’ordre : 3373 THESE` PRESENT´ EE´ A` L’UNIVERSITE´ BORDEAUX I ECOLE´ DOCTORALE DE MATHEMATIQUES´ ET D’INFORMATIQUE Par Martin Raspaud POUR OBTENIR LE GRADE DE DOCTEUR SPECIALIT´ E´ : INFORMATIQUE Mod`eles spectraux hi´erarchiques pour les sons et applications Soutenue le : 24 Mai 2007 Apr`es avis des rapporteurs : Daniel Arfib ....................... Directeur de Recherche Philippe Depalle .................. Professeur Devant la commission d’examen compos´ee de : Christophe Schlick ............... Professeur .................... Pr´esident et Rapporteur Daniel Arfib ....................... Directeur de Recherche Examinateur Philippe Depalle .................. Professeur .................... Examinateur Myriam Desainte–Catherine Professeur .................... Examinateur Laurent Girin ...................... Maˆıtre de Conf´erences . Examinateur Sylvain Marchand ................ Maˆıtre de Conf´erences . Examinateur 2007 Contents English Introduction 1 Introduction en Fran¸cais 7 1 Temporal Modelling 13 1.1 Temporal model ................................................... ....................................... 13 1.2 Time-scaling in the temporal model ................................................... .......... 16 Varying the playing speed ................................................... ........................... 16 Overlap-Add (OLA) ................................................... .................................. 17 SOLA and TD-PSOLA ................................................... ............................... 17 -
Basic Lisp Techniques
Basic Lisp Techniques David J. Cooper, Jr. September 10, 2000 ii 0Copyright c 2000, Franz Inc. and David J. Cooper, Jr. Foreword1 Computers, and the software applications that power them, permeate every facet of our daily lives. From groceries to airline reservations to dental appointments, our reliance on technology is all- encompassing. And, we want more. Every day, our expectations of technology and software increase: smaller cell phones that surf the net • better search engines that generate information we actually want • voice-activated laptops • cars that know exactly where to go • The list is endless. Unfortunately, there is not an endless supply of programmers and developers to satisfy our insatiable appetites for new features and gadgets. \Cheap talent" to help complete the \grunt work" of an application no longer exists. Further, the days of unlimited funding are over. Investors want to see results, fast. Every day, hundreds of magazine and on-line articles focus on the time and people resources needed to support future technological expectations. Common Lisp (CL) is one of the few languages and development options that can meet these challenges. Powerful, flexible, changeable on the fly | increasingly, CL is playing a leading role in areas with complex problem-solving demands. Engineers in the fields of bioinformatics, scheduling, data mining, document management, B2B, and E-commerce have all turned to CL to complete their applications on time and within budget. But CL is no longer just appropriate for the most complex problems. Applications of modest complexity, but with demanding needs for fast development cycles and customization, are also ideal candidates for CL.