摘要：并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨在提出一种基于模型驱动的分治并行函数式程序生成及自动验证方法,融合形式化方法,以解决目前分治并行程序生成和验证中缺乏可解释性、易错、低可信度等问题。首先,采用分划递推法和循环不变式等新策略推导出串行算法;然后,利用辅助函数和算法连接函数将其提升为并行算法,并使用我们提出的并行算法设计语言Radl+进行描述;进而,采用同态定理验证框架在Isabelle中验证算法连接函数满足同态定理,即提升后的算法可并行化;最后,提出了Radl+→Haskell转换规则,设计了“Radl+→Haskell并行程序生成系统”软件原型。实验结果表明,本文能够生成和验证一系列算法的并行函数式程序,并且能够产生良好的加速比。本文方法不仅具有一定的可解释性,而且自动验证减少了传统手工验证易错性和繁琐的工作量,保证算法正确性和提高安全性,对大幅度提升高可信并行函数式程序的开发效率具有重要意义。

摘要：基于应变能方法发展了一种钢-混组合桥梁的结构等效模态阻尼比计算方法。以一座钢-混组合梁悬索桥为例,基于应变能原理分析计算了大桥的竖弯模态阻尼比,并与现场试验结果进行对比,验证了所提方法的可行性;基于该方法进一步研究了组合梁悬索桥侧弯、扭转模态的阻尼比特性。结果表明:对于钢-混组合梁悬索桥的不同模态,钢主梁、桥塔、主缆等不同子结构的应变能占比差异显著,其中主缆的应变能在竖弯模态中占比最大,钢主梁和混凝土桥面板总应变能在侧弯模态中占主导,扭转模态中不同子结构的应变能占比随阶次而改变;钢-混组合梁悬索桥侧弯等效模态阻尼比最大,竖弯等效模态阻尼比最小且远小于抗风规范建议值。最后,研究了钢-混组合梁悬索桥和斜拉桥的竖弯模态、侧弯模态及扭转模态阻尼比的差异,除侧弯模态外,钢-混组合梁斜拉桥的等效模态阻尼比均大于钢-混组合梁悬索桥。所提计算方法可用于钢-混组合桥梁结构的模态阻尼比计算,计算结果可以为抗风分析提供参考。

摘要：为提高电感型光学超导转变边沿探测器件的探测效率,针对波长633 nm的光子,厚度15 nm的铌(Nb)膜光子吸收层,设计了一种基于Al全反射层、SiO2和SiNx减反层的谐振腔结构。通过仿真,选取低反射率参数分布区间,利用终点探测曲线作为谐振腔性能的判断依据,通过磁控溅射工艺和化学气相沉积工艺制备了谐振腔,并使用分光光度计测试了反射率,结果表明:制备的谐振腔可将633 nm光波反射率降低至0.9%,并对506~690 nm宽波段光也有良好的减反效果(反射率<1%)。

摘要：大空间钢结构由于结构体系复杂,建筑使用或造型上的需要常常造成很难根据我国现行的建筑防火类规范进行防火设计,有必要对科学性、安全性均较高的防火性能化设计方法进行系统的研究。对国内外性能化设计方法的发展情况进行了总结,并对我国几个采用此方法进行防火设计的工程进行了对比分析,还对温度场分布以及整体力学性能的计算方法进行了研究与讨论。希望能够为相关领域的工程设计人员提供一定的参考借鉴作用。

摘要：在传媒时代,随着数字技术的发展,高清、3D成为视觉艺术的炫耀词汇,在满足受众视觉需求的同时,视觉意义丧失的表征危机也随之到来,语言文学的视觉表现焦虑有所降低。在此情形下,语言艺术与图像艺术的表征系统对比研究,其重要性不言而喻。视觉表征危机的解决,必须借鉴语言表征的异质性。"语—图"表征比较研究,涉及两种符号的能指、意义等内容,需要探讨物质性或虚拟物质与"语—图"能指之间的关系、意义与意图在两种表征中的地位、形象呈现不同方式所导致"语—图"接受差异等方面内容。

