Drawing non‐layered tidy trees in linear time

The well‐known Reingold–Tilford algorithm produces tidy‐layered drawings of trees: drawings where all nodes at the same depth are vertically aligned. However, when nodes have varying heights, layered drawing may use more vertical space than necessary. A non‐layered drawing of a tree places children at a fixed distance from the parent, thereby giving a more vertically compact drawing. Moreover, non‐layered drawings can also be used to draw trees where the vertical position of each node is given, by adding dummy nodes. In this paper, we present the first linear‐time algorithm for producing non‐layered drawings. Our algorithm is a modification of the Reingold–Tilford algorithm, but the original complexity proof of the Reingold–Tilford algorithm uses an invariant that does not hold for the non‐layered case. We give an alternative proof of the algorithm and its extension to non‐layered drawings. To improve drawings of trees of unbounded degree, extensions to the Reingold–Tilford algorithm have been proposed. These extensions also work in the non‐layered case, but we show that they then cause a O(n²) run‐time. We then propose a modification to these extensions that restores the O(n) run‐time. Copyright © 2013 John Wiley & Sons, Ltd.     

对一种多重密钥共享认证改进方案的完善

通过分析一种多重密钥共享认证改进方案,指出其中存在的漏洞和防止成员欺骗中存在的问题,提出了自己的完善方案,使其在共享多个密钥、子密钥可以重复使用、防止管理者欺骗及参与成员欺骗等方面更加完善．     

关于完善我国精神损害赔偿制度的思考

随着人们对精神利益的自我保护意识不断强化,精神损害赔偿问题日益成为众人瞩目的焦点.该制度在我国尽管已日趋完善,但仍存在不尽人意之处.对在该制度理论和实务中争议颇多的适用范围、举证责任、责任适用方式、赔偿标准等问题进行分析、探讨,提出完善我国精神损害赔偿制度的建议.     

基于零知识交互式证明和Bayesian信誉网的小世界P2P模型

针对当前P2P(Peer-to-Peer)系统在网络拓扑和信誉评估机制结合方面的不足,设计一种基于角色和信誉访问控制机制的可信小世界P2P(SW-R2P)模型.模型使用零知识交互式证明(ZKIP)算法,在不传输节点身份相关信息的前提下安全地验证对等节点的组信息,并以此作为构建小世界网络拓扑的基础.通过Bayesian信誉网对节点和组的多方面信誉进行评估,从而影响节点的各种操作和组之间连接的建立.仿真实验结果表明,SW-R2P模型在资源查找成功率、网络聚合度以及节点信誉偏差等方面的性能优于Chord和R2P模型.SW-R2P模型结合了ZKIP算法、Bayesian信誉网和小世界拓扑的优势,实现了一种可信、安全和高效的P2P网络架构.     

电渗脉冲用于混凝土结构抗渗防潮技术

混凝土结构的抗渗及防潮一直是土木工程领域需要克服的重要技术难题之一。文章研究了电渗脉冲用于混凝土结构抗渗防潮的影响因素,包括电渗脉冲电压、混凝土水灰比、液相中离子浓度,以及脉冲频率等;模拟测试了电渗脉冲作用下混凝土结构的排水与相对湿度变化。研究表明,随着脉冲电压升高与混凝土水灰比增大,电渗脉冲下混凝土渗水量增加;Na2SO4溶液浓度增大时,电渗脉冲作用下混凝土渗水量增加;脉冲频率对混凝土渗水量影响不大;研究亦显示电渗脉冲作用下混凝土排水效果明显,混凝土相对湿度显著降低。     

Proof systems for planning under O-approximation semantics

In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 （resp.PRKW0D）,a Hoare triple of the form{X}c{Y}（resp.{X}c{KWp}）means that all literals in Y become true（resp.p becomes known）after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.     

谈拉格朗日中值定理在高等数学课程教学中的应用

拉格朗日中值定理是微分学的基础定理之一,是连接函数及其导数之间关系的桥梁,有着广泛的应用。文章用七个例题,从三大方面总结了拉格朗日中值定理的灵活应用。这对于正确的理解和掌握拉格朗日中值定理,以及以后进一步学习数学具有重要的作用和深远的意义。     

TiO2水溶胶对棉织物的拒水整理探讨

采用溶胶-凝胶技术制备的TiO2水溶胶,对棉织物进行后整理,对不同浓度的TiO2水溶胶整理棉织物后的耐水压值和淋水级数进行了测定,结果显示具有一定的拒水性能,并对织物表面拍摄了扫描电镜照片．     

基于多链协同区块链的分布式能源交易

传统的电力市场交易方式主要是由电力调度交易机构根据市场需求及供需计划,通过集中的方式将发电厂的发电量调度给用电方。随着我国分布式能源的高速发展,并网需求急剧增加,集中调度处理速度成为发展瓶颈。采用分布式能源交易可有效解决此类问题。而区块链具有节点对等、去中心化,数据公开透明等特点与分布式能源交易的诉求相吻合。文章针对分布式能源交易集中调度处理可靠性低,速度慢的问题提出了基于多链协同区块链的分布式能源交易方法。该方法根据地区分片划分从链并行处理交易的方法,解决了采用区块链系统交易速度缓慢的问题。将有用工作量证明机制与电力匹配调度算法有机结合起来,提出了分布式能源交易矩阵策略,在维持了去中心化的同时解决了工作量证明机制算力浪费问题。