共查询到20条相似文献,搜索用时 218 毫秒
1.
2.
3.
阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行. 以实例说明了程序形式推导方法的使用. 相似文献
4.
简述了物料需求计划功能、基本思想及其应用,分析了物料需求计划分解运算数学模型,介绍了其程序设计方法。 相似文献
5.
6.
简要分析了直接数字频率合成技术的概念、优点和应用,阐述了DDS工作的基本原理和利用DSP Builder设计正交信号发生器的基本程序,提出了正交信号发生器的仿真和FPGA实现的基本方法。 相似文献
7.
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能.研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义,Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本通过对这两种语言中的元程序设计方法进行研究.讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现. 相似文献
8.
TRS是DOS程序设计中的重要技术之一,本文通过分析汇编语言设计TSR程序的结构和基本方法,对TSR程序的设计与优化问题进行了深入的分析和探讨。 相似文献
9.
10.
玉米低温干燥的数学模拟 总被引:1,自引:0,他引:1
建立了一个玉米低温干燥的数学模拟程序,主要包括传热传质和霉变两部分。模拟的基本方法即将深床谷物等分为一系列薄层,将干燥时间等分为一系列时间间隔。同时在纯平衡模型的基础上,引入了薄层干燥与薄层湿化方程,考虑谷物与气流间的状态不平衡;引入吸湿平衡含水的质量分数方程,以考虑解析与吸湿间的滞后效应。模拟结果表明,该程序基本有效。 相似文献
11.
谢胜利 《温州大学学报(自然科学版)》1995,(6):36-37
ROMBIOS是已固化化在IBMPC及其兼容机上的程序,它的主要作用是上电时引导机器和提供一些基本的输入/输出子程序,这些子程序为程序设计人员提供了丰富的系统资料和良好的开发环境,在程序设计中调用这些系统资源可以有效地提高程序开发效率,实现更加复杂的功能,本文讨论如何利用C语言调用ROM BIOS的方法。 相似文献
12.
计算机领域中软件技术越来越不能完全满足硬件技术发展的要求,这种不同步必将导致软件技术的危机.以往的面向过程的程序设计是一种自顶向下的程序设计方法,局部代码的增删导致整个程序的修改.面向对象的程序设计通过为数据和代码建立分块内存,大大地提高了易维护性和修改性.在调查研究和对大量的材料的进行分析、归类、研究的基础上,本文介绍了面向对象程序设计的基本特点、基本步骤,及对面向对象的技术在某些领域中的应用及发展前景. 相似文献
13.
炼钢─连铸生产的计划与调度结构 总被引:4,自引:0,他引:4
分析了炼钢-连铸生产工艺流程的特点,给出了一个炼钢-连铸生产计划与调度编制方法的总体结构,以及编制炼钢-连铸作业计划的基本程序 相似文献
14.
介绍屏幕保护程序的基本特性,详细叙述了用VC++6.0编制屏幕保护程序的步骤,给出了编制屏幕保护程序需要的两个类的源代码. 相似文献
15.
介绍屏幕保护程序的基本特性,详细叙述了用 VC++ 6.0编制屏幕保护程序的步骤,给出了编制屏幕保护程序需要的两个类的源代码 . 相似文献
16.
吴庆松 《河北师范大学学报(自然科学版)》1998,22(2):182-184
提出了一种设计“具有自适应能力的菜单生成程序”的基本方法,在Visual FoxPro平台上,开发一种新的自动化编程器,使生成的菜单程序具有用户干预下的自完善能力,同时使整个操作过程更简洁。 相似文献
17.
18.
针对一些体育工作开展科研工作的初期阶段感到选题难的问题,对论选题的基本要求、基本程序、材料获取和选题方法等方面作了阐述. 相似文献
19.
面向对象的程序设计方法的研究 总被引:1,自引:0,他引:1
本文简要的概述了面向对象程序设计的基本特点和特征,并与传统的程序设计方法作了比较,分析其优缺点,文章用OOP方法设计并实现了一个股民买卖票系统。 相似文献
20.
保护系统数据的一种方法 总被引:1,自引:0,他引:1
分析了常用的系统数据保护技术并指出其不足;对系统的常规引导方式进行了描述;介绍了利用硬盘锁保护系统数据的基本原理,给出了加锁程序的主要代码;介绍了解锁的基本原理,给出了制作钥匙盘的基本方法和解锁程序的主要代码. 相似文献