RDOS程序模式命令和错误代码

Ll错误代码表代码缩写码意义有关命令 百 1 2 3 4 6 71011121314l5212224252627ERFNOERFN加1E且ICMERICDERSVIEREOFERRPRER、VPRERC且EERDLEE且DEIERCHAERFOPERUFTERLLIERPARERCM3ERMEMERSPC非法通道号非法文件名非法系统命令非法命令(对设备的)指定的文斗不是连续、随机文件文件尾读封读文件写封写文件造已有文件要访间的文件不存在修改永久文件改变禁止改变属性的文件的属性访问未打开文件要打开的通道正在使用中企图一次读或写132以上字符奇偶错误程序交换级超过五级内存不够用磁盘空间不够用.CHA…     

吴方法在离散数学谓词演算教学中的应用

离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一.如何将计算机自动推理的另一个经典方法--吴方法引入到离散数学的教学中是本文着重探讨的问题.     

吴方法在离散数学谓词演算教学中的应用

离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。     

γω演算与谓词演算融合于一阶数学理论中

本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的“简单、统一、精确的”理论基础。文中还阐明了在(?)_(γω)理论的基础上如何演化出几种典型的有关语言。     

一阶谓词演算定理机器证明的余式方法

本文将一阶谓词泻算的证明转化为代数族的计算，从而获得了代数化的Ｈｅｒｂｒａｎｄ过程，双通过一阶多项式间的求余运算，给出了余式方法并评理服它的完备性。同时，我们证明了归结原理是余式方法的一种特例。     

复合对象选择条件中的量词约束及谓词演算

为表征对象间复杂的关系,克服传统的关系模型所带来的限制,OODB数据库技术得以迅速发展。     

调用模式和正确调用模式语义在Prolog程序测试中的应用

将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则;利用后者预测CPM测试的结果。该方法可较好地保持程序测试的质量,改善Prolog程序的CPM测试过程。     

构件化程序开发模式

文章研究采用分布对象技术的软件构件集成的可行性,提出了构件化程序开发模式,把程序开发分为三个过程：构件开发过程,构件累积过程,构件集成过程。列举了构件化程序设计的一般原则。     

程序设计类课程的实践教学体系和模式构建

针对程序设计类课程实践教学中存在的问题,提出课程实验、课程实训、课程设计三个层次渐进式实验教学体系和模式,通过尝试和实践,取得较好的教学效果.     

“C程序设计”课程教学体系和模式探讨

本文针对"C程序设计"课程教学中存在的问题,探讨"C程序设计"课程的教学体系和模式,强调以培养学生分析问题能力、解决问题能力和创新能力在"C程序设计"教学中的重要性。     

结构模式与程序理解系统

本文讨论了如何用结构模式这种工具既描述软件的高层结构,又结合某种具体程序语言的特征。从而建立了具体程序语言与软件高层结构之间的规范形式的桥梁。克服了一般PDL的那种不能被计算机处理的缺点,使其能由计算机接受、处理。本文介绍该系统如何对一个现有程序自动理解、抽象出其结构,并将其非结构化的部分进行自动修改,使其成为结构化的结构,最后给出该程序的原始结构描述与改进结构描述并绘出原始结构的流图和改进后结构的流图。本文最后给出一个实例。     

C程序中的脆弱性模式研究

C程序中脆弱性的存在严重地降低了C程序的安全性,为了提高C程序的安全性,对C程序中的脆弱性模式进行了研究。应用了分类、分析、归纳总结等研究方法。较系统地提出了C程序中存在的脆弱性模式,阐述了各种脆弱性模式的产生原因及其危害,并针对部分脆弱性模式提出了相应的避免或缓解的方法。研究结果可以用于指导C程序的编写,也可以用于对已有的C程序进行脆弱性分析,大幅度提高C程序的安全性,由于脆弱性种类会随着应用的发展而发生变化,今后还需要研究其它的脆弱性模式。     

大规模并行机的程序模式探讨

简单介绍若干并行机编程模式，着重讨论大规模并行机的程序语言。     

程序模式(单任务系统)

4.1 单任务系统和多任务系统 用户程序内的需要利用系统资源的各可单独执行部分(如输入输出,输入复盖,或只要求CPU控制),称为程序任务。所谓多任务系统,是并行处理若干逻辑上彼此独立的任务的系统。在多任务系统中,常常有多个任务为利用系统资源互争的情形,但在任何给定时刻只有一道程序能够得到CPU控制和必要的系统资源。包括CPU控制在内的系统资源的分配,由任务调度程序按各任务的状态和优先级进行。系统程序库内有两个任务调度程序:     

DOS子程序和TSR程序中的重定向

源于ＵＮＩＸ的重定向极大地加强了ＤＯＳ的功能。本文分析重定内部机制，讨论在ＤＯＳ子程序和ＴＳＲ（内存驻留程序）程序中实现重定向技术。     

程序配置和组织

虽然程序的适当配置和组织永远是程序设计的一个方面,在360系统中,它们是程序设计的关键部分。过去,这些功能绝大部分都在分析阶段完成,也出现了很少的编码标准。前几章着重叙述了关于编码阶段传递的重要性。本章主要叙述整个程序的结构和设计。这里所说的“程序”指的是相当复杂的完全可执行单位的作品。 设计程序的主要需要为出自由一个寄存器访问一个内存单元的需要。计划不当会给程序设计员带来许多困难。例如,在调整时,一个插补(Patch)需要插入许多指令。如果没有寄存器可以有效利用,程序设计员必须或者重新汇编或者把扩充的指令加入到插补码中。或者要对生产程序