摘要：为了减小雷达探测对导弹、飞机和舰船等隐身设备的威胁,设计了一款低RCS的超宽带高增益Vivaldi天线。通过分析天线在不同频率下的表面电流分布,在不影响天线辐射性能的前提下,采用一种简单有效的改变天线外形的方法,并在辐射臂两侧加载矩形加半圆形的异形结构。这种结构可以减少辐射器表面的散射,从而使单站RCS降低。测试结果表明,所提出的天线工作带宽为4.7~11 GHz,最大增益达到11 dBi,与原始天线相比,在保持良好辐射性能的同时,在工作频段范围内RCS最大缩减为18.5 dB,可以应用于低RCS的隐身系统。

摘要：目前我国已建成世界规模最大的高等教育体系,进入了高等教育普及化阶段,地方应用型本科高校在我国高等教育体系中扮演着重要角色。文章探讨了地方应用型本科高校发展定位,探索构建教师主导、研究生引领、本科生全面参与的创新教育教学体系,实践表明:研究生研究课题、研究思路和学位论文质量明显提高;本科生参与科研的积极性明显提高,本科生毕业设计质量明显提高,本科毕业生攻读硕士学位的比例逐年上升。同时,学生在科研等方面取得了较多成果。

摘要：给出了一种基于UML对XMLSchema文档进行辅助设计的方法,该方法将设计过程分为3个层次,即概念层、逻辑层和物理层。概念层使用标准的UML类图对对象建模,逻辑层使用自定义的逻辑层UML类图表示,物理层则用最终的XMLSchema文档表示。给出的逻辑层UML类图充分利用了XMLSchema文档的嵌套结构特点,结构清晰简明,经过一系列的转换步骤,可以由概念层的UML类图生成逻辑层UML类图,并最终得到XMLSchema设计。

摘要：目的快速发展的人工智能技术的应用将改变人们在未来的思考和生活方式,重塑社会礼仪和道德伦理,产生巨大而不可估量的影响。数据噪音所带来的潜在社会道德和设计伦理问题可能会对设计创新中的公平性和包容性造成干扰和威胁,潜移默化地加剧社会矛盾,加深社会的不稳定性。因此,在全球化、普适计算和物联网时代,设计需要理性地重新思考其在人文艺术和科学技术之间的桥梁作用,并从新的角度来观察与探究人工智能应用下的“不确定性”问题。方法面向应用的人工智能的本质是工具性的,然而设计师群体对这种新工具的理解和思辨还有很大的改善空间。设计具备将价值观融入造物的能力和义务,应充分地发挥其特质和作用,借鉴负责任创新中的预期、反思、协商和响应四个责任维度,将责任风险评估、管理和干预全方位地嵌入到人工智能应用设计创新的决策和流程中,以一个包容开放的动态适应机制来应对未来的挑战。结论设计师是社会创新的重要驱动力之一,需要积极地投身于倡导创新价值、技术及设计伦理的前沿。负责任的人工智能和设计创新应协同制定更具有前瞻性的目标和任务,引领聚光灯照亮人类前进的方向。

摘要：针对航天员人机交互过程中的操作工效学问题,基于航天员上肢典型动作的力学问题进行仿真分析。考虑上肢的运动特点,利用反向运动学和动力学Kane法进行关节力矩模型和简化肌肉力模型的求算,并针对上肢7自由度冗余问题采用梯度投影算法进行处理。结果表明:搭建的7自由度冗余模型计算结果接近人体真实情况,为了实现开舱门动作的方便性以及考虑设计的冗余量,舱门宽度应尽量避免超过0.6 m;通过分析点按动作在不同的按钮高度条件下的仿真结果,得出按钮高度为0(按钮与肩同高)时,上肢各关节综合负担相对最优。