802．16e中双重EAP认证的Rubin逻辑分析

802.16是IEEE制定的无线城域网技术标准。作为当今最具发展前景的无线宽带接入技术之一,由于传输信号的开放性,其安全问题备受关注。802.16e标准的安全体制在802.16d安全体制的基础上作了进一步的改进,不但实现了RSA的双向认证,而且引入了应用层认证协议EAP;实现了基于EAP的双重认证。根据协议分析需求,首先对所选形式化分析方法Rubin逻辑进行了扩展,并用扩展后的Rubin逻辑对双重认证模式进行分析,验证了802.16e中的双重认证模式的安全性。

SSL协议的扩展Rubin逻辑形式化分析

SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1]。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法。

基于Rubin逻辑的SSL协议安全性分析

SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接。我们还发现了协议中存在的一些问题。通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法。

Nylanthrene Rubin 5BLFP的工艺改进

间氨基苯磺酸重氮化后与1-萘胺偶合,得到偶氮物I;该偶氮物再进行重氮化反应并与N,N-二羟乙基苯胺偶合,得到酸性染料——尼龙山红玉N-5BL。本文主要介绍了尼龙山红玉N-5BL生产工艺的几点改进措施,提高了染料收率,降低了生产成本,减少了废物的排放量,并减去了精制步骤,从而达到了环保工艺的要求。

Rubin系列联合整地机

Rubin系列联合整地机．是同大型拖拉机配套使用的大型整地机械．适用于倒茬地和秸秆还田地的整地作业。该整地机为2排耙片、2排弹齿结构，并设有防撞装置，具有结构紧凑、整体刚性好、故障少以及作业后土地平整等特点。

生而Geek——Android之父Andy Rubin

如今，Android及它的绿色小机器人标志和苹果iPhone一样风靡世界，掀起了移动领域最具影响力的风暴。创造这一奇迹的人，叫AndyRubin（安迪·罗宾），Google工程副总裁，Android开发的领头人。

德国雷肯（LEMKEN）灭茬缺口圆盘耙鲁宾Rubin——攻破玉米残茬处理的难题

在中国进行玉米残茬或者其他作物残茬的处理普遍利用传统的旋耕机或者圆盘耙，但是其耗油量大、作业效率低，常常无法达到理想的灭茬整地效果。解决残茬处理的难题关键在于选择合适的灭茬设备。德国雷肯公司的专利产品灭茬缺口圆盘耙鲁宾占据欧洲圆盘耙市场的半壁江山有其制胜的秘诀。鲁宾（Rubin）适用于玉米茬地、高茬地、荒地、高绿肥作物地或者平茬地作业。该设备的独特之处如下。

Josh Rubin 与Hickoree员工采购古董面料

日本纺织业中的牛仔布制作,几乎没有受过任何的学院派教育影响,长期处于＂闭门造车＂的状态。为了学习这些美丽而古老材料的制作工艺,我跟着Emil Corsillo和Mitch Frank参加了Hickoree的一个采购之旅。目的地是收藏家和交易商Stephen Szczepanek的私人画廊Sri。在画廊内部,我们发现了成堆的19世纪的牛仔面料。被绿色笼罩的工作室从窗户漏出一丝春光,桌面上放着从浓郁蔚蓝的自由侵蚀蓝色牛仔布料。Szczepanek围绕我们走动,展示着十多年来购买和从拍卖中拍得的藏品。在他的收藏中,大部分是包裹行李的方布,

Rubin使用两个Euler系的方法的注记

证明Rubin使用两个Euler系证明有理数域和虚二次域上的Iwasawa主猜想的方法仅适合于这两类数域 .

知觉状态对瞳孔大小的影响——来自双稳态刺激的研究

采用多种双稳态刺激(实验一)和线索启动范式(实验二)考察了知觉状态对瞳孔大小的影响.结果显示,参与者观看面孔-花瓶双稳态刺激时,花瓶知觉状态下的平均瞳孔直径明显大于面孔知觉状态下的平均瞳孔直径,表明瞳孔大小受到知觉状态这一认知过程的影响.

