function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

面向任务的机器人语言的实现

本文提出的面向任务的机器人语言是为移动机器人提供的一种编程工具。利用环境描述语言和其他灵活的人机对话方式建立环境模型;根据各种不同的性能指标,规划出最佳路径;根据安全等因素自动规划出最佳路径上的行走参数;对来自传感器的信息进行处理,以确定机器人实际位置及障碍情况;引导机器人沿规划好的路径行走,纠正偏差或重新选择避障路径。

手写体数字识别装置

本文叙述一种采用飞点扫描管沿字周边扫描的技术,和如何把得到的模拟文字信息按文字的高和宽以及光点运动的方向分成4×5格子和八个方向。这样就能够从大量的信息中提取出十七种用于特征描述的基本信息量。当然选择这一“模拟——数字”信息压缩的依据和数量是由特征抽取确定的。本文还讨论了筹划特征法分类的实践,着眼点是找出能代表被分类诸对象的特征(圆弧、线段等),在此基础上用得到的60个特征来描述被分类的诸对象。理想的情况下用这些特征去描述某个数字应当是唯一的,由于手写体变化较大,扫描结果部分失真,因此在分类逻辑中,还要依据大量实践的结果加上一些所谓技巧性的逻辑,才能组成一个合理的分类逻辑。本文叙述的方法和实践已用于沈阳市信函自动分拣样机上。

ETC中具有车型识别功能的车辆检测器设计

介绍了专门用于ETC(不停车收费系统)中一种车辆检测器的软硬件设计方法。根据车辆检测器应用环境的特点给出了基准频率校正算法,可以对基准频率进行实时校正。并采用模糊模式识别算法进行车型识别。