基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

CASL语言可视化运行平台的研究与设计

随着可视化技术的不断发展,越来越多的程序设计语言和集成开发环境采用可视化技术,但是它们基本上只是采用了可视化编程,在软件开发阶段进行可视化,并未采用可视化动态运行程序,为此,我们进行了程序可视化运行的相关研究,设计出一个实现CASL语言可视化运行的平台.     

CASL语言可视化运行平台的研究与设计

随着可视化技术的不断发展,越来越多的程序设计语言和集成开发环境采用可视化技术,但是它们基本上只是采用了可视化编程,在软件开发阶段进行可视化,并未采用可视化动态运行程序,为此,我们进行了程序可视化运行的相关研究,设计出一个实现CASL语言可视化运行的平台。     

基于事件条件动作规则的智能主体结构

为了增强智能主体能力及方便地实现一个智能主体系统,在抽象语言AgentSpeak(L)基础上,引入事件条件动作规则,并从功能和实现的角度对心智模型进行必要扩充和完善.定义了E-Agent的心智模型,设计了E-Agent的Agent描述语言,给出了E-Agent的解释执行过程.实现了一个包括可视化建模工具和运行环境的智能主体系统.该系统具有可视化建模、易于使用等优点.     

基于实时计算的可视化技术的研究与应用

对跟踪驾驭式可视化系统在设计和实现时的关键技术进行了研究,主要内容包括:系统体系结构的设计方式、可视化程序与计算程序之间的信息通信和数据管理、分布环境下可视化流程的高效实现方法、系统用户界面的构造方式等.此外,还介绍了课题组研制完成的一个跟踪驾驭式可视化系统TSV.     

C/ATLAS单动作测试语句实现的操作语义描述

针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序.     

G(o)del程序推理过程的可视化

主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.     

齿轮类零件特征造型系统的研究与开发

基于AutoCAD 2000软件平台,应用面向对象的开发工具ObjectARX 3.0和可视化程序设计语言Visual C++6.0研究并开发齿轮类零件特征造型系统.该系统基于主、辅形状特征自动设计齿轮类零件的三维模型,能建立包括材料、精度、管理等特征信息,并可以输出固定格式的特征信息文件,为实现CAD/CAM集成提供了一种途径.     

可视化多媒体查询语言的设计与实现

设计了基于通用多媒体杳询语言(UMQL)的可视化多媒体查询(VMQ)语言,并给出了VMQ实现环境的总体结构.参考UMQL的多媒体查询表达方式,VMQ首先定义了一系列语言元素,可以较好地描述多媒体数据的内容信息、结构信息和时空信息;然后将这些语言元素逐一图示化.给用户提供了一个自然的可视化查询界面.方便用户的查询操作;最后给出了VMQ的实现环境的总体结构,并讨论了界面编辑器、语法检查器、语言翻译器和显示界面等主要部件的关键技术和实现方法.     

NDQJava语言处理系统量子汇编及解释程序

量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作,设计了一种量子程序设计语言NDQJava并在经典计算机上对其处理系统加以模拟实现.为了更好地描述量子计算的逻辑流程并和物理模型相对应,在NDQJava处理系统的设计和实现过程中定义了量子汇编及机器语言.量子汇编语言作为高级量子程序设计语言和量子器件之间的接口语言,其设计必须考虑完备、简明、易用三方面的因素.为了模拟实现NDQJava处理系统亦定义了量子机器语言并通过软件解释执行.文中在定义了量子汇编及机器语言后着重描述了NDQJava处理系统中汇编及解释程序的设计思想与实现方法,对其中的若干关键问题给出了相应图表及源程序片段加以阐明.     

可视化语言及其核心技术

可视化语言是起步不久的编程语言 ,目前已成为程序设计语言的主流 ,代表了程序设计语言的最新发展。它的技术成份非常丰富 ,给程序设计人员的学习造成了一定的难度。在综合研究多种流行的典型可视化语言基础上 ,从体系上归纳出了可视化语言采用的一些核心技术 ,重点阐述了可视化语言使用 OOP( Object- Oriented Programming)成份及可视化实现、OLE、多媒体、数据库和软构件等技术的方法和原理 ,以期从总体上把握可视化语言的技术特点和体系结构。     

