人工智能产生式系统的分析(上)

产生式系统是一种问题求解系统,可用于人工智能的各个领域。本文从理论上详细地分析了产生式系统的三个重要组成部分,即一个综合数据库,一组产生式规则和一个控制系统;讨论了属于不同领域若干例题,如华容道游戏、皇后问题、机器人的积木世界、求最短路径问题,以及古老的梵塔问题。文章还附有用LISP语言编写的程序和在Cromemco系统Ⅲ计算机上求出的结果。     

语音模式中基于启发式搜取的快速匹配算法

语音模式匹配是语音识别技术的关键步骤之一。本文介绍了如何运用SA算法实现语音模式的快速匹配的思想。SA算法与传统的动态时间弯变(DTW)算法相比较具有计算量大大减少而系统识别率几乎不降的特点。     

相位噪声测量技术的发展

随着相位噪声参数广泛的应用,其测量技术得到不断的发展,除了传统模式的相位噪声测量系统外,一些采用新技术的测量系统不断的被开发出来,包括应用互相关原理的信号源分析仪和应用高速数字信号处理的直接数字化相位噪声分析仪,它们各具优势,也将会得到广泛应用。     

关于约束大涡模拟方法的一些思考

高雷诺数壁湍流是工程设计和应用中非常重要的问题之一,其高效高精度的模拟方法一直是湍流研究的重要研究方向。约束大涡模拟方法(CLES)是近些年提出的新模拟方法之一,和传统的RANS/LES混合方法不同,CLES在全场做LES计算:在靠近壁面的内区,它采用带约束的亚网格模型,而在外区,它使用传统的亚网格模型。经过近10年的努力,CLES方法已经在不可压/可压缩附着流、不可压缩/可压缩分离流等经典算例中得到了验证,并成功应用于航空气动中复杂流动的模拟。本文在介绍CLES方法基本原理的基础上,对CLES方法应用中的一些问题进行了讨论,最后对CLES方法的未来研究方向也做了一些概括。     

太阳活动突发过程对临近空间大气影响的模拟

空间天气对地球及近地空间具有重要影响,大的空间天气事件对中上层大气动力学和成分具有不同的影响。利用全大气耦合模式WACCM,针对太阳耀斑、太阳质子、地磁暴三类事件,以太阳活动平静期2015年5月10-14日的GEOS-5数据为模式背景场,通过F_10.7、离子产生率、Kp及Ap指数设置,分别模拟三类事件对临近空间大气温度、密度和臭氧的影响。结果表明耀斑事件在三类事件中对临近空间大气温度和密度的影响最为显著。平流层大气温度增加是由耀斑辐射增强引起平流层臭氧吸收紫外辐射发生的光化学反应所致,耀斑事件引起平流层和低热层温度增加约为2～3 K,低热层大气相对密度增加在6%以内;太阳质子事件及磁暴事件主要影响低热层,但太阳质子事件和磁暴事件对低热层温度扰动不大于1 K。     

短期频率稳定度测量时测量带宽和间隙时间的确定

在短期频率稳定度测量中,如何选择测量带宽和间隙时间非常重要。通过对阿仑方差传递函数的仿真计算结果,确定了测量带宽的选择范围,间隙时间选择应满足的关系。此结论对短期频率稳定度的测试工作,国内拥有的HP5390A短期频率稳定度测量系统的改造工作以及频率稳定度分析仪的研制工作具有非常重要的实际意义。     

一种全球临近空间大气密度建模方法及应用

基于TIMED/SABER卫星2002—2018年观测的20~100 km大气密度数据，统计获得多年月平均值和标准偏差的全球网格数据。利用网格数据，分析了大气密度的变化特征。以网格数据为基准，计算了USSA76的相对偏差，分析了USSA76相对偏差的分布特征。以网格数据为驱动，将大气密度表征为平均值与大尺度扰动量和小尺度扰动量的加和，大尺度扰动和小尺度扰动分别采用余弦函数和一阶自回归模型表征，初步建立了全球临近空间大气密度模型。通过对比模型仿真值与激光雷达观测值，表明模型仿真值与观测值具有较好的吻合度，验证了建模方法的可行性。利用蒙特卡罗方法可再现给定轨迹上所有可能的大气状态。      

展向旋转平板Couette湍流中的多态现象

展向旋转平板Couette湍流(Spanwise rotating plane Couette flow,RPCF)是旋转壁湍流的标模问题之一,在过去的几十年里,被广泛用来研究旋转对壁湍流的统计和流动结构的影响。近些年,作者及其合作者就该问题开展了一系列直接数值模拟研究工作。该研究不仅发现了旋转在低旋转数和高旋转数时对流动结构和统计的不同影响,还首次在RPCF中发现了多湍流态现象:即在相同的控制参数下,流动可以处在两种不同的湍流态上,这两种不同的湍流态的流动结构和湍流统计差别显著。还发现该多态现象可以在很大的旋转数范围里存在。进一步分析大尺度二次流在不同态的能量传输中的作用,发现在二次流较弱的流态下,二次流起的作用相对较小,能量很大一部分直接从平均流传到剩余场;而当二次流较强时,二次流起到一个能量传输纽带作用。该分析也从侧面验证了大尺度结构在多态现象中占据重要地位的猜想。     

电子车钥匙环境下的口令认证密钥交换协议

车联网的快速发展促进了电子车钥匙的研发，为解决基于智能手机的电子车钥匙与车锁之间的通信安全问题，提出了电子车钥匙场景下的安全模型和口令认证密钥交换协议。所提协议通过智能手机的协助，完成车钥匙与车锁之间的认证，即使智能手机被恶意代码侵袭或者丢失，所提协议也能保护用户的隐私。在安全模型下进行的安全性证明和性能分析表明，所提协议能够抵御字典攻击、中间人攻击、重放攻击、用户伪装攻击、内部攻击等。在计算消耗方面，所提协议性能优于同类型其他协议，减少了50.7%的计算消耗总量。