【摘 要】
：
功能设计是复杂系统设计开发中极其重要的任务，需要依靠正向开发方法来保障功能设计的正确性和完整性。为此，以民用飞机的飞行控制系统（飞控系统）为例，提出了面向正向开发的功能设计方法。首先，借助系统建模语言建立飞机级到系统级再到部件级的功能需求关系模型；然后，按照SAE ARP4754A 民机系统开发指南中的安全性评估方法分析安全性需求，并结合功能需求构建飞控系统的功能知识集；最后采用功能单元方块图和功
【基金项目】
：
科技部创新方法工作专项（2020IM020200）； 上海商用飞机系统工程科技创新中心基金；
论文部分内容阅读
功能设计是复杂系统设计开发中极其重要的任务，需要依靠正向开发方法来保障功能设计的正确性和完整性。为此，以民用飞机的飞行控制系统（飞控系统）为例，提出了面向正向开发的功能设计方法。首先，借助系统建模语言建立飞机级到系统级再到部件级的功能需求关系模型；然后，按照SAE ARP4754A 民机系统开发指南中的安全性评估方法分析安全性需求，并结合功能需求构建飞控系统的功能知识集；最后采用功能单元方块图和功能集成方块图对飞控系统进行功能建模。该方法对复杂系统的功能设计具有借鉴意义。
其他文献
图像中的物体目标检测和姿态估计一直受到广泛研究,并且在许多领域拥有实际应用,比如机器人操控,人机交互,虚拟现实和增强现实等。目标检测提供了图像中目标的类别和位置信息,姿态估计则提供了图像中目标的旋转和平移信息,可以更准确的获取图像中物体的位置。传统方法存在一些局限性,比如基于特征的方法不能很好的处理弱纹理对象;基于模板的方法不能很好的处理遮挡情况。目前基于深度学习的方法是物体目标检测和姿态估计的主
显著性检测旨在模拟人类视觉系统的注意力机制。神经学研究指出人类视觉系统对同步的视听刺激产生的响应要大于单独的视觉刺激,从神经控制的角度表明声音对人眼的关注存在一定影响。然而,以往的视频显著性检测多侧重于视觉信息方面的研究,而忽略了听觉信息的相关作用。将音频引入视频显著性检测研究,可以更好地模拟真实视频观看场景下人眼对视听信息的处理过程,以及人类视觉系统的响应情况。为了更好地体现视觉关注中听觉的影响
随着互联网的快速发展,多媒体数据呈现爆炸式增长,给相关智能分析技术带来巨大的挑战,尤其在计算效率方面。目标检测作为计算机视觉的基础任务之一,也是多媒体智能分析中的常用技术。近年来,深度学习技术的引入使目标检测性能得到明显提升,然而现有目标检测器往往因其庞大的计算量消耗,无法在计算资源有限的设备上充分发挥作用,这对智能产业落地造成了巨大的阻碍。另一方面,针对目标检测轻量化的模型压缩技术尚不成熟,仍有
近年来,随着待解决问题的复杂性增加,神经网络的深度也在快速增长。尽管有不少启发式思路可用于解决深层网络稳定性训练的问题,但他们都缺乏坚固的理论框架支撑,使得定量的说明解释仍然困难重重。因此一种被称作平均场理论的新理论框架近来被广泛研究,旨在为深层网络的稳定训练提供准确的数学证明和解释。但是在诸如生成对抗网络（Generative Adversarial Network,GAN）等无监督模型上,平均
债权人、债务人约定以动产设定质押,但未就交付时间、交付方式等作出约定,而是由债务人通知保管人动产所有权转移给债权人的,可认定双方间成立让与担保合同关系。合同中订有清算条款的,让与担保合同有效。让与担保自债权人与债务人之间有关转让返还原物请求权的协议生效之日起设立;双方未就转让返还原物请求权作出明确约定的,让与担保自债务人通知保管人所有权转移给债权人之日起设立。
目的 分析第四代Oxford混合型单髁置换术治疗膝关节前内侧骨关节炎的短期临床疗效。方法 回顾性分析2020年10月至2021年9月就诊于江苏省中医院骨伤科的60例前内侧骨关节炎患者资料，均行第四代Oxford混合型单髁置换，其中男20例，女40例；年龄54～85岁，平均（68.43±7.04）岁；左膝32例，右膝28例；身体质量指数19.5～39.1 kg/m~2,平均（25.68±3.55）k
行人再识别因其在城市安防、智能服务、电子商务等的广泛应用前景逐渐成为了研究热点,但是行人再识别在现实应用中的监控场景十分复杂,行人图像经常会出现遮挡,遭受信息不完整和空间错位的问题,于是行人再识别逐渐衍生出了遮挡行人再识别这一极具挑战又亟需解决的分支。为了解决遮挡问题,本文提出了一种基于像素语义注释与特征不确定性的遮挡行人再识别框架（PSFU）,其通过利用精确的外部语义注释和对像素级数据不确定性进
安全服与安全帽是工业生产过程中保障人身安全的防护设备,其穿戴检测研究属于智慧工业建设中重要一环。通过对安全服与安全帽穿戴情况检测,可以对施工作业中的安全隐患及时预警,保障工作人员的生命安全,辅助工业智能化监控管理。在数据集构建方面,基于工业监控视频构建了工业场景中的安全服与安全帽目标检测数据集,总数据标注量共29865张图片,54603个实例。在算法优化方面,对YOLOv5提出两点改进,针对YOL
放、化疗和免疫疗法是治疗肿瘤的常用方法，但其不良反应会对正常组织造成损伤。限食疗法包括热量限制、组分限制、限时进食和模拟限食等方式，其在防治肿瘤过程中可发挥减毒增效作用。限食疗法治疗肿瘤的具体分子机制包括抑制肿瘤代谢模式、破坏肿瘤微环境、增强免疫细胞功能和阻止肿瘤耐药性发生。限食疗法与放、化疗及免疫疗法等相结合是一种有极有前景的肿瘤防治策略，值得进一步研究和推广。
数字媒体技术的快速发展使电子设备成为存储和传播图像、音像等信息媒体的主要媒介。这些数据能被毫不费力且几乎无损的复制,极大地促进了信息交流,但非法的拷贝和拍摄也给版权保护和保密工作带来了巨大的困难。通过数字水印技术,在信息媒体中隐藏来源信息,这样既不影响观感,又能在内容被盗用或泄密后准确地溯源。对此提出了一种基于信息熵与噪声可见性函数的背景自适应的点阵式屏幕水印。溯源时,将屏摄图片输入目标检测器,就