纯函数式语言的状态转换器与调用

针对Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆ Ｗａｄｌｅｒ在ＩＯ Ｍｏｎａｄ设计的一个基于状态转换的函数Ｉ／Ｏ系统中,存在着某状态没有显式地反应在ＩＯ类型中,为了克服诸于此类问题,定义了状态转换器及其状态组合子,统一处理了Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆Ｗａｄｌｅｒ的ＩＯ类型,并给出了基本Ｉ／Ｏ操作ｃｃａｌｌ的指称语义。     

断续波纹填料的研究和应用

指出规整填料的新种类－断续波纹填料已经产生,介绍了组片式波纹填料「ＺＬ９５２１７７５７．９」、峰谷搭片式波纹填料「ＺＬ９７２２０４６４．４」等多种断续波纹填料的结构形状及其流体力学与传质性能,并对断续波纹填料的传热传质特点进行了初步的理论分析。     

非严格双曲守恒律组大范围连续解存在性

证明了一类非严格双曲守恒律组初值问题大范围连续解的存在性,该方程组在石油开采、弹性理论等方面有着重要应用。     

LMDS系统实现可靠的IP组播传送设计

设计了ＬＭＤＳ系统实现可靠的ＩＰ组播传送方案,采用带有反馈的Ｍ／Ｍ／１排队模型对该方案进行了性能分析,计算机仿真结果表明了性能分析的正确性。     

完全不互溶双液系的气一液平衡相图

研究了完全不互溶双液系的气一液平衡相图,得出了完整的压力(P)-组成(X)图和温度(T)-组成(X)图,并对图中曲线的性质作了详细的讨论.     

组播路由算法综述

在说明组播技术原理的基础上,对目前的组播路由算法进行了回顾,最后指出了组播路由算法的分类及其发展方向.     

管壳式换热器的热阻分析与传热强化

本拟对管壳式换热器传热过程各热阻做数量级估算,并且数学理论分析总结传热系数随各热阻的变化规律,进而指出强化传热的有效途径。     

网络探索改进算法及其实现方法

研究了网络拓扑分析,在Johnson回路探索算法的基础上提出了其改进算法, 并介绍了其C++程序实现方法,为图形组模仿真法提供了关键技术.     

网络编码技术在分布式内容分发中的应用

结合图论及有限域运算的相关知识,详细阐述了网络编码技术的编解码原理、优点及其应用领域.针对分布式内容分发系统,讨论比较了分别采用不编码、纠删码和网络编码三种方式对数据进行处理的优缺点,并且从理论分析和仿真实验两方面验证了网络编码在内容分发领域的优越性能.最后,指明了未来网络编码在实际应用中的发展方向.     

龙潭楔叶的再研究——兼论华南晚泥盆世楔叶目的演化

基于安徽省巢湖市狮子口剖面上泥盆统（法门阶）五通组的标本,对龙潭楔叶Sphenophyllum lungtanense Gothan et Sze的叶形和脉式等重要特征取得了新认识。华南晚泥盆世楔叶目的起源和演化分异模式不同于劳俄大陆的同类植物,它们兼有原始和进化的营养器官（枝状、线状或片状叶）和生殖器官（缺少或具有孢子叶）,显示出较高的形态多样性和镶嵌演化。