上海天文台亚厘米级单次测距精度的卫星激光测距试验

2001年8月, 中国科学院上海天文台与捷克技术大学合作在上海天文台进行了亚厘米级单次测距精度的卫星激光测距试验. 采用皮秒事件计时器作为激光往返脉冲的时间间隔测量仪器, 配合原有的发射和接收系统, 对Lageos-1, 2, Starlette, Stella, Topex和ERS-2等卫星进行了测距试验. 分析表明: 对这些卫星的单次测距精度达到了7~8 mm. 为了对比, 原有的测距系统同时对这些卫星进行了测量, 单次测距精度为12~15 mm. 表明新测距系统的测量精度比原有系统提高了约80%. 同时还对原有测距系统的系统偏差进行了检测.     

上海天文台第三代卫星激光测距系统

本文介绍了中国科学院上海天文台的第三代卫星激光测距系统的性能及三年来对LAGEOS,AJISAI和STARLETTE等卫星的实测结果.卫星轨道拟合和地面靶的测距试验均表明,本系统的卫星测距精度(均方差)约±5cm.     

关于举办首都师范大学数学科学学院“2012年中学生数学夏令营”活动的通知

首都师范大学数学科学学院拟定于2012年7月16日至27日举办2012年中学生数学夏令营活动.本次活动将邀请多位数学家介绍当代数学的若干个前沿领域,并系统讲授数学分析和高等代数的部分专题.本次活动的目的是帮助对数学有兴趣的同学了解一些高等数学与初等数学之     

伪随机序列

在数字通信、测距及跟踪系统中常用伪随机序列来调制信号(即将信号波形用此种序列编码),以达到提高可靠性和有效性或保密等目的.其重要的应用是在测距方面.据报导,早期曾用长度为2~(13)-1=8191的 m-序列于金星测距,在极低的信噪比情况下提取信号,达到极高的测量精度;但这是用长的积累时间换取到的.后来,为了能快速检测,有的深空测距系统用几个短 m-序列的 Boole 组合序列调制连续载波,从而大大缩减了积累时间.伪随机序列亦曾用于可由单人背负的便携式连续波 Doppler 雷达,供前沿侦察之用;在功率相当低的情况下,提供了清晰的距离与速度信息.本文将国外资料中有关伪随机序列的主要结果作一侧重于数学方法的介绍,主要参考资料列在后面.     

危险天气下航路改航策略

目前危险天气对航班正常运行影响很大,改航策略可以减少损失.主要研究块状分布危险天气下的改航.首先对块状分布危险天气区域进行描述,同时对危险天气模型进行简化并对其移动曲线拟合,实时精确地确定受限制的区域范围及其移动方向.在考虑飞机性能和飞行员操作负荷的基础上,确定改航点.然后利用机载雷达设备,以最小改航航段的距离为目标,选择改航路径.使用航段距离、转弯角度、转弯点个数、平均侧向偏离距离为指标进行评估,以南京北京航线为例,研究了块状分布危险天气区域下的改航,并进行仿真,验证此方法的有效性.     

考虑事故发生率的危险品物流企业运营监管研究

文章研究了考虑不同事故发生率的危险品物流企业运营监管问题,以演化博弈理论为基础,构建基于不同事故发生率的演化博弈模型,探讨了危险品物流不同事故发生率对演化博弈行为的影响,并对动态博弈的演化结果进行模拟仿真.研究结果发现:加大对危险品物流企业违法运营行为的惩罚力度,在短期内能够促使危险品物流企业守法运营,但是长期内则会驱动政府监管部门放松监管,反而增大了危险品物流企业违法运营的概率.因此,凡是危险品现场督查不力、敷衍了事的监管人员都应受到严惩.这样不仅短期内促进政府监管部门从严监管,而且长期内使得危险品物流企业违法运营明显减少.所研究成果为政府监管部门重视危险品物流企业运营活动监管体系建设,不断提升监管水平、强化监管责任提供新思路.     

全附体ONRT船模在波浪中自航的数值模拟

