Cm,n的最小亏格与Km,n的强嵌入

令C_m,n表示长为m的圈与n个孤立点的联结(join)所得的图. 本文证明了C_m,n的最小亏格和最小不可定向亏格与完全二部图K_m,n的相等. 同时,证明当m≥2并且n≥2时, K_m,n在其最小可定向曲面上有一个强嵌入; 当m≥3并且n≥3,时, 在最小不可定向曲面上有一个强嵌入.     

武汉城市圈科技人才共享现状与对策研究

建立武汉城市圈科技人才共享机制是适应区域经济一体化趋势的迫切要求,本文在分析武汉城市圈科技人才共享机制的现状基础上,重点从政策制度、经济基础、信息化建设、文化环境四方面分析了武汉城市圈人才共享存在的问题,最后分别从这四个方面提出了相应的建议,以推动武汉城市圈科技人才共享机制的建立。     

LDO催化大豆油制备生物柴油的研究

为解决生物柴油酯交换过程中的产物与催化剂分离问题,制备了镁铝复合氧化物(LDO),以镁铝复合氧化物为催化剂催化大豆油和甲醇酯交换反应制备生物柴油,通过正交试验考察反应温度、醇油物质的量比、催化剂用量、反应时间等因素对制备过程的影响,优化制备工艺.研究表明:镁铝复合氧化物可以用于以大豆油甲醇为原料酯交换反应制备生物柴油工...     

珍稀濒危植物五小叶槭研究概述 与发展对策分析

五小叶槭叶形奇特,是优良的观赏植物,但由于人为干扰和自然因素导致其濒临灭绝,当前急需对其进行系统的科学研究。就五小叶槭现阶段国内外研究现状进行了综述并探讨其发展对策:对五小叶槭的研究力度和保护力度还需不断加大,人工繁殖方式匿待系统研究,需探索其科学的园林应用方式并加大推广力度。通过讨论和分析,以期提高公众的重视度,使这一珍稀濒危植物种质资源得到有效的保护。     

锦松漫画

<正>~~     

基于威胁建模的IC卡互联网终端安全问题定义方法

作为通用评估准则（CC）重要内容的安全目标,其有效性很大程度上依赖于对安全问题的准确定义,但在安全问题定义的过程中缺少必要的模型方法.为了减少安全问题定义的主观性,本文以支持移动支付应用的IC卡互联网终端产品为研究对象,提出以软件安全开发生命周期（SDL）威胁建模过程和威胁树分析为手段定义威胁的方法,并对安全问题的其他内容的定义方法和注意事项进行了说明,为后续全面准确进行安全目标安全对策的提出打下基础.      

高温环境异种钢焊接工艺评定工作的研究

利用不同焊接工艺进行了15CrMoR与$30408异种钢焊接试验。结果表明,常规的焊接工艺无法满足15CrMoR与S30408异种钢接头的使用要求。而采用镍基焊材直接施焊法和隔离层堆焊法两种焊接工艺则可满足图纸技术条件和标准要求的接头性能。     

MRUCache替换算法平均性能剖析

研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Cache配置进行实验,验证了MRU平均性能优于LRU这一结果的普遍性.结合本文结果与MRU实时性能的研究结果,可以认为MRU具有优异的平均性能和实时性能.     

基于荧光时间分辨相图分析的人民币鉴伪技术

人民币鉴伪技术的关键之一是造币用纸的检测.本文提出了测量人民币用纸荧光时间分辨过程的鉴伪新方法,采用了双光子共焦扫描荧光时间分辨显微成像的实验方案,提出了极坐标相图分析法,测量和分析了人民币真钞和伪钞用纸的平均荧光寿命.人民币真钞用纸的荧光时间分辨过程符合双指数衰减模型,各种面值人民币的平均荧光寿命相差不大,但是伪钞的平均荧光寿命与真钞的相差明显.实验结果证明基于荧光时间分辨过程极坐标相图分析的人民币鉴伪技术不受钞票的新旧程度、机械皱褶、损伤和表面污染物的影响,其测量方法灵敏、实用,检测装置可靠,能够有效地鉴别出人民币的真伪.     

标准模型下高效的强不可伪造短签名方案

针对现有在标准模型下强不可伪造签名方案效率不高的问题,提出了1个新的高效签名方案.利用椭圆曲线上的双线性对,基于计算性Diffie-Hellman数学困难问题假设,证明新方案具有强存在性不可伪造.在新方案中,用户的公/私钥分别包含6个和1个乘法循环群G中的元素,签名中含有2个群G中的元素,在签名阶段需要3个指数运算,在验证阶段需要2个双线性对运算和1个指数运算.结果表明,与现有的标准模型下强不可伪造签名方案相比,新方案具有更短的公/私钥长度和签名长度,降低了签名和验证阶段的计算耗时,具有高效性,适用于资源受限的环境.