TRS-80系统不同类型文件的一次存取方法

前言用微计算机系统进行实时控制和数据处理经常需要采用两种不同类型的文件来构成应用系统。对于TRS-80系统而言,这两种类型的文件是BASIC文件和机器指令代码子程序文件;TRS-80系统对这两种类型的文件的标准存取方法有两种。第一种方法是将机器指令代码按BASIC语言中DATA语句数据格式统一编成BASIC源文件,并完成一次存取。这种方法的缺点是当机器指令代码量很大时,需要编写大量的DATA语句。在程序运行中,还需用循环块中     

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。     

BASIC的发展与过程化语言的生命力

近年来非过程化语言的崛起造成了对过程化语言的有力冲击,但过程化语言通过不断的发展将保持其旺盛的生命力。本文以过程化语言BASIC到Trne BASIC的发展为例,说明了在具有自动编程能力的智能计算机投入使用之前,过程化语言不会退出计算机应用的历史舞台。     

CASE—计算机辅助软件工程工具

计算机辅助软件工程 CASE(Computer Aided software Engineering)工具是按照软件工程学的思想将软件方法和软件工具结合的一种软件工程支撑环境。本文介绍了 CASE 的基本思想、软件组成以及它在软件工程项目开发中所起的作用。     

基于模型的系统工程设计方法在TCAS中的应用

针对传统空中交通防撞系统(TCAS)设计中基于文档描述的不足,采用基于模型的系统工程方法进行TCAS系统建模。在建模过程中使用SysML语言,通过多个视图来描述和分析系统需求,并通过模型的执行尽早验证需求。整个设计过程都是基于需求的,是可测试、可追溯的,是由经验研发向需求研发的转变。     

英语语句构成探寻

通过实例与树标图形式介绍并说明乔姆斯基的句法最简方案,即英语语句按照解释充分原则转换生成,英语短语由一个决定其语法性能的词头及其补足语构成。该描述的目的在于探讨并分析英语语句双位层递结构的可行性。     

基于执行时段滑动调整策略的中继卫星任务规划算法设计

针对中继卫星任务规划问题开展研究,提出一种基于执行时段滑动调整策略的任务规划算法。首先分析了中继卫星资源调度过程,并对任务申请的时间特征进行形式化描述,然后归纳出任务分配的主要约束,从而完成问题建模。在此基础上,对优化算法进行设计,给出了执行时段滑动调整步骤。通过调整已规划任务执行时段的方法,使部分原本无法执行任务具备执行可能,提升了任务执行率和资源利用率。在仿真实验中,通过大规模测试分析对比不同算法的优化效果,验证了文中所提方法的有效性。     

液体火箭发动机静态仿真的探讨

本文采用非线性分析方法,建立了描述液体火箭发动机性能参数和内外干扰因素之间关系的一组非线性方程组.采用拟牛顿Ⅱ仿真算法,编制了BASIC语言源程序,对发动机实际工况进行了仿真.该法不仅可避免繁杂的换算,提高了计算精度,而且可部分地代替代价很大的试验测量.因此,在火箭发动机设计、研制和发射中有较高价值.     

用于实时语音识别系统的多处理机结构

本文描述了一个基于由顺序单字音构成的语句实时芡互识别系统的多处理器结构.不管怎么说,相同通用规范总能较好地用在连续语音结构中.对监督系缆的控制机构提出特别的注意.最后将给出一个详细的例证。     

高级测试语言ATLAS

ATLAS是一种高级测试语言,它对测试需求的描述不局限于任何特殊测试系统.文中对ATLAS的语言元素、数据类型、语句结构、测试需求结构等进行了简要介绍.     

非线性控制系统的计算机辅助分析

本文依据描述函数法分析非线性系统之原理,运用 BASIC 语言,提出了非线性系统计算机辅助分析程序设计方法。文中涉及了五种典型非线性特征。运用此法编制的程序,能够判断系统在不同初始条件下的稳定性;如果系统存在自持振荡,则给出自持振荡的振幅和频率。同时,为使系统分析形象直观,在屏幕上进行了作图,并显示了分析结果.     

电路分析语言ECAL