应用状态方程温度对车辆油气悬挂特性影响分析

针对油气悬架内部油液状态变化对输出特性影响进行分析。根据单气室油气悬挂的结构特点和输出力特性,依据热力学定律和BWR方程,对内部气体和油液的热力学特性进行分析;对流经阻尼孔的油液状态、压力损失进行分析,获取阻尼力做的功;搭建油气悬挂数据模型和加载试验台,采用Simulink搭建仿真分析模型;分别施加静载荷和周期性动载荷,获取悬挂的输出力特性和内部油液、气体的温度变化,分析温度对输出特性的影响。结果可知:阻尼作用使得温度增加,进而对油气悬挂承载特征影响较大;静态加载时,悬挂内部气体的近似为理想气体,气体热力学过程可近似为等温过程;动态加载时,气体为变质量系统,其所处热力学过程为多变的过程;油液温度升高,油液粘度下降,悬挂承载降低13%左右;模型仿真和试验结果基本一致,气体压力误差控制在6.5%以内,验证了模型的准确性,可以作为设计研究的参考。

两向不等压圆形孔口压缩与扩张问题的塑性区半径统一解

【目的】在地下工程中,隧道或水平定向钻井过程中的最大泥浆压力分析等所处真实应力场常为远处两向不等压应力场。为了求解两向不等压应力场下圆形孔口压缩和扩张问题的统一解析解,【方法】基于统一强度理论和弹脆塑性模型,借鉴鲁宾涅特解的求解方法,推导了两向不等压圆形孔口压缩和扩张问题的塑性区半径统一解,并与复变函数解、摄动解进行了对比,最后分析了各因素对塑性区半径的影响以及在实际工程中的应用。【结果】结果显示:当两向为不等压应力场时,弹塑性交界线均呈现类椭圆形状,对于压缩问题,类椭圆长轴方向与两向不等压应力场较小值处一致,并且弹塑性交界线在极角0°~90°范围内分成两段,在极角0°~30°范围内,弹塑性交界线随两向不等压应力场的应力比增加水平向左移动,在30°~90°范围内,弹塑性交界线随两向不等压应力场的应力比增加竖直向上移动,而对于扩张问题则相反;对于压缩问题,支护力、中间主应力、残余黏聚力和残余内摩擦角对塑性区半径影响显著,而对于扩张问题,扩孔压力、中间主应力、残余内摩擦角对塑性区半径影响显著,残余黏聚力对塑性区半径几乎无影响。【结论】在实际工程分析中,应充分考虑两向不等压应力场、中间主应力和弹脆塑性模型的影响,并且采用弹脆塑性模型比理想弹塑性模型计算的塑性区半径大,更适合岩土类材料弹塑性分析。

在康德与谢林之间:《资本论》“鲁宾难题”新解及其当代意义

在《资本论》中,马克思对抽象劳动的理解具有生理耗费与社会建构的双重维度。苏联学者鲁宾认为这种理解蕴含着内在的张力,如何解释它构成了“鲁宾难题”。这一难题深刻地指出了劳动的物质基础与社会形式之间的关系问题,也指向了马克思对李嘉图与贝利的超越。因此,解答此难题就关乎马克思劳动价值论的理论合法性。在康德与黑格尔之间,鲁宾借助于形式与内容相同一的方法论提供了一种近黑格尔的解答路径,但却因为仅仅肯定抽象劳动的社会建构维度,制造了掩盖矛盾的封闭体系。而借助于谢林的黑格尔批判可以看到,“鲁宾难题”所揭示的内在张力其实指向了资本主义生产方式的内在矛盾,马克思对“价值形式何以可能”的追问则为超越资本主义打开了思想缺口。

中国实验快堆全厂断电事故多维度热工耦合计算

多维度耦合方法是将传统的一维反应堆热工流体力学程序与三维流体动力学分析软件通过一定的耦合方法结合起来,实现反应堆局部复杂流体现象分析与系统计算的耦合方法。本工作根据中国实验快堆设计和运行经验,开发了基于Rubin和Fluent的耦合程序框架,完成了中国实验快堆全厂断电工况的计算和验证。计算结果表明,耦合方法对全场断电事故的计算结果合理可靠,是对一维系统程序分析方法的有益补充。

