期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
数据库管理系统强制访问控制形式化分析与明证 被引量:1
1
作者 朱薏 朱虹 +1 位作者 美意 冯玉才 《小型微型计算机系统》 CSCD 北大核心 2015年第3期401-407,共7页
强制访问控制是保护数据库管理系统安全的有效机制.DMOSMAC是一个依赖于安全操作系统实现强制访问控制机制的数据库管理系统.在分析该系统实现的基础上,对该系统进行了形式化分析.给出了信息流的概念,将信息流集合作为被验证系统状态的... 强制访问控制是保护数据库管理系统安全的有效机制.DMOSMAC是一个依赖于安全操作系统实现强制访问控制机制的数据库管理系统.在分析该系统实现的基础上,对该系统进行了形式化分析.给出了信息流的概念,将信息流集合作为被验证系统状态的一部分.信息流集合始终是一个递增的集合,利用信息集合流可防止删除等操作的证明被绕过的可能,保证验证过程的严密性.在信息流的基础上提出了一种对系统代码进行抽象、抽取的形式化分析方法.即抽象DMOSMAC系统状态,从源代码中提取操作规则,将BLP模型中的状态、访问规则分别与DMOSMAC系统的状态、操作规则建立映射关系,BLP模型中简单安全性和*-特性转换为面向信息流的状态不变式,继承BLP模型的相关安全公理和定理进行分析和证明;最后用定理证明器COQ进行安全性证明的方法. 展开更多
关键词 强制访问控制 形式化验证 信息流 定理证明器Coq
数据库课程设计的改革与探究 预览
2
作者 美意 《当代教育理论与实践》 2014年第3期38-40,共3页
针对数据库人才需求趋势的变化和“卓越工程师计划”的培养目标,分析了目前数据库课程实践教学内容存在的不足,提出了以实现一个数据库管理系统为目标的实践教学内容,设计了难度适当的实践环节,并对相应的实践教学方法进行了探究。
关键词 数据库课程设计 实践教学 实践内容 教学方法
在线阅读 下载PDF
自修复数据库系统设计实现关键问题研究 被引量:2
3
作者 美意 朱虹 +1 位作者 冯玉才 胡贯荣 《小型微型计算机系统》 CSCD 北大核心 2010年第10期1926-1930,共5页
自修复技术对于提高被攻击数据库系统的可生存性具有重要意义.针对自修复数据库系统在设计实现中所面临的一系列关键问题,给出了一个完整的自修复数据库系统解决方案.实现的原型系统ITDM以数据库管理系统DM5.6为基础,采用内嵌式体... 自修复技术对于提高被攻击数据库系统的可生存性具有重要意义.针对自修复数据库系统在设计实现中所面临的一系列关键问题,给出了一个完整的自修复数据库系统解决方案.实现的原型系统ITDM以数据库管理系统DM5.6为基础,采用内嵌式体系结构,支持入侵检测、入侵限制、受损评估及动态修复功能.性能实验结果显示了ITDM自修复机制的存储及时间开销. 展开更多
关键词 自修复数据库 事务依赖 受损评估 入侵限制 动态修复
自修复数据库系统日志机制研究 预览 被引量:3
4
作者 美意 朱虹 冯玉才 《计算机科学》 CSCD 北大核心 2010年第4期 139-142,166,共5页
选择性恢复使得一个自修复数据库系统在受到恶意攻击后,只需撤销历史中受到恶意事务感染的那部分操作,无需回滚整段历史,但要求日志机制支持对事务间依赖关系的追踪及前像数据的长期保存。通过分析传统日志机制的不足以及现有原型系... 选择性恢复使得一个自修复数据库系统在受到恶意攻击后,只需撤销历史中受到恶意事务感染的那部分操作,无需回滚整段历史,但要求日志机制支持对事务间依赖关系的追踪及前像数据的长期保存。通过分析传统日志机制的不足以及现有原型系统实现方法存在的问题,提出了一种新的日志结构。该日志包含事务依赖信息,并以前像表代替传统日志机制中的回滚段。给出了基于该日志结构的数据库恢复方法,并在时间和空间开销方面对本方法与其它方法进行了分析和比较。 展开更多
关键词 自修复 选择性恢复 事务依赖 前像表
在线阅读 免费下载
改制企业职业病危害状况调查分析 预览 被引量:3
5
作者 美意 《中国职业医学》 CAS 北大核心 2008年第3期 263-264,共2页
目的了解改制企业贯彻执行《中华人民共和国职业病防治法》的具体情况,加强对改制企业职业卫生的管理。方法采取现场全面的调查方法对某石化公司的8家由集体所有制企业改制成的企业进行了职业卫生状况调查。结果共测定了尘毒物质13种... 目的了解改制企业贯彻执行《中华人民共和国职业病防治法》的具体情况,加强对改制企业职业卫生的管理。方法采取现场全面的调查方法对某石化公司的8家由集体所有制企业改制成的企业进行了职业卫生状况调查。结果共测定了尘毒物质13种:尘毒物质测定点46个,点合格率为71.74%,测定样品177个,样品合格率为71.75%。毒物危害较严重的是挥发的苯在工作场所空气中的浓度超过其职业接触限值9.59倍;2个粉尘检测点全部超标,超标倍数达6.40倍。改制后企业职业卫生管理松懈,甚至被忽视。结论应加强改制企业的职业卫生管理,确保职工的身体健康。 展开更多
关键词 改制企业 职业病危害 职业卫生 调查分析
在线阅读 下载PDF
保护农民工健康是企业的社会责任 预览 被引量:5
6
作者 美意 《职业卫生与应急救援》 2008年第2期 70-71,共2页
农民工职业病高发已成为我国严重的社会问题,其原因主要是一些企业法制意识淡薄、责任感缺失和政府监管不严。政府部门应加强对企业的职业卫生管理,促使各企业依法履行保护农民工健康的义务,牢固树立保护农民工健康是企业的社会责任... 农民工职业病高发已成为我国严重的社会问题,其原因主要是一些企业法制意识淡薄、责任感缺失和政府监管不严。政府部门应加强对企业的职业卫生管理,促使各企业依法履行保护农民工健康的义务,牢固树立保护农民工健康是企业的社会责任意识。 展开更多
关键词 农民工 企业 社会责任 职业病 职业卫生
在线阅读 下载PDF
数据库管理系统多缓冲池的配置及其多次划分自调优算法 预览 被引量:1
7
作者 吴恒山 李蛟 美意 《计算机工程与科学》 CSCD 2007年第3期 105-107,共3页
本文针对数据库管理系统中缓冲区的特殊重要地位,介绍了多缓冲池的配置及自调优的概念。将缓冲区分为数个独立的缓冲池,为不同性质的数据库对象分别建立独立的缓冲池,也为不同的负载提供最佳的配置方式,能够减少不同负载下的i/os时间,... 本文针对数据库管理系统中缓冲区的特殊重要地位,介绍了多缓冲池的配置及自调优的概念。将缓冲区分为数个独立的缓冲池,为不同性质的数据库对象分别建立独立的缓冲池,也为不同的负载提供最佳的配置方式,能够减少不同负载下的i/os时间,提高吞吐率。本文介绍了多缓冲池配置的模型,并基于此模型提出了多缓冲池的多次划分自调优算法。 展开更多
关键词 多缓冲池 配置 自调优 多次划分
在线阅读 下载PDF
DM4触发器机制的设计与实现 预览
8
作者 美意 冯玉才 《计算机工程与科学》 CSCD 2006年第10期 114-116,共3页
本文讨论了触发器机制为达到实用化的目的应遵循的几个原则,提出了简单且符合实际应用特点的S-A模型,阐述了国产商用数据库管理系统DM4的触发器机制。该机制在方案的设计与实现中充分贯彻了上述原则。
关键词 触发器 E-A模型 DMPL/SQL语言 异常处理
在线阅读 下载PDF
数据库标准工作组2005年工作进展 预览
9
作者 美意 《信息技术与标准化》 2006年第1期 6-8,共3页
1研究背景 数据库是信息系统建设的核心组成部分。数据库软件经过30多年的发展,已经形成了目前全球总量达数百亿美元的一个软件产业,并且仍以每年高于1O%的速度迅速增长。在我国,信息化建设中用于购买数据库软件的费用每年高达数... 1研究背景 数据库是信息系统建设的核心组成部分。数据库软件经过30多年的发展,已经形成了目前全球总量达数百亿美元的一个软件产业,并且仍以每年高于1O%的速度迅速增长。在我国,信息化建设中用于购买数据库软件的费用每年高达数拾亿元人民币,约占除纯应用软件之外的整个平台软件市场的三分之一,且每年以20%左右的速度增长,这无疑是一个潜力巨大、前景诱人的市场。然而,长期以来,占领我国数据库软件市场的基本上都是国外数据库软件产品。 展开更多
关键词 数据库软件 工作组 标准 信息系统建设 软件市场 信息化建设 组成部分 软件产业 应用软件 软件产品
在线阅读 下载PDF
DM4过程SQL语言的设计与实现 预览
10
作者 美意 冯玉才 《华中科技大学学报:自然科学版》 EI CAS CSCD 北大核心 2006年第3期 14-16,共3页
在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍... 在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前巳广泛使用于基于DM4的数据库应用中. 展开更多
关键词 过程SQL语言 解释器 虚拟机
在线阅读 下载PDF
数据库标准工作组2005年工作进展 预览
11
作者 美意 《信息技术与标准化》 2006年第2期 6-8,共3页
  1研究背景   数据库是信息系统建设的核心组成部分.数据库软件经过30多年的发展,已经形成了目前全球总量达数百亿美元的一个软件产业,并且仍以每年高于10%的速度迅速增长.在我国,信息化建设中用于购买数据库软件的费用每年高达...   1研究背景   数据库是信息系统建设的核心组成部分.数据库软件经过30多年的发展,已经形成了目前全球总量达数百亿美元的一个软件产业,并且仍以每年高于10%的速度迅速增长.在我国,信息化建设中用于购买数据库软件的费用每年高达数拾亿元人民币,约占除纯应用软件之外的整个平台软件市场的三分之一,且每年以20%左右的速度增长,这无疑是一个潜力巨大、前景诱人的市场.…… 展开更多
