中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [9]
遥感与数字地球研究所 [1]
地球化学研究所 [1]
采集方式
OAI收割 [11]
内容类型
期刊论文 [11]
发表日期
2016 [1]
2006 [1]
2004 [2]
2003 [3]
2002 [2]
2001 [1]
更多
学科主题
筛选
浏览/检索结果:
共11条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
云南都龙锡锌多金属矿床自然铋和自然银矿物学特征研究
期刊论文
OAI收割
昆明冶金高等专科学校学报, 2016, 期号: 3, 页码: 1-7
作者:
王金良
;
刘玉平
;
廖震
;
苏航
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2019/12/02
都龙锡锌多金属超大型矿床是我国三大锡石硫化物矿床之一,该矿床产出于燕山晚期老君山花岗岩外接触带,矿石矿物以铁闪锌矿、锡石、磁黄铁矿、黄铁矿、黄铜矿等中高温矿物为主。自然铋和自然银为该矿床新发现的2种自然元素矿物,利用光学显微镜,通过电子探针背散射分析、面扫描分析和能谱分析,借助激光拉曼光谱,对它们的矿物学特征了进行了研究。研究表明,自然铋和自然银纯度较高,原子百分比均大于90%,多呈不规则状微细粒,与黄铜矿、方铅矿等共生,赋存于硫化物矿物内部或之间的微细孔隙,形成晚于黄铜矿和方铅矿。在此基础上,认为该矿床存在多阶段矿化,自然铋和自然银形成于岩浆热液晚期阶段的中低温、贫硫环境,并指示夕卡岩型锌锡矿化外围具有找寻银铋矿的潜力。
一种基于图重写的计算机安全风险分析系统
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274
李娜
;
谢冬青
  |  
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2011/07/13
风险分析
图重写
终止
最小覆盖
图重写
计算机
安全风险
分析系统
Graph Rewriting
Analysis Model
重写规则
风险分析
模型
方法
最小覆盖
统一视图
决策集合
基础
攻击步骤
项重写
利用图
复杂度
二分图
证明
分层负载平衡调度系统的设计与实现
期刊论文
OAI收割
计算机工程与应用, 2004, 卷号: 40, 期号: 4, 页码: 83-86,99
李冬梅
;
施海虎
;
顾毓清
;
佘春南
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/07/29
分布式系统
静态负载平衡
动态负载平衡
调度系统
分层
负载平衡
调度系统
设计
分布式系统
研究成果
系统性能
问题求解
平衡策略
静态调度
动态调度
调度问题
调度模型
适用性
应用
效率
实验
基础
规则
消除结构冗余的XML数据库模式规范化设计
期刊论文
OAI收割
计算机研究与发展, 2004, 卷号: 41, 期号: 10, 页码: 1809-1814
吴永辉
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/29
XML数据库模式
元素
属性
标识符
局部冗余
传递冗余
不规则
第3范式(3NF)
结构冗余
数据库
模式
规范化设计
依赖关系
数据依赖
设计算法
传递冗余
不规则
标识符
属性
元素
验证
局部
集合
基础
范式
地表
UNITY与典型程序设计模型的比较
期刊论文
OAI收割
计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104
肖美华
;
薛锦云
;
化志章
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/29
程序设计模型
UNITY
形式语义
程序转换
Seuss
程序转换
证明系统
设计模型
结构模式
计算模型
程序映射
新策略
命令式
逻辑式
计算机
函数式
规则式
体系
能力
理论
基础
机理
RPRDM:基于重复和部分角色的转授权模型
期刊论文
OAI收割
计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 221-227
赵庆松
;
孙玉芳
;
孙波
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/29
重复角色转授权
部分角色转授权
基于重复和部分角色的转授权模型
重复角色转授权
转授权模型
部分角色转授权
分布式环境
授权管理
组成
原型
元素
实验
基础
规则
撤销
基于幂表的并行加法器的归纳验证
期刊论文
OAI收割
电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936
张欢欢
;
邵志清
;
宋国新
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/07/29
重写
归纳
加法器
描述
验证
并行加法器
描述和验证
重写规则
硬件电路
技术验证
归纳证明
功能描述
基础
基于项目序列集操作的关联规则挖掘算法
期刊论文
OAI收割
计算机学报, 2002, 卷号: 25, 期号: 4, 页码: 417-422
毛国君
;
刘椿年
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/07/29
数据挖掘
关联规则
项目序列集
频繁项目序列集
频繁项目序列集
基本操作
关联
规则挖掘算法
事务数据库
扫描次数
空间效率
挖掘过程
数据结构
实验验证
生成算法
理论分析
高效算法
计算机
演化
性能
基础
基于DOM的Web信息提取
期刊论文
OAI收割
计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 526-533
李效东
;
顾毓清
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/07/29
归纳学习
文档对象模型
路径表达式
XML
信息提取
提取规则
浏览器
归纳学习算法
重要构件
语言
页面信息
信息抽取
数据交换
基础设计
机器处理
获取信息
规则生成
对象模型
层次结构
数据源
包装器
半自动
坐标
组成
经典BLP安全公理的一种适应性标记实施方法及其正确性
期刊论文
OAI收割
计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372
石文昌
;
孙玉芳
;
梁洪亮
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
Bell & LaPadula,计算机安全,模型,公理,Linux,实现
经典
安全操作系统
适应性
记实
实施方法
基础
访问控制规则
正确性证明
多级安全性
判定增加
敏感标记
基本安全
安全系统
灵活性
计算机
模型
理论
开发
构造
构成