改性双马来酰亚胺的研究

本文研究了双马来酰亚胺与烯丙基化合物形成的改性树脂体系的固化和热性能，讨论了单体配比、增韧剂、催化剂对性能的影响。     

空间机器人遥控、自主与协同操作的软件基础

空间机器人控制语言是实现空间机器人三种控制方式:遥控操作,自主操作和协同操作的软件基础,本文描述了该语言的基本结构,对于自主方式,给出了编程示例;对于遥控方式,运用程序辅助的方法,解决了操作员单独进行主/从操作时难以解决的问题.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

Design and Implementation of a Flexible Manufacturing Control System Using Neural Network

Design and implementation of a sequential controller based on the concept of artificial neural networks for a flexible manufacturing system are presented. The recurrent neural network (RNN) type is used for such a purpose. Contrary to the programmable controller, an RNN-based sequential controller is based on a definite mathematical model rather than depending on experience and trial and error techniques. The proposed controller is also more flexible because it is not limited by the restrictions of the finite state automata theory. Adequate guidelines of how to construct an RNN-based sequential controller are presented. These guidelines are applied to different case studies. The proposed controller is tested by simulations and real-time experiments. These tests prove the successfulness of the proposed controller performances. Theoretical as well as experimental results are presented and discussed indicating that the proposed design procedure using Elman's RNN can be effective in designing a sequential controller for event-based type manufacturing systems. In addition, the simulation results assure the effectiveness of the proposed controller to outperform the effect of noisy inputs.     

一种高效的硬布线控制CPU的设计方法

文章提出了一种硬布线逻辑CPU的设计流程，即以CPU设计工具软件LDF为核心的设计方法，其主要目的的提高硬布线逻辑CPU的设计效率。定义了一种用于描述硬布线控制逻辑的语言-MCDL，对总线优化问题进行了研究，并且给出了解决总线优化问题的近似算法。     

ARAM·ARIES SPM-Lite便携式遥测地震数据采集系统简介

ARAM·ARIES SPM-Lite便携式遥测地震数据采集系统是加拿大GEO-X公司在2002年下半年推出的全新小型便携式地震数据采集系统。该仪器运用了当今最先进的计算机制造技术、网络化技术和微电子技术,除继承了ARAM-ARIES地震数据采集系统所有功能和技术外,它还简化了硬件结构,使体积更小,重量更轻,功能性更强。更加适应地矿、煤田、丛林和山区进行地震勘探。     

基于MAPINFO和VB的自来水管网信息系统的建立

介绍基于MapInfo平台，利用VB语言进行二次开发，建立自来水管网地理信息系统的关键技术及其注意的问题。     

Age of acquisition: Its neural and computational mechanisms.

The acquisition of new skills over a life span is a remarkable human ability. This ability, however, is constrained by age of acquisition (AoA); that is, the age at which learning occurs significantly affects the outcome. This is most clearly reflected in domains such as language, music, and athletics. This article provides a perspective on the neural and computational mechanisms underlying AoA in language acquisition. The authors show how AoA modulates both monolingual lexical processing and bilingual language acquisition. They consider the conditions under which syntactic processing and semantic processing may be differentially sensitive to AoA effects in second-language acquisition. The authors conclude that AoA effects are pervasive and that the neural and computational mechanisms underlying learning and sensorimotor integration provide a general account of these effects. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

C语言学习方法与实践的探讨

针对C语言程序设计课程本身的特点，分析学习过程中存在的问题，强调实践的必要性。结合一些学校课程改革和实践的经验．提出面向应用的，科学的学习内容、方法和模式。同时提高学习者的专业动手能力。     

我国先进制造技术的现状和发展途径

介绍了现在制造业中面临的问题，通过对问题的分析，提出了发展先进制造前沿技术的见解和在我国发展先进制造技术的途径，同时展望了先进制造技术的发展前景。