线性微分方程的降阶法

提出线性微分方程的降阶法.在工科院校高数教材中若采用降阶法可以减少教材的篇幅.缩短教学时间,减轻学习难度.同时,还可利用数学软件求解线性微分方程,使高数教材贴近于现代计算技术.     

基于深度学习和反例制导的循环程序秩函数生成

程序终止性判定是程序分析与验证领域中的一个研究热点. 针对非线性循环程序, 提出了一种基于反例制导的神经网络型秩函数的构造方法. 该方法采用学习组件和验证组件交互的迭代框架, 其中学习组件利用程序轨迹作为训练集合构造一个候选秩函数, 验证组件运用可满足性模理论(Satisfiability Modulo Theories, SMT)确保候选秩函数的有效性, 而由SMT返回的反例则进一步用于扩展学习组件中的训练集合以对候选秩函数进行精化.实验结果表明, 所提出的方法比已有的机器学习方法在秩函数的构造效率和构造能力上具有优势.     

基于随机障碍验证的随机连续系统安全性验证

针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题;最后,运用平方和松弛方法将问题转化为平方和规划问题,并利用SOSTOOLS工具求得安全性概率的下界。理论分析以及实验结果表明,所提方法具有多项式时间的复杂度,能有效地给出随机连续系统在无界时间内的安全性概率的下界。     

基于NET4.0的流媒体学习平台的设计与实现

分析了智能手机在高校的发展趋势,论述了.NET4.0技术的优越性,阐述了流媒体视频播放的工作原理,给出了流媒体学习平台的数据库表设计,以及流媒体学习平台的主要功能,并提供了流媒体视频播放的关键代码。     

装配式混合框架结构在现代建筑中的应用研究

该文研究装配式混合框架结构在现代建筑中的应用,从结构构造的角度阐述其所使用的预制构件类型、特点以及节点的连接方式。设计装配式混合框架结构的框架梁与框架柱;然后设计一种新型不出筋的开槽连接拼缝构造的叠合板,增加装配的便利性;再设计一种装配式钢-混凝土混合框架结构的组合节点;最后以深圳坪山区实验学校南校区二期项目为例,对建筑结构的梁柱节点承载力、楼板抗震性能进行分析。实验结果表明：装配式钢-混凝土混合框架结构的节点承载力与抗震性能较强,节约了施工成本。