操作系统软件
操作系统软件的相关文献在1991年到2022年内共计151篇,主要集中在自动化技术、计算机技术、工业经济、无线电电子学、电信技术
等领域,其中期刊论文139篇、会议论文1篇、专利文献3864812篇;相关期刊110种,包括商务周刊、中国政府采购、科技潮等;
相关会议1种,包括中国宇航学会计算机应用专业委员会2013年度技术交流会等;操作系统软件的相关文献由117位作者贡献,包括陈瑞全、小羽、陈亮等。
操作系统软件—发文量
专利文献>
论文:3864812篇
占比:100.00%
总计:3864952篇
操作系统软件
-研究学者
- 陈瑞全
- 小羽
- 陈亮
- Diogenes Cortijo Costa
- Eric
- Maria Teresa Francoso
- Mariana Mello Valin
- Rogerio Rodrigues Amarante
- dream
- 丁昕
- 严学辉
- 乔磊
- 付浩
- 余敏琪
- 冯成湘
- 刘乐
- 刘宇红
- 刘忠
- 刘燕之
- 剑气飞扬
- 匡雅婷
- 卢明文
- 卢波
- 叶浏青
- 吴一帆
- 吴克忠
- 周小刚
- 周敏刚
- 唐晓东
- 大勇
- 天语
- 孙亮
- 孙志永
- 孙永杰
- 孙鼎国
- 宋成伟
- 宋瑞
- 封演利
- 小黑
- 布晓明
- 帅亚蓉
- 张新玲
- 张景田
- 张震
- 徐建
- 徐翠娟
- 支连意
- 方典秋
- 晓枫
- 晶莹
-
-
-
-
摘要:
际网络安全大赛于在成都天府国际会议中心决出胜负。本次大赛本次比赛吸引了50多支战队,200多名队员报名参赛,总奖金高达150万美元。贯彻向网络巅峰技术挑战的信念,参赛战队围绕着PC端、移动端与服务器端三大项,以及虚拟化软件、操作系统软件、浏览器软件、办公软件、移动智能终端、Web服务及应用软件、DNS服务软件、共享管理类服务软件等八大类别的试题,进行了精彩的比拼。最终,昆仑实验室(Kunlun Lab)经过激烈的角逐摘的桂冠,获得了大赛的一等奖,奇安盘古旗下盘古实验室,完成了知名品牌手机的全球首次公开远程越狱,被主办方评选为“最具价值产品破解奖”,并获得大赛最高单项奖金30万美元。
-
-
-
-
-
摘要:
为抵御类似2016年导致Twitter和Netflix网站瘫痪的网络攻击,近日,微软在一款广泛使用的操作系统软件中增强安全功能,不过该系统并非Windows.微软计划将Linux嵌入新的芯片设计方案;该芯片应用于玩具、家用电器、工业机械和众多其他联网设备.微软对Linux态度的转变是该公司在首席执行长纳德拉执掌下告别Windows时代的又一迹象.
-
-
-
王圣媛
-
-
摘要:
鸡鸣迎春,闻鸡起舞。新的年度,新的生活,新的起点。随着国务院《“十三五”国家战略性新兴产业发展规划》(以下简称《规划》)的印发,战略性新兴产业的发展,又一次成为业内的热门话题。带着对《规划》贯彻落实的探寻,本刊记者专程采访了信息技术专家、中科院计算机所研究员、首批中国工程院院士倪光南。首先在网信领域实现从跟跑并跑到并跑领跑的转变《中国战略新兴产业》:2016年11月29日,
-
-
冯成湘;
潘一新
-
-
摘要:
在当前的计算机领域中,虚拟化是一种较为关键的应用技术,其近年来的应用十分广泛,尤其在基层检察院信息化建设过程中,不仅节约了大量成本,同时也大幅度提升了工作效率和质量,效果显著.本文主要对虚拟化技术在基层检察院信息化建设中的应用进行了分析.
-
-
-
-
卢明文
-
-
摘要:
2013年9月,张应钊从广州坐火车到拉萨,住在仙足岛的一间客栈里。由于他完全不能吃辣,满大街的川菜馆对于他来说都只是摆设,这让他萌发了开一家广东小吃店的想法。68岁的香港人张应钊酷爱滑雪,退休前做过医生,做过IT。退休后闲着没事,就到处旅游。2013年9月,他独自一人到西藏旅游了1个多月,
-
-
-
-
摘要:
11月1日消息,上个季度,PC出货量下降了近11%,但几乎没有人对此感到震惊。因为在连续14个季度之久的时间里,PC销量一直都在下跌,人们似乎已经淡忘了以前有一段时间,PC曾经是科技界的一代霸主。PC业务的长期低迷,也许正是一个原因,导致众多的顶级PC制造商正在争先恐后地重塑自己的业务。支持触摸操作的移动设备已经将使用鼠标的PC推下王座,成为了新一代霸主。
-
-
乔磊;
杨桦;
吴一帆;
徐建;
王婧
- 《中国宇航学会计算机应用专业委员会2013年度技术交流会》
| 2013年
-
摘要:
由于操作系统软件在各类航天器计算机应用中的核心地位,其可信性至关重要.随着软件的日趋复杂,传统的基于测试的方法已经无法保障航天器操作系统的正确性和可靠性.形式化方法逐渐成为航天器操作系统可信性的根本保障.但当前的研究水平总体来说仍然处于探索阶段,尚面临很多挑战.基于近期操作系统软件验证的理论和工具研究的最新进展,提出新型开放式可信操作系统软件形式化构造和验证框架,将从方法、理论和工具三个方面为保证可信提供支持.同时将研究成果体现在应用系统当中,包括对实际嵌入式系统的验证、各种实用的工具链的开发和验证、以及支持可信航天器操作系统软件开发和验证的集成开发环境原型。