摘要：提出了一种有符号乘法器电路的编程语言,其核心思想是采用指令表示乘法器的编码器、加法器树、快速加法器等三个部分,然后经由指令描述互联关系形成乘法器.通过Lex/Yacc构成编译器,解析程序得到乘法器的Verilog代码.采用该设计语言生成的七种典型结构的32位有符号单周期乘法器,在200MHz工作频率设定下,使用GRACE 0.18μm 1P6M工艺,进行逻辑综合、布局布线、静态时序和功耗分析.实验结果表明,这七种乘法器速度都优于Synopsys DesignWare产生的乘法器,其中由改进型Booth Radix4编码、冗余二进制加法器树和跳跃进位加法器构成的乘法器综合性能超出Synopsys Design Ware产生的乘法器达35%,因此该设计语言可应用于高性能乘法器电路快速设计应用中.

摘要：随着网格计算技术的不断发展 ,部署网格应用的环境越来越多 ,而网格编程语言还停留在C ,Java这样的程序设计语言上 GSML是在中科院计算所织女星网格项目中设计的高级编程语言和用户界面语言 ,它采用了一种标记语言实现编程技术 ,旨在降低网格编程的难度 ,提高开发和部署网格应用的效率 介绍了对该语言的一种实现方法 ,讨论了GSML实现过程中需要解决的关键技术问题 。

摘要：针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算法。该语言以Pi演算为理论基础,首先根据Pi演算的基本结构定义语言的核心句法结构,然后以Pi演算中进程间同步通信为基础定义了核心操作语义。本文给出了在并行操作语义中进程的上下文环境的定义,设计了构成运行时环境整体架构的主要数据结构及运行时环境中基于同步通信的调度算法和基于引用计数器的垃圾回收算法,根据本文定义的句法结构可以定义出高效地利用多核芯片计算资源的并行程序。

摘要：提出一种支持Web服务组合、面向业务用户的可视化编程语言VINCA ,基于VINCA的应用即时构建方法———业务端编程 ,帮助业务用户即时构造应用 实现了一个支撑环境 。

摘要：为了适应各种编程水平人员的多种算法实现应用需要,使某图像处理综合应用开发平台具有更好的通用性,解决由于使用人员应用程序设计水平的差异等各自的原因,采用不同编程语言编写的程序与开发平台及各自间的信号传输问题,提出了利用目前几种流行的通用高级编程语言分别编写通用RS232标准通信接口程序,使系统的应用人员能通过各自相应的语言接口实现与开发平台及各自开发程序间信号传输的方法,并在该开发系统中分别用Visual C++、Visual Basic、Borland C++Builder语言应用实现。

摘要：设计了一种新人工智能编程语言SELF^2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF^2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF^2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF^2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF^2语言核仁及SELF^2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF^2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。

摘要：本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行协作问题求解．SPLAW首次为Agent提供继承支持，使其可以实现具有面向对象特征的多线程系统．SPLAW屏弃了为语言引入内部模态词的缺陷，试图从外部为Agent赋予信念、愿望、意念等心智状态，有助于统一Agent的理论研究和实际系统设计．

摘要：Cova是面向集成性协同应用而设计的一种新型语言 .它提供了一套完整的描述协同系统控制部分及计算部分的设施 ,并以此为基础通过其运行时系统提供协作过程不同阶段所需的协同计算服务 ,从而为不同模式协同应用系统的开发提供一个统一的平台 .详细讨论了Cova的语言特性及其运行时系统 。

摘要：本文以包装生产线为例,研究了Grafcet编程语言在可编程控制器软件设计中的应用。结果表明,由于Grafcet编程语言以Petri网理论为其理论基础,具有强大的系统模拟、仿真和分析的能力;而其图形化的表示方法,又非常有利于系统分析和软件设计。Grafcet编程语言为复杂离散事件过程的分析和控制设计提供了理想的工具。

摘要：本文简述了编程语言在数字媒体艺术专业课程体系中的重要作用,分析探讨了数字媒体艺术专业在编程语言教学中存在的问题,旨在丰富该专业的教学思路,提高学生对编程语言的学习兴趣,增强学生的逻辑思维能力,改进教学方法,提高教学质量和教学效果。