这样的操作系统形式化理论，或者说操作系统数学模型今天还有人研究吗？

截图中的内容摘自苏运霖《操作系统理论的研究》、徐洁磐《操作系统结构形式化的探讨》。不过都是上世纪80年代的文章了。

举报该问题

推荐答案 2019-12-15

操作系统原理的理论研究一直也没有中断，但重要性在不断下降——实践领域的发展如火如荼，基础理论又没有太大的进步，研究它除了发几篇影响因子极小的论文混学位，还有神马实际意义呢。人家研究电动车制造，你还在研究只有一个电阻的基本电路图……

温馨提示：答案为网友推荐，仅供参考

当前网址：http://44.wendadaohang.com/zd/YWW3GDYZDYGDVGWV3VR.html

相似回答

自洽性是什么意思答：问题三:什么是自洽计算所谓自恰,就是:“某个理论体系或者数学模型的内在逻辑一致,不含悖论” 这一点从自洽计算的英文名self-consistent calculation也可以看出。自洽,通常说的“形式系统相容性”: 在形式化的逻辑系统中,其相容性(或一致性、自洽)是指其中没有矛盾,或更精确地说,不存在一个命题P,P和非P...

计算机论文如何写答：研究型的论文,主体部分一般应包括:理论基础,数学模型,算法推导,形式化描述,求解方法,软硬件系统的实现及调试,测试数据的分析及结论。要强调的是,研究型论文绝不是从推理到推理的空洞文章。研究型论文也应有实际背景,也应有到企业和实际部门调研的过程,并在实际调查研究中获取信息,发现问题,收集数据和资料。在研究分析...

形式化方法形式化方法的分类答：面向模型的形式化方法，这类方法通过构建数学模型来描绘系统的动态行为，如Z语言、VDM和B方法等，它们虽然能表达非功能性需求，但处理并发性方面可能有所欠缺。面向属性的形式化方法，通过描述系统的属性间接定义行为，这种方式不直接模拟状态转换，如ITL（区间时序逻辑）、DC（区段演算）等，它们侧重于逻辑...

再过20年,电脑会发展成什么样呢?答：此后,关于现实计算机及其程序的数学模型性质的研究,以及计算复杂性的研究等不断有所发展。理论计算机科学包括自动机论、形式语言理论、程序理论、算法分析,以及计算复杂性理论等。自动机是现实自动计算机的数学模型,或者说是现实计算机程序的模型,自动机理论的任务就在于研究这种抽象机器的模型;程序设计语言是一种形式语言...

大家正在搜

概念模型物理模型数学模型数学模型和数学建模数学模型有哪些类型简单的数学模型数学模型的概念数学模型的分类数学模型姜启源如何建立数学模型数学模型建立

数字地球的理论模型现在有什么新的发展？

电脑的过去现在未来

科学原理有哪些?科学方法有哪些?

为什么说操作系统既是计算机硬件和其他软件的接口,优势用户与计...

与力学相比,热学研究对象,研究的方法有哪些主要区分

计算机的发展史

形式化方法的研究内容

模糊数学．？？什么东西？