冷库多台冷风机电热融霜时间与温度双重自动控制方案

从节能和可靠运行的角度提出冷库多台冷风机电热融霜时间与温度双重自动控制方法.     

对某自动驾驶仪可靠性增长的试验研究

对某自动驾驶仪可靠性增长工作进行研究,提出了对现役机载电子设备可靠性增长的一些成功、可借鉴的经验。对增长试验过程中发现的问题和管理方面的不足之处,提出一些建议。     

Compact and localized distributed data structures

This survey concerns the role of data structures for compactly storing and representing various types of information in a localized and distributed fashion. Traditional approaches to data representation are based on global data structures, which require access to the entire structure even if the sought information involves only a small and local set of entities. In contrast, localized data representation schemes are based on breaking the information into small local pieces, or labels , selected in a way that allows one to infer information regarding a small set of entities directly from their labels, without using any additional (global) information. The survey concentrates mainly on combinatorial and algorithmic techniques, such as adjacency and distance labeling schemes and interval schemes for routing, and covers complexity results on various applications, focusing on compact localized schemes for message routing in communication networks.Received: August 2001, Accepted: May 2002, Supported in part by a grant from the Israel Science Foundation.     

Do 9-month-old infants expect distinct words to refer to kinds?

In 3 experiments, 9-month-old infants' expectations for what distinct count noun labels refer to were investigated. In Experiment 1, a box was opened to reveal 2 objects inside during familiarization: either 2 identical objects or 2 different objects. Test trials followed the same procedure, except before the box was opened, the contents were described using 2 distinct labels ("I see a wug! I see a dak!") or the same label twice ("I see a zav! I see a zav!"). Infants who heard a label repeated twice looked longer at 2 different objects versus 2 identical objects, whereas infants who heard 2 distinct labels showed a different pattern of looking. Experiments 2 and 3 presented infants with object pairs that only differed in shape or color, and it was found that infants expected the different-shaped (but not the different-colored) objects to be labeled by distinct count nouns. Because the property of shape is a cue to kind membership and the property of color is not, these results suggest that even at the beginning of word learning, infants may expect distinct labels to refer to distinct kinds of objects. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A constructive approach to sequential Nash equilibria

We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes.     

SW233 PIN驱动器自动测试系统的研制

介绍了一种集成电路自动测试系统，该系统采用计算机并口作通信接口，用VB6编程，实现了对外围测试电路的控制，用IEEE-488接口卡控制测试仪器，可对SW233电路的36个参数进行自动测试，并将测试结果自动保存在数据库中。该测试系统具有自动化程度高、操作方便、测试结果精确等特点。     

YKGX—1油库微机控制管理系统

本文介绍了一种分布式油库自动化控制,管理微机系统YKGX-1。重点介绍了其功能、组成、原理及特点。经实际运行证明,YKGX-1系统实现了油库收、发、存、管理一体化,系统自动化程度高,发油精度优于3‰。     

针尖轮廓飞象扫描检测方法研究

分析了目前我国几种针尖轮廓检测方法、特点和存在问题。提出了一种针尖飞象自动检验方法，其原理是：被检测的针尖和探测器不动，利用转镜系统扫描针尖，产生针尖各部的时序象（飞象），这些依次出现的象受到探测器检测，即可获得反映针尖轮廓的一串直径信息。文中还对飞象扫描法的误差进行了分析和讨论。     

湘钢220KV备用电源自投方式商榷

针对湘钢三中央变电站２２０ｋＶ备用电源自投装置存在的问题，提出了新的方式和设想．分析采用新的方式后，停电时间由３．５ｓ缩短至０．０４～０．０９ｓ的可行性．同时还提出在ＳＦ６断路器的变电站，自投装置应采用的方式．     

多陀螺自动化测试系统研究

针对动力调谐挠性陀螺大批量生产中存在的性能调试和参数标定工作量大的问题，我们专门研制了一套多陀螺自动化测试系统，该系统主要包括多陀螺真空恒温安装基准体、测控台、计算机程控自动化数据采集和仪器等部分，本文着重介绍该系统的组成原理，设计特点和研制成果。