高级计算器切线迭代法的计算程序

目的:编制切线迭代法的计算程序,提供一种简单的计算方法。方法:使用CASIO?χ-3600 P计算器,利用M、K寄存器输入程序变量,直接按P1键运行程序。结果:第一次输入变量进行运算得出结果后,程序内自动生成全部变量,下一轮计算变量零输入,快速得到X值。结论:切线迭代法的计算程序,解决了烦琐复杂的循环计算问题,满足了平均发展速度计算工作的需要,具有操作简单、运算方便、结果准确的优点。     

从BASIC程序中直接读取dBASE数据文件的方法

本文简述dBASEⅡ/Ⅲ的数据文件的结构,在此基础上提出了从BASIC程序中直接读取dBASEⅡ/Ⅲ数据文件中的数据的方法,并给出了相应的BASIC程序及运行结果。     

用于优化WCET值的片上存储器分配方法

SPM(Scratchpad Memory)是实时嵌入式系统中常见的片上存储器,其分配管理在编译期进行,从而可以在编译完成时确定访存时延.当前的SPM分配方法主要用于减少程序在平均情况下的执行时间.然而,在硬实时系统中,最差情况下的执行时间(WCET, Worst-Case Execution Time)是更为关键的指标.通过分析优化程序WCET值过程中存在的主要问题以及现有算法,基于变量公用度概念,提出一种启发式搜索算法用于最小化程序WCET值的数据变量SPM分配,实验表明,论文提出的分配方法可获得更好的优化效果.     

程序脆弱性发现中的测试数据生成方法研究

为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法--H-Fuzzing.其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变量之间的关联关系,进而指导测试数据算法的收缩,达到能够在少量的随机输入产生过程中得到较高的测试覆盖率的目的.     

用数据库系统为FORTRAN程序准备数据文件的通用程序

FORTRAN语言是科学计算程序采用的主要语言之一。稍大一点的FORTRAN程序的输入数据大多采用文件存放起来。需要改变输入数据时,便需要修改相应的文件。修改或编辑数据文件一般是用EDIT之类的编辑工具进行的。由于FORTRAN程序对输入数据的格式要求是相当严格的,有时哪怕是多插入一     

高级统计分析用户指导手册(下)

程序简述相关和线性回归是一个多步骤程序,它描述两个变量或两个测量集合之间的关系。计算回归系数可提供一个有或没有回归(予测)线的X对Y的数据座标图。并且允许用户由任意X值而得到的予测的Y值。该程序输出还包括X、Y的均值、标准差、数据对的数目和自由度。特点·从键盘或数据文件(磁带或磁盘)输入。·X对Y的数据座标图。·如果你想要的话,可以画出X对Y的座标图,并画出回归线。     

Windows下的文件关联

一、什么是文件关联 使用过ＤＯＳ的用户都知道，在ＤＯＳ下要打开一个数据文件，必须首先启动应用程序，然后在应用程序中打开数据文件，例如，要打开文本文件就要先启动ＥＤＩＦ等文本编辑器。而在Ｗｉｎｄｏｗｓ下，系统可根据文件的扩展名在特定的数据文件和应用程序之间建立关联，例如，在缺省状态下，ＴＸＴ类型的文本文件与记事本程序关联，ＢＭＰ类型的位图文件与画图程序相关联。在资源管理器中直接双击数据文件的图标就可以启动相应的关联程序并将数据文件自动打开，在“运行”窗口中直接输入数据文件的文件名也可以得到同样的效…     

允许在输入数据文件中加注的输入子程序及其相容性,容错性

本文介绍一种用True BASIC语言编写的具有特殊性能的数据文件输入子程序。它不仅可以和INPUT语句一样正确地输入通常的数据文件,而且可以正确地输入添加了注释的数据文件,应用这个子程序,可以在准备的数据中加注,以增强其可读性和可维护性。     

一种利用AUTOCAD进行参数绘图的新方法

在深入分析AUTOLISP的基础上,本文提出了一种参数绘图方法。这种方法以人机交互的方式将原有图形参数化,自动产生相当于绘图程序的参数文件;对变量赋值以后,图形将依据参数文件重新生成,达到参数绘图的目的。原图的绘制可以充分发挥AUTOCAD的高效绘图及图形编辑功能;交互式的变量标识简洁、迅速。用于参数化新绘制的底图,则产生一个参数化图形;用于参数化图形库中已有图形,扩大了图形数据库。程序全部用AUTOLISP编写,在AUTOCAD 9.03以上版本上运行。     

三维矢量计算器

将文后程序输入你的计算机,编译运行后它便成为一部三维矢量计算器。 一、程序功能 本程序提供八个矢量变量,分别用大写字符A、B、C、D、E、F、G、H表示。程序刚开始运行时它们都被初始化为矢量0i+0j+0k,你可以任意设置它们的值。还可以使用以下运算符,让这些运算符与矢量变量组成矢量表达式。本程序的功能就是计算这样的矢量表达式的值,并且严格地从左到右计算,计算结     

