静态SAT问题并行处理器的设计研究

针对SAT问题的复杂性及求解速度缓慢的问题，采用可重构器件FPGA设计，实现了静态回溯搜索算法SAT问题并行处理器，提出了研制动态SAT并行处理器的设想。     

VHDL逻辑综合及FPGA实现

运用ＶＨＤＬ语言描述了一个１２×１２位的高速补码阵列乘法器。重点是运用ＶＨＤＬ逻辑综合优化该乘法器，并进行了乘法器的ＸｉｌｉｎｘＦＰＧＡ实现、功能仿真和时序仿真。经选用ＸＣ４００５ＰＣ－８４－４芯片进行验证，证明了其正确性     

高速遥传系统配接DTB总线仪器的接口设计

FPGA（field programmable gate array）技术已经成为当今实现电子线路集成化的重要方法之一。通过应用PFGA和单片机技术，设计一种接口电路，用于将CSU和SKC数控系统中DTB总线的井下仪器挂接到高速 遥传系统上，从而大大提高高速电缆遥传系统的兼容性，使其应用范围更广，市场前景更好。     

多功能DBHTV传输短节的设计与开发

简要介绍了多功能井下超声成像测井仪的总体构思，然后较详细地阐述了其中的一个关键部分-传输短节的设计与开发过程。在短节中应用了单片机系统和FPGA技术，实现了一种包括大数据量井下超声成像测井仪在组合测井新方法，为今后井下超声成像测井仪的发展拓宽了道路。     

带FPGA的PCI接口应用

文章介绍了一种带FPGA的PCI接口的应用及设计方法。该方法将PCI接口和PCI用户逻辑集成在一片FPGA里，可以对整个逻辑进行仿真测试，大大缩短了开发周期，提高了系统集成度和性能。文章重点叙述了Quicklogic公司提供的32wug TARGET接口芯片QL5030的原理和结构，分析了时序设计要点，给出了典型应用的逻辑框图和注意事项。     

信息家电控制接口电路设计及其FPGA实现

介绍了用于信息家电控制接口电路的一种实现方案，主要功能是自动接收串行数据并存入片内RAM，进行误码检测，并对控制码进行译码处理，发出对家电的开关控制指令。综合、仿真与测试结果表明设计的系统能完成预定的功能。     

局域网视频广播接收器的设计

描述了一个局域网视频广播接收器的设计。发送端以计算机按UDP/IP的方式向局域网中发送视频广播，在接收端利用FPGA器件设计的接收器对广播进行接收、缓冲、格式转换，以电视作为显示终端，并介绍了在FPGA器件中所设计的各个模块。     

Bridging the generation gap between text planning and linguistic realization

Text planning is traditionally done as a separate process, independent of linguistic realization. However, I show in this paper that it is essential for a text planner to know the linguistic consequences of its actions. The choice of how to realize an element affects how much information is conveyed (e.g., “Floyd arrived safely in Boston” vs. “Floyd landed safely at Logan”) and what other information can be added (e.g., “Peter was deciding for an hour” vs. *“Peter made a decision for an hour”). The choice of realization also affects how the relative salience of the elements being expressed will be perceived (e.g., “The green car is in the garage” vs. “The car in the garage is green”). I have defined an intermediate level of representation for text planning, called the Text Structure. It is an abstract linguistic level that reflects germane linguistic constraints while abstracting away from syntactic detail. This representation allows the text planner to have greater control over the decisions, so that it can take advantage of the expressiveness of language to convey subtleties of meaning. More importantly, the Text Structure allows the generation process overall to be incremental, since it ensures that the text plan being composed will always be expressible in the language. La planification de textes est habituellement réalisée séparément, sans tenir compte de la réalisation linguistique. Cependant, ľauteur demontre dans cet article qu'il est essentiel à un planificateur de textes de connai̊tre les conséquences linguistiques de ses actions. Le choix de la méhode de réalisation ?un élément influe sur la quantité?informations qui est transmise (par ex.: 〈〈 Floyd est arrivé sain et sauf à Boston 〉〉 et 〈〈 Floyd a atterri sain et sauf àľaéroport Logan 〉〉) et sur quelle autre information peut ětre ajoutée. Le choix de la méthode de réalisation influe également sur la façon dont les caractères saillants des ééments qui sont exprimés seront perçus (par ex.: 〈〈 la voiture verte est dans le garage 〉〉 et 〈〈 la voiture dans le garage est verte 〉〉). L'auteur a défini un niveau intérmediaire de représentation pour la planification de textes qu'il a appelé structure de texte. Il; s'agit ?'un niveau linguistique abstrait qui refléte les contraintes linguistiques appropriées tout en s'éloignant du détail syntaxique. Cette représentation permet au planificateur de textes ?avoir un meilleur contrǒle des décisions, et done de tirer profit de la force ?expression du langage afin de tenir compte des subtiliés de sens. Plus important encore, la structure de texte permet au processus de génération ?ětre incrémentiel, car elle s'assure que le plan de texte en voie de composition soit toujours exprimable dans le langage.     

Design of High Speed AWGN Communication Channel Emulator

This paper presents a method for designing a high accuracy white gaussian noise generator suitable for communication channel emulation. The proposed solution is based on the combined use of the Box-Muller method and the central limit theorem. The resulting architecture provides a high accuracy AWGN with a low complexity architecture for a digital implementation in FPGA. The performance is studied by means of MATLAB simulations and various complexity figures are given.     

The Problem of Estimating the Uncertainty of the Fixed Point Temperature Due to the Presence of Impurities

The main problems in estimating the uncertainty due to the presence of impurities in the material: the absence in the documents of a unique definition of the quantity being measured – the fixed point temperature, the lack of agreed methods of realizing the fixed points and the insufficient justification of the equations used for the estimate, are analyzed. The results of a measurement of the melting point of gallium are presented, which differ in the conditions in which they were realized – with one and two liquid-solid interfaces and different solidification conditions, are presented. The reasons for the considerable difference between the values of the temperatures obtained in these experiments are discussed.