期刊文献+
共找到42篇文章
< 1 2 3 >
每页显示 20 50 100
改进的基于区域卷积神经网络的微操作系统目标检测方法 被引量:16
1
作者 彭刚 杨诗琪 +1 位作者 黄心汉 苏豪 《模式识别与人工智能》 EI CSCD 北大核心 2018年第2期142-149,共8页
传统的目标检测方法不能有效检测微操作系统中部分受遮挡或多种姿态的目标,因此文中采用改进的基于区域卷积神经网络的Faster-RCNN检测算法,用于微操作系统中部分受遮挡或多种姿态的目标检测.在原始Faster-RCNN的基础上,使用在图像分类... 传统的目标检测方法不能有效检测微操作系统中部分受遮挡或多种姿态的目标,因此文中采用改进的基于区域卷积神经网络的Faster-RCNN检测算法,用于微操作系统中部分受遮挡或多种姿态的目标检测.在原始Faster-RCNN的基础上,使用在图像分类任务中性能优越的深度残差网络作为检测算法的主框架,并且引入防止正负样本不均衡的在线困难样本挖掘策略以提高网络性能.实验表明,这种改进的基于区域卷积神经网络方法能有效识别部分受遮挡和不同姿态的目标,相比传统方法,文中方法对环境适应性更强,速度更快,具有实际应用价值. 展开更多
关键词 微操作系统 目标检测 区域卷积神经网络 深度残差网络 在线困难样本挖掘
下载PDF
操作系统对象语义模型(OSOSM)及形式化验证 被引量:11
2
作者 钱振江 刘苇 黄皓 《计算机研究与发展》 EI CSCD 北大核心 2012年第12期2702-2712,共11页
操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系... 操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性. 展开更多
关键词 操作系统对象 语义模型 形式化设计 安全性验证 Isabelle定理证明
下载PDF
基于可信计算平台的静态客体可信验证系统的设计与实现 被引量:4
3
作者 谭良 周明天 《计算机科学》 CSCD 北大核心 2008年第2期253-255,300,共4页
在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性。但是,传统的访问控制政策不能保证静态客体内容的真实性。因此,安全操作系统中的客体并不可信。本文首先分析了操作系统中客体的类型,总结了安全操... 在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性。但是,传统的访问控制政策不能保证静态客体内容的真实性。因此,安全操作系统中的客体并不可信。本文首先分析了操作系统中客体的类型,总结了安全操作系统中对静态客体的处理存在的问题,提出可信静态客体的概念并分析其特点。为了保证可信静态客体内容的真实性,提出了基于TPM的静态客体可信验证系统。该系统将生成可信静态客体的映像文件,映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中。最后对该可信验证系统进行了安全和性能分析。分析表明,该可信验证系统可以保证可信静态客体内容的真实性,为进一步建立可信计算环境提供了基础。 展开更多
关键词 安全操作系统 客体 可信操作系统 可信静态客体 可信动态客体 可信客体 可信计算平台
下载PDF
基于Petri网结构的多处理机实时操作系统 被引量:1
4
作者 任爱华 杜悦冬 《软件学报》 EI CSCD 北大核心 2001年第7期1064-1073,共10页
多处理机环境下的实时系统具有并发事件驱动性质 ,其软件结构展现了多重同步点以及生产者与消费者之间的关系 ,这导致了复杂的控制结构 .对于此类系统软件的开发缺少标准的方法和工具 ,造成了软件低效、程序结构不清晰、开发成本高、维... 多处理机环境下的实时系统具有并发事件驱动性质 ,其软件结构展现了多重同步点以及生产者与消费者之间的关系 ,这导致了复杂的控制结构 .对于此类系统软件的开发缺少标准的方法和工具 ,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现 .根据Petri网易于描述并行 并发现象的特点 ,采用它来解决多处理机软件的描述问题 ,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法 .该方法基于两种程序设计级别 :任务级和作业级 .前者负责描述基本操作 ,由单一控制线程完成 ;后者用于并行 并发程序建模 ,由整个多处理机系统来执行 .在作业级程序设计中 ,用户采用面向对象Petri网来描述并行程序结构 ,以建立系统模型 .该方法以一种接近于程序员的思维方式去设计并发软件 ,提供了一种可靠的并行结构的程序 .阐述了支持此种程序设计方法的操作系统结构及其实现原理 . 展开更多
关键词 多处理机 PETRI网 面向对象 实时操作系统 软件系统
下载PDF
基于客户机/服务器结构的网络系统设计与开发 被引量:2
5
作者 刘凤连 《天津商学院学报》 2001年第3期22-25,共4页
主要介绍一种切实可行的、适合大多数数据库应用系统设计的、基于客户机 /服务器结构的计算机网络系统设计与开发实施方案。
关键词 客户机 服务器 数据库 操作系统 面向对象 网络系统设计
下载PDF
HL-2M装置反馈控制系统的设计 被引量:5
6
作者 张国辉 夏凡 +4 位作者 宋显明 罗萃文 宋啸 赵丽 廖敏 《核聚变与等离子体物理》 CAS CSCD 北大核心 2011年第4期332-338,共7页
简要描述HL-2M控制系统的概念设计,主要对其中反馈控制部分作了介绍,重新编写了反馈控制程序。为了满足HL-2M装置对控制系统的进一步要求,重新设计了反馈控制系统程序。对其中一些功能的实现方法进行了设计改进,引入了由反射内存卡构建... 简要描述HL-2M控制系统的概念设计,主要对其中反馈控制部分作了介绍,重新编写了反馈控制程序。为了满足HL-2M装置对控制系统的进一步要求,重新设计了反馈控制系统程序。对其中一些功能的实现方法进行了设计改进,引入了由反射内存卡构建的实时通讯网络,并以此通讯网络为基础进行了反馈控制系统的架构布局。在Linux操作系统中,利用以前放电的实验数据,模拟测试了新的反馈控制系统。测试结果良好,满足预期要求。 展开更多
关键词 反馈控制系统 LINUX操作系统 面向对象 反射内存
下载PDF
基于Windows CE.Net 4.2嵌入式操作系统多媒体播放器的应用研究 被引量:4
7
作者 王旭东 徐刚 《微计算机信息》 北大核心 2006年第06Z期77-79,共3页
本文介绍了基于WindowsCE.Net4.2嵌入式操作系统,运用eMbeddedVisualC++4.0软件开发一款功能较为齐全的嵌入式多媒体视频/音频播放器的完整流程。相对于一般的嵌入式播放器,本文设计的播放器可以播放目前比较流行的各种媒体文件格式。... 本文介绍了基于WindowsCE.Net4.2嵌入式操作系统,运用eMbeddedVisualC++4.0软件开发一款功能较为齐全的嵌入式多媒体视频/音频播放器的完整流程。相对于一般的嵌入式播放器,本文设计的播放器可以播放目前比较流行的各种媒体文件格式。播放界面友好方便,可在手持式或嵌入式终端设备中实际应用。 展开更多
关键词 嵌入式操作 eMbedded Visual C++4.0 集成开发环境 多媒体控件
下载PDF
可信操作系统中可信客体的研究 被引量:3
8
作者 谭良 《计算机应用》 CSCD 北大核心 2008年第5期1186-1189,共4页
首先分析了操作系统中客体的类型,将客体分为静态客体和动态客体,然后总结了安全操作系统中对客体的处理存在的问题。在此基础路上,提出可信静态客体、可信动态客体和可信客体的概念,并分析了可信客体的特点以及与安全客体的关系。最后... 首先分析了操作系统中客体的类型,将客体分为静态客体和动态客体,然后总结了安全操作系统中对客体的处理存在的问题。在此基础路上,提出可信静态客体、可信动态客体和可信客体的概念,并分析了可信客体的特点以及与安全客体的关系。最后,提出了在可信操作系统客体的可信需求。为我们下一步将要开展的工作奠定基础。 展开更多
关键词 安全操作系统 客体 可信操作系统 可信静态客体 可信动态客体 可信客体
下载PDF
Linux通用访问控制框架的设计 被引量:4
9
作者 沈熙 谢俊元 《计算机工程与应用》 CSCD 北大核心 2003年第11期114-116,共3页
访问控制是用来处理主体和客体之间交互的限制,是安全操作系统最重要的功能之一。Linux系统中所采用的访问控制是传统UNIX的基于访问模式位的单一的自主访问控制,在实现这一功能时,系统的访问控制代码散列在核心中,没有形成统一的访问... 访问控制是用来处理主体和客体之间交互的限制,是安全操作系统最重要的功能之一。Linux系统中所采用的访问控制是传统UNIX的基于访问模式位的单一的自主访问控制,在实现这一功能时,系统的访问控制代码散列在核心中,没有形成统一的访问控制模块和相应的接口,不支持策略与机制的分离,缺乏相应的灵活性、扩充性以及易维护性,无法定制化系统的访问控制策略。而在当前以分布式计算作为主导计算模式的背景之下,Linux系统中原有的访问控制是无法满足信息处理系统的日益多样化安全需求。针对上述Linux系统中访问控制机制的缺陷,该文引入了一种通用的访问控制框架称之为Linux通用访问控制框架。该框架是一种与具体的访问控制策略无关的体系结构,支持系统的访问控制策略和机制的分离,与传统的Linux访问控制相比,它借助于在Linux核心系统中得到广泛应用的框架式抽象数据类型,提供了一个一致的、抽象的访问控制接口从而对多种访问控制策略如强制访问控制、基于角色的访问控制等加以支持。在该框架之下,用户甚至可以提供自己的访问控制策略模块,以获得具有更高的灵活性、扩充性和易维护性的系统访问控制机制。同时,由于该框架的引入,系统的访问控制策略模块可以与系统其它部分相分离,从而有利于系统访问控制的结构化? 展开更多
关键词 LINUX 安全操作系统 主体 客体 访问控制
下载PDF
基于可信计算平台的可信动态客体监管系统的设计与实现 被引量:1
10
作者 谭良 周明天 《计算机科学》 CSCD 北大核心 2008年第1期281-284,F0003,共5页
大部分安全操作系统在处理客体时,没有区分具体的客体类型,均采用统一的方法进标识,而且多数安全操作系统中采用传统访问控制方法保护的客体均是静态客体,忽略了对动态客体的保护,使得黑客或攻击者可以进行欺骗和中间人攻击,因此,安全... 大部分安全操作系统在处理客体时,没有区分具体的客体类型,均采用统一的方法进标识,而且多数安全操作系统中采用传统访问控制方法保护的客体均是静态客体,忽略了对动态客体的保护,使得黑客或攻击者可以进行欺骗和中间人攻击,因此,安全操作系统中的动态客体并不可信。首先分析了操作系统中客体的类型,提出了可信动态客体的概念,并分析了其特点。为了防止动态客体泄露信息,提出了基于TPM的可信动态客体监管系统。一方面,该系统要求主体必须在TPM中注册,确保主体身份合法性,才能利用可信动态客体进行信息传递;另一方面,在TPM中必须存储创建该可信动态客体的属主的身份信息,以确保可信动态客体身份的合法性。最后进行了安全和性能分析,分析表明该可信动态客体监管系统可以阻止黑客利用动态客体进行欺骗和中间人攻击,防止信息泄露,为进一步建立可信计算环境提供了基础。 展开更多
关键词 安全操作系统 客体 可信操作系统 可信动态客体 可信计算平台
下载PDF
The Design of I/O Subsystem in Satellite Real-Time Microkernel Operating System 被引量:1
11
作者 Liu Xiaodong & Li Lianzhi (Dept. of Computer Science & Engineering, Harbin Institute of Technology, 150001, P. R. China) Qian Chunlai(Beijiing Institute of Radio Measurement, 100854, P. R. China) 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1998年第3期77-81,共5页
One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. Th... One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance. 展开更多
关键词 Satellite operating system I/O subsystem object-ORIENTED REAL-TIME
下载PDF
安全操作系统中基于客体的保护机制 被引量:1
12
作者 金雷 林志强 +1 位作者 茅兵 谢立 《计算机科学》 CSCD 北大核心 2003年第10期93-95,共3页
操作系统的安全是所有计算机系统安全的基础.访问控制是计算机保护尤其是操作系统保护中极其重要的一环.在访问控制中,对其访问必须进行控制的资源称为客体,同理,必须控制它对客体的访问的活动资源称为主体.
关键词 安全操作系统 客体 保护机制 进程程序 访问控制 计算机
下载PDF
一种适用于微型PLC的嵌入式操作系统设计 被引量:2
13
作者 廖义奎 李智 +2 位作者 周娟 李为民 韦卫星 《测控技术》 CSCD 北大核心 2012年第1期79-82,共4页
为了解决通用嵌入式操作系统在微型PLC设计上的不足,提出一种适用于微型PLC的面向对象嵌入式操作系统设计方案。该系统由内核、PLC解释器、I/O存储空间映射、驱动程序等部分组成,其中内核又由工厂、事件管理、用户接口以及任务管理等模... 为了解决通用嵌入式操作系统在微型PLC设计上的不足,提出一种适用于微型PLC的面向对象嵌入式操作系统设计方案。该系统由内核、PLC解释器、I/O存储空间映射、驱动程序等部分组成,其中内核又由工厂、事件管理、用户接口以及任务管理等模块组成。其特点是采用面向对象、模板以及设计模式的方式编程,从底层提供对微型PLC设计的优化,提供动态内存分配与自动回收功能和内存与I/O口的映射功能,且内嵌PLC解释器。经过测试表明该嵌入式操作系统可满足微型PLC的设计要求。 展开更多
关键词 微型PLC 嵌入式操作系统 PLC解释器 面向对象 任务管理
下载PDF
一个安全操作系统的通用审计框架
14
作者 夏耐 茅兵 谢立 《计算机科学》 CSCD 北大核心 2004年第7期148-152,共5页
本文首先介绍了审计的基本概念和本文所描述工作所基于的项目背景。然后切入本文的重点——一个按照POSIX1003.1e标准,通用的安全操作系统审计框架的设计工作,以及此框架按照GB 17859-1999第三级别要求在一个Linux安全增强的操作系统上... 本文首先介绍了审计的基本概念和本文所描述工作所基于的项目背景。然后切入本文的重点——一个按照POSIX1003.1e标准,通用的安全操作系统审计框架的设计工作,以及此框架按照GB 17859-1999第三级别要求在一个Linux安全增强的操作系统上的具体实现工作。同时本文比较了国内相似的工作,分析了整个审计框架的优点与不足,并展望了将来的工作。 展开更多
关键词 安全操作系统 通用审计框架 POSIX1003.1e标准 日志 主体 客体 事件相关信息
下载PDF
基于SELinux系统安全模块的应用分析 被引量:1
15
作者 黄辉德 《电子技术(上海)》 2020年第11期158-159,共2页
基于内核2.6Linux操作系统环境,阐述SELinux的工作原理,分析安全的上下文格式及作用、安全策略的设置、SELinux灵活配置服务、从而提高Linux网络操作系统的安全性。
关键词 操作系统 主体对象 安全上下文 信息安全
原文传递
基于数据对象规模的Rank级内存分配方法 被引量:1
16
作者 钟祺 王晶 +2 位作者 管雪涛 黄涛 王克义 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期672-680,共9页
利用主存的多bank/rank/channel结构挖掘访存并行性和局部性,是提高系统性能的重要手段.相关研究工作通过sub-rank技术增加可并行工作的存储资源,或在并行程序之间对bank划分,以隔离访存冲突.但上述方法没有考虑在bank/rank资源共存的... 利用主存的多bank/rank/channel结构挖掘访存并行性和局部性,是提高系统性能的重要手段.相关研究工作通过sub-rank技术增加可并行工作的存储资源,或在并行程序之间对bank划分,以隔离访存冲突.但上述方法没有考虑在bank/rank资源共存的情况下,单个程序内部数据对象间的冲突问题.通过观察数据在主存中的分布,发现程序的数据倾向聚簇于单个rank中,并提出了一种基于数据对象规模的rank级内存分配方法(data object scale aware rank-level memory allocation,DSRA).DSRA将冲突开销较大的数据对象分散到不同的rank,利用增长的bank/rank资源提高访存性能.DSRA工作在操作系统层,基于编译器和操作系统提供的信息来分析数据对象间的冲突开销,既不用修改源码,也不依赖特殊的底层硬件.基于2款真实处理器对来自NAS Benchmark和SPEC CPU2000中的存储敏感型基准测试程序进行评测.结果表明,在不影响cache失效率的情况下,DSRA通过减少主存访问周期数,可以降低程序的执行时间.与已有的优化技术相比,性能平均提高6.8%,最高性能提升幅度为16%. 展开更多
关键词 访存冲突 操作系统 rank聚簇 内存分配 数据对象
下载PDF
OO运行支撑技术在PDA手机软件平台中的应用 被引量:1
17
作者 冯庆 桑楠 《计算机工程与应用》 CSCD 北大核心 2005年第11期87-90,共4页
为增强软件的复用性、可移植性,缩短开发周期,面向对象的运行支撑技术是主要的实现途径之一。该文针对PDA手机领域提出一种嵌入式小程序运行支撑平台,并且对该平台的设计和实现进行了探讨并得出结论。
关键词 嵌入式组件 中间件 运行支撑框架 组件接口 嵌入式操作系统 面向对象
下载PDF
一种面向应用的开放式并行操作系统的设计原理
18
作者 曾小平 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期34-39,共6页
设计了一个能降低系统自举时间,避免系统调用瓶颈、容错、动态可变以及面向应用的开放式并行操作系统.系统范围的消息传递是低延迟高效率的.把并行操作系统设计成一族程序模块,并行应用是这个族不可缺少的组成部分。
关键词 并行操作系统 面向对象 开放式 操作系统 设计
下载PDF
农村初等职业教育体系的构建与完善
19
作者 马爱林 鲍新红 《河北科技师范学院学报(社会科学版)》 2006年第4期88-91,共4页
大力发展职业教育是国家的一项重大举措,在农村生产力水平不是很高的条件下,如何立足农村剩余劳动力整体文化程度偏低、数量庞大的实际,科学调整职业教育的结构,降低职业教育重心,建立以初等职业教育为基础,逐步形成学校学历教育、技能... 大力发展职业教育是国家的一项重大举措,在农村生产力水平不是很高的条件下,如何立足农村剩余劳动力整体文化程度偏低、数量庞大的实际,科学调整职业教育的结构,降低职业教育重心,建立以初等职业教育为基础,逐步形成学校学历教育、技能培训、专项训练相结合,与不同形式的培训机构结合的网络,吸引更多的农民积极参与职业培训,形成与市场需求和劳动就业紧密结合的结构合理、灵活开放、特色鲜明、自主发展的现代初等职业教育体系显得尤为重要。 展开更多
关键词 初等职业教育 分类运作体系 教育对象
下载PDF
访问控制策略语言—EGACPL
20
作者 李星 李曦 高妍妍 《计算机系统应用》 2010年第3期39-44,共6页
随着访问控制技术的发展以及安全需求的多样化,访问控制模型的组合应用日益成为安全操作系统设计的重要目标,由此对策略描述语言提出了统一易用的新要求。通过对现有安全策略语言和访问控制模型的研究,设计了一种应用于安全操作系统领... 随着访问控制技术的发展以及安全需求的多样化,访问控制模型的组合应用日益成为安全操作系统设计的重要目标,由此对策略描述语言提出了统一易用的新要求。通过对现有安全策略语言和访问控制模型的研究,设计了一种应用于安全操作系统领域的访问控制策略语言EGACPL(Easily Use andGeneral Access Control Policy language)。EGACPL采用结构化以及面向对象的设计思想,便于开发者理解和使用;统一描述策略元素和安全规则,支持多种访问控制模型,体现了良好的通用性。 展开更多
关键词 安全操作系统 访问控制 策略语言 面向对象
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部