基于遗传规划寻找循环不变式的方法

描述了一种产生循环不变式主要部分的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环不变式的主要部分。程序变量之间的函数关系则利用遗传规划对跟踪表中数据执行符号回归得到。     

煤矿综采设备运行状态大数据清洗建模

针对煤矿综采设备运行状态数据量大、数据存在噪声和缺失值等问题,建立了一种基于MapReduce的煤矿综采设备运行状态大数据清洗模型。该模型采用双MapReduce协同工作:通过第1个MapReduce对数据中的噪声点和缺失值进行修正,输出多个清洗后的数据文件;通过第2个MapReduce对多个清洗后的数据文件按采集时间及日期进行排序,并合并成单个数据文件输出。实验结果表明,该模型能有效剔除噪声数据和补全缺失数据,具有较好的数据清洗效果。     

在AutoCAD中实现非等间距阵列程序

本程序采用AutoLISP语言编写而成,是对AutoCAD命令集的扩充。其主要功能是在AutoCAD中实现任意角度、任意间距轴线网格的绘制以及在轴线网格节点上阵列用户图形块。程序提供①读取外部数据文件的批处理输入②直接交互式输入两种方式。本程序使用方     

FOXBASE与COBOL语言相互读取数据的一种方法

人民银行在汇总全辖各专业银行报表的软件设计中最常遇到的一个难题是:有些专业银行的报表程序是用COBOL。语言编写的,产生的数据存于COBOL数据库中,而有些专业银行的报表程序是用FOXBASE语言编写的,产生的数据存于FOXBASE数据中。笔者在实际设计汇总软件时,找到了一种在FOXBASE中读取COBOL数据文件中数据及在COBOL中读取FOXBASE数据库中数据的一种方法,请广大读者指正。     

一种基于数据流分析的程序定义域自动确定方法

程序定义域的确定有利于指导测试用例的选取,虽然程序规范规定了输入变量的定义域,但程序实现本身也定义了其定义域,如果二者不能完全重合,那么某些软件故障就可诊断出来,文中提出玫种基于数据流分析的程序定义域自动确定方法,通过对原程序进行数据流分析和相关性分析,求取输入变量的定义域,采用程序抽取的程序定义域自动确定方法,通过对源程序进行数据流分析和相关性分析,求取输入变量的定义域,采用程序抽取技术,将与输入变量无关的语句和函数剔除,简化了源程序,提高了分析效率,采用动态模拟技术,实现了特殊情形下输入变量定义域的确定,实验证明,该方法是行之有效的。     

求连续搅拌釜式反应器控制系统数学模型的计算机程序

信号流图是一种表示复杂控制系统中各变量间关系的很好的方法。利用 MASON 增益公式可以求得信号流图中输入变量与输出变量间的关系—即输入节点到输出节点的总传输。本文通过连续搅拌釜式反应器控制系统来探讨在计算机上实现 MASON 增益公式的方法,利用这种方法编制的 FORTRAN 程序可以用来求解信号流图两点间的总传输或数学关系式。程序在HP-1000机上调试通过。     

一种嵌入式控制器的人机交互界面设计方案

针对基于ARM的控制器人机交互界面设计,提出一种通用的液晶显示多级菜单的设计架构。在此基础上设计了一种高效的按键输入和人机交互输入的方案,采用触摸按键不仅仅避免了传统按键的抖动问题,而且提高了I/O口利用率,并利用C语言中结构体变量实现了参数的设定功能。该设计方案在张力控制器系统的设计中得到实际应用。     

包含依赖输入分支程序的符号化WCET分析

符号化WCET(worst-case execution time)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接.     

一种实用的程序调试技术

通常情况下,人们把程序调试理解成识别并纠正程序中的错误代码的过程。调试是一项非常困难的工作,因为错误代码只能通过它们所导致的错误来间接地找到。本文所要介绍的Delta Debugging是一种有效地对程序错误进行定位的方法。给定一个正确的程序和相关的错误的程序,它能够通过程序的执行状态来找到引起程序出错的变量及变量的值。     

嵌入式控制系统程序模式的自动分析方法

嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等。程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的。基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序的WCET。在对源程序进行分析的基础上,提出了一种自动获取程序模式的新方法。该方法基于C语言源程序,针对程序控制流程图,通过调整循环中节点流向以及去除与输入变量无关的节点,获得输入变量相关控制流程图ICFG,通过对ICFG每条路径建立线性规划问题并求解,获得每一个潜在的程序模式及其输入变量约束表达式。对基准程序的实验结果,表明了该方法的可行性和有效性。