基于MVCC的保存点和事务部分回滚功能的设计与实现

多版本并发控制模式作为当今流行的数据库并发控制方法,由于在这种模式下对数据读和写是不冲突的,因而能够大大提高系统的并发度.文中提出了基于多版本并发控制数据库保存点和部分回滚功能的设计与实现方法.     

海水中稳恒电流电场的点电极计算模型

根据点电极基本假设,利用均匀介质中稳恒电流场与静电场的相似性,分别采用分离变量法和镜像法计算了点电极稳恒电流场在空气 海水 海床三层介质平行界面模型下的电位分布,从而得到了海水中稳恒电流电场的计算模型.计算结果表明:点电极的电场分布具有明显的特征,可作为舰船电场电极阵列模拟的计算单元.     

BBO晶体II型相位匹配光参量振荡器的输出线宽

采用355nm脉冲激光作为泵浦源,对影响BBO晶体II型相位匹配光参量振荡器输出线宽的各种物理机制进行了数值模拟计算和分析。结果表明,II型相位匹配是光参量振荡器获得窄线宽的有效而简单的手段。     

具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={x∈H:0∈Tx}≠Φ。 xk∈H,βk>0,求 xk及ek满足( )　　xk+ek∈ xk+βkT( xk),‖ek‖≤ηk‖xk- xk‖, k≥0,其中,ηk≥0,supk>0ηk<1,βk≥β>0。设PC:H→C为H到C上的最近点投影算子,定义xk+1=PC( xk-ek),k≥0,证明了若T满足(S)型条件,则{xk}k≥0强收敛于T的某个零点。     

Viterbi算法在DFH系统中的应用

本文根据DFH(差分跳频)系统的原理,提出了一种适合DFH系统频率检测的一般检测算法。并分析了该算法在发生频率检测错误时存在的问题。为了解决此问题,本文提出了采用Viterbi算法对DFH系统进行频率检测,并对该方法进行了详细的阐述。     

北斗系统星载原子钟周期性波动的频谱分析校正方法

在建立卫星导航系统星座自主守时时间基准时,必须消除星载原子钟钟差数据中包含的周期性波动,以免将其引入系统时间。针对这一问题,基于国际卫星导航服务组织(International GNSS Service, IGS)提供的北斗系统星载原子钟钟差产品,提出了一种基于频谱分析的星载原子钟周期性波动校正方法。通过比较校正前后钟差数据的频率稳定度性能差异,确认该方法能够消除由环境因素引起的钟差数据周期性波动。北斗系统各类卫星星载原子钟的性能在校正后都得到了提升。地球同步轨道卫星星载原子钟的万秒频率稳定度提升50%左右,中轨道地球卫星星载原子钟的万秒频率稳定度提升23%左右,倾斜地球同步轨道卫星星载原子钟的万秒频率稳定度提升15%左右。经过校正,北斗二号和北斗三号系统中的星载原子钟普遍达到了地面站铯钟的频率稳定度性能,为完全基于星载原子钟的星座自主守时提供了基础。     

脉冲群间多普勒频率变化率的高精度测量算法

提出了一种脉冲群间多普勒频率变化率的高精度测量算法,该算法利用脉冲群内相邻脉冲对间的互相关函数估计脉冲群模糊频率,在连续脉冲群间选择任一相同模糊频率进行解模糊得到各脉冲群相对频率,由于这些相对频率包含相同的模糊,从而可以利用差分或滤波算法得到脉冲群间多普勒频率变化率。该算法具有相对频率估计精度高、解模糊过程简单、运算量小、多普勒频率变化率测量精度高等优点。计算机仿真和地面缩比试验均证明了该测量算法的有效性。     

大炸高频率捷变无线电引信的研究

分析了现代战争对无线电引信炸高提出的新要求,提出了一种采用频率捷变体制的大炸高无线电引信的设计方案,采用了软件无线电的设计思想,使引信具有软件可编程能力,提高了引信对战场环境的适应能力和抗干扰能力。在多工作频点捷变的基础上提出一种多频脉冲联合比相测距算法,利用回波相位差实现了引信炸高的测量。最后的算法仿真结果验证了这种基于频率捷变的大炸高无线电引信体制的可行性。     

预任军官大检验

辽宁某预备役师针对以往存在的重兵轻官,重基层轻机关,点兵不点官,识兵不识官,训兵不训官,考兵不考官的现象,在《预备役军官法》颁布10周年之际,他们组成联合考核组,对全师千余名预任军官进行了全员考核点验。通过回营点验,理论考试,体能测试等形式,达到了以考促训,