“伊尔-112V”轻型军用运输机

“伊尔-112V”轻型军用运输机虽然在竟标中拔得头筹，但进展不大顺利最近更是由于财政拨款中断．有可能影响到按期装备俄罗斯空军部队。     

土石坝裂缝系列讲座之三湖北省白莲河水库土石坝裂缝原因及加固

1工程概况 白莲河水库位于长江中游支流稀水河上，控制流域面积1800km^2，总库容12．5亿m^3，是一座以灌溉、发电为主兼顾防洪、航运和养殖的综合利用水库。大坝为粘土心墙风化砂壳坝，最大坝高55m，坝顶高程111．05m，坝顶长259m，坝顶宽8m，上游边坡1：1．77～1：3．5，下游边坡1：1．66～1：2.5。心墙顶高程110．5m，顶宽0．6m，底宽16．0m。水库设计标准按1000年一遇洪水设计，可能最大洪水校核。     

受控离散事件过程（CDEP）的一种代数分析方法

本文在文［１～３］的基础上，提出了受控离散事件过程（ＣＤＥＰ）的一种代数分析方法，弥补了Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ［１～３］的理论对具体系统的应用缺乏可操作性的缺陷，使得对ＣＤＥＰ动态过程的分析变得更为直观，同时也使控制器的设计过程更具可操作性．     

营养、安全、健康调味之王--味精

现代人生活繁忙，许多时候都会选择出外用餐。由于餐馆在烹调食物时免不了会加入味精以增加食物的鲜味。有些消费者会担心味精可能影响身体健康，为此，澳门消委会早前对二十间不同类型的餐馆的六十个不同款式的菜肴样本进行了抽查，检测本澳餐馆使用味精的情况，并将有关检测结果，委托华南理工大学轻工业食品学院进行分析。味精的功能与作用。     

丰满流域可能最大暴雨与可能最大洪水分析研究

依据丰满漉域的水文气象资料,计算丰满流域可能最大暴雨,推求白丰区间的可能最大洪水并进行成果合理性分析.     

借助组策略搞定IE主页设置难题

每次启动IE9,除了打开已经设置的主页之外,还会自动打开Internet Explorer 9的主页,正常情况下可以在"Internet选项/常规"对话框进行设置,不过某些时候你会发现这种办法根本无法解决这一问题,总不可能     

让iPhone的锁屏界面更清新

对于很多朋友来说,可能希望自己的iPhone锁屏界面能够更加清新一些,例如那个滑块和时间最好隐藏起来,借助Anylock和lockscreen clock hide插件可以隐藏滑块和时间。打开Anylock,进入设置界面(如图1),将"Lock Bar"     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

CLEFIA算法的不可能差分密码分析

为研究分组密码CLEFIA抵抗不可能差分攻击的能力,使用了两类9轮不可能差分路径,给出了相关攻击结果。基于一条9轮不可能差分路径,利用轮函数中S盒差分分布表恢复密钥,攻击了11轮的CLEFIA。改进了关于14轮的CLEFIA-256的不可能差分攻击的结果,将数据复杂度降低到2104.23,时间复杂度降低到2221.5。同时,在两条不可能差分的基础上,根据轮密钥之间的关系,使用Early-abort技术和S盒差分分布表,分别给出12轮CLEFIA-128和13轮CLEFIA-128的不可能差分攻击。     

不确定性数据频繁项集挖掘算法

由于不确定性数据大量存在于传感器网络,移动计算,军事,电信等应用领域,传统的频繁项集挖掘算法难以适用到不确定性数据挖掘。为了解决这个问题,本文提出了一种快速有效的算法,该算法基于可能世界模型,只需要扫描一次数据库,且没有建树的过程,通过实验证明,我们提出的算法比UF_Growth算法效率更高。