基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

英语"hand"和汉语"手"之一词多义对比

通过对英语之“hand”和汉语之“手”的一词多义结构的这一个案的分析对比,发现该词的义项分布在两种语言中基本一致,其词义拓展方式呈辐射和连锁相结合的趋势;且各义项以转喻或隐喻方式为主要纽带,组成了一张多核的相关语义网。该基本人体词的多项语义分布现状反映了人类在不同语言背景下认知和语义发展中共有的思维方式,从而为多义词的外语教学提供了新的思路。     

科技创新三螺旋模式中政府的适切功能与定位

三螺旋理论被学界认为是科技创新研究的新领域、新模式.其一经提出受到了西方发达国家得到广泛关注并得到了深入研究及应用.我国从21世纪初开始有学者引进三螺旋的概念及理论,此后不断有新的研究成果问世.然而相关研究略显分散,且与国内科技创新实际紧密结合的研究和实践还比较滞后.科技创新三螺旋模式中大学—产业政府三者是相互独立,且...     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

加权连续冲突分析模型及其三支决策方法

在已有冲突分析模型中,决策者(冲突对象)对于冲突属性的态度均以否定、中立或赞成为前提,其赋值以{-1,0,1}表示,因而所建立的冲突分析模型未能表示决策者(冲突对象)对于冲突属性赞成、否定或中立的程度等信息,况且冲突属性的重要度并不是完全相同的.本文考虑冲突分析模型中决策者(冲突对象)对冲突属性否定、中立或赞成的程度等...     

SVPWM控制三电平逆变器

论述了空间电压矢量调制(SVPWM)控制二极管钳位式三电平逆变器的原理与实现方法.提出了确定参考矢量的三个规则,并推导出工作矢量作用时间、输出顺序及描述了中点电位的控制规则.通过采用Matlab仿真,结果证明SVPWM控制三电平逆变器的可行性.     

经济增长、外商直接投资对空气质量的影响 ——基于中国省级面板数据的实证研究

空气质量越来越受到国内外关注.然而,经济增长和外商直接投资(FDI)对空气质量可能存在的双向因果关系经常被忽视.传统的最小二乘(OLS)估计可能会因此而产生内生性偏差.本文基于环境库兹涅茨曲线假说理论,通过将经济增长和FDI对PM2.5污染的影响分成规模效应、技术效应、结构效应来精心设计联立方程模型,并采用三阶最小二乘...     

基于大数据分析的列车轮对故障诊断方法

随着我国列车行驶速度的不断提高,列车的行车安全逐渐得到了人们的重视,海量列车轮对监测数据为分析列车运行状态提供了条件.为了提高列车轮对故障诊断效率和准确性,文章提出一种基于大数据分析的列车轮对故障诊断方法,针对传统列车轮对故障诊断方法在处理大规模监测数据集时存在处理时间长,故障结果不准确等问题.首先设计一个监测数据融合...     

基于图像分割和融合的图像去雾算法研究

为了解决传统的暗通道先验去雾方法产生的细节丢失和亮度偏低等问题,本研究提出了一种基于图像分割和融合的去雾算法。首先对输入图像使用亮度反转的MSRCR预处理来进行色彩保真;其次用阈值分割法提取图像的特征信息并获得掩膜,根据特征信息设计自适应的Gamma校正方法,提升对比度和亮度,并使用暗通道先验方法保持去雾后的细节;最后将处理后的图像进行掩膜融合。在真实世界的数据集上仿真结果表明,本研究所提算法在去雾后能保留更多的细节且提高亮度。与几种经典的算法相比,本研究所提算法在去雾后的图像有较好的色彩保真度,保留了更多的细节,去雾效果好且亮度更自然。     

"人的发展三阶段论"的深层读解

从人与自然、人与社会的关系这一视阈对马克思的“人的发展三阶段论”作一全新读解,并对每一阶段人的特性进行特定分析。这在一定程度上丰富了马克思主义历史理论,为研究人的发展甚至是人学的发展提供了更为广阔的思维空间,也为当前社会主义和谐社会中人的存在方式奠定了坚实的理论基础与现实平台,具有重大的理论与实践价值。