论文部分内容阅读
[!--newstext--]
[!--title--]
【机 构】
：
北京工业大学
【出 处】
：
北京工业大学
【发表日期】
：
2018年期
其他文献
近年来，形式化方法——即在计算机系统和软件的规范、设计和构造中使用基于数学模型和离散数学的技术的工具的方法，被广泛应用于高等级安全操作系统的开发过程中。TCSEC的B2级
学位
科学数据库经过二十多年的发展，积累了大量的数据资源。随着网络技术的发展和科学研究的进步，科学数据库将成为科研工作的基础设施之一，并将成为未来科学研究必不可缺的资源。作
学位
在大脑接收的来自外部世界的感知信息中,80﹪以上是通过视觉系统进行加工处理的.最近二十多年来,视觉信息加工的机制是脑科学、神经生物学、认知心理学和计算机科学等学科研究
嵌入式技术作为计算机技术和电子通讯技术的交叉学科，其在科学研究、工程设计、军事技术等领域得到了广泛的应用。在一般情况下，嵌入式应用的执行都有着相当严格的时间限制，有些
学位
各种高科技领域的强劲需求不断推动着数据库规模的迅速膨胀，传统的集中式数据库系统已经难以满足这种数据密集型应用的需要，因此，开发高性能、低成本的并行数据库系统将有重大意
学位
伴随着计算技术的发展，在实际应用需求的推动下，数值计算得到了长足进步。数值软件尤其是并行数值软件是当前数值计算的关键环节。日益增多的大规模、复杂实际应用问题，对数值软
学位
XML(eXtensible Markup Language,可扩展标记语言)定义了一种数据格式,这种数据格式允许用户自己定义标记,来描述特定应用领域的数据,以这种格式描述的数据形成的文件称为XML
随着计算机技术的迅速发展和硬件水平的快速提升，尤其是近年来高性能计算机和并行技术的发展，气象、生态问题的高性能计算应用显得日益重要。本课题内容基于国家973项目“高性
学位
计算机网络的迅速发展推动了信息化和全球化的进程。企业与企业之间，企业的各部门之间，信息交换越来越频繁。由于地理位置的分布性和所采用的技术的多样性，直接导致了数据资源的
学位
互联网技术和应用的飞速发展对网络信息传输安全和服务质量保证提出了严峻的挑战,建立高可信的网络服务已经成为网络应用发展的迫切需求。目前可信网络相关技术的研究重点集