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

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

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

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

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

设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的某个零点。     

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

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

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

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

新形势下加强全民国防教育的几点思考

全民国防教育是建设和巩固国防的基础,是增强民族凝聚力、提高全民国防素质的重要途径,也是关系国家安危兴衰的社会工程.必须充分认识时代发展的新形势,确立新的观念、采取新的举措,扎实有效地推进全民国防教育深入发展.     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

基于时延的宽带LFM信号DOA估计算法

针对常用宽带LFM信号DOA估计算法采样数据量大、运算量大的特点,提出了一种基于时延的宽带LFM信号DOA估计算法。先把阵元接收到的信号变换到频域,而后用极值频率点进行时延估计,并对各极值频率点的时延估计值进行加权平均,进而估计出宽带LFM信号的来波方位。仿真验证了该算法的合理性和有效性。     

战区多需求点装备物资紧急调运模型及算法

在战区装备保障过程中,装备物资调运是一项非常重要的工作,其好坏直接决定战区装备保障任务能否迅速并有效执行.在战时情况下,战区装备物资调运问题必须考虑复杂性、时效性、安全性等要素,基于此构建了不同时间因素限制条件下的两种多需求点装备物资紧急调运优化模型,进行了详细的逻辑分析和推导,分别给出了模型的算法,并通过实际算例验证了模型的适用性和算法的有效性.     

排除虚假交叉定位点的新方法

多站测向交叉定位法是无源定位方法中应用较多的一种,但该方法易产生大量虚假定位点。针对这个问题,提出了一种排除交叉定位中虚假点的新方法。该方法以两个观测站为主站,其他观测站为辅站,利用辅站数据对主站数据进行筛选及反馈从而快速排除两主站中的虚假点。仿真结果表明,该算法能够快速、准确地排除虚假定位点。