在线阅读 下载PDF
自调优数据库研究综述 预览 被引量:7
12
作者 美意 冯玉才 《计算机科学》 CSCD 北大核心 2005年第9期 82-85,共4页
数据库功能和规模的膨胀与数据库性能调优的复杂已渐渐成为应用中一对尖锐的矛盾.自调优数据库是一种新兴的数据库技术,其目标是将日益复杂的数据库调优任务从系统管理人员转移到系统自身,以降低系统管理成本,提高系统性能质量.对数据... 数据库功能和规模的膨胀与数据库性能调优的复杂已渐渐成为应用中一对尖锐的矛盾.自调优数据库是一种新兴的数据库技术,其目标是将日益复杂的数据库调优任务从系统管理人员转移到系统自身,以降低系统管理成本,提高系统性能质量.对数据库调优问题进行了分类,介绍了自调优数据库的研究与发展情况,将其与面向整个计算机系统自我管理的自主计算技术进行了比较,并讨论了自调优数据库未来的研究方向. 展开更多
关键词 自调优数据库 资源管理 计算机管理 数据管理 数据划分
在线阅读 免费下载
DBMS动态资源自调优系统的设计与实现 预览
13
作者 王元珍 蒋鸿 美意 《计算机应用》 CSCD 北大核心 2005年第9期 1999-2001,共3页
在数据库管理系统中,DBMS资源的利用率对系统的影响是很大的.对基于反馈回路的自调优模型的基础上设计与实现DBMS资源自调优工具进行了研究.该工具能够根据资源利用情况,自动找到适合提高系统运行效率的DBMS资源配置参数.给出了实现该... 在数据库管理系统中,DBMS资源的利用率对系统的影响是很大的.对基于反馈回路的自调优模型的基础上设计与实现DBMS资源自调优工具进行了研究.该工具能够根据资源利用情况,自动找到适合提高系统运行效率的DBMS资源配置参数.给出了实现该系统时用到的诊断树、资源关系模型和资源调整规划算法. 展开更多
关键词 DBMS资源 动态调整 反馈模型 自调节
在线阅读 下载PDF
DM3存储模块的设计与实现 预览
14
作者 冯玉才 王凌 +1 位作者 美意 廖建 《计算机应用研究》 CSCD 北大核心 2004年第6期 155-157,共3页
详细阐述了具有自主版权的国产分布式数据库管理系统DM3存储模块的设计和实现技术.就对用DM/SQL过程化语言编写的存储模块如何编译成虚拟机指令以及虚拟机指令的执行过程进行了介绍.
关键词 数据库管理系统DM3 存储模块 虚拟机
在线阅读 下载PDF
基于虚拟机的存储过程设计与实现 预览
15
作者 王元珍 廖健 美意 《计算机工程与应用》 CSCD 北大核心 2004年第10期 172-175,共4页
存储过程在数据库管理系统中占有重要的地位。虚拟机为解释性语言提供了一套完整的运行环境接口。该文提出了一种基于虚拟机的实现存储过程的方法,并结合存储过程的特点介绍了一些实现细节。该方法已经应用到DM数据库管理系统之中。
关键词 存储过程 虚拟机 数据库管理系统
在线阅读 下载PDF
分布式实时应用的两个重要问题 预览 被引量:1
16
作者 胡贯荣 美意 《计算机工程与科学》 CSCD 2000年第1期 86-88,共3页
可预测性分布式实时IPC是分布式实时应用的两个重要问题,本文探讨了可预测性的概念,提出了分布式实时IPC的抽象模型,并分析影响分布式实时IPC的主要因素,为设计分布式实时应用作一定的探讨。
关键词 期限 可预测性 分布式实时IPC 实时操作系统
在线阅读 下载PDF
面向21世纪德育工作的探索与思考 预览
17
作者 美意 《宣武教育》 2000年第1期 39-43,共5页
关键词 21世纪 德育工作 思想品德教育 人际关系 中小学
在线阅读 下载PDF
分布式实时消息通信的设计与实现 预览 被引量:1
18
作者 胡贯荣 美意 《华中理工大学学报》 CSCD 北大核心 1999年第10期 53-55,共3页
讨论了UNIX原有的消息队列机制基础上设计和实现分布式实时消息通信机制的方法。该机制提供透明的消息通信接口,支持带时间期限约束的实时消息请求。用户在系统调用的参数中可以给定消息请求的时间期限,对于多个远程消息请求,系... 讨论了UNIX原有的消息队列机制基础上设计和实现分布式实时消息通信机制的方法。该机制提供透明的消息通信接口,支持带时间期限约束的实时消息请求。用户在系统调用的参数中可以给定消息请求的时间期限,对于多个远程消息请求,系统能按紧迫程度排队,以保证实时性。系统还可以定时检测消息请求的期限,对能否在期限内完成进行预测并反馈给相应进程。 展开更多
关键词 分布式实时系统 消息队列 宽松度 实时消息通信
在线阅读 下载PDF
实时应用的可预测性研究和分析 预览
19
作者 胡贯荣 美意 《华中理工大学学报》 CSCD 北大核心 1999年第4期 18-19,共2页
阐述了实时应用的可预测性概念,以及实时应用的静态特性和动态特性,并从静态可预测性和动态可预测性的两个方面分析支持可预测性的主要策略。
关键词 可预测性 静态可预测性 动态可预测性 实时系统
在线阅读 下载PDF
分布式IPC实时性能的研究 预览 被引量:3
20
作者 胡贯荣 美意 《华中理工大学学报》 CSCD 北大核心 1999年第4期 20-21,33,共3页
抽象出分布式实时IPC的一致模型,以此模型为基础,以及时性和可预测性两个方面分析了影响其实时性能的主要因素,最后总结出一个分析评价分布式IPC实时性能的客观标准,作为研究开发分布式实时系统的参考。
关键词 分布式实时系统 IPC 可预测性 实时性能
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部 意见反馈