期刊文献+
共找到124篇文章
< 1 2 7 >
每页显示 20 50 100
RSSI Enhanced Microkernel-Based LBS Design 被引量:1
1
作者 Tingyan Xing Shang Zhang Fan Zhang 《Journal of Geographic Information System》 2014年第2期109-114,共6页
Geographical Information System (GIS) always plays an integral role in LBS systems. But it comes with technology problems, such as less flexible, low efficiency, no redundancy of existing geographic information of app... Geographical Information System (GIS) always plays an integral role in LBS systems. But it comes with technology problems, such as less flexible, low efficiency, no redundancy of existing geographic information of application configuration which has high entry cost. At same time, indoors positioning is attracting more and more attention from research domain where GPS-like systems do not work. By RSSI location fingerprint data that sampling from the actual WSN environment, this article analyzed RF signal propagation characteristics in indoor from the point of view of the indoor positioning, and analyzed some factors that may affect the positioning error, which provided a theoretical basis for the positioning algorithm design and positioning system deployment. The aim of this paper is also to present a lightweight, efficient and scalable microkernel plug-in geospatial information application system and its implementation method for GIS in LBS design and practice. In this paper a software model called Resource loading manager (RLM) is designed. Through the RLM efficient allocation of geographic information resources and security management could be achieved. 展开更多
关键词 RLM microkernel LBS GIS
下载PDF
IPC Mechanisms in Satellite Real-Time Microkernel Operating System
2
作者 刘晓冬 李莲治 +1 位作者 郭福顺 朱力群 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 1998年第4期72-75,共4页
One of the most important features of modem minor satellites is to realize autonomous moving. The perfomance of the satellite autonomous computer operating system acting as the control center is of utrnost importance.... One of the most important features of modem minor satellites is to realize autonomous moving. The perfomance of the satellite autonomous computer operating system acting as the control center is of utrnost importance. The recent trend in operating system development is adopting microkernel architecture that holds such advantages as microminiaturization, modularity, portability and extendibility. IPC is the key of microkernel design. Message-based IPC mechanism is generally used in existing microkernel Operating system. It is of consistency, safety and reliability.However, it can not provide efficient support for real-time applications in satellite systems and it only applies to loose coupling multi-processor architecture. In this paper, an improvement solution for existing message-based IPC is proposed at first to obtain real-time performance. Then a new IPC mechanism is designed. It particulary applies to shared memory tight coupling multi-processor architecture. 展开更多
关键词 SATELLITE microkernel REAL-TIME IPC MECHANISM MESSAGE
下载PDF
Microkernel Development for Embedded Systems
3
作者 Rodrigo Maximiano Antunes de Almeida Luis Henrique de Carvalho Ferreira Carlos Henrique Valério 《Journal of Software Engineering and Applications》 2013年第1期20-28,共9页
This paper presents the development of a microkernel with a device driver controller for embedded systems. The implementation was done in C language aiming low cost microcontrollers. The proposed system allowed to per... This paper presents the development of a microkernel with a device driver controller for embedded systems. The implementation was done in C language aiming low cost microcontrollers. The proposed system allowed to perform soft real-time activities while keeping the drivers and the application isolated by a secure layer. The callback system proved itself extremely simple to use while still maintaining the security of the system regarding the temporal constraints. 展开更多
关键词 Embedded Systems microkernel Device DRIVER CONTROLLER HARDWARE Devices CALLBACK
下载PDF
Microkernel and Middle-Ware Based GIS Platform Design
4
作者 Tingyan Xing Shang Zhang Fan Zhang 《Positioning》 2014年第2期53-58,共6页
By contrasting the traditional way in which GIS was completed that comes with less flexible, low efficiency, and lack redundancy which cause high entry cost, the fast development of microkernel plug-in technology prov... By contrasting the traditional way in which GIS was completed that comes with less flexible, low efficiency, and lack redundancy which cause high entry cost, the fast development of microkernel plug-in technology provides the lightweight, efficient and scalable solution to Geographical Information System (GIS). This paper is to reveal the potential of microkernel plug-in geospatial information processing technology in GIS design and practice, with the acceptance and usage of function model called Resource loading manager(RLM) for GIS applications, which provides a possible solution to overcome the GIS’s high cost issue. After the short review of microkernel plug-in technology, the possibility of GIS design with microkernel is analyzed. This paper also introduced the composition of the whole system and the design of GIS service platform based on middle-ware in detail. 展开更多
关键词 microkernel LBS MIDDLE RLM
下载PDF
基于Isabelle/HOL的文件系统形式化设计与验证
5
作者 王文斌 钱振江 +4 位作者 靳勇 孙高飞 邢晓双 苏超 孙天琦 《计算机工程》 CAS CSCD 北大核心 2024年第4期277-285,共9页
对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工... 对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。 展开更多
关键词 形式化验证 文件系统 定理证明 有限状态机 微内核
下载PDF
The Value of a Small Microkernel for Dreamy Memory and the RAMpage Memory Hierarchy
6
作者 Philip Machanick 《Journal of Computer Science & Technology》 SCIE EI CSCD 2005年第5期586-595,共10页
This paper explores potential for the RAMpage memory hierarchy to use a microkernel with a small memory footprint, in a specialized cache-speed static RAM (tightly-coupled memory, TCM). Dreamy memory is DRAM kept in... This paper explores potential for the RAMpage memory hierarchy to use a microkernel with a small memory footprint, in a specialized cache-speed static RAM (tightly-coupled memory, TCM). Dreamy memory is DRAM kept in low-power mode, unless referenced. Simulations show that a small microkernel suits RAMpage well, in that it achieves significantly better speed and energy gains than a standard hierarchy from adding TCM. RAMpage, in its best 128KB L2 case, gained 11% speed using TCM, and reduced energy 14%. Equivalent conventional hierarchy gains were under 1%. While 1MB L2 was significantly faster against lower-energy cases for the smaller L2, the larger SRAM's energy does not justify the speed gain. Using a 128KB L2 cache in a conventional architecture resulted in a best-case overall run time of 2.58s, compared with the best dreamy mode run time (RAMpage without context switches on misses) of 3.34s, a speed penalty of 29%. Energy in the fastest 128KB L2 case was 2.18J vs. 1.50J, a reduction of 31%. The same RAMpage configuration without dreamy mode took 2.83s as simulated, and used 2.393, an acceptable trade-off (penalty under 10%) for being able to switch easily to a lower-energy mode. 展开更多
关键词 low-power design main memory virtual memory cache memories microkernels
原文传递
基于微内核设计思想的软件应用框架设计
7
作者 董强 许长霞 《火力与指挥控制》 CSCD 北大核心 2023年第6期131-137,共7页
软件应用框架为各类软件产品提供一个“骨架”,对不同类型功能模块的整体性封装,提供发布、通信、调度、流程控制等服务,呈现出软件产品整体效果。提出一种基于微内核设计思想的软件应用框架设计方法,阐述微内核的优势,对软件应用框架... 软件应用框架为各类软件产品提供一个“骨架”,对不同类型功能模块的整体性封装,提供发布、通信、调度、流程控制等服务,呈现出软件产品整体效果。提出一种基于微内核设计思想的软件应用框架设计方法,阐述微内核的优势,对软件应用框架的内核服务进行抽取、设计,剖析其核心工作流程。利用该方法能够增强软件产品的稳定性,降低各组件之间的耦合度、提高系统的可扩展性、提升团队协作开发效率。 展开更多
关键词 微内核 组件 服务 软件应用框架
下载PDF
一种面向微内核操作系统的权能机制设计
8
作者 姜博 张艺川 +3 位作者 易力 王雷 姜哲 邹仕洪 《小型微型计算机系统》 CSCD 北大核心 2023年第11期2610-2618,共9页
当今主流操作系统通常采用访问控制列表的方式进行权限管理,但对于现实中多级权限传递的场景,由于用户主体和资源客体数量庞大,访问控制列表方式无法解决代理混淆问题.权能是对操作系统中进程所拥有的资源的一种描述.一方面,进程在访问... 当今主流操作系统通常采用访问控制列表的方式进行权限管理,但对于现实中多级权限传递的场景,由于用户主体和资源客体数量庞大,访问控制列表方式无法解决代理混淆问题.权能是对操作系统中进程所拥有的资源的一种描述.一方面,进程在访问某个资源前必须获得该资源的权能;另一方面,进程只能访问其权能空间中的资源.采用权能访问机制的操作系统能避免进程对资源的访问越界,实现了系统安全范畴中的权限细粒度化、特权最小化原则.本工作基于一个已有的微内核操作系统MOS,设计并实现了权能机制和基于权能机制的用户态C库函数;在用户态设计并实现了进程服务器和进程间通信接口;最后针对权能系统展开实验分析,以验证整体设计的正确性和有效性. 展开更多
关键词 权能 权限管理 微内核 操作系统
下载PDF
基于TCM的嵌入式可信终端系统设计 被引量:12
9
作者 李小将 梅栾芳 +1 位作者 师俊芳 陈娟 《计算机工程与设计》 CSCD 北大核心 2010年第4期733-735,808,共4页
针对目前各种嵌入式终端的安全需求,借鉴普通安全PC中TPM的应用情况,结合操作系统微内核技术,提出一种嵌入式可信终端设计方案,该方案基于可信根TCM,实现了自启动代码、操作系统到上层应用程序的"自下而上"的可信链传递,适用... 针对目前各种嵌入式终端的安全需求,借鉴普通安全PC中TPM的应用情况,结合操作系统微内核技术,提出一种嵌入式可信终端设计方案,该方案基于可信根TCM,实现了自启动代码、操作系统到上层应用程序的"自下而上"的可信链传递,适用于嵌入式终端的安全应用。最后,通过设计一个试验系统,重点阐述了可信启动的具体实现步骤,并分析了因此带来的性能变化。 展开更多
关键词 可信密码模块 嵌入式终端 微内核 可信根 可信链
下载PDF
服务体模型与操作系统内核设计技术 被引量:13
10
作者 李宏 陈香兰 +2 位作者 吴明桥 龚育昌 赵振西 《计算机研究与发展》 EI CSCD 北大核心 2005年第7期1272-1276,共5页
操作系统内核通常分为宏内核和微内核两类,前者可扩展性与可维护性很差,而后者效率低下,缺乏实用性.服务体模型是一种新型的操作系统构造模型,该模型使其存储抽象与运行抽象相分离,并采用一种新的基于消息推动的通信机制,既保持了微内... 操作系统内核通常分为宏内核和微内核两类,前者可扩展性与可维护性很差,而后者效率低下,缺乏实用性.服务体模型是一种新型的操作系统构造模型,该模型使其存储抽象与运行抽象相分离,并采用一种新的基于消息推动的通信机制,既保持了微内核模型灵活和可扩展性,又具有很高的运行效率.MiniCore是基于服务体模型的一个原型操作系统,通过将该操作系统应用于路由器硬件实验平台,以实例说明了所提出操作系统构造模型的优越性. 展开更多
关键词 操作系统 微内核 服务体 执行流
下载PDF
煎炸油及其加热产生的极性物质致突变性研究 被引量:17
11
作者 刘元法 穆昭 +2 位作者 单良 范柳萍 王兴国 《中国粮油学报》 EI CAS CSCD 北大核心 2010年第6期51-55,共5页
煎炸过程中,煎炸油发生了氧化、水解、聚合等反应发生,导致煎炸油中的极性物质含量升高。通过Ames试验和骨髓微核率试验对煎炸油及煎炸油中的极性物质的致突变性进行研究。在不加S9时,煎炸油中分离出的极性物质对鼠伤寒沙门氏菌TA100的... 煎炸过程中,煎炸油发生了氧化、水解、聚合等反应发生,导致煎炸油中的极性物质含量升高。通过Ames试验和骨髓微核率试验对煎炸油及煎炸油中的极性物质的致突变性进行研究。在不加S9时,煎炸油中分离出的极性物质对鼠伤寒沙门氏菌TA100的致基因突变作用并存在剂量反应关系y=14.992e0.27x,煎炸后煎炸油、加热后煎炸油以及极性物质对TA102都存在剂量反应关系分别为y=100.97e0.0736x、y=84.992e0.0936x、y=129.65e0.0567x,在加入S9后各试验组对TA97、TA100、TA102都存在剂量反应关系。极性物质导致小鼠骨髓多染红细胞的微核率升高,其中高剂量组(17.44±0.43)‰,并呈剂量反应关系y=3.455 3 lnx+22.979。煎炸油及其极性成分具有致突变作用。 展开更多
关键词 煎炸油 极性物质 致突变性Ames试验骨髓微核率
下载PDF
微核心操作系统的结构对性能的影响 被引量:16
12
作者 王世铀 郭福顺 臧天仪 《计算机研究与发展》 EI CSCD 北大核心 1999年第1期57-61,共5页
微核心操作系统是近些年出现的.它已成为操作系统的发展方向和趋势.微核心操作系统本身具有许多优点,但目前的一些微核心操作系统存在一个严重问题,即性能不佳.导致微核心操作系统性能不佳的主要原因是在实现微核心思想时所采用的... 微核心操作系统是近些年出现的.它已成为操作系统的发展方向和趋势.微核心操作系统本身具有许多优点,但目前的一些微核心操作系统存在一个严重问题,即性能不佳.导致微核心操作系统性能不佳的主要原因是在实现微核心思想时所采用的系统结构和实现技术不尽合理.文中分析了在微核心操作系统的结构方面存在着哪些影响系统性能的因素,以及它们是如何影响系统性能的.这些因素是在微核心技术的研究工作中应该认真考虑的问题. 展开更多
关键词 操作系统 微核心 结构 性能
下载PDF
奎屯地方性砷中毒病区长期干预后慢性砷中毒患者的转归 被引量:6
13
作者 魏丽 王国荃 +7 位作者 汪师贞 钱戌春 姚华 郑玉健 平小佳 张风娥 肖碧玉 康玲 《中国地方病学杂志》 CAS CSCD 北大核心 2002年第1期34-36,共3页
目的 通过慢性砷中毒病区 15年的长期改水干预后 ,对病区进行流行病学调查及慢性砷中毒患者的转归分析。方法 选择干预前井水砷含量为 0 .6mg/ L 和 0 .5 8mg/ L两地区居民进行随访 ,并进行染色体畸变、微核检查 ,同时以水砷含量 0 .0... 目的 通过慢性砷中毒病区 15年的长期改水干预后 ,对病区进行流行病学调查及慢性砷中毒患者的转归分析。方法 选择干预前井水砷含量为 0 .6mg/ L 和 0 .5 8mg/ L两地区居民进行随访 ,并进行染色体畸变、微核检查 ,同时以水砷含量 0 .0 3 mg/ L地区居民为对照组。结果 经过长期改水干预后两病区患者中改水 2年仍未愈病例总的好转率为 73 .4% ,轻度患者治愈率达 76.4% ,掌跖角化好转率为 85 .2 % ,色素异常好转率为71.2 %。皮肤癌患者 3例。随访患者中 19例死亡者 14例为癌症。部分患者躯干色素及角化皮疹增多。两病区患者染色体畸变、微核与对照组相比差异有显著意义 (P <0 .0 1)。随访中未发现新病例。结论 改水干预 15年患者有了明显好转 ,较彻底解决了砷中毒的病因。 展开更多
关键词 饮用水 砷中毒 染色体畸变 微核 转归
下载PDF
基于微型核信息电子系统卫星姿态控制半实物仿真 被引量:5
14
作者 王峰 徐国栋 +2 位作者 耿云海 龚晓春 曹喜滨 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第5期1131-1135,共5页
提出了分布式卫星系统子星通用核心模块“微型核”的概念,设计了“微型核”关键部件信息电子系统,并结合dSPACE实时仿真机进行了小卫星姿态控制半实物仿真。信息电子系统能够进行参数采集,数据处理,信息提取和各种具体控制模式的实施等... 提出了分布式卫星系统子星通用核心模块“微型核”的概念,设计了“微型核”关键部件信息电子系统,并结合dSPACE实时仿真机进行了小卫星姿态控制半实物仿真。信息电子系统能够进行参数采集,数据处理,信息提取和各种具体控制模式的实施等任务,是整个卫星的管理中心,简化了卫星结构造型,提高了整星可靠能力。为了验证信息电子系统的设计方案,将系统的原理样机接入卫星姿态控制闭环系统进行半实物仿真。 展开更多
关键词 微型核 信息电子系统 嵌入式系统 半实物仿真
下载PDF
基于一个实时内核的嵌入式Internet技术的研究与实现 被引量:6
15
作者 关沫 赵海 +1 位作者 韩光洁 张文波 《计算机科学》 CSCD 北大核心 2004年第4期24-26,共3页
基于微内核体系结构的思想,从嵌入式系统开发Internet应用的角度,提出一个实时内核—WebitX的软件体系结构及设计方案。为支持嵌入式Internet环境下的复杂应用,WebitX被设计成一个基于优先级的抢占式多任务内核,解决了任务调度、任务间... 基于微内核体系结构的思想,从嵌入式系统开发Internet应用的角度,提出一个实时内核—WebitX的软件体系结构及设计方案。为支持嵌入式Internet环境下的复杂应用,WebitX被设计成一个基于优先级的抢占式多任务内核,解决了任务调度、任务间同步与通信、定时管理、网络协议处理等主要问题,为嵌入式Internet应用提供了完备的系统服务,确保了嵌入式Internet应用的实时性和可靠性。为实现嵌入式设备与Internet的互联,WebitX提供了一个嵌入式TCP/IP协议栈,该协议栈在嵌入式系统资源受限的条件下,采用模块化的方法实现了TCP/IP协议簇的一个功能子集,为传统设备提供了网络接口,从而实现了高效的嵌入式Internet通信。 展开更多
关键词 INTERNET 嵌入式系统 实时内核 微内核 体系结构 网络互连
下载PDF
现代操作系统的思考 被引量:4
16
作者 顾明 郭陟 +1 位作者 孙家广 赵曦滨 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1913-1916,共4页
伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应... 伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应的思考. 展开更多
关键词 操作系统 微内核 可扩展操作系统 计算机 发展趋势
下载PDF
微内核架构文件系统的形式化设计与验证方法研究 被引量:4
17
作者 钱振江 唐洪英 +2 位作者 李康杰 黄皓 宋方敏 《小型微型计算机系统》 CSCD 北大核心 2013年第10期2261-2266,共6页
文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语... 文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明. 展开更多
关键词 文件系统 微内核架构 形式化设计 形式化验证 正确性断言 ISABELLE HOL
下载PDF
操作系统微内核技术研究 被引量:13
18
作者 潘清 张晓清 《软件学报》 EI CSCD 北大核心 1998年第8期609-612,共4页
文章介绍了作者在过去5年中在微内核技术上所做的工作.给出了3个算法.①通过将任务调度和线程调度算法相结合的方法,来解决单纯以线程为单位的调度系统的效率和公平性问题;②一个改进的写时拷贝算法,它结合写时拷贝算法和访问时... 文章介绍了作者在过去5年中在微内核技术上所做的工作.给出了3个算法.①通过将任务调度和线程调度算法相结合的方法,来解决单纯以线程为单位的调度系统的效率和公平性问题;②一个改进的写时拷贝算法,它结合写时拷贝算法和访问时拷贝算法的优点,来解决写时拷贝算法在I386体系结构上的适应性问题;③提出了一个微内核操作系统计时模型,它解决了传统计时算法在微内核系统中计时不准确的问题. 展开更多
关键词 微内核 存储管理 计时模型 操作系统
下载PDF
微内核架构多线程机制的形式化设计研究 被引量:5
19
作者 钱振江 卢亮 黄皓 《计算机科学》 CSCD 北大核心 2013年第4期136-141,163,共7页
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式... 微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。 展开更多
关键词 微内核 多线程 操作系统 形式化描述 形式化设计
下载PDF
Minix操作系统性能的测评与改进 被引量:3
20
作者 刘海鹏 张根度 王雪平 《小型微型计算机系统》 CSCD 北大核心 2001年第10期1196-1201,共6页
本文以 L inux操作系统的性能为测试基准 ,应用微观测试和宏观测试方法对运行于奔腾处理器上的 Minix操作系统性能进行了深入研究 .研究表明 ,通过改进 Minix操作系统中某些不合理的结构和实现技术 ,Minix的整体性能得到较大幅度提高 .... 本文以 L inux操作系统的性能为测试基准 ,应用微观测试和宏观测试方法对运行于奔腾处理器上的 Minix操作系统性能进行了深入研究 .研究表明 ,通过改进 Minix操作系统中某些不合理的结构和实现技术 ,Minix的整体性能得到较大幅度提高 .研究同时发现 ,对于核心函数实现简单的系统调用来讲 。 展开更多
关键词 MINIX 操作系统 性能 微内核 UNIX 测试
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部