Bounded memory protocols

It is well-known that the Dolev–Yao adversary is a powerful adversary. Besides acting as the network, intercepting, decomposing, composing and sending messages, he can remember as much information as he needs. That is, his memory is unbounded. We recently proposed a weaker Dolev–Yao like adversary, which also acts as the network, but whose memory is bounded. We showed that this Bounded Memory Dolev–Yao adversary, when given enough memory, can carry out many existing protocol anomalies. In particular, the known anomalies arise for bounded memory protocols, where although the total number of sessions is unbounded, there are only a bounded number of concurrent sessions and the honest participants of the protocol cannot remember an unbounded number of facts or an unbounded number of nonces at a time. This led us to the question of whether it is possible to infer an upper-bound on the memory required by the Dolev–Yao adversary to carry out an anomaly from the memory restrictions of the bounded protocol. This paper answers this question negatively (Theorem 8).     

电化学法处理废水的研究进展

介绍了近年来二维电极及三维电极电化学法处理废水研究进展及应用,并对各种方法进行了阐述,对其前景进行展望,提出了今后的重点研究方向.     

ZL205合金的组织与性能研究

利用光学显微镜及透射电镜分析了ZL205合金铸态和热处理态的显微组织、相组成及分布。研究发现ZL205合金中。铸态组织是由α-Al固溶体与在晶界上或枝晶间分布的间断或连续共晶体所组成的。合金在T6处理时。抗拉强度随时效时间的增加先升高、后降低，时效8h后抗拉强度最高达到488．2MPa，伸长率则随时效时间的增加而降低。     

保护层开采矿井瓦斯抽放方法选择

针对保护层开采矿井瓦斯涌出受被保护层影响大的实际,就王行庄煤矿的具体情况,分析瓦斯涌出的来源,定量计算瓦斯涌出量,选择合理抽放方法解决了瓦斯超限问题。     

类石墨层状硼碳化合物的导电和抗氧化性能的研究

通过高温高压方法制备了一种晶化程度较高的类石墨层状BC3化合物.在5.5GPa压力条件下,温度越高,制得的硼碳样品晶化越好,电阻率越小.在1500℃、5.5GPa下制得的层状硼碳样品的电阻率ρ=1.2×10-4Ω·m,略大于同等条件下制备的纯碳样品的电阻率ρ=1.1×10-4Ω·m.这种层状硼碳化合物在620℃左右开始氧化,比纯碳样品的初始氧化温度高大约100℃,替代的硼明显的改善了碳的抗氧化性能.     

南乐县西邵乡土地开发项目中的土地适宜性评价研究

土地适宜性评价是土地开发项目的重要环节，对项目开发方案、土地开发方向的制定有着至关重要的影响。本文以南乐县西邵乡黄河故道区沙荒地土地开发项目为例，运用模糊综合评判的方法，构造项目区待开发土地的适宜性评价模型，重点对沙荒地进行了宜农、宜园、宜林等3个适宜性方向的评价，并进行了土地开发方向区域的划定。     

乱层石墨结构的硼碳氮化合物在高温高压下的晶化与分相

以硼酸和三聚氰胺为原料,采用化学法制备了乱层石墨结构的B-C-N化合物.在5.5GPa、800～1500℃条件下对该化合物进行了高温高压处理.采用X射线衍射(XRD)、透射电子显微镜(TEM)以及电子能量损失谱(EELS)对所制备的样品进行了结构、形貌和成分分析.研究结果表明:在5.5GPa压力下,随着温度的升高,B-C-N化合物逐渐由乱层石墨结构转变为六方结构,在1200℃时,得到了结晶较好的六方B-C-N化合物,同时样品中含有少量的六方BN和非晶C.当温度高于1400℃,B-C-N化合物完全分解成六方BN和石墨.     

基于水平集算法的扩展有限元方法研究

扩展有限元是一种以单位分解思想为基础,在常规有限元位移中加入跳跃函数和渐近位移场函数,以处理不连续问题的数值方法。将水平集算法应用到裂纹界面的描述及加强单元类型的判别,并与扩展有限元相结合,用于分析材料断裂问题。相比传统有限元,有限元网格与裂纹面位置相互独立,不需满足裂纹为单元边、裂尖为单元节点和在裂纹附近进行高密度的...     

矿井提升机交流拖动系统无环流、无死区控制策略仿真研究

为满足交交变频矿井提升系统负载条件下自然无环流、无死区的设计,对传统的交-交变频触发策略和控制方式进行了大量分析研究,在此基础上提出了系统负载条件下自然无环流、无死区控制策略—"大波头"法。该控制方式能保证交交变频矿井提升系统在负载条件下不产生环流,同时无死区,具有较大的实际应用价值。     

费用成本下煤矿综采设备检修周期的优化分析

针对目前煤矿综采工作面设备的检修方法,应用系统可靠性理论,对综采工作面设备的检修周期进行了分析。建立综采设备检修维护周期的优化模型,给出在检修和维护费用最小时,设备的最佳检修周期优化的数学公式,并对潞安王庄4329工作面目前的综采设备的检修更换周期进行了分析和探讨,该模型和数学公式可以作为确定综采设备最佳检修更换周期决策的参考依据。