在人工智能领域里,程序综合方法是实现自动程序设计,构造正确程序的一条有效途径,但往往由于它所涉及的知识领域相当广泛,使得以往的程序综合系统多以大中型计算机为其支持。本文提出一种以形式分析为主的程序综合方法,它勿需庞大的知识库及其管理系统,从而能在微型计算机上实现。
本文给出一种新的基于请求路径探测的分布式死锁探测方法,此方法较以前此类的各种方法具有以下优点:具有较少的通讯开销和较少的死锁探测时延。
本文介绍了一款基于LDC1314的机车位置检测电路,该电路采用Arduino作为主控制器,LDC1314及4个PCB线圈作为传感器,传感器PCB线圈置于钢轨下方,当机车在钢轨上通过时,由于金属
本文介绍了家具结构计算机辅助设计系统FCAD 的设计与实现。详细讨论了FCAD系统中采用的三维模型设计方法、分级消隐技术及数据驱动式用户接口设计方法。
【正】 在20世纪的最后10年,我们已经听到了21世纪的足音.青年创造未来,未来属于青年.我们将面临一个更加开放的世界.对此,我们青年在心理上、精神上又做了哪些准备呢?在当今
本文从实际应用出发分析了高速互连系统中信号损耗的原因,进行了高速电路系统互连和封装结构和半导体单元电路通过接口构成的整体系统的特性分析,并通过计算高速链路损耗提出
随着局部网络的产品化,局部网络已逐渐从实验、研究阶段走向应用,但由于局网产品大多是低层的实现,而对高层,尤其是应用层的设计和实现,目前还不多。本着加速局部网络的应用,弥补应用层协议的研究不足,本文根据IEEE-Project 802标准要求,参考国际标准化组织的开放系统互连参考模型(RM/OSI),研究开发了局部网络文件传输、存取和管理服务,电子邮件服务,远程作业录入服务,并在IBM-PC OMN
本文分析了计算机网络的安全环境,构造了适应这种环境的计算机网络的安全体系,探讨了有效地实现计算机网络安全体系的方案。
本文分析了国内外断路器控制回路方案,提出了断路器控制回路模块化继电器方案,介绍了模块化继电器实施方法与工程应用,为国内产品的国外推广提供了解决方案。
高校阳光体育运动开展的几年来,虽然取得了一些成绩,但在运动的开展过程中也出现了很多的问题,本文将通过分析高校阳光体育开展过程中出现的问题,提出改善问题的有效途径,讨