全部
科普中国科学百科
版权归原作者所有，如有侵权，请联系我们
单指令流多数据流计算机是一种类型是阵列处理机，它采用一个控制单元控制许多处理单元，每个处理单元同步地执行同一指令流。由于每个处理单元的数据相互独立，可采取数据并行方式工作。处理单元的数目可成千上万，甚至上百万个。阵列处理机适合做大型数组运算，专用性较强。
2018-06-14
消息传递多计算机系统是一种松散耦合并行处理系统，其中每一个计算机都有自己的地址空间和局部存储器，通过消息传递方式进行相互通信。也就是说，这类并行计算机采用互联网将许多联系较松散的计算机组成一个并行处理系统，其中每个计算机(常称为结点机)都运行自己的操作系统，以消息传递方式实现结点机之间的同步。这种并行机的各个结点机一般以插件方式插在相对集中的1个或几个机柜里，并具有集中的控制台。
程序理论是研究程序的语义性质和程序的设计及开发方法的理论。主要包括程序语义理论、数据类型理论、程序逻辑理论、程序验证理论、并发程序设计理论和混合程序设计理论。程序理论和计算理论是计算机科学的两大支柱。
音频视频信号压缩技术 (audio-video signal compression technology) 对声音和图象数据进行压缩的数字编码技术。它是信息论中的通信编码理论与计算机图象处理、声音处理相结合的用于多媒体系统的综合技术。根据编码中信息的保持情况可分为有失真和无失真编码两大类。
设计性语言是软件语言重要组成成分之一。设计性语言用以书写软件设计规约。软件设计规约是软件设计的严格而完整的陈述。一方面，它是软件功能规约的算法性的细化，刻画了软件“如何做”的内部算法；另一方面，它又是软件实现的依据。前者刻画设计的总体架构;后者刻画详尽实现细节。这两种设计规约一般都是用形式体系刻画的，亦即，都是形式化的。设计性语言的发展已相对成熟，并已用于软件工程实践。
可视语言是一类用图形符号描述计算任务的处理对象和处理过程的语言。这种语言与传统程序语言的最大区别是：传统语言是由正文形式表示的一维字符串结构，而可视语言则是由图形符号的空间排列所表示的多维结构。可视语言的实现要求为它建立一个实现环境，称为可视程序开发环境。
科普中国公众号
科普中国微博
帮助
京公网安备11010202008423号 京ICP备16016202号