MINIX

作品数：27被引量：24H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘海鹏张根度黄祥喜陆冠群全嘉辉更多>>
相关机构：复旦大学南京大学电子科技大学中山大学更多>>
相关期刊：《常熟理工学院学报》《摄影与摄像》《兰州大学学报（自然科学版）》《计算机安全》更多>>
相关基金：国家自然科学基金广东省自然科学基金广西教育科学规划课题重庆市科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
拓展无限可能MINIX NEO S2 Type-C固态硬盘兼拓展坞评测
《计算机应用文摘》2019年第20期36-37,共2页
移动办公时代,“便携”成为大多数用户购买笔记本电脑的首要考虑因素,越来越多的笔记本电脑厂商推出了“轻薄本”,但在提升了便携性的同时,也在其他设计方面做出了牺牲,比如接口减少或者采用更小的Type-C接口,这无形中给我们的日常使用...
关键词：MINIX 固态硬盘 Type-C接口 笔记本电脑 评测 移动办公 日常使用 合二为一 
一种Minix进程调度的改进算法
《常熟理工学院学报》2017年第2期43-48,54,共7页陈亮强 钱振江 
国家自然科学基金项目"小型操作系统内核的轻量级形式化设计和验证方法研究"(61402057)
为了提升Minix进程调度的性能,通过研究和借鉴Linux进程调度算法的思想,提出了一种Minix进程调度的改进算法.针对Minix多级队列调度算法的时间片固定的缺点,通过使时间片基于进程的优先级动态变化让Minix调度器在调度进程时更加体现公平性.
关键词：MINIX 进程调度 公平性 
佳能LEGRIA miniX高音质摄录机
《摄影与摄像》2015年第1期126-127,共2页李树 
佳能LEGRIA mini X是便携、全能迷你摄录机，时尚造型、具有丰富的功能，可以多角度自由拍摄。最大的亮点是内置了两个大口径麦克风以及丰富的手动录音控制，强大的录音效果可以为拍摄的视频提供优质的录音。WiFi远程监控、灵活的翻转...
关键词：摄录机 MINIX 佳能 高音质 拍摄功能 录音控制 录音效果 远程监控 
佳能LEGRIA miniX高清摄像机测评手记 秋日的野望
《数码影像时代》2014年第10期50-52,共3页
说起来，本刊测评室早在八月中旬就拿到这款产品着手开始测评了，佳能LEGRIA miniX并不具备传统摄像机的形制，第一眼看上去就知道，它是一款丰富喻悦你生活的影像工具，而事实情况也是这样。拿到产品手册后笔者开始研读，LEGRIA miniX...
关键词：高清摄像机 测评 佳能 影像记录 设计者 产品 生活 瞬间 
实用的高科技
《汽车与驾驶维修（汽车版）》2014年第9期144-145,共2页李文斌 
车联网这个词汇正在被普罗大众所慢慢接受并且理解，这也就催生了各种相关产品的研发。阁下现在看到的这款名曰iVoka MINIX的产品就是其中之一，究竟它有什么过人之处呢？
关键词：高科技 相关产品 MINIX 
Canon LEGRIA miniX
《数码世界》2014年第6期83-83,共1页
在初代LEGRIAmini推出的时候，我们就意识到静态DV这样一种产品类型应该是很容易成功的。如今大幅强化的LEGRlAminiX则可以算得上该类别真正的标杆。
关键词：数码相机 镜头 像素 光学变焦 
一种创新的提高能源效率的复合材料
《航空制造技术》2013年第15期60-61,共2页Christian Hugues 高淑雅(翻译) 
使用Minix设备能够每年节约6％到14％的能量。复合材料设备可以应用在在航天领域和风力发电领域。根据结构的限制选择复合材料，一般使用的复合材料包括炭纤维、玻璃纤维，或者将两者相结合。
关键词：复合材料 能源效率 创新 材料设备 MINIX 风力发电 航天领域 玻璃纤维 
基于消息传递的Minix系统的实时化进程调度的设计与实现
《硅谷》2012年第21期41-41,37,共2页张英杰 韩秀媛 
随着开放源代码的Linux、Minix的使用进入实时控制领域内,Linux、Minix等内核机制的不可抢占的内核、粗糙的时钟粒度、频繁的关中断等缺陷日益突显,使得Linux、Minix等操作系统的实时性不强。对Minix,Linux等通用操作系统的实时化是实...
关键词：MINIX UNIX 微内核 实时 
Minix3微内核进程间通信模块设计与实现
《科学技术与工程》2011年第31期7677-7681,共5页陈鹏 赵政文 于超超 
基于微内核结构的minix操作系统近年来虽然发展迅速,但其进程间通信IPC功能依然不够完善。在分析了minix现状与不足,基于minix3设计了消息队列模块,提供符合posix标准的消息队列接口,并重点讨论在微内核结构下实现IPC机能过程中遇到的...
关键词：POSIX IPC 消息队列 MINIX 微内核 
基于FeaVer的MINIX3验证和改进被引量：1
《计算机工程》2010年第22期46-48,共3页全嘉辉 张欢欢 
国家自然科学基金资助项目(60703026);广东省教育部产学研合作基金资助项目(2007A090601001)
使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确...
关键词：形式化验证 模型检测 MINIX 3操作系统 文件系统 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部