论文部分内容阅读
一、引言海流的三维Reynolds方程是Navier-Stokes方程经过时间平均而得。通常考虑定常的情况,即假定为稳态的运动。这个假定将使我们能够较方便地深入研究三维的海流分布。而按此建立的数值模型经过实际的计算则可为探讨三维海流的规律提供有价值的数值结果。
海流的湍流模型及其有限元方程组
【摘 要】
：
一、引言海流的三维Reynolds方程是Navier-Stokes方程经过时间平均而得。通常考虑定常的情况,即假定为稳态的运动。这个假定将使我们能够较方便地深入研究三维的海流分布。而按此建立的数值模型经过实际的计算则可为探讨三维海流的规律提供有价值的数值结果。
【出 处】
：
计算机应用与软件
【发表日期】
：
1984年02期
其他文献
本文以集合运算为基础,提出扩展D算法。通过九值集合运算,特别是集合的逆映射,直接导出各种立方表,然后同D 算法一样,对故障的测试立方进行D 驱赶和一致性相交运算,求出故障的测试。算法保留了九值算法,主通路法,和星算法等现存算法的优点。可用于求组合线路多故障和时序线路的测试。扩展D 算法简便直观,更便于工程实现,已在IBM 370/148机上用PL/I 语言实现了一个插件测试码生成系统。
期刊
本文介绍以FORTH作为系统开发工具,通过自编译来移植开发扩充FORTH系统。作者已经为十六位微型机ALPHA micro 和八位微型机TRS-80(I)各开发实现了一个FORTH 系统。
期刊
数据库语义学保证数据库所存贮的信患准确地描绘有关的企业。它涉及到数据库的设计和数据库的完整性。关系数据库有较严格的理论,因此数据库语义学的研究主要集中在关系数据库中讨论。本文在泛关系的假设下,从数据依赖,模式分解,连接运算来讨论数据库的设计和数据库的完整性,同时还在多关系的情况下,讨论了数据库语义。
期刊
本文介绍在DJS-131计算机多终端磁盘联机系统上设计并实现的一个学生成绩管理文件系统。该系统利用了RDOS 现有文件系统中HASH 函数按名存取的特点,鉴于主存资源不足又对存贮空间进行压缩。系统的数据结构采用集合论分析方法,而其存贮结构则采用平衡二叉树结构,并进行碰撞处理及其估算分析。系统功能模块仿照Cromemco System Ⅲ中的DBMS,用一个显示功能模块来调用其他8个功能模块。
期刊
本文介绍一个企业管理系统的开发过程。文中涉及的工作步骤包括用户工作状况和需求分析,信息系统的逻辑设计,数据结构和程序的规格说明及实现。作者认为明确系统设计段与软件实施段各自的任务是十分必要的。前者完成了软件的逻辑设计工作,这对提高软件生产率和软件系统的可靠性起了积极作用,我们已完成和正在进行的一些信息系统的设计工作证实了进一步完善文中讨论的工作步骤会形成一套有效的开发方法论。
期刊
UNIX是目前最著名的操作系统之一,它已在大量计算机系统上运行。本文分析了某些重要的UNIX 核外程序,它们是cdb(C 程序调试程序)、Shell(命令语言解释程序)以及ed(文本编辑程序)。其目的是进一步讨论UNIX 核中某些机构的设计思想。
期刊
《计算机应用与软件》杂志创刊,我代表中国电子学会计算机学会和电子工业部计算机工业管理局表示热烈的祝贺。自从世界科学技术发展以来,还没有任何科学技术象计算机那样以极高的速度向高精尖方向发展,在应用上以极大的广度向各个方面渗透。同时又对人类社会的发展发生那么深远的影响。由于发展迅速,差不多每十年就要换代。按硬件的观点,从第一代电子管计算机到第二代晶体管计算机到第三代集成电路计算机至八十年代已进入超大规
期刊
本文以硬件逻辑原理为依据,对DYNABYTE微型计算机初始引导程序(ROM)中各个部分的功能作了详细的分析,有助于这种类型的微型机的扩充和维修工作以及对它的硬件逻辑原理的分析。
期刊
前文“结构式时态语义”中定义了程序语言的一种时态语义,这种语义是语法引导的(Syntax Directed),保持语言的结构。本文中讨论在这种语义基础上的程序推理问题。因为这是时态语义,故在程序描述中可使用时态逻辑的丰富的表达力;又因为它是结构式的,故关于各种语句已有的推理方法,都可以翻译为时态逻辑中的定理,随意应用。
期刊
通用数据文件管理程序是用Z-80微型机的16K BASIC 语言编写而成。它具有十三个功能,并配有用科学院计算所设计的25K HANBASIC 语言编写的汉字输出程序。该程序的特点:(1)对于千变万化的各类企业报表,只要设计出相应的“格式子程序”和“计算子程序”,就可通过该程序建立在磁盘上,并由该程序管理。而“格式子程序”及“计算子程序”的设计方法简单易学。(2)建立在磁盘上的各类数据文件,调用汉
期刊