轻质双相高熵合金Al20Li20Mg10Sc20Ti30热力学性质的第一性原理研究

采用特殊准随机结构(Special Quasi-random Structure, SQS)处理高熵合金固溶体的化学无序性,并基于密度泛函理论研究了具有面心立方(Face-centered Cubic, FCC)和密排六方(Hexagonal Close-packed, HCP)结构的Al20Li20Mg10Sc20Ti30高熵合金的结构稳定性和热力学性质。理论得到的两个相的晶格常数与实验测量值符合较好。两相中,由于HCP相具有较FCC相略大的体模量,因而其具有较好的抗压缩性能。由于计算得到的两个相在0 K时的形成焓都为小的正值,因而两个相都为热力学亚稳结构。采用Debye-Grüneisen模型研究了不同温度下两个相的热力学性质,结果表明两个相的体模量随温度的上升表现出缓慢的下降趋势,且HCP相的体模量大于FCC相,而FCC相具有更大的体积热膨胀系数。研究了两个相的熵(包括振动部分的贡献和电子部分的贡献)随温度的变化,结果表明在研究的温度范围内,HCP相比FCC相具有更大的熵,且两个相的熵的主要来源都为振动部分的贡献。     

基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测

时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题.一方面,使用时态描述逻辑ALC-LTL公式来表示待验证的时态规范;另一方面,在对系统建模时借助描述逻辑ALC对领域知识进行刻画.针对上述扩展后得到的模型检测问题,提出了基于自动机的ALC-LTL模型检测算法.模型检测算法由3个阶段组成:首先将时态规范的否定形式和系统模型分别构造成标记büchi自动机;接下来构造这两个自动机的乘积自动机,并将关于ALC的推理机制融入到乘积自动机的构造过程中;最后对该乘积自动机进行判空检测.与LTL模型检测相比,时态描述逻辑ALC-LTL的模型检测引入了描述逻辑的刻画和推理机制,可以在语义Web环境下对语义Web服务等复杂系统的时态性质进行刻画和验证.     

一种基于Büchi自动机的LTL程序模型检测方法

时序逻辑程序的形式化验证对提高程序的正确性具有重要意义。基于自动机的理论,用标签转移系统（S）表示程序的行为,用时序逻辑公式（F）描述程序的性质,构建相应的Büchi自动机,从而证明形式化公式SF是否可满足。     

AG9/AB9与牛血清白蛋白相互作用的德拜休克尔极限理论分析及其焓熵补偿

本研究通过多光谱技术深入探讨盐浓度（离子强度）对酸性绿9（acid green 9,AG9）和酸性蓝9（acid blue 9,AB9）与牛血清白蛋白（bovine serum albumin,BSA）之间相互作用的影响。运用德拜休克尔极限理论定 量分析,计算得到真实的吉布斯自由能变化（ΔG0I →0）和BSA的阴离子受体腔内有效电荷（ZB）。配体AG9/AB9 所带电荷ZC的值为负,ZB的值为正,意味着相反电荷之间离子对的形成,即AG9/AB9的负电荷与BSA的净正电荷 结合腔（位点-Ⅰ）相结合,表明BSA的局部电荷主导BSA-AG9/AB9体系的相互作用,而不是它的整体或表面电 荷。随着盐浓度的增加,这两个体系的熵变逐渐由正值变为负值,且焓变逐渐增大,使ΔG0几乎不变而发生焓熵补 偿。最终其热力学参数由ΔH0＜0、ΔS0＞0（静电力）在高盐浓度下转变为ΔH0＜0、ΔS0＜0（非静电力）,表明 AG9/AB9与BSA相互作用时,它们的移动或局部运动由于主导力的转变而受阻。     

B18N18、B30N30与B90N90富勒烯分子的电子传输特性

采用扩展的Hückel方法与格林函数方法,研究了Au电极作用下,B18N18、B30N30与B90N90富勒烯分子的电子结构与电子输运特性,并将B30N30富勒烯与C60富勒烯的电子结构与导电性进行了对比。结果表明,B18N18、B30N30与B90N90富勒烯分子与Au电极“接触”后为一种弱结合,其HOMO、LUMO间的能隙减小;3种BN富勒烯的电子输运性能依次为B90N90>B18N18>B30N30;C60富勒烯的导电性明显优于B30N30的导电性。     

结合全局与局部变化的图像质量评价