采用基于重叠网格技术的CFD方法数值研究了全附体ONRT船模在迎浪工况中自航的水动力特性.文中数值计算采用自主开发的面向船舶与海洋工程的CFD求解器naoe-FOAM-SJTU.自航计算中船体运动及螺旋桨转动等通过重叠网格技术完成,波浪环境则采用求解器中的三维数值造波和消波模块实现.计算中自航船模的螺旋桨转速通过静水自航数值计算得出,波浪工况计算采用东京2015 CFD会议中标准算例进行设置.数值计算结果,如船体运动、实时航速变化等,与试验数据进行了对比分析.此外,给出了数值预报的推力和扭矩系数,并且通过详细的流场信息来分析和解释了船模在波浪中自航过程中的水动力变化情况.数值预报结果同试验值吻合较好,说明采用当前结合重叠网格技术和CFD的数值方法可以很好地预报波浪中自航问题.     

基于EFCE的创新方法集成应用的评价与实证分析——以中航工业集团创新方法应用为例

通过广泛征求工程技术项目专家、管理者、技术研发人员的意见,构建了4维度12个指标的工程技术项目创新方法集成应用评价的指标体系,运用熵权模糊综合评判法(EFCE)对创新方法在工程技术项目中的集成应用水平进行评价.以中航工业航天工程项目研发团队为例进行实证调研分析,得出了创新方法集成应用的程度评价,并给出解决问题的方向.     

微分代数系统的标准型和分支

我们首先把微分代数系统归结为受限微分方程,且讨论了受限微分系统的参数化问题,即系统的状态空间形式。然后,借助于受限系统的状态空间形式,我们得到了受限微分系统平行于常微分方程的线性化问题和Ｈｏｐｆ分支理论问题的有关结果。     

时滞广义时变系统的容许性分析与镇定

研究了时滞广义时变系统的容许性与镇定性问题.首先,基于广义Lyapunov不等式、线性矩阵不等式和受限等价方法,建立时滞广义时变系统的Lyapunov不等式,将时滞广义时变系统的容许性问题转化为求解时滞广义时变系统的Lyapunov不等式问题,得到了系统容许的充分条件.然后,根据充分条件进一步研究了时滞广义时变系统的镇定问题,给出了状态反馈镇定器的设计方法.最后,通过数值算例验证了所得结论的有效性.     

方差分析在复杂测量系统能力分析中的应用

测量系统分析是QS9000标准中的核心要素之一,主要用来评估测量系统对工序质量改进的保证程度。传统的测量系统能力分析主要采用极差分析或方差分析研究单台测量仪器组成的二因素交叉型简单测量系统,本文从企业的实际情况出发,采用方差分析法研究包含多台测量仪器的复杂测量系统,基于三因素套析因混合效应实验模型的方差分析和方差估计,提出了这种测量系统能力分析的方法,并给出了应用实例。     

一种基于序列图像的单镜头测距方法

针对于监视区域目标参数的测量问题,在考虑到被动式实时监控定位与便携性要求的前提下,提出了基于标定点的序列图像单镜头测距算法,并实现了核心测距算法.     

输电系统的部分可观Petri网故障诊断器设计

采用部分可观Petri网的故障诊断方法来解决变电站输电系统中不可观事件和不可观运行状态的故障诊断问题.首先,将系统可观测序列分解为长度为1的基础观测序列,应用线性不等式矩阵计算与基础观测序列相符的点火序列集;然后,基于整数线性规划问题,利用向前向后函数拓宽诊断区间,同时应用参数K限定故障诊断序列长度,通过分析系统可观事件和系统部分可观状态,给出故障诊断结果.最后,构造变电站输电系统的部分可观Petri网模型,应用提出的故障诊断算法对输电系统进行诊断,诊断结果准确给出了故障发生与否及故障发生位置.算法适用于在线故障诊断,计算复杂性线性相关于观序列长度.     

Autonomous localization based energy saving mechanism in indoor MANETs using ACO

