基于非传递无干扰理论的二元多级安全模型研究

提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性。为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查。基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用。该研究对于国家信息内容安全基础设施中敏感信息的保护具有一定的理论和实用价值。

概率系统的非传递无干扰安全属性分析

为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟强无干扰(I_BSPNI)和非传递概率互拟复合不可演绎(I_PBNDC)安全属性;并要求系统所有可达状态都满足的持久I_PBNDC属性,该性质能够揭露出I_PBNDC在动态环境中不能暴露的安全隐患.为了弥补互拟复合不可演绎类性质难于验证的缺点,使用基于单步状态的展开条件定义了强I_PBNDC属性.最后分析并证明了这些安全属性之间的包含关系.

支持进程代码修改的非传递无干扰可信模型

基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新理论框架下给出进程运行可信的条件,证明进程运行可信定理。分析结果表明,与现有可信模型相比,该模型在保证进程运行可信的同时允许对进程代码进行修改,提高了可信计算平台的实用性。

利用非确定性DHT解决覆盖网络的非传递连通问题

为了解决网络中广泛存在的非传递连通(NTC)问题,提出了一种利用非确定分布式哈希表(DHT)解决覆盖网络的NTC问题的方法,通过解除底层节点ID与逻辑空间位置的对应关系,避免了NTC节点对网络结构的影响,同时利用重定向路由机制实现网络的消息路由。仿真结果表明,非确定DHT能够有效地解决覆盖网络的NTC问题。

一种基于非传递广义全序的多目标决策方法

本文通过定义点一集映射H_β锥而建立了一种非传递广义全序H_β-序,在此序基础上建立了一个等价关系,实现了对决策问题目标空间的等价划分及对等价类的优先排序。本文证明了在这一等价划分下,H_β-序是一个全序关系。将H_β-序应用于多目标决策(MODM)问题,本文提出了一种解决MODM问题的新方法,这一方面适用于有限备选方案的决策情况,特别适应目标间的关系错综复杂,难以进行效用归并的场合。与现有基于排序的MODM方法相比,本文的方法更具有一般性,而且保证了收敛于全局满意解。

基于iP-可观测属性的动态非传递无干扰模型

针对现有信息流模型对于系统动态可信性判定过于严格的问题,提出一种基于iP-可观测属性检查的动态非传递无干扰模型。将系统抽象为一个六元组,从无干扰理论、系统状态可观察性和系统状态影响因素三方面出发,通过引入iP-可观测属性,经由有限状态自动机模型,将其转变为有限状态自动机中的P-可观测属性,并进一步利用P-可观测属性检查算法反推原系统满足动态非传递无干扰理论。对抽象系统实例的分析结果验证了该模型的有效性。

拉里·特姆金论道德后果比较中的非传递关系

道德后果比较中有时会出现非传递的关系,"考虑所有因素,……比……好"就可能这样,例如,考虑所有因素,A比B好,考虑所有因素,B比C好,考虑所有因素,C却比A好。特姆金认为,这种非传递关系的出现与我们对道德理念的一种观察视角有关:就某一道德理念而言,不同的因素可能相关于不同的比较,例如,A与B、B与C的相关的比较因素可能不同于C与A的相关比较因素;或者即使这些相关比较因素一样,它们在不同比较中可能具有不同的权重。这时考虑所有因素某一后果究竟如何就没有固定的结论,因为这个后果的品质不单单取决于自身,更取决于它与跟它作比较的其他后果的关系。道德后果比较中的非传递关系对我们认识道德价值和实践推理的本质具有十分重要的意义。

非传递效用模糊博弈中模糊核的连续性与良定性

本文首先研究了非传递效用模糊博弈中模糊核的连续性.其次,给出了模糊核的良定性定义.进一步,证明了具有非空模糊核的非传递效用模糊博弈是广义良定的.最后,经分析得到,存在一个稠密剩余子集,使得其中的非传递效用模糊博弈是鲁棒良定的.

基于非传递路径的次序一致性判断与修正

为了修正非次序一致性矩阵,定义了非传递路径数和非传递路径贡献数两个概念.提出利用非传递路径矩阵来进行模糊判断矩阵的次序一致性判断方法.同时,根据非传递路径数的大小来确定模糊判断矩阵中的最不合理元素,这样模糊判断矩阵的次序一致性判断和修正可以一体化实现.最后,用1个中小板上市公司的非财务指标体系构建作为实例进行说明.

非传递广义无干扰属性符号化算术验证方法

