基于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函数。     

战场态势的定量分析模型

在防空作战中,战场态势的分析非常重要,它是辅助决策的基础.针对战场态势的问题,以集对分析的同异反联系度和距离测度为基础,构造了战场态势的分析模型,进行了深入探讨.最后,通过实例计算表明了分析模型对于评估战场态势的可行性和有效性.     

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

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

有什么新鲜事想告诉战友们

请战友们爆料围观写信:北京市中关村南大街28号《解放军生活》杂志刘金标(100081)邮件:xiapuljb@sina.com电话:010-62196567(刘其王坤)济南军区某旅:女兵穆珂用青春舞步记录军营成长舞蹈也能当日记?济南军区某旅女兵穆珂入伍前就读于沈阳体育学院体育表演系,曾在沈阳市大学生运动会中取得舞蹈类比赛团体赛第一名的好成绩。入伍后,穆珂将军营生活中的点滴小事编排成舞蹈,在训练间隙为战友展示。现在,部队政治部还把她的舞蹈拍摄成VCR挂到了政工网上,让更多战友能欣赏到她美丽的舞姿。     

刘根善:苦地方活出甜滋味

加疙瘩,乍听这名字我以为这里的树木都长满了病疙瘩。到这儿才知道,它是鄂温克语,意为长满红豆的地方。加疙瘩外站也缘此而得名。这个距中队70多公里的检查站,把守着进入原始林区的唯一通道,是守卫这片原始森林不可逾越的屏障。25年前我从警校毕业,就分到这个小站,我作为管理干部的生涯也就此开始了。