期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
区域地球化学推断地质体模型与应用--以花岗岩类侵入体为例 被引量：12
1
作者 向运川 龚庆杰 +1 位作者 刘荣梅 杨万志 《岩石学报》 SCIE CAS CSCD 北大核心 2014年第9期2609-2618,共10页
区域化探全国扫面计划获得的海量地球化学数据在基础地质和矿产勘查研究中已发挥了重要作用。全国矿产资源潜力评价化探工作组将全国陆地国土划分为5个地球化学域(古亚洲地球化学域、秦祁昆地球化学域、特提斯地球化学域、扬子地球化学... 区域化探全国扫面计划获得的海量地球化学数据在基础地质和矿产勘查研究中已发挥了重要作用。全国矿产资源潜力评价化探工作组将全国陆地国土划分为5个地球化学域(古亚洲地球化学域、秦祁昆地球化学域、特提斯地球化学域、扬子地球化学域和滨太平洋地球化学域)和25个地球化学省。在全国地球化学图中位于云南西部地区的花岗岩类侵入体具有显著富K2O、Th、U、La、Y、Zr而贫Co、Ni、V、Cr、Ti、Fe2O3的特征。基于云南西部地区区域化探数据利用因子分析确定了高场强元素组合(F2)和相容元素组合(F1)两个公因子:F2=0.87Th+0.86Y+0.77U+0.77Zr+0.67La+0.61K2O+0.58Al2O3+0.53Be,F1=0.95Fe2O3+0.93V+0.93Ti+0.92Co+0.81Cr+0.80Ni。利用二者因子得分比值(F2/F1)构建了推断花岗岩类侵入体的区域地球化学综合指标和推断模型。以F2/F1为例介绍了制作地球化学图和地球化学异常图的方法技术。在F2/F1地球化学图中的高值区或在其地球化学异常图中的异常区与云南西部地区花岗岩类侵入体的地表出露范围十分吻合,从而验证了地球化学推断花岗岩类侵入体模型的可行性。基于构建的推断模型在全国近7百万平方千米的范围内进行推演并绘制F2/F1的地球化学图和地球化学异常图。选择华南中部地区进行详细分析,结果发现模型指标异常区与实测花岗岩类侵入体在空间形态和规模上十分吻合,尤其在韶关至桂林、贺州一带花岗岩类侵入体边界与F2/F1异常区边界几乎一致。这一结果不仅证实了针对花岗岩类侵入体所建立的区域地球化学推断模型的可行性,而且该模型在基础地质研究方面具有潜在应用价值。 展开更多
关键词 区域地球化学 推断模型 花岗岩类侵入体 地球化学省 全国地球化学图
下载PDF
基于角色和交互的SaaS软件生命周期推演模型 被引量：2
2
作者 宋杰 李甜甜 +1 位作者 贾路路 朱志良 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第6期801-805,共5页
采用模拟SaaS生态系统中角色和交互的方法来推演SaaS软件生命周期的各个阶段.首先提出SaaS生态系统中各个组成部分和基本角色;然后定义了SaaS软件生命周期中角色和交互模型;随后模拟大量角色交互路径,从中选取最优路径并加以调整;研究... 采用模拟SaaS生态系统中角色和交互的方法来推演SaaS软件生命周期的各个阶段.首先提出SaaS生态系统中各个组成部分和基本角色;然后定义了SaaS软件生命周期中角色和交互模型;随后模拟大量角色交互路径,从中选取最优路径并加以调整;研究基于该优化路径设计生命周期的模拟方法,包括交互角色和交互时间的选择算法;最后通过角色和交互在时间轴上的聚类,推演出SaaS软件生命周期的各个阶段.理论和实验结果分析证明该模型有着良好的推演效果. 展开更多
关键词 SAAS 角色 交互 软件生命周期 推演模型
下载PDF
信息安全模型研究 被引量：4
3
作者 张原 史浩山 《小型微型计算机系统》 CSCD 北大核心 2003年第10期1878-1881,共4页
首先介绍了安全系统的形式化开发方法 ,分析和比较了各种安全模型的安全特征 .并针对分布式环境对安全模型的通用性和可结合性的要求 ,着重分析了无干扰模型和非推理模型 .
关键词 安全 安全模型 无干扰 非推理
下载PDF
基于安全进程代数的非演绎安全模型的分析与验证 被引量：1
4
作者 王精明 虞慧群 《计算机科学》 CSCD 北大核心 2012年第2期56-58,共3页
就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给... 就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给出非演绎模型的验证算法且开发了相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 展开更多
关键词 迹语义 安全进程代数 信息流安全模型 非演绎模型
下载PDF
基于Petri网的非演绎安全模型的分析与验证
5
作者 王精明 江怡顺 《滁州学院学报》 2012年第2期21-23,49,共4页
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给... 就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 展开更多
关键词 迹语义 PETRI网 信息流安全模型 非演绎模型
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部