排序方式: 共有36条查询结果,搜索用时 250 毫秒
21.
22.
提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWL DL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。 相似文献
23.
脉管制冷机内自然对流影响的数值分析 总被引:3,自引:0,他引:3
通过对脉管内自然对流的数值模拟,在相同的冷、热端温度条件下,研究重力的方向对脉管内自然对流的流场、温度场及脉管内热交换的影响,并进行了对比分析。采用二维圆柱坐标,引入Boussinesq假设,计算稳态的自然对流。计算表明,冷端在下(冷面朝上)时,自然对流对脉管内的换热有抑制的作用,有利于保持两端的温差,从而使得在冷端与冷端温度相同、热端与热端温度相同的情况下,冷端在下时端部所需的导热量是冷端在上时的31%。这一结论与实验测试结果一致。所做的理论分析对脉管制冷机的良好运行有指导意义。 相似文献
24.
陈钟 《广西师范学院学报(自然科学版)》2004,(Z1)
数据挖掘是一种从数据库中发现知识的自动或半自动的方法.DSO是一种COM对象库.通过DSO,可以管理Analysisserver中的所有对象,包括服务器、多维数据集、挖掘模型等.该文介绍了基于DSO的数据挖掘应用开发. 相似文献
25.
为进一步提高无线传感器网络节点跟踪定位精度降低能耗,提出一种多目标拥挤度差分优化的贝叶斯量化变分滤波预估WSN跟踪定位算法. 首先,针对定位问题,采用贝叶斯量化变分滤波方法对目标下一位置区域进行预测,利用量化变分滤波方式选取合适的定位参与节点,并设计了量化变分滤波的多目标参数优化模型. 其次,针对传统多目标优化算法寻优精度不高的问题,设计了基于种群个体拥挤度状况的多目标差分进化算法,对量化变分滤波算法参数进行优化,实现了滤波参数的多目标优化. 最后,通过实验仿真表明,该算法能够有效实现目标节点的跟踪定位,并可节省能量消耗. 相似文献
26.
27.
29.
电子设备中矩形组件的换热特性 总被引:1,自引:0,他引:1
为了给电子设备组件冷却设计提供依据,用蔡升华技术研究了矩形块阵的对流换热特性.得出的换热准则式(9)与实验数据的偏差在4%以下,可以作为设计的依据.实验还表明,靠近进口处和在空排后面的矩形块,具有较好的散热特性,对温度比较敏感的组件可以布置在这些区域内.本文还对Re 准则中特性尺寸的选取,提出了新的看法. 相似文献
30.
Chinese Wall策略及其在多级安全环境中的扩展 总被引:2,自引:0,他引:2
Chinese Wall安全策略因不同于BLP的动态特性而备受人们关注,但Brewer和Nash定义的Chinese Wall策略只适用一定的应用范围,没有考虑普遍存在的多级访问控制的限制条件。本文主要结合多级安全环境,分析研究具有多级访问控制环境的Chinese Wall策略的扩展实现。根据该环境中的Chinese Wall的利益冲突处理表现为数据聚合问题,利用数据标签的格级标定,提出一种基于历史访问库和利益冲突聚合链表的安全策略实现方法 相似文献