排序方式: 共有59条查询结果,搜索用时 0 毫秒
1.
基于Petri网的信息流安全属性的分析与验证* 总被引:2,自引:0,他引:2
信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。 相似文献
2.
3.
针对计及摩擦的单对齿轮传动系统的时变非线性模型,应用胞映射方法对系统进行了吸引域计算,得到了在不同的摩擦系数、时变刚度和激励频率参数下系统的吸引域和全局特性,分析了这些参数变化时系统吸引子吸引域的演变规律.研究表明,系统的竞争吸引子是互相缠绕的,摩擦能改变周期运动吸引子的性态,也能降低混沌时的Lypunov指数,有利于提高系统的全局稳定性. 相似文献
4.
研究了单自由度滑动摩擦系数随相对速度指数变化的干摩擦振动系统简谐激励响应计算问题,应用等效线性化方法推导了相应的频响方程。通过数值分析,明确了各个系统参数对干摩擦系统振动的影响。 相似文献
5.
6.
《礼记·学记》有言:“是故学,然后知不足;教,然后知困。知不足,然后知自反也;知困,然后能自强也。故曰:教学相长也。”先师远在两千多年前就发出这样切中要綮、鞭辟入里的宏论,的确有筚路蓝缕、振聋发聩之功。逝者如斯。教学相长在今人似乎已达成无庸置疑的共识而无愧于先师。然而,现实并非完全如此,囿于一角、惑于一孔、陋于一书、障于一叶的现象确乎不是偶然。因此,本文在理论上虽属老调重弹,但又确非狗尾续貂。 一、教学与科研的双向互动关系 教学与科研的双向互动关系在前引《礼记·学记》的论言中已昭然若揭。教学与科研都是动态的过程,是一而二、二而一的关系。 教学在不断地进行,在进行的过程中,既有通衢 相似文献
7.
8.
一种基于模糊粗糙集知识获取方法 总被引:1,自引:1,他引:1
本文介绍了粗糙集和模糊粗糙集的上下近似。并且利用模糊粗糙上下近似算子,论述了在不完备模糊信息系统中知识获取的一种方法。应用这种方法能够让隐藏在不完备模糊信息系统中的知识,以决策规则的形式表示出来。最后给出了一种实现算法和实例。 相似文献
9.
10.
最大Lyapunov指数是判断时间序列是否为混沌的一个重要判据,但传统方法求解的计算量很大,所需时间较长,导致在工程实际应用中受到限制.本文提出了基于空间栅格法的最大Lyapunov指数的改进算法,该方法将重构后的整个相空间进行分割,形成多个小空间,搜索邻近点时只需在其子空间内进行搜索,可以大大提高搜索速度.仿真实验表明改进的邻近点搜索方法无论在有噪声情况下还是在无噪声情况下都具有良好的鲁棒性,可以快速而有效地实现参考点邻域的搜索,极大的缩短了计算时间,且易于编程实现,使混沌信号特征指数的在线提取成为了可能. 相似文献