摘要：结合谐衍射光学元件特殊的消热差以及对波面进行任意整形的特点，针对现代最先进的像元尺寸为30μm、像元数320×240的红外双色探测器，提出了一种轻小型双光谱超宽温度红外探测成像系统方案，利用折射/谐衍射结构实现了超宽温范围内的被动式消热差红外成像探测，仅用三片镜子的单结构就可实现系统在3.8～4.2和8.8～11.2μm双光谱处在-120℃～200℃温度范围内同时探测。系统仅使用锗和硒化锌两种材料，引入了一个非球面和一个谐衍射面，实现了消热差、消色差和结构简单轻量化，设计结果表明，该系统在-120～200℃温度范围内，3.8～4.2和8.8～11.2μm光谱处的最大均方根半径值分别为19.07和17.75μm ，小于红外探测器的像元尺寸30μm ，在红外探测器两个像元内，3.8～4.2和8.8～11.2μm光谱处的能量集中度分别优于88.7％和82.4％，成像质量良好，方案工程实现性好，设计方法和设计结果合理可行。

摘要：【目的】针对风景园林学科回归实践本质的重要性、消解学术研究与设计实践隔阂的严峻性,风景园林学界需积极确立学术独立自主性,合力厚植符合自身认知特点且逻辑自适的设计研究核心方法论。【方法/过程】通过文献综述、概念分析和理论构建,提出设计研究中为了设计之研究(RfD)、通过设计之研究(RtD)和关于设计之研究(RaD)3种主要类型与设计实践活动前期、中期、后期的对应关系,并建构以设计过程为主导的“双线并行、三环往复”风景园林设计研究体系。【结果/结论】“双线并行”为同体孪生的设计型研究和研究型设计,设计型研究包括RfD、RtD、RaD3种研究类型,研究型设计包括前馈设计、过程迭代设计和反馈设计3种设计类型。此6种类型分别落位于设计前、中、后3个环节,设计过程和研究活动相辅相成、循环往复,有利于共同孵化设计成果和研究成果,弥补设计与研究分置的问题。

摘要：峰峰矿区岩溶地下水动态天然状态下,多年呈稳定的周期性的变化,受煤矿疏排水和人工开采影响,呈衰减状态下的周期性变化,且各径流带上由于开采规模不同,呈现不同的变化特点,开采规模大,地下水衰减幅度大,开采规模小,地下水衰减幅度小,煤矿停采后水位大幅回升。据此,科学设计开采矿井布局,在南部径流带上建供水水源地,进行疏干降压供水,减少北部水源地开采量,同时从保护水资源和矿井生产两方面开展防治水工作,提高矿井水利用率,并根据地下水水位、流场及泉流量动态变化。

摘要：分析岩石流变特性对边坡长期变形稳定性具有十分重要的意义。以贵州省某高速公路为背景,在施工现场取样,设计了恒轴压卸围压与等比例卸围压和轴压两种应力路径下的分级卸荷流变试验。试验结果表明,两种应力路径下泥岩岩样卸荷流变趋势大体一致,破坏应力下岩样的侧向变形迅速增长并超过了轴向变形,侧向扩容较显著;对比恒轴压卸荷,等比例卸荷历时较长,岩样轴向变形虽出现了回弹,但轴向变形量和侧向变形量所占全变形的比例较大,约为恒轴压卸荷的2倍,说明等比例卸载围压和卸轴压应力路径下岩样破坏可预见性更小,但其破坏影响更大。等比例卸荷实验参照实际边坡开挖坡度选取比例设计实验,对实际边坡工程长期稳定性分析极具参考价值。

摘要：采用密度泛函理论(DFT)方法在B3LYP/6-31+G(d,p)水平上对聚甲醛二甲基醚(PODE)系列化合物进行了全优化和振动分析计算,获得了该系列化合物的最优构型及热力学函数值.通过设计等键反应计算了PODE的生成热,并进一步计算了生成PODE的反应平衡常数及转化率,进而判断这些反应的热力学可行性.

