颗粒流体系统的宏观拟颗粒模拟

拟颗粒模拟（pseudo-particle modeling,PPM）是一种粒子方法（PM）,提出于1996年,虽然它很适合微观颗粒流体系统的模拟,但在实际系统中的应用却受到计算量的严重限制。结合加权平衡和有限差分等手段将粒子间作用提升到符合Navier-Stokes(N-S）方程的流体微元尺度,进一步提出了宏观拟颗粒模拟（MaPPM）,应用此模型,模拟了一维Poiseuille流,并通过与另一相关PM－－光滑粒了流体力学（SPH）的定量比较,说明了其优越的精度与计算效率,在单颗粒绕流、双颗粒沉降和多颗粒流化的模拟中也获得了合理的曳力系（CD）和原PPM未能获得的细胞的瞬时流场,并显示了良好的收敛性和稳定性。     

意识的计算神经科学研究

根据意识的心理学、神经生理学研究和一些病例报告,从计算神经科学的角度,提出意识神经活动的特点,特别是意识活动的适度性特点,是文献中未见的。认为意识有相应的神经相关物作为活动的基础,给出意识活动的一种计算神经科学的假设,在这个假设的基础上,提出一个意识活动的理论测度,这种理论测度既可根据意识活动的能量消耗来取得,又可从神经生理学方法（40Hz同步振荡）来估算。这种测度可很好地反映意识的流动性和中文提到的适度性特点,并对这一些意识状态的特例进行推算,讨论了这种测度的意义。     

智能化能对冲新能源汽车补贴退坡的影响吗?——基于CGE模型的分析

在新能源汽车销量“十二连跌”和“新冠”疫情的双重压力下,购置补贴退坡不得不从2020年末延缓至2022年底,与此同时,专注于智能化的车企却异军突起,那么,智能化能否对冲补贴退坡的不利影响,补贴应于何时退坡,亟待回答.通过在可计算一般均衡模型的生产函数中引入生产过程智能化因子,在效用函数中引入新能源汽车特有的使用过程智能化因子,利用宏观闭合的不同设置模拟供给约束和需求约束两种经济形势,采用中国2018年实际经济运行数据进行参数校准,探讨了补贴退坡的适宜时期以及两类智能化的对冲效应差异与作用边界.研究发现,新能源汽车补贴适宜于供给约束时期退坡,因为该时期退坡可以促进关联度较低部门的发展,并缓解收入不平等,且适度的使用过程智能化既可以对冲补贴退坡对社会福利、新能源汽车部门的不利影响,又不至于完全抵消上述正面影响.而在需求约束时期,上述正面影响均转为负面,且难以被智能化对冲.因此,新能源汽车补贴的退坡决策,应根据经济从“新冠”疫情中复苏的程度,而相机抉择.在经济快速复苏时,可通过使用过程智能化即自动驾驶的适度发展,来对冲补贴的退坡;否则,应暂缓退坡.     

关于某类缺项级数系数非齐次线性微分方程解的增长性

研究了非齐次线性微分方程f(k) Ak-1f(k-1) … A1f′ A0f=F的增长性问题,其中A0,A1,…,Ak-1,F是整函数,当存在系数A1为缺项级数且比其它系数有较快增长的意义下时,得到了上述非齐次微分方程在一定条件下超越解超级的精确估计.     

汛限水位动态控制方案优选方法及指标体系研究

基于汛限水位实时动态控制的新理念,提出汛限水位实时动态控制方案的决策方法及其实施步骤.引入洪水与兴利连续长系列调节方法并采用PowerBuilder 8.0开发相应的系统软件计算水库的兴利效益,给出汛限水位动态控制风险率和风险损失的定义与计算方法.在此基础上,选取部分兴利效益指标和风险控制指标构建汛限水位实时动态控制决策方案优选的多指标评价体系.最后以大连市碧流河水库为例,采用多目标模糊模式识别理论模型对汛限水位动态控制方案进行优选计算,进而确定了水库实时调度过程中汛限水位动态控制的满意决策方案.     

一种正弦波信号频率幅值的高精度估计方法

为了提高正弦波信号频率和幅值的频域估计精度,提出了窗函数迭代逼近方法.Matlab仿真结果表明,该方法切实可行,估计精度可以提高4~5个数量级,且与频率偏差δ基本无关.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

大数据背景下信息与计算科学专业数理统计课程教学改革与实践

通过分析信息与计算科学专业数理统计课程的教学现状,指出其中存在的问题.针对这些问题,提出了制定适合信息与计算科学专业学生的数理统计课程大纲、实验大纲和实验指导书,编写具有时代特色的数理统计教材,增加计算机实验课程,加强案例教学和项目教学,建设网络课程,改革考核方式等解决办法,激发学生的学习兴趣,提高学生的数据分析能力,适应大数据时代发展的要求.     

封闭腔导热辐射与自然对流耦合换热的数值研究

对具有导热和表面辐射换热相互耦合的封闭腔内的自然对流进行了数值研究,计算采用层流模型,为SIMPLE算法,QUICK差分格式.计算结果表明,在自然对流的封闭腔内,辐射换热比对流换热更占主导地位.当具有固体层时,导热的效应使总的对流换热有所增长(曲线的初始部分),但当固体层的导热系数比超过一定值时(kr≥10),再增加固体的导热性能,对封闭腔内的流动和换热的影响就不明显了.从数值上证实了在实际的建筑环境中,只要外围护结构的厚度达到一定的数值就可以达到隔热保温的要求.再增加厚度并不会得到更好的效果.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.