摘要：研究了一类复杂网络系统的有限时间混沌同步问题,根据有限时间稳定性理论设计了控制器,能够使驱动网络与响应网络达到有限时间同步,同步误差按预设的指数速率收敛,得到了误差系统渐近稳定的充分性条件.

摘要：RBAC模型通过角色的概念实现了用户和权限的分离,然而在角色继承和权限分配时可能会引发策略冲突.策略冲突可能会导致资源的非授权访问,进而影响系统的安全性.为了检测RBAC模型中的策略冲突,本文首先对策略冲突进行了分类,提出了基于着色Petri网的RBAC策略冲突检测方法,将RBAC模型转化为着色Petri网模型,利用冲突陷阱进行检测.进而设计实现了RBAC策略冲突检测原型系统CPNPCDS,说明了模型的可终结性,并在检测策略冲突的种类与运行效率上与其它经典方法做了对比.实验结果表明本方法可以有效地检测出授权冲突、职责分离冲突、用户基数冲突等三种策略冲突,并能取得较高的运行效率.

摘要：复合材料层合板疲劳损伤机理和寿命预测是关系到现代航空结构损伤容限设计的关键问题。通过对复合材料层合板疲劳损伤特征研究,从应变等效性出发,结合经典刚度降法,建立层合板疲劳寿命预测两阶段宏观唯象模型,弥补了经典刚度降法和S-N曲线模型的不足。应用此模型对新型的缝合复合材料层合板进行了相关分析与研究,并将预测结果与试验结果进行了对比。结果表明,所建立的疲劳寿命预测模型结果与试验结果吻合良好,可为缝合复合材料的失效分析与工程应用奠定一定的理论基础。

摘要：在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软件设计与验证方法逐渐受到重视,并被认为是切实可行的重要手段.然而,形式化模型驱动开发方法的生命周期一般较少涉及需求阶段,主要原因是当前工业界的软件需求主要通过自然语言文本描述.而安全关键软件引起严重事故的问题链的最上端原因往往又是软件需求尤其是安全性需求的问题. AADL(Architecture Analysis&Design Language)是一种广泛应用于安全关键软件领域的建模语言标准.本文针对自然语言需求和AADL模型驱动开发方法之间还存在鸿沟的问题,研究基于限定自然语言的安全关键软件需求建模及AADL模型自动生成方法.首先,提出一种基于限定自然语言的需求规约方法,通过结构化的需求组织方式及受限的自然语言以减少需求表达中存在的二义性.其次,给出限定自然语言需求到AADL模型的自动转换方法.此外,本文给出一种结构化的验证性质描述模板,并自动转换到AADL组合验证附件AGREE(Assume Guarantee REasoning Environment) Annex,从而支持对AADL模型进行形式化验证.最后,在AADL开源工具环境OSATE中实现了原型工具,并基于航天导航制导控制子系统进行案例分析.

摘要：近年来,机械设计学科发生了巨大变革,而目前的机械创新设计综合实践课程的教学内容却更新缓慢,教学改革势在必行。以西安航空学院机械创新设计实践课程建设为例,结合计算机辅助工程技术在机械设计的发展与应用及CAE技术的新型培养模式,探索研究以"工匠精神"为指导的机械创新设计,旨在为应用型本科院校机械设计课程综合水平的提升和创新人才培养提供一些参考。

摘要：在600℃以内,氧化铈粉体在3～5μm波段的红外发射率随着测试温度的升高而降低。通过设计关于热处理的正交实验和单因素实验,发现采用以4℃/min的升温速率升至1300℃保温4h后,氧化铈粉体在常温下的发射率最低,可降至0.37;测试温度升至600℃时,发射率则可降至0.3,可以考虑作为发动机用红外低发射率耐高温涂层的填料。通过XRD、SEM等表征手段,分析了热处理引起发射率变化的原因。

摘要：先进的数字化测量技术逐步被应用到通航曲面产品的检测中,为了精确、高效地测量通航曲面产品,应该制定规范可行的数字化测量工艺规划。文章提出一种基于模型的数字化定义技术和光学测量技术的通航曲面产品数字化测量工艺规划。首先,使用自由度定位基准点坐标对齐与最近点云对齐相结合的方法将产品实物测量坐标映射到设计坐标系下拟合坐标,完成数字化测量坐标系的统一;然后,研究模型定义的零件模型中公差项目与几何要素关联关系,建立工件测量信息模型,利用CATIA的开发接口采用CAA C++技术作为二次开发手段识别并获取测量信息,测量信息文本与测量软件完成数据通信之后,利用宏脚本语言(MSCL)编辑程序将测量信息点云进行可视化路径仿真;最后,按照工艺规划对通航曲面产品进行数字化测量,测量应用实例表明:这种测量工艺规划可以高效、精确、实用地利用数字化设备检测通航曲面产品。

摘要：DDS是对象管理组织(OMG)针对实时数据分发系统制定的一个规范。DCPS信息库节点是DDS系统的核心服务节点,保存了系统内所有节点的状态信息。从面向服务的角度,提出了一个DCPS信息库的设计方案,定义了一个全局数据空间,并通过对全局数据空间的维护实现了分布式系统空间解耦合、动态扩展的特性。基于DCPS信息库搭建了一个发布订阅系统,分析了系统运行的实时性。结果表明,设计方案可以保证节点间高效、快速的进行数据分发。

摘要：设计了一种基于分数阶控制器的双环控制的三相电压型PWM整流器。对双环控制的参数设计进行详细介绍,其中,电流内环采用传统的整数阶控制器,并采用前馈解耦的控制策略对内环电流分量进行解耦控制,电压外环采用分数阶控制器,增强系统的鲁棒性,提高电网品质,最后在Matlab软件环境下进行建模仿真,通过理论分析和仿真实验,得出系统在不同条件下均能稳定运行的特性。

摘要：针对传统建筑物提取方法对视觉特征人为设计的依赖,以及基于全卷积神经网络模型对提取目标边缘轮廓保真度差和对不同粒度建筑物自适应提取弱等问题,该文提出一种联合膨胀卷积残差网络和金字塔池化表达的高分辨率遥感影像建筑物自动识别方法,其所构建的全卷积神经网络包括膨胀卷积残差网络和金字塔池化单元两部分。在残差网络中,通过膨胀卷积限制模型中特征图分辨率的严重损失,从而有效地保留更多的细节特征;在金字塔池化单元中,通过全局平均池化将特征图池化为不同尺度,并与原始的输入特征图相融合,形成多尺度特征表达。基于马萨诸塞州地区具有复杂地表覆盖的公开遥感影像数据集开展的实验表明,相比目前较为流行的几种全卷积神经网络分类方法,该文所提出的联合膨胀卷积残差网络和金字塔池化表达方法的提取精度更高,建筑物提取结果能够有效地保留边界的细节轮廓信息,同时对不同形状大小建筑物的自适应提取能力更强。