Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

迫零对Turbo码的性能影响

从距离谱的角度对迫零在Turbo码中的作用进行了理论分析。通过仿真，研究了迫零对Turbo码性能的影响。仿真结果表明，Turbo码编码器迫零处理有助于改善Turbo码的性能。     

基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。     

基于H.264的改进阈值的可变自适应十字搜索算法

H.264视频编解码标准的算法复杂度高,不能满足视频监控和无线传输中要求的高压缩比、低码率和实时性的要求,通过分析可知运算量最大的是运动估计模块,本文对该模块的算法进行优化。在ARPS算法的基础上结合预测的初始点和自适应调节臂长的搜索策略的优点,采用可变阈值的早期终止策略和简单的搜索模板的算法。实验表明该算法在有效减少搜索点数的情况下并不会对图像质量产生较大的影响,提高了运动估计算法的搜索速率和鲁棒性。     

有界闭域上的线性赋值循环终止性分析

对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨.     

电力缴费系统在移动Android终端中的设计与实现

随着社会发展进程的加快,电力已经成为人们日常生活中不可或缺的重要组成部分.本文设计的电力缴费系统利用信息化移动终端实现自助缴费,让缴费人员与移动终端自助缴费系统之间得到了信息化交互模式,通过信息化的方式提高了服务效率.     

带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

地下水人工回灌和停采对地面沉降控制的影响分析

地面沉降是全世界主要的工程地质灾害之一,而地下水超采是造成地面沉降的主要原因之一。为研究地下水人工回灌和停采对北京平原地面沉降的影响,采用三维地下水模型和情景设计法,设计3个情景(保持现状、人工回灌和地下水停采)对北京平原区域及沉降中心的沉降速率进行模拟。结果表明:保持现状、人工回灌和地下水停采等情景下北京平原在2015、2020和2030年的区域地面沉降分别为24 mm/a左右、12. 7～23. 2 mm/a及12. 4～23. 7mm/a,沉降中心地面沉降分别为39. 30～158. 62 mm/a、21. 09～165. 83 mm/a及16. 5～162. 95 mm/a;人工回灌和地下水停采对研究区地下水水位和含水层储存量的恢复以及地面沉降的控制有显著的促进作用,但地下水停采的效果要优于人工回灌的效果;只有综合考虑社会经济发展和地面沉降控制,才能既控制地面沉降的恶化,又保证北京平原社会的可持续发展。     

一类带初始输入的线性循环终止性分析

本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。     

聚酯型双键封端聚氨酯预聚物的合成及其在团状模塑料中的应用

以高附着力耐温二元醇（XC-488）、甲苯二异氰酸酯（TDI）、甲基丙烯酸羟乙酯（HEMA）为原料,合成了聚酯型双键封端的聚氨酯预聚物（HPU）,然后将不同含量的HPU与不饱和聚酯树脂、短切玻璃纤维、碳酸钙、阻燃剂等进行共混,用于团状模塑料（BMC）的制备。通过傅里叶变换红外光谱、差示扫描量热仪、力学性能、吸水率、熔体流动性、耐酸碱性、耐老化测试和扫描电子显微镜进行测试。结果表明,当HPU的含量为6 %（质量分数,下同）时,BMC复合材料的综合力学性能最好,此时复合材料的拉伸强度、弯曲强度、冲击强度分别为（47.24 ±0.42） MPa、（117.76±0.65）MPa、（33.8±0.2） kJ/m²。