用GAL加密EPROM技术方法探讨

由于借助编程工具可以轻易地复制EPROM芯片中的程序,且EPROM内部起译码作用的与阵列的不可编程性,使得通过反汇编破译芯片中的程序相当容易。利用GAL的加密特性,对写入EPROM中的程序进行加密的方法进行了探讨。     

关于循环与循环不变式的讨论

讨论程序设计中的循环与循环不变式的应用 .利用循环不变式可以方便地设计循环程序 ,并可证明程序的正确性 .     

基于解析器的Kuka-Volvo机器人离线焊接程序检查

为了缩短汽车的投产周期,汽车自动化焊装生产线多采用仿真验证然后输出离线程序的方式完成工业机器人的编程工作。而由于软件、人为等方面的因素,输出的机器人程序可能存在各种错误,削弱了离线编程的优势。文章介绍了一种基于flex和bison编写的Kuka-Volvo机器人焊接程序的解析器,对输出的离线程序进行检查。实验证明,该解析器可以有效检测出程序中的错误,从而及早修正程序中的错误,保证离线程序的质量,使汽车能够尽快投产。     

用C语言编写屏幕保护程序

图形程序是计算机程序中很重要的内容,我们可以利用C语言中的图形函数编写出风格迥异的屏保程序。本文通过具体程序,介绍了用C语言编写屏幕保护程序的基本思路和方法。     

冶金热力学数据库应用系统的物质热力学性质程序(简称THERDYN程序)

本文对热力学数据库应用系统的一种THERDYN程序从设计到框图都进行了详细的论述。 阐述了本程序在应用程序系统中的地位及本程序在热力学计算中的功能。本程序提供了2200种物质及化合物的热力学性质的计算。     

被式式太阳能采暖房数学模型及模拟计算程序—Ⅰ．直接受益型和集热墙型PSHD

本文上篇^[19]提出了模型和程序概述及数学模型中的房间围护结构内表面热平衡和室内空气热平衡；本篇介绍数学模型中的集热墙数学模型，模拟计算框图，模型和程序的验证及程序使用简介。     

PASCAL语言程序设计风格

指出了ＰＡＳＣＡＬ语言程序设计中的若干程序设计风格,使用这些风格可以提高程序的可读性,提高编程的效率和程序的运行效率。     

可编程序控制器在船闸控制中的应用

电气控制是船闸控制中的关键技术之一,根据船闸运行的特点,本文介绍了可编程序控制器应用于船闸自动控制的可行性和优越性,设计了可编程序控制器船闸控制系统中的软、硬件。     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

论构建我国刑事诉讼的正当法律程序体系

论述了正当法律程序在刑事司法中的重要意义,阐述了正当法律程序的起源、内容、它在联合国和刑事司法准则中的体现。指出中国法律中没有包含的正当法律程序的因素,并就这些因素与联合国有关规定进行了比较研究,提出了确立中国正当程序体系的想法,论证了其重要性,并就此提出了确立中国正当法律程序各项内容的具体建议。     

一种C程序的函数调用图生成算法的设计与实现

阐述了函数调用图在程序理解、程序分析、软件测试和软件维护中的重要性,利用数据库技术、词法分析技术等,设计并实现一种C程序的函数调用图生成算法。     

微信小程序在全民阅读服务中的应用展望

微信小程序是腾讯推出的基于微信的面向各行各业的轻应用。从小程序的功能、全民阅读服务的现状出发,展望微信小程序在阅读推广中的应用,多方面探讨当前小程序开放的功能如何服务于全民阅读,提出微信小程序将成为各阅读促进机构推进服务的重要工具。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

.NET的内存分配和释放解析

在面向对象的程序环境中,任何一个程序都需要使用到计算机资源,程序中的每一个类型都代表着程序需要的资源。程序在使用这些资源过程中,要经历一个分配内存给类型资源、初始化内存及数据类型、访问数据成员信息、销毁并清理资源、释放内存的过程。     

浅谈AUTOLISP程序在桥梁设计及绘图中的应用

AUTOLISP程序可以提高桥梁设计者的工作效率,本文通过几个例子说明该程序在实际工作中的作用。     

Cosine软件包组件参数程序Coslatc燃耗功能的验证

Cosine软件包组件程序Coslatc中的燃耗计算是反应堆组件参数计算的重要功能之一,Coslatc的计算精度很大程度上影响了堆芯物理的计算结果。通过对单栅元到组件的模型进行计算,将Coslatc的计算结果与国际基准题以及基于ORIGEN-S的SCALE程序中的TRITON模块计算结果进行对比进行数值验算。通过计算结果表明,Cosine软件包组件程序Coslatc具有单栅元到组件再推广到堆芯的计算能力,其燃耗计算精度基本和SCALE程序中的TRITON模块计算结果相当。     

浅议刑事审前程序中的辩护问题

审前程序与审判程序都属于诉讼程序,随着社会的文明、进步各国刑事辩护活动逐渐从审判阶段向审判前程序延伸。审前程序与审判程序的诉讼形态与结构是不一样的,所以审前程序中的辩护有着自己的特点。因此研究刑事审判前程序的辩护,对于发现案件真实与维护程序正当、控制犯罪与保障人权,是十分重要的。     

双曲型方程的人为解问题

为了人为解,分两种情况研究双曲型方程多种格式的程序.使用人为解方法检测程序中的编程错误,观测精度阶与理论精度阶吻合良好,保证了程序的可靠性和置信度.     

应用系统的计算程序及其应用—REACTION、DELTA、HATBL

本文阐述了冶金热力学数据库应用系统的构成,详细地介绍系统中的计算程序。(REACTION、DELTA、HATBL)及程序原理。并对该系统在冶金工业中的应用问题进行了探讨。     

民用航空飞机等待程序及加入方式研究

等待程序是为疏导交通流量,为航行中的航空器提供等待区域,并得到必要的时间间隔和进近序列而设计的一种飞行程序。从等待程序的定义、类型、加入方式及管制方法等方面对等待程序进行全面的分析与阐述,对完成飞行程序及保障飞行安全至关重要。