Efficient high-level programming on the AMT DAP

This study is concerned with efficient use of a high-level machine-independent language in the AMT DAP (distributed array processor) series of computers. The AMT DAP is a single instruction multiple data stream computer. The recent enhancement of Fortran-Plus is described. This enhancement removed the restrictions on array shapes and sizes, giving a language which is independent of the available hardware parallelism. The enhanced Fortran-Plus has been implemented on the AMT DAP using the concept of the virtual systems architecture (VSA). The power of enhanced Fortran-Plus in expressing parallel algorithms is demonstrated in certain application areas. To show that the higher level of language has been implemented on the general VSA system without compromising performance, the performance of these codes is discussed for a range of problem sizes     

Language generation: Applications, issues, and approaches

As computer systems become more sophisticated they must be able to communicate their results successfully to their users. Natural language generation is the area of research concerned with developing methods that will allow a computer system to respond to its user in human language. In this paper, the need for natural language generation is first motivated by showing how it is used in several applications. Given that language generation is necessary for such systems, the paper also focuses on the issues that must be taken into account in developing a system that can generate language. Finally, techniques that have been used in two question-answering systems, the TEXT system [21] and TAILOR [22], are discussed.     

Design methodologies for simulation translators (with a case study)

General design criteria for developing a software system capable of translating files from one set of simulation tools to another are discussed. The emphasis is on the data and control structures applicable in the development of such a system. The guidelines lay the foundation for the translation software. Additional design criteria may be necessary and will vary depending on the specific application. A software package that translates simulation programs (written in a language known as SALSIM) to stimulus files (written in a format known as Sentry) is presented     

多芯片组件的热控制技术

热控制在多芯片组件（MCM）设计中有着极为重要的作用。与此有关的热问题,通过在封装中改善内部热传导路径以及改进外部冷却技术而得到解决。笔者对若干著名实用系统的热设计作了比较分析,回顾了20多年来MCM热控制技术的发展,并对直接浸液冷却、空气冷却和液冷式冷却等技术的优势、限制及其发展前景作了综述。     

A multimedia front-end for an expert network management system

A multimedia natural-language interface for an expert network-management system is described. The different media discussed are speech, text, and graphics. An object-oriented, multimedia interaction language called Milan is used to describe the multimedia information. Application of the multimedia interface to a digital data services (DDS) network is illustrated. It is believed that such multimedia front ends will play a major role in the design of intelligent human-machine interfaces     

基于一种可配置可扩展处理器的MELP语音算法的改进与实现

基于Tensilca公司的可配置、可扩展、可集成处理器-Xtensa，文章实现了对美国国家标准语音电话加密解密算法——2．4Kbps MELP的改进。在选择一个合理的处理器配置的基础上，对算法进行指令集仿真。分析找出算法中使用频率较高的操作，添加新的指令集，进行硬件实现以提高性能。实现的结果证明，经过改进以后，在增加了一定的硬件逻辑的基础上，相对于未加修改前的处理器内核。算法实现需要的总周期数降低为原来的47％。     

可调谐激光痕量气体检测中的数字滤波技术的优选

为改善可调谐二极管激光吸收光谱(TDLAS)系统的检测性能,以浓度为50×10-6和17×10-6的H2S气体检测为例,根据TDLAS系统的噪声特征,选择了4种数字滤波技术并利用Visual C++软件分别编写了程序对二次谐波原始信号进行压噪和有效信号的提取。结果表明,采用非线性最小二乘法与数字平均滤波技术相结合,使系统理论检测极限由原来的30×10-6提高到了5×10-6量级;对于反演后气体的浓度信号则采用Kalman滤波进行再去噪,使信噪比提高了近8倍。比较结果表明,经过上述滤波处理,TDLAS系统的信噪比和检测极限性能有明显改善。本文的上述方法实际应用到我们的TDLAS在线工业排放气体的测量系统中,取得了良好的效果。     

一种基于FPGA的数字下变频方法

提出用FPGA器件实现一个完整的数字下变频系统的方法,给出VerilogHDL语言的描述,实现高效的运算结构,减小了运算量,提高了系统性能.本系统已经在某型气象雷达的数字接收系统中得到采用,参数得到验证,性能优良.     

基于计划识别的态势估计方法研究

