超声衍射CT计算公式的改进及其在微机上的实现

超声ＣＴ与Ｘ－ＣＴ的一个重要区别是在通常所用频率范围内物体对声波衍射和反射效应显。本根据被层析成象物体内部各点是次级声源的基本事实，从非均匀介质波动方程出发，在Ｂｏｒｎ近拟下，应用广义Ｆｏｕｒｉｅｒ切片定理和Ｇｒｅｅｎ函数，并引入相移因子，将驼算的参考点取在目标物体上，对散射波原有计算公式作相应变化，导出目标函数与散射场之间的解析关系以及在实际计算时能大大减少重复运算，提高计算程度、缩短处理时     

基于Flash的物体运动编程方法

用Flash编程实现物体的运动，绘制运动轨迹、运动曲线和函数图形，制作交互式多媒体课件，极大地方便了物理、数学的教学，结合实例详尽地说明使用Flash电影剪辑对物体运动进行编程的方法。     

触觉传感器物体形状识别专家系统

本文探讨了安装在机械手上的触觉传感器信息的处理问题，使机械手具有能识别几种简单物体形状的低级智能．安装在机械手上的成象触觉传感器，给出放在机械手上的物体形状信息，并通过称重传感器给出物体的重量信息。以８０５１单片机为核心构成智能机械手数据采集系统。ＩＢＭ－ＰＣ机在人工智能语言Ｔｕｒｂｏｐｒｏｌｏｇ管理下，构成了提取触觉传感器物体形状信息和对有限几种物体形状进行识别的专家系统。     

目标追踪位置估计的单目视觉算法

提出了单摄像机安装在机器人上的视觉伺服系统的位置估计方法．提出的方法集成了由运动恢复深度和由散焦恢复深度的技术以满足实时要求．对于远距运动物体，用Grassmarm-Cayley代数中的Plucker表示法获取物体的位置估计．对于近距运动物体，用多层前馈型神经网络来恢复物体位置．用提出的判据在两种方法中切换．实验结果表明，估计精度得以提高．     

利用OpenGL实现复杂机构的运动仿真

该文介绍如何利用OpenGL实现复杂机构的运动仿真的技术。为解决在OpenGL环境中建立复杂三维物体模型的困难，开发了OpenGL与AutoCAD的图形应用程序。首先利用AutoCAD2000，创建复杂形体的实体模型，将之保存为^*．3ds形式的文件，接口程序调用^*．3ds文件中的模型顶点数据和材质信息；然后调用OpenGL函数完成建模工作，并实现机构的运动仿真。     

势能函数与刚体的平衡和稳定

物体处在保守力场中的某个位置而具有的能量称为势能．势能存在的条件是物体间存在相互作用的保守力，其性质由保守力而定，数值随状态而变．势能属于整个系统．主要探讨了如何应用势能函数和势能曲线以及势能函数的微分来判断刚体是否处于平衡和平衡的稳定性．     

基于实际色彩的视频动态检测

提出了一种简单、高效的运动物体视频检测方法，在存在一定干扰的情况下实现视．i频图像中某一特定区域物体的运动检测．通过对像素实际彩色值的处理，避免了干扰的影响，得到了很好的效果．大量实际应用验证了该方法的有效性和实用性．     

利用超声成象分析系统对焊缝缺陷进行评估的研究

介绍了用于成象和自动评估的超声波手动扫描成象分析系统的开发，并采用常规的ＵＴＲＴ方法对成象结果进行了比较，证明超声波成象系统的先进性．     

高速运动物体视觉形象的进一步探讨

扼要介绍了J．Terrell等人对高速运动物体(直尺、立方体等规则物体)视觉形象的讨论，并进一步探讨了任意形状的高速运动物体的总体视觉形象，给出简明、普适的结果且易于用计算机模拟。     

地转偏向力的物理学分析

在非惯性参照系中，物体要受到惯性力的作用；证明了在匀速圆周运动的参照系中作相对运动的物体不仅受到惯性离心力的作用，还受到科里奥利力的作用，且Ｆ科＝２ｍ（ｖ×ω）．在地球表面作水平运动的物体受到的地转偏向力，是物体所受科里奥利力在地平面内的分力，其大小ｆ偏＝２ｍｖωｓｉｎΦ，方向与物体运动方向垂直，一般是量级很小的力．     

热成象系统用于小目标探测的探测距离估算

