为神七绘制蓝图的年轻群体

9月25日晚9点10分,当长征二号F火箭托举满载翟志刚、刘伯明、景海鹏3名航天员乘坐的神舟七号飞船升空时,航天科技集团公司承担神舟七号载人航天飞行任务的发射试验队队员们都流露出兴奋和激动的神情。成功时刻,记者把视线聚焦到了一个年轻群体的身上。     

基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

筒形桅杆有限元计算模型及无刚度奇点的消除方法研究

本文提出了一个用于消除空间杆梁结构有限元模型中的无刚度“奇点”的元素及相应的刚度矩阵计算公式。在无刚度“奇点”出现处以此元素替代拉压杆元,可使空间杆梁结构模型中的无刚度“奇点”消失,能够在不增加整个计算模型自由度的情况下提高计算结果的精度。在微型计算机上运用全部三维12自由度梁单元计算模型、拉压杆元——加弹性支座计算模型和本文提出的计算模型对某型军舰的桅杆结构进行了实例计算比较。计算结果表明:用本文方法得到的应力值、位移值与全部三维12自由度梁单元模型的计算结果符合良好。     

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

多速视线指令滤波控制器设计

在许多现代便携式武器中所采用的视线指令制导方案,其本质是数据采样系统,它需要运用离散控制与估计理论。文章涉及了多速数字滤波－控制器的设计和测试。该滤波控制器适用于视线指令制导截击静止目标,将慢波束信息与弹上采用最优多速估值技术的快速测量结合起来。文中给出了详细的图解来说明所产生的滤波控制器的周期性,其工作速率与弹上快速测量相同。可以看到,多速滤波－控制器的性能仅在少数情况下比波束快速更新时所得到的差些。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

二十一世纪地下空间开发利用展望

本文论述地下空间开发利用的必要性和前提,提出了二十一世纪是地下空间的世纪,对搞好我国二十一世纪地下空间开发利用提出了建议。     

核爆炸空间中子能谱的研究

建立了合理的模型,采用了可靠的计算工具和方法,得到了大气层核爆炸中子场内中子注量、个人剂量和个人剂量当量的空间分布以及能量和角分布的完整数据,从中总结出许多有价值的规律。     

取值于p型Banach 空间随机变量列的收敛性

本文将Ｗ．Ｆ．Ｓｔｏｕｔ［１］关于实值随机变量列的收敛性的一些结果,推广到了ｐ型Ｂａｎａｃｈ空间值情形上,得到了刻划ｐ型Ｂａｎａｃｈ空间的二个充分必要条件及二个必要条件