核动力系统热工分析程序可视化建模

以Relap5程序为对象,研究了核电站热工水力分析程序可视化建模技术。采用可扩展标记语言技术,定义一套名为RelapML语言描述Relap5建模信息,并基于Windows平台下的可视化界面开发技术,完成RelapML语言的可视化输入、自动生成并最终转换成Relap5输入数据,实现了Relap5建模过程可视化。     

基于WebGL与IFC的建筑信息模型可视化分析方法

针对现有BIM模型矢量数据在Web渲染效果方面存在的信息缺失问题,提出了一种结合WebGL和IFC标准的BIM模型可视化分析方法.利用WebGL技术扩展了BIM模型的3D可视化显示途径,通过IFC标准使BIM模型的几何信息与OBJ文件信息实现交互,进一步设计了IFC-OBJ数据接口,使BIM模型获得.html与.js格式支撑下的可视化表达模式.结果表明,利用WebGL和BIM模型显示技术可以分析着色器语言的构成和使用方法,确保模型信息完整;利用JavaScript编写的OBJ-JS交互程序可以调用WebGL着色器,实现3D网页渲染效果.利用该方法实现的BIM模型在形式定义和几何属性上与OBJ模型可以完整匹配,模型渲染效果真实,从而验证了整个分析方法的有效性和可行性.     

Windows上机操作题库系统的设计

阐述了 Windows上机操作题库系统的开发与设计思路 ,详细介绍了该系统结构及功能 .该系统采用面向对象的编程技术 ,利用可视化程序设计语言实现 .具有能够模拟 Windows操作系统文件操作环境与操作结果、能够进行自动出题与自动评卷等优点 .     

安全钳提拉机构的设计

SAM是电梯的触动系统,又名安全钳提拉机构,是电梯的重要安全部件之一. SAM系统将限速器提拉力传递到两侧安全钳,安全钳楔块压紧导轨接触面并制停电梯.本文阐述了电梯安全部件的基本性能、重要参数和设计要求.详述了系统惯性力、弹簧拉力的计算方法.为SAM系统部件设计和选型提供重要的参数依据.同时本文提供了欧标和美标对SAM系统的设计要求,以及SAM部件选型的验证方法.为设计者提供设计依据.     

优化模型可视化识别简单算法

针对优化模型求解方法中遇到的问题,采用层序设计的方法,提出一个简单模型识别算法,用于优化模型的可视化识别,从而改变了求解时不断修改程序或更改数据的程序-数据的传统模式.设计优化模型文本识别算法的根本目的,就是解决信息系统项目中决策模型的嵌入和管理问题.从特点上看,该算法简单、可靠、且容易实现.在实际应用中可方便地将该算法转化为实际的程序模块(如C语言、数据库语言等).同时该算法也可以独立应用于优化模型的计算或相关课程的教学实践中.     

一种程序状态监测系统

为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何种程序状态信息,保存到信息库中,扩展了通常的断言系统和调试系统,可以在任意文件的任意位置声明断言,提供更多的运行时刻信息.PSMS采用了软件传感器技术来收集程序信息,并设计了一个专用的查询语言来进行状态收集后的分析工作.通过一个简单的计算器程序,演示了PSMS如何有效地监测和收集信息.     

对比教学法在VFP的SQL语言教学中的应用

在“Visual FoxPro程序设计”的课程教学中,SQL语言是重点同时又是难点.作者通过多年的教学实践,探索出了一个通过使用可视化的查询设计器和其同步生成SQL语句进行对比的教学方法.该文对这一方法进行了论述,并以一个实例进行了说明.     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

计算机智测系统的设计与开发

文章通过使用visual FoxPro程序设计语言设计开发计算机文化基础智能学习与测试系统,介绍了VFP强大的数据管理功能和面向对象的可视化编程技术,体现了VFP在数据处理和程序设计方面的强大功能,它具有丰富的工具、极快的速度、友好的界面、简洁的数据存取方式、良好的兼容性和真正的可编译性等特点.