更强的密钥交换可证安全模型

设计和分析双方密钥交换协议，目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性，形成一个统一的安全模型是非常必要的。本文评估了eCK＇，eCK和CK模型，证明了eCK’模型是当前最强的密钥交换可证安全模型，并形式化分析了这些模型的强弱关系。此外，对于模型问存在的蕴含关系还提供了形式化证明，并对非蕴含关系给出了反例。     

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

模糊关系数据库的一种广义模型

提出了模糊关系数据库的一种广义数据模型ＧＦＲＤＭ，它是一般模糊关系数据模型的推广，可用来描述现实世界较为普遍的模糊对象。已提出的各种模糊关系数据模型在某种条件下可看作为本模型的特例。文中引入了广义模糊关系的概念，讨论了广义模糊关系代数的操作：广义模糊并、广义模糊交、广义模糊差、广义模糊笛卡尔积、广义模糊投影和广义模糊选择等。广义模糊关系中不仅每一个元组具有模糊性，而且元组的属性值（精确值或模糊值）也具有模糊性（可信度），捕获了更多模糊数据的语义。广义模糊选择操作中允许用户自定义广义模糊比较运算以及指定阈限，从而增强了模糊查询的表达能力和灵活性。     

基于多变量灰色数列模型的民航客运量预测

通过增加白信息量降低预测系统的灰度,以灰色GM（1,1）和GM（1,N）模型为基础,提出了多变量灰色数列预测模型——PGM（1,N）模型,并将PGM（1,2）模型用于实例。结论为利用多变量灰色数列预测模型适宜,预测精度较高。     

基于水平集的多相活动轮廓图像分割模型

提出了一种新型的多相活动轮廓模型，是无边活动轮廓模型的广义形式。该模型具有如下特点：（1）提出了背景填充技术，可以在检测目标内部弱边缘时去除阻碍检测的背景信息；（2）在单次二相水平集收敛的基础上，采用多次收敛方式实现了多相分割模型（n-1次收敛实现n相分割模型，n〉1）；（3）介绍了一种提升算法，进一步增强了模型的计算稳定性。实验结果表明，该模型对弱边缘检测特别有效。     

ZN-1型粘弹性阻尼材料模型参数修正研究

为了给被动约束阻尼（PCLD）结构的动力学分析提供更精确的粘弹性材料数学模型,进行了ZN-1型粘弹性阻尼材料模型参数修正的研究。以模型参数为优化变量,以PCLD悬臂梁固有频率和损耗因子的误差最小为优化目标,采用混合遗传算法修正了ZN-1型粘弹性阻尼材料模型参数。修正模型参数后PCLD梁动力学特性计算值比原始模型更接近于试验值。     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

灰色GM(1,1)模型在预测钢产量中的应用

采用灰色理论中的GM(1,1)模型,用MATLAB语言编程,以国家统计局统计的2001～2005年的钢产量为原始数据列,对该数据列进行实例分析、检验,进而用该模型预测出未来年度钢产量,为政府有关部门和相关企业正确决策提供科学依据。     

驻涡燃烧室驻涡区三维冷态流动特性数值研究

驻涡燃烧室驻涡区内的流动是影响驻涡燃烧室性能的一个关键因素。首先将数值模拟结果进行与试验测量结果进行对比,确定了最佳的湍流模型,并在此基础上通过数值方法深入研究了驻涡燃烧室驻涡区冷态流动特性。结果发现:通过在驻涡区前壁进气缝中设置一定的矩形挡片可以在驻涡区一定范围内诱发以反向旋转的涡对形式存在的流向涡。对比研究了挡片阻塞比BR(挡片面积与前壁开缝面积之比)分别为0,0.2,0.4时驻涡区内的流动结构,分析了流向涡产生的原因。定量结果表明,当BR=0.2,0.4时,(1)流向涡涡量大小比BR=0时提高了将近100%,BR=0.2对应的流向涡涡量比BR=0.4对应的流向涡涡量略大;(2)在流向涡混合层内,流向涡涡量沿轴向呈先增大后减小的趋势;(3)燃烧室总压损失约比BR=0时大1%。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

冷轧无间隙原子钢中的微带生成机理

分析了冷轧体心立方金属中微带的形成原因.基于塑性变形理论,运用Taylor模型和Bishop＆Hill最大功原理,计算了变形体心立方晶体中滑移系上的切应变分布.计算结果表明,冷轧时当晶粒的轧向平行于晶粒的某些特定取向时,大量的局部切应变将集中产生在一个滑移面上并在此形成微带.这一高度局域性的切应变是形成剪切带的原因.此时,剪切带与轧制方向之间夹角为30°.另外,微带呈片状是双交滑移的结果,透射电子显微镜观察到的剪切带所在晶粒的取向和所在滑移面证实了这一微带的形成机制.     

