程序模型相关论文
为了适应顾客大规模定制化的需求,在智能制造、协同制造等模式的基础上,对企业移动制造资源配置这一新型制造模式进行研究,分析了......
在通信系统RNC开发的研发集成及验证阶段，系统仿真起着重要的作用。利用系统仿真，不但可以模拟系统需要的正常硬件环境，还可以模拟出......
软件测试是为了发现错误而执行程序的过程,是保证软件质量的重要手段,因而成为软件生命周期中的重要阶段。在已有的测试工具中,源......
近30年来,伴随着并行计算机的出现,并行计算迅速发展。SMP(对称共享存储多处理机)是一类被广泛使用的并行计算机系统。OpenMP则是......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
随着计算机在人类社会各个领域的普及,软硬件系统的正确性问题已经备受关注,在过去的几十年里,形式化验证方法已成为保障软硬件系......
RTI模式起源于数据修改程序模型与咨询模式,旨在应用多层次模式促进全体儿童的发展。在重视早期教育质量、学校准备行动、早期预防......
计算机科学是一门年轻的学科,它的诞生可以追溯到20世纪40年代.1945年第一台电子数字计算机ENIAC的出现和存储程序模型的诞生引起......
建构化学知识的思维模型能有效地解决化学知识繁多、内容松散、无法形成有效知识体系的问题。《化学反应原理》教学建构了四种化学......
P2P技术的日益广泛使用,使得作为P2P技术中一支重要力量的JXTA也日益被研究者所重视,同时也出现了一些基于JX-TA的P2P应用程序。在......
并行测试拥有减少测试时间、降低测试成本的强大优势,正成为研究热点之一.首先详细分析了并行测试的基本概念,介绍了目前实现并行......
设计了基于Linux数控系统的PLC程序执行机和PLC程序的描述模型，并设计了PLC程序的开放性通用可执行数据结构。开发了梯形图语言的图......
重构可以改善软件系统的内部结构,提高软件可理解性、可维护性,而又不改变软件的外部行为。传统的源码层次的重构虽有很多重构工具......
在共同配送的研究中。经常会遇到配送能力与顾客需求之间的冲突，尤以对时间需求的冲突最为常见。文章在现有研究的基础上，通过建立多......
针对航天技术应用产业发展的特殊体制,以项目为导向,运用项目管理方法,建立了项目化程序模型,完善了企业从项目化识别到项目化实施......
本文在基于Internet的网络协议分层概念的基础上 ,分析了网络进程通讯原理 ,结合Socket总结出网络通讯程序的基本模型 ,最后针对面......
HPM(数学史与数学教学之间的关系)是数学教育的一个重要研究领域。HPM与教师专业发展之间的关系是HPM研究的重要方向之一。借鉴数......
随着人们对高生活品质的不断追求，使得集中供热系统向着大型化、多热源的方向发展，与此同时，供热事故频频发生。事故造成热用户得到的......
