程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

一个面向CAD／CAM的演绎数据库管理系统

演绎数据库管理系统ＤＥＤＢＭＳ是工程数据库管理系统ＥＤＢＭＳ／２中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。ＤＥＤＢＭＳ系统的开发，使ＥＤＢＭＳ／２不仅具有工程数据据管理功能，而且具有数据演绎和知识处理能力，从而成为ＣＡＤ／ＣＡＭ系统集成化和智能化的有力支撑工具。     

新型实用布线算法──L─M算法

本文提出新型布线算法，集李氏迷宫法与线搜索法的长处为一体，以饱和带法进行动态排序，以线搜索法确定借孔位置，然后用李氏法进行单层布线，获得最佳路径，从而达到线型好，布通率高的效果。     

对分布式数据库发展方向的分析

本文对分布式数据库的设计方法、分割与分配技术作了一些探讨，并就分布式数据库的发展方向进行了初步分析。     

VME总线评述

ＶＭＥ总线是应用最广泛的国际总线标准之一。本文介绍了ＶＭＥ总线的结构特别，包括信号名的定义及功能等，特别阐明了ＶＭＥ总线的并行性、实时性和高可靠性，突出了ＶＭＥ总线的发展前景。     

PS,LS和煤油体系的界面张力

本文以石油磺酸盐(PS)、木质素磺酸盐(LS)和煤油体系为对象,研究了PS/LS比、盐度、醇、Na_2SiO_3及聚合物对体系界面张力(IFT)的影响,探讨了PS与各组分间的相互作用,结果发现,在一定盐度和混合醇(正丁醇+异丙醇)浓度下,PS/LS>0.3/0.7时,体系可形成中相微乳液,IFT值达1×10~(-3)mN/m左右;LS和聚合物的存在使IFT升高;在表面活性剂驱油体系中,可用廉价的LS部分代替PS。     

Grain Boundary Sliding in Fatigue of Pure Aluminum

The distributions of plastic strain near grain boundaries induced by fatigue loading were investigatedby the fiducial grid method in pure aluminum specimens, and the resulted grain boundary sliding(GBS) was systematically analysed. The results show that the strain field near a grain boundary isnonuniform. GBS is restricted by the junction of grain boundaries and causes discontinuities of bothdisplacement and strain. A peak value of shear strain was created in short-range area across the grainboundary. GBS plays an important role in cyclic softening and secondary hardening. The control fac-tor of GBS is the relative orientation between two grains and the macro orientation of the grainboundary rather than the ∑ value of the boundary.     

Head and eye movements in unrestrained pigeons (Columba livia).

Head and eye movements were simultaneously recorded during locomotory and pecking behavior of 4 pigeons, which were trained to traverse a conditioning chamber, with a pecking key and a food dispenser at each end. Each trial involved key pecking, walking, and feeding. Head movements were registered with a skull-mounted miniature accelerometer, and eye movements were recorded with implanted electrooculogram (EOG) electrodes. An almost perfect temporal coordination between head and eye movements was observed during both walking and feeding bouts. During walking, head movements primarily provide retinal image stability, and eye movements support visual scanning. During feeding, head movements mainly subserve the grasping of food items, and eye movements maintain visual fixation on them. Because the eyes are reflexively closed during the middle phase of pecks, the head and eye movements are then under ballistic control. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

存在噪声和未建模动态系统传递函数的渐近无偏估计

存在未建模动态时，如何去除系统传递函数估计中噪声引起的偏差是系统辨识关心的重要问题。本文将我们已提出的ＢＥＬＳ方法进行推广得出：当系统未建模动态可用－ＦＩＲ模型描述时，应用本文的方法可得到系统传递函数的无偏辨识，而不需知道有关噪声和未建模动态概率分布函数的先验知识。     

基于属性相关表的关系模式全部候选关键字求法

本文提出了属性相关表这样一种新的概念，定义了相应的运算并研究了它的有关性质及定理，在此基础上提出了用属性相关表求关系模式全部主属性的等级，并给出了用主属性来组合关系模式全部候选关键字的算法，上述算法的时间复杂度均为Ｏ（ｎ＾２）。