正规数集的纲性

本文讨论了由基二的正规数组成的集合.利用强大数定律与Baire纲定理证明了[0,1]中的正规数集是第一纲集,它的余集是第二纲集.     

对"意象现实"的哲学反思

由虚拟技术所营造出的“意象现实”引发了一系列哲学反思。本文作者认为,“意象现实”符合人的认识的真理结构,它是人对现实社会接受方式的延伸。文章从“意象现实”促进主体精神的解放、引发“体验经济时代”的到来、以及主客体的重建、“意象现实”的现实基础等几方面展开论述。     

磁光调制法测量高双折射光纤拍长的灵敏度分析

基于法拉第磁光效应,研究在光纤拍长磁光调制法测试系统中,对于给定的磁隙宽度和磁场强度,起偏方式与检偏方式对拍长测试灵敏度的影响.通过理论分析发现,除了目前通常采用的线偏振光沿光纤双折射主轴注入结合渥拉斯顿棱镜45°检偏的测试方式之外,另有两种测试方式也可以得到最大灵敏度,一种是线偏振光45°注入结合渥拉斯顿棱镜沿轴检偏,另一种是圆偏振光注入结合渥拉斯顿棱镜沿轴检偏.最后一种实验方式不需要在入射端精确定位光纤的双折射主轴方向,能简化实验过程,避免角度调节引入的测量误差.     

基于电流变液的车辆离合器设计

概述了电流变现象和电流变液的机理及材料的研究近况,针对圆盘式电流变离合器得出了力矩传递公式,根据公式讨论了电流变离舍器在车辆上的设计应用及设计时应该注意的问题.     

电流变技术在履带车辆设计中的应用研究

文章概述了电流变现象和电流变液的机理及材料的研究近况,介绍了电流变液的工程应用现状,详细讨论了电流变技术在履带车辆动力传递、制动、减振等方面的应用,对关键的技术问题进行了探讨.     

印刷文档中数学公式抽取的研究

数学公式抽取是公式识别的首要步骤,目前相关的研究还很欠缺.针对印刷文档中数学公式的抽取展开了研究,对于印刷文档中的孤立式公式采用Parzen窗方法将其从文档中抽取出来.实验表明,这种方法能够取得较好的效果.     

由语言自动构造文法的递推描述算法

通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性．该算法根据具有无穷句子的语言L,首先写出由L中基本符号组成的初值集ΣG,再确定体现规则式右部符号串形式,并由L中基本符号和（或）文法符号组成的递推性质的描述f（）,在ΣG和,（）的基础上,经有限次逐步递推得到一系列规则式,消除冗余规则式后的结果即为符合该语言的文法的规则式．实例表明：若能确定f（）,可得到文法的所有规则式．     

考虑前后车速度关系的车辆跟驰模型

分析了传统车辆跟驰模型的局限性,建立了考虑前后车速度关系的车辆跟驰模型：前后车以相同速度匀速行驶时的跟驰模型;前后车以不同速度匀速行驶,后车速度小于前车速度时的跟驰模型;前后车以不同速度匀速行驶,后车速度大于前车速度,当前车速度不变时的跟驰模型和前车减速时的跟驰模型．以四种跟驰模型为基础,分别建立了相应的速度一间距关系和车辆追尾模型．追尾模型表明：最小车头距离是后车速度的二次函数,随后车速度急剧缩小;当实际车头距离小于该值时,则会发生追尾事件．     

基于证据理论的AUV目标识别研究

根据D2S证据理论能很好表示“不确定性”和“不知道”的特点,对比不同的数据融合算法,在分析D2S证据理论的性能特点基础上,提出了一种基于自主式水下航行器的扫描声纳和水下摄像机两种视觉传感器采集信息的基本概率分配函数的方法和规则,并且分析了自主式水下航行器上的扫描声纳和水下摄像机这两种视觉传感器的信息在目标位置求解中的应用,同时利用Dempster合并规则,分析计算这两种视觉传感器在自主式水下航行器进行目标类别识别时的合成融合值.通过列表分析,表明增加了目标识别的可信度,减少了目标的不确定性.     

利用原桥提高桥上桥承载力问题

为了利用原桥提高桥上桥承载力,提出了间隙上下限和分载可行区的概念。建立了将单分载点、双分载点和三分载点3种设置方式统一计算的模型,并利用该模型对装配式公路钢桥架设的桥上桥利用原桥提高承载力的影响因素进行了深入分析。结果表明,单分载点模型是最佳分载点设置方式,同时分载点应尽量设置在靠近跨中位置,从而提供更大的反向弯矩。