摘要：针对包含奇点的函数,研究其Riemann-Liouville和Caputo分数阶导数,给出它们的Hadamard有限部分积分表示形式.利用该形式求得分数阶导数在初始点的Psi级数展开式.另外,该形式可以方便地使用Hadamard有限部分积分算法进行高精度计算.最后设计了一种奇点分离的Chebyshev谱逼近方法,通过数值算例验证了分数阶导数的Hadamard积分表示形式及其数值算法的正确性和有效性.

摘要：分数阶微分方程初值问题的典型特征是解在初始点非充分光滑,进而影响标准数值方法的计算精度.针对此问题,本文设计了一种高精度求解两项线性分数阶微分方程的奇点分离分段配置方法.首先,将方程转化为等价的两项Volterra积分方程,通过Picard迭代及符号运算求出解在零点的渐近展开式,其在零点附近具有很高的精度.其次,在包含零点的一个小区间上利用该级数展开式代替方程的解.在剩余区间上,利用Lagrange插值设计分段配置法求配置点处的数值解.对配置格式进行收敛性分析,得到了误差阶估计.最后,通过2个数值算例说明所提方法在全区间上具有最优逼近精度.

摘要：单一被试实验(single subject research)在教育与心理研究中具有独特的优势,有多种设计类型可供选择,但现今其在教育与心理研究中的应用并不充分。探讨单一被试研究方法的信度与效度、设计类型、分析方法,以及单一被试实验在教育与心理研究中的意义,期望能够使教育与心理研究者更全面地认识单一被试实验,引起研究者的兴趣与关注,发挥单一被试实验在教育学和心理学研究中的作用。

摘要：同伴冲突解决策略是幼儿社会化发展水平的重要指标。但目前对其相关促进和培养实验研究较少，且大多都忽视了儿童自身特点。本研究旨在结合幼儿自身气质特点，设计有效方案促进幼儿同伴冲突解决策略。研究采用假设情境访谈法和现场实验法，探讨3岁一5岁幼儿同伴冲突解决策略的发展特点及促进的有效途径。结果表明：基于气质的同伴冲突解决策略促进课程有效，实验组幼儿同伴冲突解决策略的积极性有所提高，且幼儿的同伴交往地位和某些气质特点也得到了改善。

摘要：数学模型实验室是近些年数学教学领域出现的新事物，本文初步分析了数学模型实验室的基本功能和实现技术，认为：数学模型实验室实质上是一综合运用数学建模知识、数学软件知识和其他计算机技术的网络平台，最后论述了网络化环境下的数学模型实验室对数学实验课程的影响。

摘要：自动驾驶汽车是人工智能与车联网相结合的产物.近年来,因自动驾驶汽车能极大地解放双手、提高交通效率和安全使其得到了工业界和学术界的广泛关注.然而,指令消息及车辆身份的隐私泄露问题严重阻碍了自动驾驶汽车的应用落地.解决该问题的最直接的方法是扩展使用车联网中基于假名的通信方案.但是,大多数此类方案不仅对车辆造成了较大的存储负担,也无法完全保护车辆身份隐私不被泄露.为此,提出了一个面向自动驾驶的高效可追踪的车联网匿名通信方案.在该方案中,车辆由一个多辆车共享的属性集合表示.由于属性集与车辆之间的一对多的关系,车辆的匿名性能自然地得到实现.该方案还能实现指令消息的保密性以及对恶意车辆的追踪.该方案在属性基加密方案中融合了认证加密,设计出了一种签密方案.该签密方案作为底层技术用来支持提出的匿名通信方案.该签密方案相较于现存的属性基签密方案是高效的,更适用于自动驾驶场景.最后,通过形式化的安全性分析和性能评估证明该通信方案是安全且高效的.

摘要：通过对某石化厂轻油生产改造项目地下水环境质量现状进行评价,确立了评价等级、预测因子、评价标准以及对污染强源进行分析,进而预测和综合评价该石化厂轻油生产改造项目运行后对地下水环境的影响,采用解析法计算出石油类污染物和氨氮类污染物的扩散迁移范围,得出非正常状况下石油类、氨氮污染因子10年内影响范围均不大,本文为类似项目的地下水环境影响评价提供参考经验。

摘要：通过对澜沧江流域水电站数量、级别和人为污染物排放等数据的收集整理,借鉴国内外河流生态系统完整性评价的指标体系,确立了水电站要素和水体污染要素之下的七个评价指标,构建出河流生境破碎化评价体系指标。利用层次分析法和GIS对河流生境破碎化进行空间分析评价,结果表明:(1)破碎化程度沿干流自上游至下游呈现递增趋势;(2)澜沧江云南段破碎化程度比较严重;(3)西藏的昌都市地段水电站建设较多,破碎化相对较高,西藏的其余地段的破碎化程度相对较低;(4)青海段为全流域破碎化程度最低的地区。结合各指标分析的结果,提出了澜沧江流域河流生境保护的建议。

摘要：基于数字信号处理原理,在分析数字滤波器设计理论和Matlab编程技术及其GUI图形用户界面设计的基础上,开发了具有交互式特点的数字滤波器软件,界面操作简单方便,可以根据需要选择滤波器类型,输入相关参数,然后选择相应的功能按钮,就可以得到滤波器的特性参数,并进行滤波器的性能分析,打破了以往滤波器设计过程中大量繁琐的数值计算问题,为数字滤波器的设计和应用提供了一个有效的辅助工具。

摘要：三方口令认证密钥交换协议允许用户通过一个服务器在不安全的信道中建立一个受保护的会话密钥,而现有的格上PAKE协议绝大多数都是针对两方设计的,无法适用于大规模的通信系统。基于此,提出一种新的格上三方PAKE协议,该协议主要以可拆分公钥加密体制及其相应的近似平滑投射散列函数为基础进行构造,并通过在协议中引入消息认证机制的方式来防止消息重放攻击。与同类协议相比,所提协议减少了通信轮数,提高了效率和协议应用的安全性。