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

罗克韦尔-科林斯公司与美空军签署GEMS研究合同

美国《联邦计算机周刊》2004年6月报道美国防高级研究计划局(DARPA)于5月成功试验了用于帮助飞行员攻击小型、机动目标的战术目标瞄准网络技术”(TTNT)数据链。TTNT可使空中和地面的作战部队无线访问美国防部的话音、视频以及数据系统的中枢一全球信息栅格”(GIG)。根据DARPA6月28日发表的声明,美军过去必须在作战人员和情报分析人员之间建立有线链接,用以共享某些交换数据。     

热图像与瞄准镜分划图像实时叠加处理系统研究

热像仪是夜战中用于观察和瞄准的重要装备,但目前装备的某些坦克和装甲车辆上的热像瞄准镜,本身并不具有瞄准分划,因而也就很难获取目标更多的信息,限制了对目标进行有效的瞄准射击:为了使其热像瞄准镜同样具有坦克微光瞄准镜所具有的功能,作者利用高速数字信号处理器ADsP21535开发评估板,研究设计了热图像和瞄准镜分划图像实时叠加处理系统,从而较好的解决上述问题.     

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

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

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

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

空战拦射攻击自主优化瞄准控制方法

为了解决空战自主拦射攻击问题,提出了一种自主优化瞄准控制方法。首先描述了自主拦射攻击需要解决的问题;然后给出了基本解决思路并推演出瞄准偏差方程;接着创建了自寻优瞄准控制模型并设计了瞄准控制过程;最后通过仿真实验进行了与比例导引控制方法的对比测试和鲁棒性测试,结果表明自主优化瞄准控制法对于解决自主拦射攻击问题非常有效。