昆虫飞行高升力机理的研究

随着仿生扑翼飞行机器人的微型化,当扑翼飞行机器人达到昆虫量级的时候,任何复杂的运动系统都将面临难以实现的问题.本文从研究现有比较成熟的昆虫飞行高升力机制出发,指出了现有"昆虫飞行高升力机理"研究成果中存在的一些问题,用"柔性楔形效应"对昆虫飞行高升力机理进行了合理解释,提出"柔性楔形效应"是昆虫前飞过程中获得很大升力的主要原因.用"柔性楔形效应"解释昆虫飞行高升力机理,翅翼运动的模拟方式有可能只需在自适应变形状态下施以简单的节律运动.该结论将对仿生扑翼飞行机器人的研究产生重要影响.     

应用模式分类器进行变压器色谱分析的处理

变压器油中溶解气体的色谱分析是检验变压器初期故障的主要手段。用前向多层神经网络作为故障模式分类器,将色谱分析的特征气体输入网络,网络即给出故障模式的分类结论。针对ＢＰ算法存在的收敛速率低、有局部振荡的缺陷,提出了在共轭梯度方向修正权值,使用概率接收原则决定目标函数值变化的取舍,并以实例证明其具有快的全局收敛性。模式分类方法的自学习与修正能力使得色谱分析更有对象的针对性,从而提高了准确性与实用性。     

控制性灌浆帷幕在桥墩围堰防渗处理中的应用研究

针对怀绍衡铁路沅江特大桥桥墩围堰防渗处理中的特点及难点,采用"速凝膏浆+稳定性浆液"的控制性灌浆技术进行防渗处理。建立二维计算模型,对汛期帷幕体的渗流稳定性进行分析;对速凝膏浆和稳定性浆液灌浆材料特点、控制性灌浆施工工艺及灌浆控制参数及进行介绍;并结合现场施工及检测情况,对处理效果进行了分析评价。控制性灌浆技术对于桥墩围堰防渗处理是有效的,可节约大量堵漏成本和施工工期,可为类似防渗处理工程提供一定的参考。     

SiCsFuzzer: 基于稀疏插桩的闭源软件模糊测试方法

传统的基于覆盖率反馈的模糊测试工具通过跟踪代码覆盖率来指导测试用例的变异,从而发现目标程序中潜在的漏洞。但在闭源软件的模糊测试过程中,跟踪覆盖率不仅带来额外的开销,而且在模糊测试开销中占据主导。本文通过对Windows平台闭源软件模糊测试开销的剖析,锁定其中两个主要来源,插桩开销和“预热”开销。基于上述分析,提出了一种基于稀疏插桩跟踪的模糊测试方法,在不影响覆盖率计算精度的前提下,采用基于稀疏插桩的跟踪策略,仅对目标程序中覆盖率不可推导的基本块或分支进行插桩跟踪,并根据跟踪结果推导其余基本块或分支的被覆盖情况;同时结合“预热”优化,避免因动态插桩平台反复启动以及对目标程序代码的重复翻译所引入的时间开销。基于上述方法实现的原型工具SiCsFuzzer,在Windows平台9个规模在286KB~19.3MB,类型涉及图片处理、视频处理、文件压缩、加密和文档处理等类型应用所组成的测试集上,跟踪覆盖率引入的额外开销为程序正常执行时间的1.1倍,比传统的基于覆盖率反馈的模糊测试工具快3倍,并发现PDFtk和XnView程序最新版本中的未知漏洞各1个。     

国内关于中国共产党解决民生问题的历史经验研究评析

科学总结中国共产党解决民生问题的历史经验,对推进以改善民生为重点的社会建设,提高党的领导水平和执政能力,以及贯彻落实科学发展观和构建社会主义和谐社会具有十分重要的意义。为此,学术界对这一问题展开系统的研究,取得丰硕的成果。本文分析当前的研究概况及特点,评析中国共产党解决民生问题7个方面的主要观点,并指出研究中存在的不足之处和今后努力的方向。     

双河油田江河区V下油组流动单元划分研究

为进一步提高地下石油能源的采出程度,明确双河油田江河区V下油组剩余石油能源分布,并进一步认识储层的非均质性,本文采用了FZI划分方法、聚类分析和数学的综合判别方法,对取心井段的样品点进行了流动单元划分,并对双河油田江河地区V下油组进行了流动单元研究,为该油田的剩余石油能源挖潜提供了可靠的地质理论.     

Ti-17合金高温变形中的不连续屈服与流变软化研究

本文以原始组织为片状的Ti-17合金为例,研究了不连续屈服和流变软化的机理。结果表明:具有片状组织的Ti-17合金在变形温度超过820℃,应变速率为10 s-1时,出现不连续屈服现象,并随着变形温度和应变速率的增大而更加明显,该现象无法用传统的静态理论(位错钉扎-脱钉)进行合理解释,它符合动态理论,即不连续屈服与晶界突然增殖大量可动位错有关。应变速率较高时,具有明显的流变软化特征,其主要是由温升效应和片状组织球化或片层弯折引起的。     

结合问题特征利用SE-Tree反向深度求解冲突集的方法

基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题.     

2, 4-二硝基咪唑的合成、热性能及感度研究（英）

实验室合成出了2,4-二硝基眯唑。     

城市给水管网系统所面临的问题及对策

分析了我国供水系统所面临的问题，指出目前采用的管网微观动态水力模型的优越性和局限性。提出了给水管网分区的新概念，即在管网微观动态模型的基础上进行给水管网分区，然后用模型指导管网的运行。阐述了适应我国国情的管网建模和管网分区方法。