摘要：随着现代安检技术与健康、隐私问题之间的矛盾愈加突出,人们迫切需要高效、便捷、安全的安检技术。首先介绍太赫兹非成像光谱探测技术的原理,提出适合于安检应用的太赫兹光谱探测系统技术指标,然后基于ZEMAX设计出配合该技术指标的光学系统,采用非序列模式对其进行仿真和评价,最后基于ProE设计完成了配合上述光学系统的紧凑型探测系统结构,实现了探测系统的手持式应用。

摘要：在需求工程中,分歧的目标冲突分析旨在识别、评估和修复分歧。分歧是由于域属性和目标不适配,使得系统在边界条件下无法同时满足所有目标。边界条件以线性时态逻辑的形式描述分歧。由于任意形式的边界条件缺乏可解释性,且评估和修复分歧需要大量人工评估和设计,所以目前边界条件的定义不利于高效地、自动化地评估和修复分歧。为此,首先提出一个可解释的边界条件——套索边界条件,直观地描述了系统由于一些特定的前提条件而产生分歧的情况;然后,设计了一个基于逐步弱化的套索边界条件识别算法LBCI,通过弱化线性时态逻辑公式逐步满足边界条件;最后,在基准数据集上评估了套索边界条件和LBCI的有效性。实验结果显示,套索边界条件增强了分歧的可解释性和对修复分歧有一定的指导作用。

摘要：针对如何规范化地进行座舱显控软界面设计的问题,系统地研究了人机工效学对座舱显控软界面的通用要求,提出了一种基于人机工效的座舱显控软界面设计规约,主要从软界面设计原则、显示和控制交互设计要求、显示信息分配和记忆功能等方面进行论述,充分考虑人机工效性,减轻飞行员操作负荷,作为战斗机座舱显控人机界面设计的依据,具有实际应用价值。