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

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

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

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

关于一食物链型时滞系统的注记

考虑了一个自治的有密度制约与扩散项的n种群食物链型时滞系统,得到了持续生存系统的充分条件,推广了前人持续生存的相应结果。     

按照标准培养基层新型军事人才

在积极推进中国特色军事变革的新形势下,江泽民同志提出了新型军事人才的标准,即良好的全面素质,复合型的知识结构和综合能力,较强的创新精神和创新能力。结合旅团实际按照标准抓好新型军事人才培养,重点要做到以下三个方面：     

台湾“基隆”级导弹驱逐舰

"基隆"级导弹驱逐舰是台湾于本世纪初期向美国海军购买的"基德"级导弹驱逐舰,主要用于执行舰队防空任务。经过美国海军服役改装及"新威胁提升"计划后,"基德"级舰具备了强大的防空、反舰、反潜及战场管理能力,可担任由不同作战舰艇混编的编队旗舰,亦可在岸基防空制海兵力所涵盖的海域外,执行外线机动作战任务。加入台湾海军后,"基隆"级舰主要担任重要海域侦巡任务,并扩大监侦范围,增加了台湾军方预警反应时间,是台湾海军扼守重要海域阻敌进犯,与陆基作战中心进行联合制空、制海作战的海上尖兵。     

越南“猎豹”3·9级护卫舰

越南海军装备的"猎豹"级轻型护卫舰是苏联于20世纪80年代设计的11661型,越南购买的是"猎豹"3.9级,主要担负南海地区的巡逻护航、海上破袭、岛屿防卫等作战任务。"猎豹"3.9级护卫舰具有舰体坚固、造型独特、噪声和辐射小、航速快、续航和隐身能力强、舰载武器火力大等诸多优点,具备较强的反潜、反舰作战能力,具备一定的本舰防空能力。该级舰虽然吨位不大,但采用模块化的设计使其可根据任务需要安装俄罗斯生产的不同武器系统。2005年底,越南海军与俄罗斯国防出口公司签署了采购首批2艘"猎豹"级轻型护卫舰的合同,俄罗斯同     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

非均匀光强对曲率型自适应光学系统的影响

在高斯光强和光强存在正态随机起伏情况下,研究了一种37单元的曲率型自适应光学系统对低阶Zernike像差的校正效果,并和均匀光强时的校正效果进行了比较.光强为高斯分布时,光强的不均匀性对Zernike像差的校正带来了一定的影响,对于曲率为零的Zernike像差影响较小,对曲率不为零的Zernike像差影响较大.光强存在正态随机起伏时,对各阶Zernike像差的校正影响较小,曲率为零的Zernike像差的校正效果好于曲率不为零的Zernike像差的校正效果.结果表明在光强起伏不严重的情况下,该37单元曲率型自适应光学系统对低阶Zernike像差可以较好地校正.     

忙忙活活是年味

看罢学刊第1期《佳节忆团圆》,文中忙忙活活的爸爸妈妈让人眼红心热,浓浓的年味也从纸上跳到了眼前。过了农历腊月廿三,婆婆就开始蒸馒头,今天一锅,明天一锅的。婆婆这时候蒸的馒头与往常不同,带了很多花样。将面剂子捏成窝状,包上枣,是枣馒头;包上豆沙,是豆沙包;还有种做法是将剂子擀成长条,两头放上一溜枣,然后两手同时将枣卷起向中间集