Huffman算法程序的形式化推导

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行。     

Cost-efficient parallel programs based on set-distributions for polynomial interpolation

The paper presents parallel algorithms for Lagrange and Hermite interpolation methods formally derived from specifications, and using set-distributions. Set-distributions are based on set-valued mappings, and they assign a data object to more than one process. The derivation from specifications assures the correctness, and the set-distributions assure the efficiency of the programs. The obtained parallel algorithms have very good time complexities and speeds-up, and they are also cost-efficient. We consider the number of processes p to be a parameter of the algorithms, so, bounded parallelism is considered. The derivation of the algorithms is not ruled by any particular interconnection network. The possible mappings on different networks could be evaluated. The performance analysis is done considering a full-connected network, and other two interconnection networks: hypercube and multi-mesh hypercube, which preserve the cost-efficiency of the algorithms.     

场景驱动的构件行为抽取

如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.     

无线传感器网络的元胞自动机自组织算法

提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。     

靛蓝染液组分浓度在线检测系统

为实现靛蓝染液组分浓度的在线检测,提高检测的准确度和精确度,设计开发了采用电位滴定法在线实时检测靛蓝染液中各组分浓度的系统。系统以工控机为核心,基于研华板卡PCI1710,在C#环境下,实现工控机对设备的控制以及对检测数据的采集,采用二阶微商法确定电位滴定的终点。通过对检测结果的分析可知误差在2%以内,说明系统可以满足工业生产的需要。     

关于一类微积分计算方法的探究

通过对一类微积分计算方法的探究,从本质上分析所形成的思维模式,给出了一元微分以及积分区域为圆的二重积分通过平移变换简单巧妙的计算方法.由此可以类比出多元微分,以及多重积分的计算方法.     

对翁氏模型建立的回顾及新的推导

回顾了原翁氏模型的建立,并基于概率统计学中的伽马分布,完成了广义翁氏模型新的推导.同时,从理论上讨论了有关翁氏模型的特性.     

组合恒等式的几种证法及应用

组合恒等式在组合数学中占有重要的地位,它有多种证法,运用集合论的观点,求导法则和概率方法对几个重要的组合等式给出了直观简洁的证明.     

用回转矢量推导环面蜗杆的齿面方程

首先介绍了直廓环面蜗杆的齿面形成及回转矢量的展开式，在此基础上用回转矢量的方法推导出环面蜗杆的齿面方程，最后简要说明了该方程的应用。     

椭圆形钢管混凝土构件性能的研究Ⅰ:轴压短柱和长柱

本文通过理论方法推导出椭圆形钢管混凝土短柱轴心受压时外钢管与核心混凝土之间相互作用力的分布规律,并采用有限元模拟,得到核心混凝土侧压力分布云图,然后根据以上两种结果提出了核心混凝土有效受压区的分布假设,基于统一理论的思想,在已有圆钢管混凝土轴压短柱承载力统一公式的基础上,分析出椭圆形截面对套箍效应的影响,最终得出适合于椭圆形钢管混凝土轴压短柱的实用强度统一计算公式。同时,进行了6根椭圆形钢管混凝土短柱轴压试验,试验结果与公式计算结果吻合良好,有效地验证了公式及理论推导、有限元模拟的正确性。并在此基础上得到轴压长柱的稳定系数。