摘要：为确保高超声速进气道的安全工作,其压缩面边界层在进入其内流道前必须完成转捩。针对高超声速进气道边界层转捩需要,依据二维高超声速边界层转捩机理,尝试了一种新型低阻高效的边界层人工转捩方法,在FD-07风洞中开展了试验验证。试验中首先通过进气道对称面压力分布和激波纹影获得进气道的自起动情况,进而推断进气道入口前的边界层转捩情况。试验包括进气道前体边界层自然转捩和人工转捩,试验结果表明在Ma=5、6,迎角α=0°来流条件下,使用同一波长的人工转捩带可以成功实现进气道边界层转捩,验证了基于线性稳定性理论设计的人工转捩带在宽马赫数范围的适用性。

摘要：Numerous Internet security incidents have shown that support from secure operating systems is paramount to fighting threats posed by modern computing environments. Based on the requirements of the relevant national and international standards and criteria, in combination with our experience in the design and development of the ANshenG v4.0 secure operating system with high security level （hereafter simply referred to as ANshenG OS）, this paper addresses the following key issues in the design of secure operating systems with high security levels： security architecture, security policy models, and covert channel analysis. The design principles of security architecture and three basic security models： confidentiality, integrity, and privilege control models are discussed, respectively. Three novel security models and new security architecture are proposed. The prominent features of these proposals, as well as their applications to the ANshenG OS, are elaborated. Cover channel analysis （CCA） is a well-known hard problem in the design of secure operating systems with high security levels since to date it lacks a sound theoretical basis and systematic analysis approach. In order to resolve the fundamental difficulties of CCA, we have set up a sound theoretical basis for completeness of covert channel identification and have proposed a unified framework for covert channel identification and an efficient backward tracking search method. The successful application of our new proposals to the ANshenG OS has shown that it can help ease and speedup the entire CCA process.

摘要：云平台RESTful接口往往暴露在Internet上,为保证云资源的安全,防止数据泄露和非授权访问,必须实施安全策略对这些接口进行访问控制.然而,目前RESTful接口缺乏统一的访问控制策略描述语言及相应的权限划分机制.这导致两个问题:(1)用户不得不学习不同的策略语言来管理不同云平台上的权限;(2)云服务提供商缺乏对RESTful接口的细粒度的访问控制,不符合最小特权原则.对此,该文提出了一种新的访问控制策略描述语言.该语言定义了RESTful的标准请求格式,从而可以直接从一个RESTful请求中构造样本策略,为RESTful接口访问控制提供语法一致的策略语言.在该语言的基础上,进而提出了一种基于遗传算法的RESTful权限划分方法,采用2维矩阵表示一个权限划分,并作为遗传算法的种群个体.接着定义了选择算子、变异算子和交叉算子,提出了权限划分的三个原则:分类个数、测试用例覆盖、权限重叠,并设计适应度函数.该文基于OpenStack云平台给出了策略语言评估机制的参考实现,验证了方法的可行性.实验结果表明,相比OpenStack原有策略,该文策略评估开销降低了19.4%.在学习成本方面,与XACML策略语言相比,该文策略能够减少策略管理员41.6%的策略设计成本.该文的权限划分方法可以产生符合用户预期、可理解的划分结果,从而为云服务提供商进行权限划分提供指导.

摘要：中华世纪坛中央旋转圆坛为全钢封闭式空间刚架的动态特种结构。介绍了该结构的设计难点及钢结构计算与分析。

摘要：基于一维流体动力学守恒关系模型和燃烧化学平衡流动假设,建立了超燃冲压发动机内推力、比冲与尾喷管出口压力的关联式,消除了以往实验中存在的超燃冲压发动机性能评估的困难。利用该关系式对超燃冲压发动机燃烧室实验模型推力增益进行了计算,通过与实验测量值的对比,校核了燃烧效率。对配合现有燃烧室模型、进气道和尾喷管的一体化发动机推力性能进行了评估,获得了发动机内推力系数、比冲与尾喷管出口压力关系曲线,为超燃冲压发动机性能快速评估和优化设计提供依据。