虚拟机床可视化设计相关技术的研究与应用

介绍了虚拟机床系统设计制作中的主要及关键技术。给出了系统的软硬件平台,说明了虚拟机床三维场景的绘制方法,探讨了机床几何建模和对大数据量的场景进行优化的技术,并就三维鼠标在虚拟制造机床中的应用以及视点控制等关键技术、MFC中关键类的调用等进行了说明。     

当代出舱活动技术发展

出舱活动技术有多种分类方法和广泛用途,并需使用气闸舱、舱外航天服等一些先进而复杂的硬件设备.40多年来.经过苏联/俄罗斯、美国等国的专家的不断开发.出舱活动技术已有了长足的发展.俄美两国在出舱活动系统方面各有特色,在出舱训练技术方面也各有千秋.中国航天员将进行首次出舱活动,成为世界上第3个完全独立实现出舱活动的国家.     

基于DSP交流永磁同步伺服控制系统

本文主要介绍应用TI公司的新一代低功耗、高速、高精度的DSP芯片——丁MS320F2812为控制核心的交流永磁同步伺服控制系统，文中介绍了三相永磁同步电机数学模型，空间矢量控制原理，控制系统的硬件组成和系统软件的实现。     

一类局部凸空间中的双周期Riemann边值问题

一类局部凸空间中的双周期Ｒｉｅｍａｎｎ边值问题范鹰１）胡传淦２）１）天津城建学院基础部，３００１９２，天津；２）南开大学数学系，３０００７１，天津关键词双周期，Ｒｉｅｍａｎｎ边值问题，局部凸空间分类号（中图）Ｏ１７４；（１９９１ＭＲ）３２Ｅ，３０Ｇ本...     

具有LOTS因子的积空间的正交紧性

本文证明当x是点有限仿紧空间时,x与一个核为K的线性序拓扑空间的乘积是正交紧的充要条件是x的正交口径为K,该结果推广了文[1]的一个主要结果,在此基础上,我们给出了点有限仿紧空间与局部紧线性序拓扑空间乘积正交紧性的一个刻划。     

Ck（X）的可数强扇密度

证明了C_K(X)有可数强扇密度的充分必要条件是X的每一开k-覆盖序列{ ū_n},存在U_n∈ū_n使{U_n}为k-覆盖。     

自反Banach空间中的广义强非线性混合似变分不等式

研究了自反Banach空间中的广义强非线性混合似变分不等式，这类变分不等式包含了经典的不等式及其推广，并用极大极小原理证明了广义强非线性混合似变分不等式解的存在性及唯一性。     

算子T的强有界、有界和连续性问题

在赋范线性空间中算子T强有界、有界及连续性三者是相互等价的，但对于赋准范线性空间(F—space)而言，强有界一定是有界、连续的，反之不然，但其中有界和连续性是等价的。     

Banach空间一阶常微分方程终值问题解的存在唯一性

研究了Banach空间一阶非线性常微分方程的终值问题。采用单调迭代方法和适当的迭代程序，在较弱的条件下，获得了解的存在唯一性，改进和推广了已有的一些结果。     

三维成形针织间隔结构材料的编织研究

以半球体为例，通过在电脑横机上编织三维成形针织物的研究，分析和探讨了影响编织可靠性和产品结构与性能的因素，并提出了相应的工艺优化方法。