计算机辅助设计技术是计算机应用的重要发展,是计算机科学的一个重要组成部分。电路分析的专用语言是模拟电路的计算机辅助设计或辅助分析技术（简称为CACD和CACA）的基础。 电路分析语言ECAL是利用FORTRAN语言对语句进行解释执行的一种比较简单,而使用又比较方便的电路分析专用语言,它能对电路进行直流分析、交流分析和暂态分析,而且直流分析的结果可以直接作为交流或暂态分析的初始条件而转入交流或暂态分析。 ECAL语言用接近电路工程人员习惯的输入语句来描述电路,允许使用的元件除常规线性的如电阻、电容、电感、电流源、电压源等以外,还允许使用二极管、晶体三极管和非线性电阻等非线性元件,因此它可以对线性或非线性电路和系统进行分析。 ECAL语言用简单的输出语句来控制分析结果数据的输出形式,它可以是表格、也可以是图形以适应不同的需要。因此它对于工程技术人员来说是一种很有用的分析工具。     

基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

可变转速工况的压气机分布式动态模型与仿真

针对目前压气机动态模型用于主动稳定控制时,存在既不反映压气机变转速工况又不能模拟压气机内部周向位置失速信号发展过程的不足,在一维状态变量描述的压气机失稳动态模型基础上,以喷气装置作为执行装置,通过傅里叶变换,采用多维状态变量描述压气机动态过程,建立了含喷气执行装置的压气机系统变转速工况下分布式动态模型。仿真结果表明,所建模型可实现定转速和变转速工况下的压气机不稳定行为动态仿真,采用该模型进行压气机主动稳定控制,可使压气机失速模态幅值由0.28减小为1×10~(-5),能有效抑制压气机失速的发生,增强了模型的适用性。     

保护形式存盘的BASIC源程序的恢复

在解释BASIC中,有时为了保密将源程序以P形式存盘(既以SAVE“[<盘符>]〈文件名〉”,P形式存盘),但是如忘记备份,就连自己也无法列出源程序清单及修改源程序,这里介绍一种方法,使你对以“P”形式存盘的BASIC源程序恢复,此时若用命令LIST即能列出源程序清单,如果再以下带“P”的形式存一次盘,就达到恢复你的BASIC源程序了。     

微机自动编程系统MAPT语言通过部级技术鉴定

MAPT语言系统是航空工业部陕西飞机制造公司的科技人员,经过三年的努力研制成功并用于实际生产的一项技术先进、实用性强、功能全的CAM语言系统.MAPT语言系统于一九八六年九月十日在陕西飞机制造公司正式通过部级技术鉴定.该系统由系统管理与编辑、语言编译、屏幕绘图与绘图机绘图、后置处理程序自动设计等四部分组成.该系统可以在DESKTOP和IBM-PC/XT等微机系统上运行,采用扩展BASIC和编译BASIC作为设计源语言,具有良好的移植性.采用汉字全屏幕菜单、提示和人机文字对话编辑方式,便于工艺人员熟悉掌握;采用屏幕绘图和绘图机绘图方式显示刀具运动轨迹,为编程人员提供了直观的检查手段,提高了编程效率;通过后置处理程序的使用,证明后置处理程序自动设计(拼装)的方法是可行的.该系统软件约300KB,达一万五千条语句,以完成2(1/2)座标,4～5座标平而变斜角零件加工程序的编制工作为主,包括平而铣削、     

试论英语句法转换的抽象表现形式

通过研究比较英语语句的聚合关系,解释了英语句法的内涵及其变化形式,揭示核心句和转换句之间的关系,描述了英语句法的抽象表现形式,将英国句法理论大师马修斯介绍给国内学者,从另外一个角度为国内学者研究句法理论提供参考。     

工作流执行逻辑的实现

介绍了工作流技术及对象管理组织(ObjectManagementGroup,OMG)工作流管理设施的模型,采用统一建模语言(U nifiedModelingLanguage,UML)的静态类图分析了工作流执行中各个对象的联系和对应关系。在这个基础上,探讨了工作流的执行逻辑的实现,并给出UML的顺序图描述。     

民机服务通告语句表述标准化的研究

从引起歧义的语句、强制性语句和灵活性语句、重复和矛盾的语句3个方面对服务通告(Service Bulletin,SB)语句表述进行研究,并相应的提出正确表述、适用性条件和如何避免的方法。通过描述性语句和实例展示的方式为服务通告编写人员提供了语句编写的指南,同时也促进了服务通告语句的标准化和规范化管理。