广义无干扰属性规约了多级安全系统中具有传递性质的安全策略,而对于不满足传递性的策略则无法刻画.文中首先对广义无干扰属性进行扩展,提出了非传递广义无干扰属性的概念,进而可以规约无传递性的安全策略.文中提出了一种可符号化实现的非传递广义无干扰属性验证方法.该方法主要基于证伪和证真的基本验证策略,通过集成反例搜索和归纳证明完成属性的验证.该方法适用于广义无干扰属性,同时有效地解决了基于"展开定理"的证明方法的不完备性.进一步将反例搜索和归纳证明问题归约为布尔公式满足性求解问题,并借助于满足性求解程序完成验证过程的符号化计算.符号化计算通过对系统空间进行紧致表示,降低了对存储空间的需求,而且可以提高验证的时间效率.

生物间非传递性竞争研究进展

生物间的竞争关系是决定群落中物种共存和生物多样性的关键因素。传统研究主要关注物种两两之间的竞争作用,而对多物种相互竞争形成的网络研究相对较少。近年来,类似于“石头-剪刀-布”游戏的非传递性竞争被认为是一种重要的物种共存和生物多样性的维持机制,越来越受到生态学家们的关注。本文首先回顾了非传递性竞争定义的发展过程,并介绍了非传递环的不同结构。其次介绍了基于竞争结局矩阵以及入侵增长率的非传递性竞争度量指标,并对比不同指标的特点与适用情形。随后通过多个研究实例介绍了非传递性竞争在自然群落中的普遍性,并指明物种之间的权衡是非传递性竞争产生的生物学机制。最后介绍了非传递性竞争对生物多样性与生态系统功能的影响。非传递性竞争本质上是物种两两之间相互作用的组合,是只包含单一作用类型的特殊网络结构。因此,非传递性竞争如何影响生物多样性-生态系统功能关系和群落稳定性,如何受到环境与高阶相互作用的影响,以及如何将竞争网络拓展到包含不同相互作用类型的生态网络,将是未来非传递性竞争研究的重要方向。对非传递性竞争的研究有助于整合生物间的各种相互作用,构建更加现实合理的生态网络,并加深对物种共存和生物多样性维持机制的认识,进而有助于指导生物多样性的保护和恢复工作。

玉米国内外价格非对称传递研究

文章运用惯性门槛自回归模型(M-TAR)和非对称误差修正模型(APT-ECM)对玉米国内外价格传递的非对称性进行了研究。研究结论:玉米国内外价格传递在长期和短期均是非对称的,具体地,玉米国内外价格向长期均衡调整时的调整速度是非对称的,而且玉米国内外价格存在滞后非对称效应。

多发性硬化的非均匀磁化传递成像研究

目的评价非均匀磁化传递(ihMT)成像诊断多发性硬化(MS)的价值。方法对18例临床诊断为MS的患者及16名健康志愿者行ihMT成像,测量并比较MS患者白质内病灶与健康志愿者白质区磁化传递率(MTR)、量化磁化传递值(qMT)、非均匀磁化传递率(ihMTR)和非均匀量化磁化传递值(qihMT)的差异,并采用 Spearman 相关分析评价MS患者ihMT成像参数与临床扩展致残量表评分(EDSS)的相关性。结果 MS病灶的MTR、qMT、ihMTR、qihMT均低于健康志愿者脑白质(P均<0.001);MTR、qMT与EDSS呈中等负相关(r=-0.440、-0.572,P=0.004、0.002),ihMTR、qihMT与EDSS呈强负相关(r=-0.704、-0.739,P均<0.001)。结论 ihMTR和qihMT值能准确反映白质髓鞘含量的变化,且与MS临床症状相关性好,具有较好的临床应用前景。

典型单群与非可解区传递2-(v，7，1)设计

主要研究区传递2-(v,k,1)设计的分类.特别地,考虑了非可解区传递2-(v,7,1)设计的分类,得到了如下结论:设G是一2-(v,7,1)设计D的自同构群,若G区传递非可解且点本原,但非旗传递地作用在设计D上,则G≠PSLn(q),这里q为奇数且(n,q)≠(2,2),(2,3).

刍议言语与非言语的信息传递

首先 ,在阐述言语信息和言语信息传递、非言语信息和非言语信息传递的基础上 ,指出与言语信息传递相比 ,非言语信息传递所具有的 6个特征 ;其次 ,阐述信息传递的狭义与广义问题 ,通过列举申农公式来说明信息传递的狭义说在涉及到语义和语用因素时 ,无法解决实际问题 ,而只有利用信息传递的广义论才能得以解决 ;最后 ,描述了信息传递的整个处理与加工过程 。

