期刊文献+
共找到38篇文章
< 1 2 >
每页显示 20 50 100
操作系统内核权能访问控制的形式验证
1
作者 徐家乐 王淑灵 +8 位作者 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 《软件学报》 北大核心 2025年第8期3570-3586,共17页
操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作系统各功能模块的形式验证,并取得多个成功应用.微内核操作系统权能访问控制模块提供基于权能的细粒度访问控制,旨在防止未经授权的用户访问系统内核资源和服务.在权能访问控制模块实现中,所有任务的权能空间构成多个树结构,同时每个任务权能节点包含多种嵌套的复杂数据结构,以及权能函数中广泛存在的对权能结构的访问、修改、(递归)删除等操作,使得它的形式验证与操作系统其他功能模块相比更加困难.将以并发精化程序逻辑CSL-R为基础,通过证明权能应用程序接口函数(API函数)和其抽象规范之间的精化关系,来验证航天嵌入式领域某微内核操作系统权能访问控制的功能正确性.首先对权能数据结构进行形式建模,并在此基础上定义全局不变式来保持权能空间的一致性;然后定义反映功能正确性需求的内核函数的前后条件规范和API函数的抽象规范;最终验证权能API函数C代码实现和抽象规范之间的精化关系.以上所有的定义和验证均在Coq定理证明器中完成.在验证过程中发现实现的错误,并得到微内核操作系统设计方的确认和修改. 展开更多
关键词 操作系统内核 形式验证 权能访问控制 并发精化分离逻辑
在线阅读 下载PDF
含网关节点的高时隙复用率TDMA协议 被引量:3
2
作者 韦亮 任智 +1 位作者 陈凯 张关鑫 《计算机工程与设计》 北大核心 2024年第3期641-648,共8页
针对网络收敛慢、拓扑表不完整时导致的信道冲突以及空闲时隙浪费问题,提出一种提高节点时隙利用率和网络可靠性的多跳时分多址接入协议。该协议提出3种新机制,使用时隙请求时期快速收敛机制,加快时隙请求时期的收敛;使用空闲时隙公平... 针对网络收敛慢、拓扑表不完整时导致的信道冲突以及空闲时隙浪费问题,提出一种提高节点时隙利用率和网络可靠性的多跳时分多址接入协议。该协议提出3种新机制,使用时隙请求时期快速收敛机制,加快时隙请求时期的收敛;使用空闲时隙公平重用机制,消除中心节点调度时隙碰撞问题,提高空闲时隙利用率;使用一跳邻居多层次调度机制,降低数据重传的时延。仿真结果表明,在时隙请求时期收敛时间、数据传输平均时延及数据传输成功率方面,该协议较现有协议性能更优。 展开更多
关键词 无人机自组网 媒体接入控制 时分多址接入 复用率 并行调度 网关节点 位置信息
在线阅读 下载PDF
PRAM和LARPBS模型上的近似串匹配并行算法 被引量:19
3
作者 钟诚 陈国良 《软件学报》 EI CSCD 北大核心 2004年第2期159-169,共11页
近似串匹配技术在网络信息搜索、数字图书馆、模式识别、文本挖掘、IP路由查找、网络入侵检测、生物信息学、音乐研究计算等领域具有广泛的应用.基于CREW-PRAM(parallel random access machine with concurrent read and exclusive wri... 近似串匹配技术在网络信息搜索、数字图书馆、模式识别、文本挖掘、IP路由查找、网络入侵检测、生物信息学、音乐研究计算等领域具有广泛的应用.基于CREW-PRAM(parallel random access machine with concurrent read and exclusive write)模型,采用波前式并行推进的方法直接计算编辑距离矩阵D,设计了一个允许k-差别的近似串匹配动态规划并行算法,该算法使用(m+1)个处理器,时间复杂度为O(n),算法理论上达到线性加速;采取水平和斜向双并行计算编辑距离矩阵D的方法,设计了一个使用a(m+1)个处理器和O(n/a+m)时间的、可伸缩的、允许k-差别的近似串匹配动态规划并行算法,+<11mna.基于分治策略,通过灵活拆分总线和合并子总线动态重构光总线系统,并充分利用光总线的消息播送技术和并行计算前缀和的方法,实现了汉明距离的并行计算,设计了两个基于LARPBS(linear arrays with reconfigurable pipelined bus system)模型的通信高效、可扩放的允许k-误配的近似串匹配并行算法,其中一个算法使用n个处理器,时间为O(m);另一个为常数时间算法,使用mn个处理器. 展开更多
关键词 近似串匹配 并行算法 CREW-PRAM(parallel random access machine with concurrent read and EXCLUSIVE write) 可重构光总线系统 编辑距离 汉明距离
在线阅读 下载PDF
面向农业科学数据的分布式存储方法研究 被引量:12
4
作者 王剑 黄朝光 +2 位作者 王健 刘少坤 柴进 《计算机工程与应用》 CSCD 北大核心 2016年第11期248-253,共6页
随着农业科技的飞速发展,农业科学数据以几何级数快速膨胀。面对持续增长的农业数据资源,如何有效地存储和管理海量的农业数据成为一个研究热点。借助Hadoop分布式存储框架的优势,提出了一种面向农业科学数据的分布式存储方法,该方法采... 随着农业科技的飞速发展,农业科学数据以几何级数快速膨胀。面对持续增长的农业数据资源,如何有效地存储和管理海量的农业数据成为一个研究热点。借助Hadoop分布式存储框架的优势,提出了一种面向农业科学数据的分布式存储方法,该方法采用了"中心控制节点——数据节点"的存储体系,通过报文通信技术和混合式索引分布策略,实现了对海量数据的高并发式存储和检索。实验结果证明,该方法适用于各种类型的农业科学数据进行存储管理。 展开更多
关键词 分布式存储 农业科学数据 HADOOP 并发访问 MAPREDUCE
在线阅读 下载PDF
归并请求模式及其在客户协同产品创新平台中的应用 被引量:7
5
作者 张磊 王小磊 +2 位作者 李志蜀 杨育 金虎 《计算机集成制造系统》 EI CSCD 北大核心 2010年第3期513-520,共8页
为提高客户协同产品创新设计平台资源并发访问的性能,提出了一种归并请求的并发请求处理模式。首先,分析了客户协同产品创新设计的原理,构建了创新平台工作网络拓扑结构框架;然后,提出了客户协同产品创新设计平台的归并请求模式及基于J... 为提高客户协同产品创新设计平台资源并发访问的性能,提出了一种归并请求的并发请求处理模式。首先,分析了客户协同产品创新设计的原理,构建了创新平台工作网络拓扑结构框架;然后,提出了客户协同产品创新设计平台的归并请求模式及基于Java多线程同步和加锁机制的"归并请求"求解算法,并将该模式应用于面向对象的程序设计语言,形成实用且扩展性良好的可重用模块。最后,通过仿真实验对该模式进行了性能测试与分析。实验结果表明,在并发请求数明显增加的情况下,该模式能较大幅度提高平台并发访问的性能。 展开更多
关键词 归并请求 客户协同 产品设计 创新平台 并发访问
在线阅读 下载PDF
基于MapXtreme的WebGIS负载平衡服务器的设计与实现 被引量:5
6
作者 许少华 相生昌 +1 位作者 李欣 邵秀凤 《计算机应用研究》 CSCD 北大核心 2004年第6期178-180,共3页
针对动态生成和发布GIS图幅的WebGIS应用系统以及多用户并发访问问题 ,提出了一种基于负载平衡方法的解决方案。用户动态生成和发布GIS图幅过程需消耗大量的服务器系统资源 ,使服务器处于严重的瓶颈状态 ,设定一个专门的负载平衡服务器... 针对动态生成和发布GIS图幅的WebGIS应用系统以及多用户并发访问问题 ,提出了一种基于负载平衡方法的解决方案。用户动态生成和发布GIS图幅过程需消耗大量的服务器系统资源 ,使服务器处于严重的瓶颈状态 ,设定一个专门的负载平衡服务器来管理多个GIS服务器。客户端在进行GIS请求时首先访问该服务器 ,负载平衡服务器检测每个GIS服务器是否是处于饱和状态 ,若有未饱和的GIS服务器则让请求客户端连接到此服务器上进行GIS图件服务 ,从而解决了多用户并发访问时的瓶颈问题。设计并实现了B/S模式的基于WebGIS的地质图幅生成与发布系统 。 展开更多
关键词 WEBGIS MAPXTREME MAPX 负载平衡 多用户并发访问
在线阅读 下载PDF
连接池数据库访问技术深入研究 被引量:10
7
作者 成培 李峰 王畅 《计算机工程与设计》 CSCD 北大核心 2007年第3期509-511,共3页
分析了Java传统模式访问数据库存在的缺陷,阐述了连接池的概念以及工作机制,并设计实现了一个可供多用户并发访问的连接池。针对事务管理和多数据库服务进行了深入研究,并给出解决方案。根据试验结果分析了该技术与通过传统模式获得相... 分析了Java传统模式访问数据库存在的缺陷,阐述了连接池的概念以及工作机制,并设计实现了一个可供多用户并发访问的连接池。针对事务管理和多数据库服务进行了深入研究,并给出解决方案。根据试验结果分析了该技术与通过传统模式获得相同连接对象花费的时间对比情况,在国土资源管理项目中应用此技术,证明了该技术的合理性、高效性。 展开更多
关键词 事务管理 数据库 连接池 并发访问 连接池管理
在线阅读 下载PDF
云计算中海量数据高效索引方法 被引量:6
8
作者 黄斌 彭宇行 彭小宁 《计算机应用研究》 CSCD 北大核心 2014年第10期3075-3077,共3页
针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问效率较低的问题,提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分... 针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问效率较低的问题,提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分布式B树。实验结果表明,它有效提高了云计算环境中海量、分布式的数据访问和索引效率。 展开更多
关键词 云计算 分布式B树 高效 分裂历史 并发访问
在线阅读 下载PDF
用户并发访问过程的系统负载分析模型 被引量:2
9
作者 刘茂诚 刘展 +2 位作者 袁海兰 王永刚 时盛堂 《西安石油大学学报(自然科学版)》 CAS 2008年第3期92-95,共4页
构建了用户并发访问过程的系统负载分析模型.首先建立用户与应用的对应关系及访问权限矩阵,作为原始数据模型;然后按每个用户并发访问应用的次数建立访问频度矩阵.在访问频度矩阵中增加负载因子,生成系统负载矩阵,即分析模型,并分别以... 构建了用户并发访问过程的系统负载分析模型.首先建立用户与应用的对应关系及访问权限矩阵,作为原始数据模型;然后按每个用户并发访问应用的次数建立访问频度矩阵.在访问频度矩阵中增加负载因子,生成系统负载矩阵,即分析模型,并分别以用户和应用为主线进行了相应的量化分析,最后用实例验证了模型的有效性. 展开更多
关键词 并发访问 系统负载 分析模型 访问权限 访问频度
在线阅读 下载PDF
基于Boost. Asio的智能车载终端数据采集系统 被引量:5
10
作者 刘静 吴仲城 +2 位作者 李芳 张春风 陈杰 《计算机应用与软件》 北大核心 2018年第2期248-255,共8页
随着车联网与大数据技术的发展,车辆管理服务平台架构由传统的分散式、本地化,走向集中式、扁平化,平台端资源消耗越来越大,如何实现海量车载终端数据的高并发实时采集是一个亟待解决的问题。针对该问题,提出基于Boost.Asio网络通信库... 随着车联网与大数据技术的发展,车辆管理服务平台架构由传统的分散式、本地化,走向集中式、扁平化,平台端资源消耗越来越大,如何实现海量车载终端数据的高并发实时采集是一个亟待解决的问题。针对该问题,提出基于Boost.Asio网络通信库的解决方案。该方案以前后端分离的方式,将数据采集与数据解析分开实现,利用Boost.Asio的前摄器模式实现高并发的数据采集,利用Kafka消息队列提高系统可扩展性,并结合线程池及智能指针技术,对传统数据采集系统中数据量大、种类多带来的资源占用高问题进行了改进。实验结果表明,该系统在有大量连接的情况下,内存占用较少,连接稳定,数据无丢失,保证了数据采集的质量和可靠性。 展开更多
关键词 车联网大数据 采集高并发 Boost.AsioKafka 终端接入
在线阅读 下载PDF
一种异地协同设计中的安全策略 被引量:3
11
作者 哈进兵 张友良 《工程设计学报》 CSCD 2001年第1期17-20,共4页
异地协同设计是典型的多用户参与的多任务系统 ,用户之间存在大量的协作过程。安全性是协同设计实施的关键问题。基于广域网协同设计系统的特点 ,提出了基于角色的多层强制访问控制和基于信息流的访问控制相结合的安全模型 。
关键词 访问控制 信息流 异地协同设计 并行工程 工程设计 安全性
在线阅读 下载PDF
并行设计中的访问控制 被引量:3
12
作者 哈进兵 张友良 《机械科学与技术》 EI CSCD 北大核心 2001年第5期773-775,共3页
网上并行设计是典型的多用户参与的多任务系统 ,用户之间存在大量的协作过程。安全性是并行设计实施的关键问题。本文基于广域网并行设计系统的特点 ,提出了多层强制访问控制和基于信息流的访问控制相结合的安全模型 ,讨论了该模型下的... 网上并行设计是典型的多用户参与的多任务系统 ,用户之间存在大量的协作过程。安全性是并行设计实施的关键问题。本文基于广域网并行设计系统的特点 ,提出了多层强制访问控制和基于信息流的访问控制相结合的安全模型 ,讨论了该模型下的安全策略。 展开更多
关键词 访问控制 并行设计 信息流 产品设计
在线阅读 下载PDF
一种动态共享数据结构的并发访问控制分析方法 被引量:1
13
作者 张伟 张昱 +1 位作者 汪晨 付小朋 《中国科学技术大学学报》 CAS CSCD 北大核心 2011年第2期164-172,共9页
共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,该方法采用形状图对程序运行时的动态数据结构和指针变量关系... 共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,该方法采用形状图对程序运行时的动态数据结构和指针变量关系建立抽象,通过形状图推导完成对共享单元的访问控制分析.程序员只需要声明指针及指向单元的共享性和数据结构形状特征,编译器利用本文中的方法分析得到共享单元的访问控制点,并添加使用互斥锁进行访问控制的代码. 展开更多
关键词 并行编程 程序分析 访问控制 形状图
在线阅读 下载PDF
访问权限实时更新的模型与实现 被引量:3
14
作者 晏立 朱宏伟 《计算机应用》 CSCD 北大核心 2007年第11期2712-2714,共3页
为了保证在动态环境下信息系统的安全性,需要一个良好的访问控制模型,对访问控制策略的实时变化立即作出反映,并采取必要的措施。描述了一种支持访问权限实时更新的访问控制模型和实现,并进行了并发性分析。在这种模型中,访问权限实时... 为了保证在动态环境下信息系统的安全性,需要一个良好的访问控制模型,对访问控制策略的实时变化立即作出反映,并采取必要的措施。描述了一种支持访问权限实时更新的访问控制模型和实现,并进行了并发性分析。在这种模型中,访问权限实时更新的并发控制算法简单且易于实现。在并发环境中,多个主体读写数据和修改访问控制策略并互相影响时,可直接应用该模型与算法。 展开更多
关键词 信息安全 访问控制 实时更新 并发控制
在线阅读 下载PDF
基于JSP技术的研究生导师聘期量化考核系统的设计 被引量:3
15
作者 卢兆银 杨海君 《中南林业科技大学学报》 CAS CSCD 北大核心 2007年第4期134-141,共8页
为方便研究生指导教师快速、准确地填写考核信息和考核单位全面、快速地掌握考核导师信息,逐步推进研究生导师考核信息化建设和管理,针对高校研究生指导教师聘期量化考核的需要,依据研究生指导教师聘期量化考核指标,以Tomcat为web服务器... 为方便研究生指导教师快速、准确地填写考核信息和考核单位全面、快速地掌握考核导师信息,逐步推进研究生导师考核信息化建设和管理,针对高校研究生指导教师聘期量化考核的需要,依据研究生指导教师聘期量化考核指标,以Tomcat为web服务器,Eclipse为集成开发平台,MySQL为数据库服务器,Internet Explorer为客户端,Microsoft Windows 2000为操作系统平台,采用JSP技术设计了导师聘期考核系统,探讨了研究生指导教师聘期量化考核系统的实现.其结论对高校教师考核有一定的指导作用. 展开更多
关键词 研究生指导教师 JSP MYSQL 访问控制 并发控制 考核
在线阅读 下载PDF
一种支持高效并发访问的移动对象索引 被引量:1
16
作者 赵亮 陈荦 +1 位作者 景宁 钟志农 《国防科技大学学报》 EI CAS CSCD 北大核心 2010年第3期53-59,共7页
针对移动对象当前及未来位置索引不能有效支持多用户并发访问的问题,提出了一种支持高效并发访问的移动对象索引CS2B-tree(Concurrent Space-filling curve enabled Cache Sensitive B+-tree)。该索引结合了Bx-tree和CSB+-tree的特点,... 针对移动对象当前及未来位置索引不能有效支持多用户并发访问的问题,提出了一种支持高效并发访问的移动对象索引CS2B-tree(Concurrent Space-filling curve enabled Cache Sensitive B+-tree)。该索引结合了Bx-tree和CSB+-tree的特点,因而能够支持对移动对象进行预测查询且具有缓存敏感特性。重点研究了一种针对CS2B-tree的两层锁并发访问机制,特别是设计了一种网格锁备忘录结构,使得索引能够支持多任务并发执行。基于并发访问机制,分别提出了CS2B-tree的并发更新算法及并发预测范围查询算法。实验表明,相对于Bx-tree,CS2B-tree的并发访问的吞吐量提高了15.1%,响应时间减少了14.9%。 展开更多
关键词 移动对象索引 并发访问 缓存敏感
在线阅读 下载PDF
利用非对称锁的高并发NVM存储系统 被引量:2
17
作者 蔡涛 刘佩瑶 +3 位作者 王杰 牛德姣 贺庆建 陈志鹏 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2020年第2期67-74,共8页
为了提高非易失性存储系统并发执行访问请求的能力,针对存储设备中的读写访问请求、文件数据和元数据的不同特性,设计了基于区间锁的文件数据并发写策略、基于读拷贝修改的文件数据读写并发策略和基于最小自旋锁的元数据同步策略,以提... 为了提高非易失性存储系统并发执行访问请求的能力,针对存储设备中的读写访问请求、文件数据和元数据的不同特性,设计了基于区间锁的文件数据并发写策略、基于读拷贝修改的文件数据读写并发策略和基于最小自旋锁的元数据同步策略,以提高访问请求执行的并发度;实现了利用非对称锁的高并发非易失存储系统原型,使用通用测试工具和方法进行了测试与分析,验证所实现的原型系统相比PMFS能提高40%~162%的吞吐率和61%~159%的每秒输入输出量。 展开更多
关键词 非易失性存储器 区间锁 并发访问
在线阅读 下载PDF
基于角色权限的业务过程协同建模方法 被引量:4
18
作者 王博 张莉 《计算机工程》 CAS CSCD 北大核心 2009年第13期14-16,共3页
分析企业业务过程的特点,提出一种基于角色权限控制的业务过程协同建模方法,通过过程模型的拆分来分解复杂建模任务,确定自顶向下的协同建模步骤,利用基于角色权限控制机制实现业务过程建模人员与访问权限的逻辑分离,在协同建模机制中... 分析企业业务过程的特点,提出一种基于角色权限控制的业务过程协同建模方法,通过过程模型的拆分来分解复杂建模任务,确定自顶向下的协同建模步骤,利用基于角色权限控制机制实现业务过程建模人员与访问权限的逻辑分离,在协同建模机制中引入修改锁、冻结锁以及4条加锁规则。仿真实验结果表明,该方法是有效可行的。 展开更多
关键词 业务过程模型 模型分解 协同建模 角色权限 并发访问控制
在线阅读 下载PDF
协同三维几何建模动态访问技术研究 被引量:1
19
作者 罗天洪 陈小安 方义平 《计算机应用研究》 CSCD 北大核心 2009年第5期1636-1638,1644,共4页
为解决协同设计过程中几何模型的动态访问问题,提出一种基于W eb的协同设计环境下三维几何建模动态访问的分布式体系结构、异类CAD系统之间的动态数据交换组织模式。同时,提出一种面向对象的基于优先权限的乐观并发控制协议,保证模型动... 为解决协同设计过程中几何模型的动态访问问题,提出一种基于W eb的协同设计环境下三维几何建模动态访问的分布式体系结构、异类CAD系统之间的动态数据交换组织模式。同时,提出一种面向对象的基于优先权限的乐观并发控制协议,保证模型动态访问在各站点操作的执行结果之间的一致性。在这些技术的共同作用下实现了协同三维几何建模动态访问技术,并通过具体实例验证了该技术的可行性。 展开更多
关键词 协同设计 动态访问 并发控制
在线阅读 下载PDF
透明存取和数据库并行操作的分布式系统模型 被引量:1
20
作者 钟诚 《广西大学学报(自然科学版)》 CAS CSCD 1998年第2期146-149,共4页
提出一个支持并发处理和透明存取的分布式系统模型,并讨论数据分布策略和支持数据库并行操作的数据组织方法.这一计算模式适宜于“企业级”分布式网络信息系统的设计与建设.
关键词 分布式系统 并发处理 透明存取 数据库 并行操作
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部