展成法加工的弧齿锥齿轮仿切几何建模方法

提出了一种针对展成法加工的弧齿锥齿轮几何建模方法.该方法有两个步骤:(1)通过模仿弧齿锥齿轮加工中的切齿建立参考模型;(2)从参考模型上选择数据点,将这些数据点拟合为NURBS曲面,从而建立最终的实体模型.该方法中,通过模仿切削可以避免深奥的数学理论和复杂的方法,方便地在齿轮制造出来之前(设计阶段)得到复杂齿面上的数据点,并有效提高实体模型的精度.另外,最终得到的模型齿面统一由NURBS曲面函数表示,NURBS曲面连续和光滑,可为CAD/CAE广泛使用.实验表明,通过该方法能够精确建立一对弧齿锥齿轮模型,为CAD/CAE建模提供了一种可行有效的思路.     

偏最小二乘和ANFIS在飞机燃油油量测量中的应用

分析了飞机燃油箱剩余油量测量系统具有变量多、非线性及变量间存在多重相关性的特点,指出单独采用自适应神经模糊推理系统(Adaptive network-based fuzzy inference system．ANFIS)和偏最小二乘(Partial least- squares,PLS)解决飞机燃油箱剩余油量软测量问题均有各自的局限性。结合上述两种方法的优点,提出了一种基于PLS回归与减法聚类的ANFIS软测量模型。将其应用于预测飞机油箱燃油剩余的建模过程中,得到了比采用PLS回归方法更好的精度,从而证明了该建模方法的有效性。     

灰色系统模型研究进展(英文)

针对灰色系统模型的研究进展进行了综述,介绍了一般灰数的概念、灰色序列算子和一些常用的灰色系统模型,包括灰色绝对关联度模型、灰色相对关联度模型、基于端点三角白化权函数的灰色聚类评估模型、基于中心点三角白化权函数的灰色聚类评估模型、GM(1,1)预测模型以及多目标加权灰靶决策模型。     

飞机大攻角气动力建模研究进展

在飞机大攻角气动力建模领域中，将已有的模型归纳为代数模型、积分模型和微分方程模型三类。文章给出了非线性气动力两种常用的代数模型──多项大模型和样条函数模型；简要阐述了非定常气动力积分模型的建立及其简化过程；重点综述了新近开发的微分方程模型，从有分离的翼型和有涡破裂的三角翼气动力模型形式推广出微分形式的飞机大攻角气动力模型。应用实例表明，积分模型和微分方程模型能够描述大攻角气动力的非定常增升和迟滞效应。     

动力学有限元模型的模糊评估

由于结构动力学有限元模型的评估具有主观性,本文将模糊数学有关理论应用于动力学有限元模型的评估,提出了一种动力学有限元模型的一致性模糊综合评估方法。评估中将动力学模型计算振型、频率与试验结果相比较,通过建立模型的评判对象因素集、评价集和权重集,寻找隶属函数,构造模糊关系矩阵,完成有限元模型的模糊综合评估。该方法不仅能界定有限元模型是否可用,还能对多个模型进行排队选优。文中算例表明了该方法对单个模型评估准确,并能从多个模型中选出最优者。     

单供应商/多零售商供应链信息共享价值研究

本文研究的两级供应链模型 ,包含一个供应商和多个零售商 ,零售商之间的需求是相关需求 ,供应链成员用AR( 1 )需求模型进行需求预测。研究了两种信息共享情况 :( 1 )当需求信息不共享时 ,零售商仅仅传递给供应商订单信息 ;( 2 )当需求信息共享时 ,零售商传递给供应商订单信息和需求预测信息。研究表明共享需求信息可以降低供应商的平均库存和平均成本 ,而零售商不能直接从中获益。但是 ,供应商可以通过缩短零售商的订货提前期 ,从而降低零售商的平均库存和平均成本 ,使零售商能积极共享需求信息 ,从而使供应链双方都能从信息共享中获益     

疲劳缺口系数评述

对疲劳缺口系数Ｋｆ的定义和影响因素进行了全面综述，对目前已被普遍接受和广泛使用的一些典型Ｋｆ表达式作了系统的回顾和评述。按照不同的Ｋｆ表达式建立所作的基本假设可将Ｋｆ表达式大致分为平均应力模型、断裂力学模型和场强法模型三类。对以上三类模型的比较分析表明，平均应力模型是应力场强法模型的特例；断裂力学模型是建立在非扩展小裂纹基础上的，对应力集中系数较大的缺口较为合理；应力场强法模型是一个比较有前途的模型。