关于常曲率流形中具有平行平均曲率向量的子流形的不等式

给出了一个积分不等式，推广了文〔１〕中的结果。     

一种适用于软件雷达系统的数据流驱动机制

针对雷达信号处理各功能模块之间显著的流水性特征 ,结合一个通用的雷达信号处理系统———由清华大学研制的通用高速实时雷达信号处理系统的实验样机DSM(dataflow ,sharedmemoryandmultiplebusinterconnec tion) ,在研究现有静态、动态数据流驱动机制特点的基础上 ,提出了一种新型的适用于软件雷达系统的进程间准动态数据流驱动机制 ,并针对一个雷达信号处理的范例程序说明了编译器数据流驱动表的生成和系统数据流驱动的过程。     

基于并行计算的盾构机刀盘三维切削仿真

针对盾构机工作时刀盘切削土体的数值仿真，建立了细致分析模型，并利用任意拉格朗日欧（ALE）和流固耦合（FSI）理论及方法未解决传统有限元方法进行切削仿真时易引发的网格大变形问题；在国产曙光4000A超级计算机上利用LS-DYNAMPP970完成了并行计算，采用了传统递归坐标对分、以夏根据仿真模型特点提出的基于耦合均衡坐标对分等两种区域分解策略。结果表明，ALE-FSI方法能有效处理刀盘切割土体仿真时的网格大变形，仿真数据与试验数据对比也比较一致：通过促进负载均衡，在计算时CBCB法比RCB法体现出了更好的加速比和并行效率。     

The parallel calculation of the ground-state correlation energy of Helium atom

When we use Modified Configuration Interaction method (MCI) to calculate the correlation energy of double-electron systems, for obtaining the higher precision, we always need huge calculations. In order to handle this problem, which will cost much CPU time and memory room if only using a single computer to do it, we now adopt the parallel multisection recurrence algorithm. Thus we can use several CPUs to get the ground-state energy of a Helium atom at the same time. Supported by Opening Foundation of Laboratory of Wavy Spectrum and Atomic and Molecular Physics, Wuhan Institute of Physics, Chinese Academy of Sciences Liu Lianjun: born in 1946, Associate professor     

从相对论的两条基本原理论证电磁波的相位不变性

根据相对论的两条基本原理和时空洛仑兹变换的推导思路，论证了普遍的电磁波相位不变性．清楚地揭示出电磁波的相位不变性和相对论的基本原理及时空洛仑兹变换的内在联系     

球面子流形的整体内在刚性定理

本文给出了Ｓ＾ｎ＋ｐ（１）中子流形Ｍ是全测地的以及含于全测地子流形的几个定理，改进了「４－９」的若干结果。     

基于InfiniBand的集群分布式并行绘制系统设计

为解决 sort-first型并行绘制负载不均衡和网络拥塞问题,在研究原有体系结构的基础上,提出了一种基于InfiniBand高速网络的PC集群分布式并行图形绘制解决方案。增加了显示节点负责场景显示。使用一种改进型的基于绘制历史的动态负载均衡算法解决了负载不平衡问题;利用InfiniBand消息传输机制开发了同步控制策略,有效地实现了帧同步。实验结果表明,该方案在保存场景一致完整性的基础上,与传统体系结构相比,显著地提高了系统帧率,降低网络通讯消耗。     

超越的分析性与内在的分析性——兼评蒯因和卡尔纳普关于分析性的争论

本文首先对蒯因与卡尔纳普关于分析性的争论作出评析,指出卡尔纳普基本上同意蒯因用于驳斥分析性的那些论点而否认它们会对分析性带来不利的影响,然后表明其实蒯因所抨击的分析性与卡尔纳普所支持的分析性是两类不同的语言学概念——用蒯因的术语说——作为超越的概念的分析性与作为内在的概念的分析性。最后指出,蒯因后来也接纳了分析性,而且按照他的观点,其分析性也是一个内在的概念。     

基于agent的并行GA

采用遗传进化技术和多智能体技术相结合的方法，实现了基于粗粒度的并行GA，该方法有利于改进遗传算法的性能，提高遗传算法搜索的效率，文中讨论的并行模型，最大的特点是通讯开销小。     

神经网络PDP系统中的CS问题

本文阐述PDP中的约束满足(Constraint Satisfaction,简记为CS)的一般概念及其在PDP中的解决,着重分析在PDP中的几个模型:Schema模型,Boltzmann机,Harmony理论,和它们的特征及局限性。