计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术,在程序切片技术提出的30年来,得到了很快的发展。本文主要介绍了程序切片的基本概念,程序切片的种类、算法以及用途。     

嵌入式系统中程序的优化策略

嵌入式系统中的程序往往是运行在有限的硬件资源环境中,而且大多具有实时性的要求,因此要对程序进行优化,尽量提高程序的执行效率,减少程序的存储空间。讨论对嵌入式系统中的程序进行优化的方法和策略。     

基于数据结构的程序递归算法设计

基于数据结构的程序递归算法设计是当前软件设计中比较的常用的一种方法和技术。由于递归程序算法省略程序设计中的很多操作细节,大大简化程序的设计过程,而且递归程序算法的结构看起来非常清晰,并且程序的易读性也很好,最重要的是递归程序算法的正确性可以比较容易得到验证。总之,递归程序算法在程序设计中的地位非常重要。从对递归算法的介绍谈起,然后对递归算法的实现策略进行系统的分析,最后就递归算法的设计方法及其应用进行深刻的阐述。     

企业怎样建立质量体系（五）──企业建立质量体系的工作程序

企业怎样建立质量体系（五）──企业建立质量体系的工作程序国家技术监督局科学技术委员会李春田三、程序（质量体系程序）程序─—为完成某项活动所规定的方法，多数情况下，须形成文件，策划和管理所用的基本文件。这些程序是质量手册的基础，是手册中原则性要求的展开...     

功能强大的排列

<正>1问题提出本人以前开发了一个程序《组合程序的深入研究》,最近想写一个排列程序,看了网上的排列程序,大都是全排列,只有一个选排列,代码晦涩难懂,而且数字大了会出错,于是决定自己开发一个全新的排列程序。     

浅析YG-1计算机通用分组程序

本程序主要用于零件的分类归组,由于矩阵的设置与分组程序无关,并根据分组需要,可随时对原有矩阵进行删除,增加、修改、显示检查等工作。整个程序具有较大的通用性,适用于1、2码位是名称矩阵的编码系统。矩阵设置程序与分组程序由主控程序统一控制。 本程序采用汉字BASICA,在IBM—PC机上运行。     

从静态草图到参数化绘图程序自动转换

结合参数化设计和机械工程的实际,提出并深入研究了从静态草图到参数化绘图程序的自动转换问题。在建立图形转换模型的基础上,用AutoLISP编制了图形信息提取程序,用C 编制了转换程序。该转换程序能输出参数化的AutoLISP绘图程序,实现了从静态草图到参数化绘图程序的自动转换。实验结果表明:解决思路是可行的,在机械工程设计中有较大的使用价值。     

浅谈技术监督行政处罚的程序问题

程序问题在行政处罚中具有重要意义,程序合法是行政处罚行为合法的必要条件,《行政诉讼法》从审判的角度对行政处罚程序作了规定,《行政处罚法》对行政处罚程序提出了更全面、更明确、更具体的要求,如何在具体的行政处罚行为中落实《行政处罚法》和《行政诉讼法》关于程序的规定,是一个值得探讨的问题。下面根据技术监督系统实施行政处罚的实践,就技术监督行政处罚的一般程序和简易程序谈谈看法。一、技术监督行政处罚的一般程序(立案处罚程序)根据《行政处罚法》和《行政诉讼法》的规定,结合技术监督行政机关的工作实践,技术监督行政处罚的一般程序可根     

<采用快速程序制定国家标准的管理规定>--国家质量技术监督局文件(技监局标发[1998]03号)

第一条为了缩短标准制定周期,以适应企业对市场经济快速反应的需要,规范采用快速程序制定国家标准的工作,特制定本规定。第二条快速程序（代号：ＦＴＰ）是在正常标准制定程序（程序类别代号：Ａ）的基础上省略起草阶段（程序类别代号：Ｂ）或省略起草阶段和征求意见阶...     

论程序文件的编制方法及其内容与要求

本文从“程序”的定义,阐述质量体系、程序文件和质量活动的相互关系,提出程序文件的系统设计方法,通过对质量体系的系统分解与组合,确定了程序文件的基本内容与要求,为编制程序文件的规范化开创了有效途径。     

基于MFC的OpenGL图形开发

首先分析MFC的主要类库,然后运用这些标准类库,结合一个MFC的程序开发流程开发Bezier曲线的程序,并且对于图像闪烁问题进行改进。该程序的开发可以作为Bezier曲线的演示程序,从中体现的编程思想也可以作为类似系统的参考。     

一种冗余自由度的工业机器人控制系统软件研究

介绍一种冗余自由度的工业机器人单片机分布式控制系统,主机的主程序、示教盒主程序、再现程序以及从机与主机的通讯程序的设计。     

基于静态调度的多线程程序分析方法

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征。实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础。     

可用于导电样品的程序升温仪

本文叙述了高精度程序升温仪的原理和特性。结果表明此仪器非常适合做超高真空系统内导电样品的程序升温热脱附和程序升温表面反应等研究工作。     

梯形槽法兰强度校核程序设计

使用计算机TurboC编译环境编写该梯形槽法兰强度校核程序,用该程序对一组法兰进行强度校核,并对比手工计算结果。程序检验结果表明该程序对梯形槽法兰进行强度校核可靠、准确、便捷,提高了梯形槽法兰设计的工作效率。     

浅议施工程序对施工质量的影响

通过分析施工过程中的执行程序,旨在说明因施工质量存在的复杂性、严重性、可变性、多发性等问题,施工程序对整个工程具有重要影响,并且就程序的讨论将施工程序与施工质量结合起来,就施工程序的解释说明促使工程质量达标,工程效率提高。     

数据库管理系统在水质分析计算中的应用

本文例举了三个针对环境监测水质分析计算用数据库管理系统编制的程序,这三个程序是分别用来计算高锰酸盐指数、化学需氧量、五日生化需氧量的。依照这种方法,还可编制出计算其他一些水质监测指标的程序,所有这些程序将会给环境监测水质分析计算带来便利。     

Matlab在锅炉课程设计编程中的应用

针对学生这一群体,提出采用Matlab编写锅炉课程设计程序。程序编写方法简单、语法易懂,非常适合学生这类非计算机专业人员编制。并且通过编写Matlab调用C语言的接口程序得到热力计算过程中涉及到的水和水蒸汽的物性参数。通过实例验证,本程序计算结果具有很强的准确性。     

《通风与空调工程施工质量验收规范》(GB 50243-2016)抽样检验评定程序解读

《通风与空调工程施工质量验收规范》(GB 50243-2016)在建筑工程施工质量验收中首次采用基于小总体声称质量水平的抽样检验评定程序。本文介绍了《规范》抽样检验程序的引用背景与依据,阐述了具体抽样检验程序在《规范》中的应用体系,说明了实施《规范》抽样检验程序应注意的问题,并给出了工程实际中应用《规范》抽样检验程序的示例。     

可编程序控制器在93#装置仪表联锁上的应用

本文介绍了可编程序控制器与工控机在93#仪表联锁的应用,概述了系统的基本组成,介绍可编程序控制器的程序设计和工控机组态软件应用的几个典型问题。