基于FindBugs的函数返回值缺陷检测模式的改进

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。     

国产海底地震探测装备技术研发与应用

为研究深部壳幔结构、海底地震活动性和实现地震海啸预警,需要在海底布设海底地震仪开展地震观测。深海海底地震仪因涉及地震传感器、深水水听计、声学换能器与耐压封装等先进国际技术,我国高性能深海海底地震仪长期是空白。对此,中国科学院地质与地球物理研究所通过多年持续核心技术攻关和多次深海试验验证,解决了数字调零宽带地震传感技术、全海深陶瓷压电水听传感技术、软硬协同优化低功耗采集技术和万米高可靠性释放回收技术等关键技术难题,自主成功研发了包括便携式海底地震仪、宽频带海底地震仪与实时海底地震仪等系列海底地震探测装备（统称为IGG-OBS）。实验结果表明：自主研发的IGG-OBS仪器装备达国际先进水平;近年来在多个科考航次中发挥支撑作用,总计投放达1400余台次,综合回收率大于90%;通过在洋中脊、海山、俯冲带等多种复杂海底区的实际观测,数据质量合格率>98%,具备复杂构造成像能力,已进入实质性应用阶段,为我国深海科考、大洋调查及近海灾害预警监测等提供了关键技术支撑。     

桂西地区地质遗迹空间格局研究——“民族地区地质公园建设与旅游开发研究”系列论文之四

探讨基于聚类分析的宏观尺度、多类型地质遗迹空间格局定量研究的方法与途径.首先,确定桂西地区地质遗迹的数量、类型和级别;其次,设计包含4类定量表征指标和8项具体指标因子的地质遗迹空间格局定量表征指标;第三,确定桂西地区各行政区划单元不同地质遗迹空间格局定量表征指标数值;第四,采用聚类分析法确定桂西地区地质遗迹空间格局类型并进行特征分析.研究表明:桂西地区地质遗迹数量大、分布广、等级优、特色鲜明.其空间格局划分为I(优异级)、Ⅱ(良好级)、Ⅲ(一般级)、Ⅳ(较差级)、V(最差级)类.其中,第I、Ⅱ类分别包括靖西、宜州、乐业、凤山、南丹、巴马、平果7县(市)和金城江、大化、天峨、罗城4县(区),这2类不仅各项定量表征指标突出,且多联片分布,空间联动性极佳,是桂西地区地质遗迹保护开发潜力最大的区域.     

发展中药现代化科技产业基地，促进广东中医药强省建设

广东省2008年开始实施中药现代化重大专项。该专项以市场为导向,以政府在高技术产业发展中的推动作用和引导作用为动力,以企业为主体、产学研结合为技术依托,针对制约中药高技术产业化发展中的关键共性技术问题,重点支持,重点突破。并且主要在推动中药规范化种植、构建中药现代化科技平台、促进现代中药产品创新、培育中药高新技术企业等方面取得了明显成效,得到科技部肯定和中医药界的欢迎,为"国家中药现代化科技产业基地(广东)"的建设起到重要支撑作用,为广东建设"中医药强省"提供了重要的基础和支持。     

硬磁CoFe2O4/软磁CoFe2复合物的磁性研究

采用金属有机盐热分解方法制备出均匀、分散的硬磁CoFe_2O_4纳米颗粒,在H2环境、低温条件下进行还原,合成硬磁CoFe_2O_4/软磁CoFe_2复合磁体.采用低温还原,目的在于尽可能减少粒子的聚集.制备出的样品具有较好的磁性能:有较高的剩磁比Mr/Ms,其值为0.64;随着还原时间延长,饱和磁化强度增加至124emu·g~(-1),同时保持较高的矫顽力.分析认为,可以通过减弱粒子间的偶极相互作用来有效提高硬磁/软磁复合磁体的矫顽力和剩磁比.     

基于BM25算法的问题报告质量检测方法

问题报告作为记录和跟踪缺陷的载体,为解决软件质量问题提供依据。目前软件测试常以多人、并行的方式进行,海量问题报告的去假与去重等整合过程正面临严峻的挑战。因此,该文提出一种基于BM25算法的问题报告自动化检测方法,在对问题报告进行预处理后,依据测试需求和测试报告样本建立匹配库,利用BM25算法计算两者的相似度得分,并以此为依据检测问题报告的正确性。在软件测试大赛的数据上进行实验,结果表明该文提出的方法能够正确评判大部分问题报告,有效提高了去假与去重效率。     

微创血肿清除术治疗后颅窝血肿28例临床体会

目的观察微创血肿清除术治疗后颅窝血肿的效果。方法采用专用一次性使用的颅内血肿粉碎穿刺针进行后颅窝血肿微创清除术。结果本组27例恢复良好，病例1例死亡。结论微创血肿清除术治疗后颅窝血肿具创伤小、症状改善快，可提高治愈率和生存质量等优点。     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

论权力腐败及其遏制对策

权力腐败是指公共权力拥有者，为了自己的利益，以公共权力谋取私利的行为。它具有多样性、扩散性的特征。从历史、国际教训和现实环境方面看，遏制权力腐败具有客观必然性和紧迫性。从遏制权力腐败的基本思路看，当前应着力在深化经济体制改革和政治体制改革方面取得实质性的突破，把预防权力腐败置于首位，从源头上遏制权力腐败的蔓延。     

基于制造商竞争的再制造系统定价与协调决策

针对竞争型制造商和单一零售商构成的再制造系统,考虑新产品与再制造产品的差异性,基于博弈理论构建了利润最大化的价格-产量决策模型.通过分析和比较集中化决策和分散化决策对再制造回收努力、批发价格、零售价格、系统成员利润以及系统总利润的影响,发现分散化决策会导致整个再制造系统的效率损失.为此,以集中化的最优决策结果作为基准,设计了一种改进的“通道费”契约以实现再制造系统的协调运作.最后,通过算例分析了所设计的协调机制的有效性.