apla 中文意思是什麼

Developed the core translator to transform the apla ' s abstract datatype to c + + ' s class library. 6

研製核心轉換器，實現apla抽象數據類型到c + +部件庫的轉換。

Compared apla language ' s grammar with c + + language ' s grammar and researched the transforming rule. 4

對apla語言和c + +語言的文法進行比較，研究它們之間的轉換規則。

By using the par method and transforming system, we implement the abstract data in apla correctly. 3

利用par方法，以自擴展的方式正確地實現apla語言定義的抽象數據類型； 3

Its main target is correct realization of the abstract data in apla, and its main content is : 1

本項研究的主要目標是正確地實現apla語言中的抽象數據類型，具體研究內容為： 1

Researched the transforming rule of transforming apla ' s generic programs to it ' s equivalent c + + - programs. 5

研究將apla語言中的泛型程序設計機制轉換為等價c + +語言程序的方法。

Apla embodies the thinking of data abstraction, procedure abstraction. there are some core questions in the translator

Apla是一種抽象演算法描述語言，具有高度抽象、表達力強等特點。

4. denote typical arithmetics with apla and transform them to java programs. 5. implement a transforming model to resolve java generic mechanism

4 、使用apla語言對典型演算法進行描述，並將其轉換成可執行的java程序。

The research of this paper is to provide a practical tool to support the automatic transformation from apla programs to executable delphi programs

該轉換器的源語言是apla ，目標語言是delphi編譯器所使用的objectpascal 。

Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。

It consists of two parts, one is the translator and the other comprises the self - defined classes. using the system, we can mechanically get an executable delphi program from an apla program

在這些apla程序中，既有簡單的，又有復雜的，既有非數值計算類型的，也有數值計算類型的。

2. in the self - defined java class library, input stream class, generic class, generic interface and five kinds of abstract data type were implement. 3. implement apla - java program transformer so that simple data types and compound data types can be transformed

3 、用程序實現上述轉換，即實現apla - java程序自動轉換系統，使之能夠實現對簡單數據類型及復合數據類型的處理。

To solve the two problems, par method was brought forward. apla - java program transformer which this thesis researched is par method support tool. it is also one of keystone research content of national natural science foundation of china

而本文所研究的apla程序到java程序自動轉換系統則是par方法的重要支持工具，同時，也是多個國家自然科學基金課題的重點研究內容之一。

We denote many typical arithmetics with apla, such as, non - recursive tree traversals, dijkstra, topological sorting etc. the test result indicates the program transformer can improve the program ' s reliability and development efficiency. it can replace softeware blue collar to complete mechanical and creative work

5 、實現了自動轉換系統的泛型問題中的類型參數化問題，解決了apla提供泛型機制，而java語言不支持泛型機制的矛盾。

In addition, we also develop any algorithm program by using the par method and the transforming system. the c + + class library and apla - c + + transforming machine compose the apla - c + + system with high reliability, which has transformed many examples correctly, and the running results are correct

利用par方法自擴展生成的c + +類庫與apla - c + +轉換器共同組成具有高可靠性的apla - c + +自動轉換系統，成功地轉換了大量的實例，並得到了正確的結果。

Our system proved satisfactory with quicksort, cube, longest platform, and so on. we hope to improve apla ~ delphi program auto - transformation system, and its reliability, write more apla example and apply for patent

進一步的工作包括完善apla delphi自動程序轉換系統的轉換機制；提高apla delphi自動程序轉換系統的可靠性；增加apla轉換實例，使產品的商品化程度提高，並積極準備申請專利。

Apla commendations : awarded a commendation by the minister of the ministry of international trade and industry miti for contributing to the development of the industrial property system of japan 1985

曾經榮獲的表彰1985年日本工業所有權制度創設一百周年時榮獲通商大臣頒發的功勞獎1986年榮獲aippi日本分會頒發的特別功勞獎

We import the generic programming theory into the c + + class library through studying the idea of generic programming, achieve the generic programming in apla program. 4. we also test the c + + class library by many examples what are transformed by apla - c + + system

通過對泛型程序設計思想的研究，在我們構造的c + +類庫中引進了泛型程序機制，實現了apla程序的類型參數化，同時也提高了c + +類庫的可重用程度； 4

This auto program transforming system has 11, 000 and more codes and we have used lots of strictly - proved apla programs to test it

本系統含代碼1萬1千余行，我們用該系統對大量的經過嚴格推導的apla程序進行了轉換以檢測其實際運行效果。

This paper ' s research work is an important component of the par method and a sub research ' project of the nation ' s natural science fund project " the research of applied formal develop methods and their tools ". this research ' s goal is to develop an auto program transforming system to transform an apla program to a c + + program

本項研究作為par方法的一個重要組成部分，也是國家自然科學基金課題「實用的形式化開發方法及其工具的研究」的一個子課題，目標是研製一個自動程序轉換系統，該系統能將用apla語言描述的抽象程序轉換為目前流行的c + +語言程序並直接運行。

The research in this paper offers a new way to design programming icai platform and help to extend and apply par method. innovation and characteristic of the platform as follows : 1, focus on programming theory and improvement of the learner ' s programming ability 2, enable heuristic teaching, teach learners in accordance of their aptitude 3, introduce algorithm with the help of simulation based on java mud - thread 4, learners can get the outcome of program using auto program transform software, such as apla - c + +, apia - java 5, easiness to extend and migrate and to transform to network based icai platform

文中實現的教學軟體平臺的創新點與特色主要有： 1 、以程序設計理論和方法學為主要內容，注重學員程序設計能力的培養， 2 、結合學習理論，對教學內容進行啟發式教學，針對不同能力的學生做到「因材施教」 ； 3 、具有java多線程的模擬演示功能，形象地介紹演算法原理， 4 、實現了與apla - c + +等程序自動轉化器的銜接，學員可立即得到執行結果， 5 、軟體可擴充性、可移植性強，易於轉化為網路化教學平臺。