针对Kautz(1987)计划识别方法在控制机制上的不足,讨论了基于规划知识图的计划识别方法;以一阶谓词逻辑为形式语言,研究了战术智能规划的一个实例,给出了一种集成了战术智能规划系统和战术计划识别系统的态势估计模型。该模型通过动态建立计划库突破了Kautz计划识别方法中封闭世界假设的限制,可以对敌军的行动目标和行动计划提出合理的假设,并在此基础上预测敌军的未来行为,为指挥决策提供依据。     

改进DTMF信号检测方案在定点DSP上的实现

讨论了硬件实现双音多频(DTMF)信号检测方案的弊端,比较了MUSIC算法、SB-NDFT算法、FF T算法和Goertzel算法,给出了以改进Goertzel算法为核心的DTMF信号检测的DSP实现方案和 实测结果。实验结果表明,该方案有较好的检出率和抗干扰能力。程序全部使用汇编语言实 现,提高了系统运行的实时性和功能冗余度。     

FPGA在激光测速靶中的应用

结合数据采集在弹丸激光测速靶测量系统中的应用,介绍了一种基于FPGA（成可编程门阵列）为核心的多通道数据采集系统的设计方案。设计中采用了自顶向下的设计方法,将FPGA依据逻辑功能划分为几个模块。详细论述了各模块的设计方法。各逻辑模块设计使用VHDL语言,并在QuartusⅡ中完成软件设计和仿真。     

基于TMS320C25音频处理系统的C语言编程

这篇文章着重讨论了Ｃ语言程序在以ＴＭＳ３２０Ｃ２５为基础的处理系统中的开发和应用。详细介绍了从Ｃ源程序到适用于Ｃ２５格式的程序的开发过程，同时讨论了在开发过程中可能遇到的问题及其解决办法。同时，文章对两种编程语言在ＴＭＳ３２０Ｃ２５系统中的应用前景作了简单的比较和预测。     

基于SoPC的红外解码IP核设计与实现

提出一种红外解码IP核在SoPC系统中的设计与实现方案,重点研究红外系统的数据编码和传输机制,红外解码电路的HDL设计,IP核的制作及在SoPC系统中的应用。该方案的红外发送接收芯片分别是TC9012和DS338S,在DE2开发板对IP核进行测试。结果表明,红外解码IP能顺利地添加到SoPC系统中,实现快速、稳定、正确的红外解码功能,达到预期设计目标。     

Specifying telephone systems in LOTOS

A method for detecting feature interactions in the design of telephone systems using LOTOS (language of temporal ordering specifications) is described. The specification discussed includes call forwarding on a busy line, setting a three-way call, and call waiting. The ways in which a specification of a telephone system involving such features can be constructed in LOTOS and the ways in which LOTOS tools can be used to detect unwanted interactions of the features are illustrated using simple examples. The techniques used are step-by-step execution, symbolic execution, and compositional execution with test processes     

电子商务的实现策略

介绍了构建电子商务网站所采用的技术手段,包括使用ASP工具,使用结构化查询语言SQL,使用Access以及这些技术手段实现的关键方法。本文还讨论了电子商务安全机制,论述了单钥体制和双钥体制的实现方式及优缺点。本文所含信息对企业实现电子商务的过程可以起到指导作用。     

A table-making language

A problem-oriented language is discussed which is a useful tool for producing tabular reports. A program in the language is processed by the Tablemaker 2 system which is a compiler with compile-and-go options utilizing a top-down syntactic analyzer. The Tablemaker 2 language is concise and well-defined. One may describe data files with multiple-record structures, appropriately recode desired variables, control the production of sequences of files of n-dimensional arrays of weighted or unweighted counts, and perform arithmetic operations on each array and/or array sequence. Output processing to obtain printed results is specified in a particularly flexible and powerful manner within the Tablemaker 2 language. The user is allowed general data mapping within a defined overlay hierarchy to positions in variably formatted pages. Flexible format and label definition statements are provided, and external files including files of labels may be used. The use of the Tablemaker 2 language offers a simple and efficient approach to a type of problem normally handled by specialized time-consuming programming.     

基于FPGA的钢丝绳漏磁无损检测系统设计

提出一种以现场可编程门阵列（FPGA）为硬件核心的钢丝绳漏磁无损检测系统设计方案,设计了外围电路并对嵌入式IP软核进行了配置。利用C语言和VHDL硬件描述语言编写了检测系统软件程序。实验表明该系统具有功耗低、运算能力强、精度高、便于携带等优点。     

基于Petri网语言的系统设计与分析

本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较，从而优选出好的设计方案