排序方式: 共有75条查询结果,搜索用时 15 毫秒
21.
肖人庆 《国防科技大学学报》1990,12(4):43-50
本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C 与分布式库函数相结合实现分布式程序设计的方法,论述了分布式库函数形式,支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题,并给出了分布式程序设计的一个简例。 相似文献
22.
软件的可靠性是C ̄3I系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。 相似文献
23.
本文提出了软件工程的基本特征就是模块化,其核心是多级的模块层次结构和模块的独立性。本文还对软件模块化的价值作了分析。 相似文献
24.
本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。 相似文献
25.
胡劲松 《装甲兵工程学院学报》1996,(1)
针对层次分析法中一致性检验难以通过的问题,提出了一种优化调整方法,并分析了该方法的基本思路及可行性。为方便上机编程,还给出了该方法的具体实现步骤。 相似文献
26.
介绍南沙群岛微气象数据资源和气象数据自理系统的程序设计思想,功能特点,系统结构流程图,数据处理结果,这套系统的最大优点是:优点非常方便,可视性强,且具有较强的数据库管理能力。 相似文献
27.
作者给出了一种不用软盘作中介,利用并行通讯方式进行微机间数据交换的方法。由于这种方法巧妙地借微机所配有的单向打印口来完成双向I/O工作,所以使用中除联接电缆外,无需增添任何硬件设备。文中给出了详细的接线图及完整的通讯程序。 相似文献
28.
周杰 《空军电讯工程学院学报》1995,(2):56-60
本文提出了一种用Windows的BMP位图资源设计DOS应用程序的图形界面的方法,还给出了一种在DOS下不改变调色板显示Windows位图的方法,同时对BMP文件的结构做了必要的分析。 相似文献
29.
Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。 相似文献
30.