基于流固耦合的垃圾污染物运移模型及模拟

基于流固耦合和溶质运移理论,建立了垃圾渗滤液有机污染物运移耦合模型,用SOM法对所建的模型进行数值求解,利用该数值模型对垃圾渗滤液在地下水中迁移行为进行模拟,预测了污染物浓度的时空分布特征,对耦合、非耦合模拟结果结合实际监测数据进行对比,并对污染晕的大小、分布范围进行了数值模拟分析.结果表明,耦合模型模拟的污染物浓度变化趋势与监测值基本吻合,从而验证了耦合模型的可靠性和实用性.     

DNA折纸术在一类特殊的整数规划问题中的应用

基于DNA折纸术设计并找出一类特殊的整数规划问题的最优解。将这类整数规划问题中的[n]个变量及对应的所有可能值设计成一条长链（脚手架链），通过添加相应的订书钉链形成发夹结构来映射出问题的解。当整数规划问题中有[n]个变量时，它的解可以映射成[n]个发夹结构（长链的长度为[l+nt]）。同时对于非解，通过添加订书钉链的方法来增加长链的发夹结构，从而使得长链的长度变长（超过[l+nt]），再通过凝胶电泳来排除这些非解，最后保留可行解。     

基于wedgelets的快速图像表示方法

针对用wedgelets表示图像存在计算冗余和存储空间大的问题,提出一种快速的基于wedgelets的图像表示方法。采用与传统的自下而上的剪枝策略不同的四叉树剪枝算法,通过基于快速多叉数树搜索及仅用wedgelets表示树叶来实现快速运算和减少存储空间,并且提出了一些提高计算效率的搜索和编码技巧。复杂度分析及实验结果表明,该方法能降低计算复杂度且有理想的率失真性能,并有效地捕获图像的几何结构。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析。     

网架结构的优化设计及极限分析

本文编制了网架结构优化设计和极限分析的计算程序，并对网架结构进行了分析，通过实例，将结构的优化设计和极限分析有机地结合起来，从而提高了网架结构的极限承载能力。     

大跨度膜屋面风致雪压的数值模拟研究

风荷载是影响结构表面积雪分布的重要因素.本文应用雪漂理论,采用CFD数值模拟技术对由风荷载影响引起的膜结构表面积雪分布规律进行了研究.计算了典型形状膜结构在不同风向角下周围的雪漂运动和风致雪压,总结了膜结构表面风致雪压的分布规律.结果表明风荷载的作用会造成膜结构表面雪压分布的改变.研究结果对膜结构实际工程抗风雪设计提供了有价值的参考.     

可满足性问题的一种DNA表面计算模型

可满足性问题的一种DNA表面计算模型是一种特殊的DNA计算方法,该模型是采用荧光标记的策略和荧光猝灭技术,通过观察荧光灭光情况排除非解,从而有效的解决可满足性问题(SAT).该模型方法具有错误率低、编码简单、读取方便等很好的性能,能够大大减少实验过程中的错差.