动态概率探测解决Chord断环问题

Chord环是目前常见的一种基于分布式哈希表的P2 Poverlay模型,在该模型上可承载即时通讯、语音、视频等多种业务。Chord自身机制提供良好的路由算法并支持动态节点加入退出,然而由于网络震荡导致的Chord断环在自适应系统中是一个难以解决的问题,提出了一种动态概率探测对Chord断环是一种简单高效的解决方法。动态概率探测不依赖于环上节点规模和初始探测概率,并可有效控制单点负载和探测断环引入的额外通讯负载。     

基于多分辨率分析的肺部边缘检测

针对医学数字X光(DX)胸片,提出了一种基于多分辨率分析的肺部边缘检测方法.该方法结合了数学形态学和小波变换技术,构造图像的塔式分解,从低分辨率边缘图像开始,逐步向高分辨率前传、搜索、精提,自动定位肺部边缘.实验结果表明,算法计算速度快,检测出的边缘准确、连续光滑.     

一种基于Event-B语言的时间触发系统建模方法

安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题，验证时耗少，适用于高并发系统。然而，常规的Event-B方法缺乏时间语义表达结构，特别是缺乏对可提高系统可预测性的时间触发属性的支持。首先，介绍支持时间触发系统的抽象建模框架TTEB,从系统行为和实现2个抽象层次对时间属性进行建模和精化。然后，通过有序事件链组成的时间触发转移描述行为层时间触发属性；通过全局时钟到分布式本地时钟的精化和分解实现行为模型到实现模型的转化；运用时间触发转移建模分布式时钟周期同步。最后，基于从车跟车系统建模与验证说明方法的可用性和有效性。     

基于时间自动机的AADL端到端流规约验证方法

体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具，可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而，AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果，尤其是对于资源动态分配的实时系统。为解决结果不精确的问题，可结合基于系统有穷状态空间遍历的模型检验方法。首先，将实时系统AADL模型转换为时间自动机(TA)模型，以TA为理论体系进行模型检验。其次，基于反应链的需求分类定义端到端延迟需求表达模式。最后，给出对应需求模式的观察者模型，与系统模型并行组合，优化模型验证的时空资源消耗。     

汶川地震对砌体结构设计的启示

本次汶川大地震可以说是对我们过去的砌体结构和框架结构的计算方法、结构理论、构造措施以及设计成果的一次真实检验。互联网上的众多灾后的照片,客观反映了现场的真实情况,希望引起每一个设计人员的足够重视,在设计工作中切实贯彻抗震规范的相关内容,保证结构方案的合理性和图纸的规范性。     

螺旋立铣刀切削力建模分析及加工优化研究

铣削加工中铣刀切削刃与工件的相互作用是一个快速、复杂的变化过程,且其受力变化是其它一切物理量变化的根源,因此研究在铣削加工过程中铣削力具有重要意义。这里研究了切削深度对切削力的影响,提出了一个快速反映切削力波动的切削系数。通过时域分析了在不同切削系数状况下的切削力波动与工件加工质量从而验证了方法的有效性。研究结果表明选择合理的切削系数可以降低切削力波动。因此可以通过选择合理的切削深度在保证加工质量的同时提高切削效率。     

陕菜饮食文化谈薮

由于陕西地处古秦国统治的中心地面，所以陕菜也被称为秦菜。此处所讲“菜系”，指一个系列的综合风貌，非个别食品、制法以及其他零星特点。一个菜系，必须包括烹饪原料系统、烹调加工方式方法（技艺）系统、味型特点（包括口感）、产品系列、消费方式、有关的理论等等在内的方方面面。我们依据的是以《周礼》等为代表的先秦典籍，这里强调的是，西周之前有菜，但还未形成像《周礼》式的完整系统以及饮食文化，关于后者如饮食组织管理机构、各种礼仪及习俗规定的座位排序、卫生要求、注意事项以及原料挑选、取料原则、加工工艺、食料配比、消费方式、食医食疗、四季养生理论等等。     

Action of Selenium Compounds on the Cellular Metabolism by Microcalorimetry

A new method is introduced to study the action between biomaterials and organism. By using an LKB- 2277 bioactivity monitor and ampoule method, the fundamental thermogenesis curves of the metabolic process of pk-15 and the toxic effect of three kinds of selenomorpholine compounds on it were studied at 37℃. From the thermogenesis curves, the heat released by pk-15 metabolism was calculated. The results show that the selenium compounds all have toxic action on the metabolism process of pk-15 at the range of experimental concentrations. The sequence of the toxic action of selenium compounds is: Na2SeO3>β- ( N- selenomorpholine) -ethyl phenyike-tone hydrochloride > selenomorpholine.     

清代盐商与官僚资本述略

清代官僚资本是盐商发迹的主要资本来源之一.清初,盐商依靠官僚资本的扶持得以迅速发展,并于乾隆中叶达到顶峰.但乾隆后期以来,随着官僚资本的日益高利贷化,盐商因受累于官僚资本的剥削和压榨而逐渐走向衰败,嘉道以后,终于发展到纷纷倒闭的局面.事实表明,清代盐商的兴衰与官僚资本之间有着息息相关的联系.     

我国西北地区农业水资源永续利用的基本原则

水资源的可持续利用是确保农业可持续发展的重要前提条件，针对我国西北地区农业水资源利用中所存在的一系列问题，探讨并提出了实现农业水资源永续利用必须遵循的基本原则。