The biggest challenge in MANETs is to find most efficient routing due to the changing topology and energy constrained battery operated computing devices. It has been found that Ant Colony Optimization (ACO) is a special kind of optimization technique having characterization of Swarm Intelligence (SI) which is highly suitable for finding the adaptive routing for such a type of volatile network. The proposed ACO routing algorithm uses position information and energy parameters as a routing metric to improve the performance and lifetime of network. Typical routing protocols have fixed transmission power irrespective of the distance between the nodes. Considering limiting factors, like small size, limited computational power and energy source, the proposed solution excludes use of GPS for identifying the distance between nodes for indoor MANETs. The distance between nodes can be determined by using Received Signal Strength Indicator (RSSI) measurements. Thus, an intelligent ACO routing algorithm with location information and energy metric is developed to adaptively adjust the transmission power and distribute the load to avoid critical nodes. Proposed Autonomous Localization based Eligible Energetic Path_with_Ant Colony Optimization (ALEEP_with_ACO) algorithm ensures that nodes in the network are not drained out of the energy beyond their threshold, as the load is shared with other nodes, when the energy of a node in the shortest path has reached its threshold. Hence, the total energy expenditure is reduced, thus prolonging the lifetime of network devices and the network. We simulated our proposal and compared it with the classical approach of AODV and other biological routing approaches. The results achieved show that ALEEP_with_ACO presents the best Packet Delivery Ratio (PDR), throughput and less packet drop specially under high mobility scenarios.     

有限组两个完全同向单形的广义加权度量加

利用广义Menger度量嵌入定理,推广了关于两组两个完全同向n维单形"广义度量加"的概念,提出了关于有限组两个完全同向n维单形的"广义加权度量加"的概念,并运用距离几何理论同矩阵不等式结合的方法,证明了几个涉及"广义加权度量加"的几何不等式,它们进一步推广了杨路和张景中关于Alexander猜想的结果,这些结论蕴含近期诸多文献的主要结果.     

Multidimensional Scaling With Very Large Datasets

Multidimensional scaling has a wide range of applications when observations are not continuous but it is possible to define a distance (or dissimilarity) among them. However, standard implementations are limited when analyzing very large datasets because they rely on eigendecomposition of the full distance matrix and require very long computing times and large quantities of memory. Here, a new approach is developed based on projection of the observations in a space defined by a subset of the full dataset. The method is easily implemented. A simulation study showed that its performance are satisfactory in different situations and can be run in a short time when the standard method takes a very long time or cannot be run because of memory requirements.     

偏正态数据下众数回归模型的统计诊断

为了更好地拟合偏态数据,充分提取偏态数据的信息,针对偏正态数据建立了众数回归模型,并基于Pena距离统计量对众数回归模型进行统计断研究,得到了众数回归模型的Pena距离表达式以及高杠杆异常点的诊断方法.利用EM算法与梯度下降法给出了众数回归模型参数的极大似然估计,根据数据删除模型计算似然距离、Cook距离和Pena距离统计量,绘制诊断统计图.通过Monte Carlo模拟试验和实例分析比较,说明文章提出的方法行之有效,并在一定条件下Pena距离对异常点或强影响点的诊断优于似然距离和Cook距离.     

Improving the stability and robustness of incomplete symmetric indefinite factorization preconditioners

Sparse symmetric indefinite linear systems of equations arise in numerous practical applications. In many situations, an iterative method is the method of choice but a preconditioner is normally required for it to be effective. In this paper, the focus is on a class of incomplete factorization algorithms that can be used to compute preconditioners for symmetric indefinite systems. A limited memory approach is employed that incorporates a number of new ideas with the goal of improving the stability, robustness, and efficiency of the preconditioner. These include the monitoring of stability as the factorization proceeds and the incorporation of pivot modifications when potential instability is observed. Numerical experiments involving test problems arising from a range of real‐world applications demonstrate the effectiveness of our approach.     

不完全偏好信息下房地产投资的模糊优选

解决了不完全偏好信息下含有模糊决策元素的房地产投资方案的优选问题.分析形成了房地产投资方案的评价指标体系,并在Hamming距离与Euclidean距离测度的基础上,建立了不完全偏好信息下的模糊多属性决策模型,能处理决策元素为一般模糊数的决策问题,同时提供了所建非线性规划模型的交叉迭代解法.实际算例的比较结果表明,本文提出的决策模型及算法优于文献中关于偏好信息完全确知的经典模型与算法.     

模糊集合的模糊度的一种表示形式

给出了当论域是有界区间时,模糊度的表示形式的一个定理,利用这个定理可以得到用熵函数和距离函数所表示的模糊度的具体形式.