论文部分内容阅读
平流层飞艇压力--动力学耦合建模与控制方法研究
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2017年期
其他文献
软件工程发展几十年,各种理论与技术不断涌现,但是各种异构系统之间的集成、规约,即实现软件系统互操作性(interoperability),以便达到领域复用的目的仍是软件面临的重大问题
中国的证券市场成立十几年以来,随着信息化的发展,金融机构积累了大量的原始数据.激增的数据背后隐藏着许多重要的信息,人们可以对其进行更高层次的分析,以便于更好的利用这
科学数据库及其应用系统(简称"科学数据库")是中科院"十五"信息化建设的重大项目,该文讨论的内容就是以此项目为背景的.科学数据库经过二十年的资源积累,现存的海量数据资源
随着信息技术的发展,全球经济一体化的加剧,企业管理正经历一场思想上与技术上的巨大变革.其中,离散企业的采购作为离散企业管理重要的一部分与离散企业供应链重要一环面临着
论文从数据仓库(Data Warehouse)的产生背景及其基本概念、联机分析处理(On_Line Analytical Processing-OLAP)的产生背景及其基本概念、SQL Server 2000体系结构、SQL Serve
数据集成是企业之间或者企业内各部门协同合作的需要.它的目标是实现各个异构数据源之间的数据共享,从而有效的利用资源,提高整个应用系统的性能.目前随着计算机技术特别是计
在计算机科学的许多领域，可满足性问题(SAT)都是一个重要的研究课题。SAT是一个NP完全问题，但在各种领域都需要快速算法来解决规模较大的问题，比如在人工智能中比较突出的规划问
随着计算机系统规模和复杂度的不断增加，应用范围的不断扩大，人们对系统正确性的要求也日益提高。模型检验是一种形式验证技术，它的主要思想是构造系统的有限状态模型并穷尽搜索
随着计算机网络的发展,传统的计算机系统发生了巨大的变化,突出地表现为从集中计算(Centralized Computing)到分布式计算(DistributedComputing)的转变.分布式信息系统在人们