功能与形式——民用机场航站楼设计的思考

<正>民用机场航站楼属于公共交通建筑,这种特定领域的建筑类型作为城市与空中交通的连接点,在机场运行发展乃至城市运行发展的进程中一直发挥着重要的作用。与其他建筑类型相比,航站楼建筑的功能与形式更加复杂,既要解决空侧与陆侧的合理衔接和高效运行,又要满足航站楼建筑内部为进出港旅客提供服务的功能需求,同时还要在其形式美学方面展现出各自不同的建筑风格与象征含义。由于航站楼建筑具有这些特殊的属性,其建筑功能与形式的设计一直在引发着社会各界的普遍关注与思考。一、关于航站楼功能与形式的设计概论功能与形式,是建筑设计领域永恒的话题。随着时代的发展,这样的讨论也出现在了相对。伴随着社会的进步,人类的物质文明与精神文明水平在不断提     

后疫情时代市场需要哪种飞机

2020年,对于全球航空公司来说,如何“活下去”是头等大事.面对出行需求锐减、绝大部分航线停运,大多数航空公司都不得不削减机队以“断臂求生”. 进入2021年,疫情在全球范围内仍未能得到有效控制,因此从短期来看,对于全球航空运输业来说,不仅还需要一段时间恢复,同时未来究竟何种机型才更符合市场需求已成为业界热议的话题.     

基于高职扩招生源的课程教学设计逻辑起点与变革

随着高职扩招规模的增长,扩招生源已成为高职院校生源的重要组成部分,其主要学习特征和需求存在明显的差异性,对课程教学设计提出了新要求.课程设计者应厘清课程教学设计的总体思路,明确教学对象分析是课程教学设计的逻辑起点.建立以"学生为中心"的课程设计理念,采用"企校合建"模式,确定教学目标、重构教学内容、序化课程结构、创新教...     

航天测控工程计量保障需求和管理对策研究

航天测控工程计量保障工作是完成航天器飞行测量控制任务的重要保证。对比了航天测控系统与普通电子测量仪器的功能原理,分析了影响航天测控工程测量准确度的因素,研究了航天测控工程中测量准确度和工程技术活动计量保障需求,针对航天测控工程计量保障特点和存在问题,提出了建立并完善航天测控工程计量保障体系的管理对策建议。     

一种傅里叶域海量数据高速谱聚类方法

谱聚类方法广泛应用于数据挖掘和模式识别等领域，但大规模数据上高计算代价的特征向量求解及大数据带来的巨大内存需求，使得其应用于大规模数据时受到了极大的限制。为此，研究了基于傅里叶域的海量数据高速谱聚类方法。利用数据模式的重复性特点在傅里叶域建模，将耗时的特征向量计算转化为对预先确定的傅里叶域判别基进行选择来确定最终的特征向量，计算过程只需进行简单的乘法和加法运算，计算量得到极大的约减; 分批次训练样本，使用部分样本即可估计出整体数据的特征向量分布，确定最终的特征向量，压缩了计算时间和内存需求。在Ijcnn1、RCV1、Covtype-mult、Poker及MNIST-8M等大规模数据上的实验结果表明，所提方法在聚类精度等各项指标基本保持的前提下，训练时间相比FastESC、LSSHC、SC_RB、SSEIGS及USPEC等方法最高快了810.58倍，证明了所提方法在处理大规模聚类数据方面具有显著优势。      

嵌入式软件智能合成框架及关键科学问题

程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先，概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上，提出了软件知识产权(intellectual property, IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis, IPESIS)及其框架。最后，阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言，在更高的抽象层次上对目标软件进行刻画，以软件IP为粒度缩小程序搜索空间，采用机器学习等人工智能技术自动合成程序，有望突破现有方法的局限，进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。