提出了热成像系统对小目标探测的实际问题，论证了该条件下探测距离估算的方法，推导了适用小目标探测的数据公式，并按实际情况进行了必要的修正，最后举例进行了估算，结果正确。     

微小目标的视觉信息获取及系统设计

提出了一种专门针对微小目标(如芯片焊线、绑定等)的视觉系统设计方案。针对传统视觉系统对于观测分析微小物体的缺陷,提出了一系列改进方法,提高了视觉系统的精确性和处理的实时性;最后在搭建的实验平台上完成了LED焊点检测实验,并给出了实验结果。     

浅谈航摄相片的判读

通过对航摄相片判读的实践,总结了航摄相片上地物的成像规律和特征,探讨了判读航摄相片的要领,为准确判读航摄相片提供了宝贵的经验。     

基于邻域的混合象元解译

根据地物的自然连续性,认为混合象元中最终光谱单元的组成与其邻域相关,据此提出了一种十分简单的混合象元解译方法———基于邻域的混合象元解译．给出了解译的基本步骤与线性算法,讨论了最终光谱单元的标准及其搜集方法,并探讨了混合象元中与邻域无关的孤立最终光谱单元的探测问题．     

结构光三维成像技术研究进展

结构光三维成像技术作为一种主动非接触式成像技术,不但可以保存物体的三维空间信息,而且可以完整地复现物体的空间三维图像.该技术在高精度、高分辨率复原物体轮廓方面有着重要的意义.该文综述了基于不同结构光的3种成像方法,重点介绍了基于面结构光的成像方法及其关键技术,最后对结构光三维成像技术进行了总结和展望.     

一种实时数据库系统的多版本两段锁的并发控制协议

详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类,主要包括：实时数据对象可分为映像对象、导出对象和不变对象;实时事务按功能分类可分为数据接收事务、数据处理事务和控制事务;数据接收事务和控制事务是硬实时事务,是不能等待和阻塞的．然后,根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了实时数据库系统的多版本两段锁及多版本带夭折两段锁协议,且证明了两者都是冲突可串行化的．前者对于只读事务是没有延迟的,对于硬实时事务的延迟也很小;后者对硬实时事务不产生任何延迟,这两个协议都能较好地保证实时事务和实时数据的定时限制．     

基于局部不变特征的空中红外面目标的模糊识别

红外面目标识别是红外成象精确制导的关键,由于目标与象之间存在着透视投影变换关系,则必然导致成象的形变;另外,红外成象比较模糊,加上背景、干扰弹及目标自身的影响,在象平面经常出现遮挡及不确定性．若用基于全局的特征进行识别,极易造成误识．针对空中红外面目标的成象特点,用交比构造目标的局部不变特征,提出用局部特征的相关性结合目标的对称性进行模糊决策,抑制由于局部畸变造成的误识．对成象有缺陷的目标进行识别结果表明,算法有较强的抗遮挡能力．     

Unbound or distant planetary mass population detected by gravitational microlensing

Since 1995, more than 500 exoplanets have been detected using different techniques, of which 12 were detected with gravitational microlensing. Most of these are gravitationally bound to their host stars. There is some evidence of free-floating planetary-mass objects in young star-forming regions, but these objects are limited to massive objects of 3 to 15 Jupiter masses with large uncertainties in photometric mass estimates and their abundance. Here, we report the discovery of a population of unbound or distant Jupiter-mass objects, which are almost twice (1.8(+1.7)(-0.8)) as common as main-sequence stars, based on two years of gravitational microlensing survey observations towards the Galactic Bulge. These planetary-mass objects have no host stars that can be detected within about ten astronomical units by gravitational microlensing. However, a comparison with constraints from direct imaging suggests that most of these planetary-mass objects are not bound to any host star. An abrupt change in the mass function at about one Jupiter mass favours the idea that their formation process is different from that of stars and brown dwarfs. They may have formed in proto-planetary disks and subsequently scattered into unbound or very distant orbits.     

微分方程中一些新的可积类型

一般的Ｒｉｃｃａｔｉ方程和二阶变系数方程是不可积的，本文主要利用构造微分方程线性算子，得到了微分方程的算子矩阵，从这个算子矩阵列向量的线性相关性，得到了Ｒｉｃｃａｔｉ方程和二阶变系数方程的一些新的可积类型，并举例说明以往一些文献中收集的相应部分的可积方程几乎全是本文的特例