摘要：针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

摘要：为应对大模型时代对经济与管理类人才的新需求，通过“Python基础”课程的教学改革，提升学生的跨学科应用能力和技术技能。研究设计了面向学生的学习基础、学习状态、学习效果、课程评价及授课建议的问卷调查，系统地分析了当前教学在激发学生兴趣和实践能力方面的不足。研究提出“T-S-T-T-F”培训教学模式（教师教授—学生自学—团队学习—教师指导—学生反馈），强调通过实践导向的教学设计，利用Python解决真实商业管理问题，增强编程与数据分析能力，促进Python与经管学科的深度融合，为该专业本科生的职业发展奠定坚实基础。

摘要：深入剖析世界艺术体操竞技实力格局及我国竞技形势,有利于切实提高我国艺术体操训练的科学化水平,圆满完成2020东京奥运会备战目标。运用文献资料法、帕累托分析法,分析2012伦敦奥运周期、2016里约奥运周期及2017年世锦赛艺术体操世界区域和国家竞技实力格局,探讨世界艺术体操优势集团国家竞技实力结构特点,纵向梳理2009—2017年间中国艺术体操队在世界级赛事上的竞技表现,横向审视我国艺术体操项目竞技形势,预测未来局势,并提出可行性的项目发展对策。研究结果显示,世界艺术体操竞技实力格局周期波动较大;2020奥运周期奖牌竞争将更加激烈;新周期,应准确把握艺术体操国际发展趋势、切实加强艺术体操人才梯队建设、不断提高艺术体操训练科学化水平,争取顺利实现我国奥运备战目标。

摘要：艺术和科学都是人类文化的重要支柱，绘画艺术更是对生命意义的感悟和人类精神的舒扬。中国绘画的精神品格正是在儒家和道家哲学催动下，经历了两千余年的自觉发展形成的。创新是绘画发展的本质要求，只有创新才能解决艺术的发展，只有创新才能不负时代的使命。当然，创新不是简单的中西方技艺的相互借用，更不是生硬的品种嫁接。中西方绘画处于两个完全不同的体系，二者所承载的艺术精神也完全不同。不同的哲学思想，不同的发展历程，

摘要：针对智能航电系统在非线性耦合运行场景下产生的预期功能安全(safety of the intended functionality,SOTIF)问题,提出一种将系统理论过程分析(systematic theory process analysis,STPA)与决策试验与评价实验法(decision-making trial and evaluation laboratory,DEMATEL)相结合的致因分析框架。首先,在定义系统级危险的基础上构建安全控制结构,识别其不安全控制行为并提取与智能化缺陷相关的STPA致因要素。接下来,引入毕达哥拉斯模糊加权平均算子和闵可夫斯基距离对传统DEMATEL方法进行优化,专家根据控制反馈回路对致因要素进行评价并计算其中心度与原因度。最后,分析STPA致因要素与SOTIF致因属性之间的映射关系,给出关键致因要素的风险减缓措施。以单一飞行员驾驶(single-pilot operation,SPO)模式下的虚拟驾驶员助理系统为例说明了所提方法的可行性与有效性。研究结果表明,改进的STPA-DEMATEL方法可以有效识别关键致因要素,且能够克服专家评价的模糊性与不确定性,为智能航电系统的安全性设计提供了参考依据。

摘要：提出了一种基于场景点遍历的多普勒带宽计算方法,该方法能得到准确的脉冲重复频率(pulse repetition frequency,PRF)下限值,解决了传统计算方法存在的发射脉冲数过多及PRF参数无法设计的问题,同时解决了雷达方位与俯仰波束宽度不一致时,PRF下限值较难准确计算的问题。构建了基于雷达系统参数和弹载高动态运动特征的PRF参数设计模型,在此基础上提出了通过减小等效斜视角和雷达平台速度的发射脉冲数最小的弹道优化方法。弹道仿真验证了本文方法能较好地满足工程应用中弹载下降段大前斜聚束SAR成像时序设计需要。

摘要：自巴拉兹提出"视觉文化"的概念以后,西方学者对此问题进行了深入的研究,其间对"视觉文化"的研究范围和研究对象等方面虽存在分歧和对立,但已经取得的研究成果毫无疑问丰富了文化学的研究内容和研究方法,其中文化学的考察为我们梳理"视觉艺术"的变迁提供了一个全新的视角。从文化发生学的角度考察可以发现,从原始人非语言的符号活动到今天艺术传播手段高度机械化演化轨迹展示了作为视觉艺术的载体和表现形式从传统社会到现代社会的变迁,尤其是自西方工业文明导致"视觉文化"出现"惊险的一跃"导致现当代文化的各个方面发生嬗变,极大地影响了人们的生活方式和政治意识形态。

摘要：随着经济发展和消费需求的提升,创意设计产业已进入发展的快车道。如何设计出更能符合人们审美需求和激发出设计师创意的产品成为促进创意设计产业升级的重中之重,而比较小众的漆艺与皮革相融合创新设计出的皮革制品或许是一个不错的选择。本文从创意设计产品中漆艺和皮革制品融合的意义及融合的路径等方面做了阐述,期冀能拓展设计思路,提升产品内在价值。

摘要：通过平面广告案例分析广告色彩表达及其视觉效应。平面广告的色彩表达是传播广告诉求点、展现产品特性的重要手段,对广告效果、品牌塑造具有重要意义。平面广告的色彩表达应以广告视觉效应为目标,遵循广告色彩的应用与搭配原理,秉承传统平面广告的色彩应用原则,努力实现现代平面广告色彩应用的创新,即广告色彩选择遵循品牌定位,广告色彩应用要体现时代精神,广告色彩搭配要根据不同投放媒介进行设计创新,广告色彩选择要与受众产生共鸣。

摘要：基于非共线磁序密度泛函/非平衡格林函数方法,研究了硼或氮掺杂的锯齿型石墨烯纳米带的非共线磁序与电子透射系数.未掺杂的石墨烯纳米带的计算结果表明磁化分布主要遵循类似于Neel磁畴壁的螺旋式磁化分布.相比于未掺杂的情况,硼/氮掺杂的石墨烯纳米带的磁化分布出现了双区域的特征,即杂质原子附近的磁化较小,杂质原子左(右)侧区域的磁化分布更接近于左(右)电极的磁化方向,这为通过掺杂手段在石墨烯纳米带边缘上构建不同磁畴壁提供了可能性.与未掺杂的透射系数不同的是,硼/氮掺杂的石墨烯纳米带的透射系数在费米面附近随着磁化偏转角增大而减小,表明非共线磁序引起的自旋翻转散射占据主导地位.而在E=±0.65 eV处,出现了一个较宽的dip结构,投影电子态密度的分析表明其来源于杂质原子形成的束缚态所引起的背散射.我们的研究结果对于理解石墨烯纳米带中的非共线磁序与杂质散射以及器件设计具有一定的意义.