热、质非经典传递过程的“瞬态薄层”模型

提出了超常热、质传递过程的“瞬态薄层”模型———在超常热、质传递条件下 ,紧靠介质内受热或质扰动的位置 ,存在一“薄层”区域 ,该薄层内的热传导或质量传递必须考虑非经典 (非傅立叶或非费克 )传递效应 ,在薄层外、介质内其他部分的热、质传递仍近似符合经典热、质传递定律 (傅立叶和费克定律 ) ;“瞬态薄层”内的非经典传递效应只可能在热、质扰动过后的极短瞬时存在 .在分析介质内的非傅立叶导热行为的同时 ,根据热、质传递的可类比性得到非经典质量传递“瞬态薄层”的厚度与质松驰时间、质扩散系数以及质量扰动的强度和瞬时性强弱的定性相关关系 .

煤岩组合体应力传递与强度特征倾角效应

大倾角煤层安全高效开采的关键在于对围岩稳定性的有效控制,揭示煤岩组合体采动力学行为倾角效应是大倾角煤层多尺度围岩协同控制的基础。针对煤岩组合体在不同倾角时的层间应力传递、主应力偏转及非均衡变形破坏等力学特征,采用岩石力学试验、数值模拟与理论分析综合互馈的研究手段,分析了煤岩组合体内部主应力展布形态以及变形破坏规律的倾角效应。结果表明:倾角在0°~60°变化时,交界面处的煤岩组合体主应力大小和方向的演化特征分为2类;当层面倾角小于临界倾角α0时,煤岩组合体第1主应力随倾角增大而减小,第3主应力呈“煤减+岩增”的单调演变趋势,主应力方向呈“煤顺+岩逆”的偏转状态;当层面倾角大于临界倾角α0时,煤岩组合体第1主应力随倾角增大而增大,第3主应力变化幅度增大,主应力方向呈“煤逆+岩顺”的偏转状态;煤岩组合体受倾角影响时的2种状态的力学特征不同使得煤岩组合体由“交界面上侧岩体+非交界面部分煤体”转变为“交界面下侧煤体+非交界面部分煤体”的组合破坏模式,即对应于组合体的剪切变形破坏规律向界面处的滑移破坏规律的转变,因而煤岩组合体的强度随倾角增大而降低。研究结果揭示了煤岩组合体应力非均衡传递规律及其破坏机理的倾角效应,对大倾角煤层安全高效开采具有一定的理论参考意义。

2-(v,5,1)设计的非可解区传递自同构群

研究了2-(v,k,1)设计的区传递自同构群.特别讨论了2-(v,5,1)设计的非可解区传递自同构群,得到定理:设G是一个2-(v,5,1)设计D的区传递,点本原但非旗传递的自同构群.若G是非可解群,则G的基柱Soc(G)不是典型群PSUn(q),这里q为奇数,n≥3.

堤基非稳定水压力传递滞后效应研究

洪水灾害过程中,堤防上游水头快速变化,作用在堤基土体上的水压力是非稳定的。选取常见的堤基砂土作为试验材料,利用自行设计的试验装置,研究洪水灾害时非稳定水头条件下,堤基无黏性土渗径长度、孔隙比、渗透系数以及颗粒粒径等因素对水压力传递滞后效应的影响规律。研究结果表明:土体颗粒粒径越大水压力传递滞后效应越弱,直径 >2mm的细砾土中水压力传递滞后效应基本可以忽略;上游水头水力梯度提升的越快,下游水压力启动和稳定滞后时间越短,但下游水压力恢复滞后时间越长;水压力传递滞后时间与土体孔隙比呈反比关系;下游水压力启动和稳定滞后时间与渗透系数呈对数关系。

非费克质量传递的“瞬态薄层”模型

提出了超常质量传递的“瞬态薄层”模型——在超常质量传递条件下 ,紧靠介质内受质量扰动的位置 ,存在一“薄层”区域 .该薄层内的质量传递必须考虑非费克效应 ;而在此薄层外 ,介质内其他部分的质量传递仍近似符合费克定律 ;“薄层”区域边界上的质量传递满足连续性边界条件 .文中以受脉冲质量源扰动的质量传递过程为例 ,采用类似于非傅里叶导热方程的双曲线非费克质量传递方程来描述该“薄层”内的非费克质量传递 ,并用有限差分结合 Mac Cormack预测校正法对其进行了数值求解 .在分析介质内出现的非费克效应的同时 ,得出了“瞬态薄层”厚度与介质的质松弛时间。