中国实验快堆热工流体现象多维度耦合分析方法研究

多维度耦合方法是将传统的一维反应堆热工流体力学程序与三维流体动力学分析软件通过一定的耦合方法有机的结合起来,实现反应堆局部复杂流体现象分析与系统计算的统一。本文根据中国实验快堆设计和运行经验,开发了基于RUBIN和FLUENT的耦合程序框架,通过对中国实验快堆满功率运行工况的测试计算,完成了对耦合程序的初步验证。

国有企业社会责任信息披露政策的有效性研究

文章综合运用合法性理论、信号发送理论、多目标决策理论、Rubin因果模型和微观计量经济学构建我国国有企业社会责任信息披露政策有效性评估方法体系。利用国有企业2009~2011年追踪数据进行实证研究并提出相关政策建议。

新形势下的研究生教育质量评估方法和指标体系

研究生教育质量高是研究生教育可持续发展的基础,而开展教育质量评估是研究生教育面临的首要任务。据此,通过构建Rubin因果模型克服评估中的选择偏差问题,既从教育质量结果角度出发,构建因变量指标体系,包括学术发展空间和就业岗位质量。又从教育质量影响因素角度出发,构建自变量指标体系,包括社会环境、学校层面和研究生自身等方面教育质量评估指标体系,并提出改进教育质量评估的建议。

南海北部海底沙波迁移规律及其在台风作用下的响应研究

本文在南海北部海底沙波已有研究的基础上,总结分析了研究区表层沉积物以及沙波的形态、分布、迁移特征;使用区域海洋模式(ROMS)模型模拟了研究区2010-2011年的底部流场数据;利用Rubin公式模拟计算了海底沙波的迁移规律,并与搜集所得资料进行对比分析;结合台风资料及底流数据,分析了台风对海底沙波运移的影响。研究结果显示:海底沙波运移方向的计算结果与搜集所得资料比较吻合,均为向东向南方向;不同站点的迁移距离在0~21.8 m之间,且为往复累积的结果。这表明:Rubin公式在ROMS模型模拟所得底流资料的支撑下,可以再现海底沙波的迁移过程。模拟计算的研究区内两个站位在"凡亚比"台风影响期间的迁移距离分别为2.0 m、2.9 m,分别占其年运移量的9.17%和26.36%,说明台风过境能对海底沙波的迁移产生重大的影响。

动力冗余液体捆绑火箭的POGO稳定性分析

针对动力冗余和交叉输送技术向液体捆绑火箭的POGO振动稳定性分析提出的新任务,考虑独立工作(模式1)、一台助推发动机故障助推贮箱向芯级发动机供给推进剂(模式2)和两助推器同时向芯级发动机供给推进剂(模式3)三种工作模式,利用改进的Rubin方法分别建立液体捆绑火箭POGO稳定性的分析模型。数值计算分析表明,模式1和3下,POGO稳定性对助推蓄压器能量值的敏感程度强过芯级蓄压器。降低泵增益能提高液体捆绑火箭POGO稳定性,其中氧化剂泵的影响强于燃料泵,助推泵的影响强于芯级泵。助推燃料泵柔度的增加会降低燃路系统频率,可能诱发POGO振动,其中模式2下影响最大。本文工作为优化液体捆绑火箭动力冗余系统、抑制POGO振动提供了理论依据。

基于Bayes统计推断的粗糙集数据挖掘方法

分类发现是数据挖掘的一个重要任务,Bayes统计推断是数据挖掘中数据分类的主要方法也是其基础之一。建立在粗糙集基础上。利用概率工具以及Expectation-Maximization思想(RUBIN算法)和Bayes统计推断规则的结合提出了分类的方法和步骤,并给出实例分析,重点是RUBIN算法和Bayes统计推断规则相结合在粗糙集上建立的决策方法。