图像所包含的信息是通过灰度值在空域的变化呈现的. 梯度是度量变化的基本工具, 这使得梯度成为了目前大多数图像质量评价算法的重要组成部分. 但是梯度只能度量局部变化, 而当人类视觉系统(Human visual system, HVS)感知一幅图像时, 既能感知到局部变化, 也能感知到全局变化. 基于HVS的这一特性, 本文提出了一种结合全局与局部变化的图像质量评价算法(Global and local variation similarity, GLV-SIM). 该算法利用Grünwald-Letnikov分数阶导数来度量图像的全局变化, 利用梯度模来度量图像的局部变化. 然后结合二者计算参考图像和退化图像之间的相似度谱(Similarity map), 进而得到图像的客观评分. 在TID2013、TID2008、CSIQ与LIVE四个数据库上的仿真实验表明, 较之单一度量局部变化的方法, 本文算法能更准确地模拟HVS对图像质量的感知过程, 给出的客观评分与主观评分具有较好的一致性.     

基于多介质Riemann问题的流体-固体耦合数值方法及其在爆炸与冲击问题中的应用

为提高爆炸与冲击下多介质大变形问题的数值模拟精度，针对具有高度非线性特征、通用形式的Mie-Grüneisen状态方程和流体弹塑性本构方程的多种介质间相互作用问题，提出一种通用、健壮的多介质Riemann问题求解方法，以有效提高物质界面上各物理量的计算精度。结合Euler坐标系下具有锐利界面的守恒型多介质流动数值方法，建立一套能够模拟可压缩流体和弹塑性固体在极端物理条件下大变形动力学行为的数值计算体系。对流体-固体耦合、固体-固体耦合Riemann问题，地下强爆炸、空中强爆炸以及高速冲击等问题开展了数值模拟，计算结果和理论、实测数据符合较好，表明该数值方法能够对典型爆炸与冲击等多介质问题进行有效的模拟。     

GCr15钢的热膨胀系数

 采用Netzsch DIL 402C 热膨胀分析仪研究了GCr15钢在200~1000℃温度范围内的热膨胀规律,通过取样、制样、试验测量得到试验数据,采用微分法进行数据运算与处理,得到瞬时热膨胀系数并发现一定规律。研究结果表明,GCr15钢的瞬时热膨胀系数在1.5×10-5~8.0×10-5之间,且在奥氏体?涞阄露惹昂蠓直鹩胛露瘸嗜畏焦叵担螱rüuneisen关系式和Debye模型的规律。     

新型高碱玻璃布材料状态方程的研究

高碱玻璃布材料在航空航天领域有着较广泛的应用,其高压力学性能的研究逐渐受到人们的关注。针对一种新型高碱玻璃布材料,通过轻气炮实验进行冲击压缩力学性能研究。采用非对称碰撞直接测量法测量并计算激波速度(D)与波后质点速度(u)的D-u型的Hugoniot曲线,并以Hugoniot曲线为基础建立该材料的Grüneisen状态方程,求得相应的材料参数。     

Conceptual Model for Collaborative Planning in Iran with Emphasis on the Role of Urban Planners： A Case Study of Anzali＇s Development Strategy

Nowadays, public participation is one of the most important factors to improve the feasibility, legitimacy and quality of urban plans. In Iran, due to lack of comprehensive understanding about the participation notion and its necessary socio-economic and political infrastructures, participatory decision-making has faced with some serious challenges in both processes of preparing and implementing. The present paper focuses on providing practical strategies for preparing collaborative urban plans in Iran＇s conditions. Also it seeks to answer this question： What is the role of planners to prepare a real collaborative plan？ It is assumed that a conceptual model for collaborative planning can be fitted with Iran＇s conditions by means of integrating the fundamental philosophic ideas of participatory planning such as theories of Paul Michel Foucault and Jürgen Habermas, given the fact that the present situation of collaborative planning in Iran needs a supportive theory which is compatible with power structures of Iranian urban planning system. In this regard, the Habermas＇ theory of “communicative action” and the Foucault＇s theory of “power structures” are reviewed by a comparative analysis methodology to present an integrated conceptual model for collaborative planning in Iran＇s condition. At the end, the CDS （City Development Strategy）---making process of Anzali City of Iran is analysed to examine this claim in the practice. The results yield that enabling urban planners to act as communication facilitators during planning can direct the collaborative planning in Iran from theory to a real practice by means of integrating the positive aspects of communication and power.