传统建筑语言在现代观演建筑中的运用——以重庆人民大礼堂和美国肯尼迪表演艺术中心为例

多元文化冲击下,中国当代建筑创作更加注重对传统的继承。以重庆人民大礼堂和美国肯尼迪表演艺术中心为例,从建设背景、传统建筑语言的来源与运用手法、传统建筑语言与建筑功能的结合以及传统建筑语言对建构的表达4个方面进行分析,探讨传统建筑语言在现代观演建筑中运用面临的主要问题,以期为当今中国建筑师的设计实践提供参考。     

C~3I系统仿真技术研究

针对Ｃ￣３Ｉ系统仿真基本技术特点,文章重点对Ｃ￣３Ｉ仿真程序基本结构、通用ＧＰＳＳ－Ｆ仿其语言编程特点及存在问题进行了研究。对Ｃ￣３Ｉ系统仿真设计与实现有参考价值。     

基于图形几何的平面区域位置关系判定方法

针对地理信息容量的增加带来的航迹规划计算量急遽增长的问题,首先将任务区大容量地理信息进行化简、合并成几何图形,并按电子地图比例尺谱系依次存储为数据文件;其次,通过开发内存虚拟绘图工具集,在确定的任务区域内,将预处理后的地理信息和飞行器预计航路及散布域分别绘制成平面图形区域;再次,采用图形几何方法将平面区域的相交判断转化为计算机图形几何运算,根据运算结果判定了平面区域之间的位置关系;最后,分别在Pow PC环境和AMD X86环境,对图形几何运算算法的计算效率进行了验证。仿真结果表明:该方法具有计算时间不随地理信息的增加而显著增长的特点,可以满足在有限硬件资源条件下进行大量复杂计算的要求。     

利用线性平滑法实现屏幕汉字放大

本文分析了一般屏幕点阵汉字放大的方法及不足,提出使用线性平滑法提高汉字放大字符质量的思想,给出了线性平滑法实现高质量汉字放大的方法。此外,本文还介绍了不同汉字操作系统的识别方法及多种汉字字模获取的方法,为实现多种汉字字体放大提供了方便。     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

基于模糊语言的战术决心方案优选法

在作战过程中,定下战术决心方案是分队指挥员必须面临的一项重要工作。目前,定下战术决心方案基本以定性的方式进行,缺乏科学性。因此,本文探讨了一种三角模糊数的多属性决策方法,其核心是将模糊语言映射至三角模糊数,并分析模糊信息之间的关联程度。最后,以实例分析计算验证了模型对于战术决心方案优选的科学性与可行性。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

基于多粒度多语义语言判断矩阵的群决策方法

在基于语言判断矩阵的群决策中,多个决策者可能会使用不同粒度不同语义的语言评价集表达自己的偏好。针对此问题,提出了将多粒度多语义语言评价集统一转化为基本语言评价集上二元语义的一致化方法,证明该方法能够实现信息无损的转换,且转换后语言判断矩阵性质不会改变。在此基础上,基于二元语义的相关集结算子,将二元语义信息集结为群体的判断。通过一个实例验证了方法的有效性和实用性。