Landau定理在高维复射影空间的推广

利用到复射影空间Pn(C)的全纯映射的正规性和值分布理论,结合Zalcman引理,对单位圆盘到高维复射影空间中全纯曲线的Landau定理进行了研究,得到了如下结果:设f:?→Pn(C)为全纯曲线D1,D2,…,D2t+1为Pn(C)上的2t+1个超曲面且位于t?次一般位置.若对于每一个j=1,2,…,2t+1,f(c)...     

蠕虫减量剩余活性污泥反应器的CFD数值模拟

构建以序批式反应器(SBR)为主体工艺并联合蠕虫反应器的生活污水处理系统,在保证系统出水水质达标的前提下,蠕虫对SBR产生的剩余活性污泥摄食减量约23%(以质量计)。利用ANSYS FLUENT 16.0软件提供的欧拉两相流模型和标准k-ε湍流模型,对蠕虫反应器内部速度场、含气率以及湍流强度等进行了计算流体动力学(CFD)数值模拟。模拟结果表明,蠕虫反应器内曝气量约为0.2m₃/h、 蠕虫投放在P2位置即蠕虫密度为1.63g/dm₃时,蠕虫反应器内部流场适合蠕虫减量污泥,减质最高达23%,与试验结果基本吻合。通过响应曲面法(BBD)进行试验,所得污泥减量率与BBD预测值基本相符,进一步佐证了数值模拟结果的可靠性。因此,利用CFD数值模拟可以指导蠕虫反应器优化运行,从而为蠕虫减量污泥系统的放大设计及工程应用奠定基础。     

基于帧间差分的ViBe运动目标检测

针对光线变化时现有前景检测方法易将背景检测为运动目标、形成大片阴影的问题,本文利用帧差法对光线变化的不敏感性,对基于ViBe的背景建模、前景检测算法进行改进。结合帧间差分的ViBe前景检测方法包括背景初始化、背景模型更新及后期图像处理三个模块。该方法在更新背景模型时,加入了帧间差分判别多阈值比较,并依据帧间差分的结果对背景更新率进行动态调整,最后对背景建模后的检测结果进行形态学处理,针对大的噪点进行轮廓提取及判定,最终检测出运动目标。针对不同条件下监控视频的试验结果表明,本文方法初始化速度快、实时性好,有效地抑制了由于光线干扰形成的大片鬼影区域。     

面向不完全维修数控机床的可靠性建模与评估

数控机床是典型的机电液可修系统,维修活动既不会使机床“修复如新”,亦不会“修复如旧”,而是处于一种不完全维修状态。该文提出双重对数线性比例强度模型(S-LPIM)对不完全维修状态机床的可靠性进行建模,并采用最小二乘法给出该模型的参数估计。基于故障强度模型,求解数控机床可靠性评价指标,采用似然比检验方法对数控机床可靠性的故障趋势及修复功效进行检验。通过对3台数控加工中心可靠性建模,验证了S-LPIM模型可以拟合机床故障率浴盆曲线特性,定量描述维修活动对机床可靠性的影响。     

基于智能优化灰色模型的电子固废预测

针对已有电子固废产生量预测时存在的建模机理复杂、建模精度低等问题,提出一种分数阶多元灰色模型与神经网络补偿模型相混合的智能建模     

灰色多变量GM(1,N)幂模型及其应用

针对多变量少数据的系统建模问题,提出了灰色多变量GM（1,N）幂模型及其派生模型GM（1,N,x^（1））幂模型,给出了其参数估计算式和近似时间响应式,在此基础上,分两种情况讨论了模型的参数优化方法,并通过数值模拟和应用实例验证了新模型的有效性. 结果表明：传统的GM（1,N）模型是GM（1,N）幂模型的特殊形式,GM（1,N）幂模型能够更好地描述系统特征行为序列与其影响因素序列的非线性关系,从而有效地提高传统灰色多变量系统建模的精度.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

DDoS主动防御建模仿真研究

建模仿真是研究网络攻防的一种行之有效的手段。在研究DDo S主动防御理论模型的基础上,基于多Agent建模思想建立了DDo S主动防御多Agent模型;基于网络仿真软件OMNe T++建立了DDo S主动防御仿真模型;针对网络仿真软件操作复杂等问题,采用MFC开发工具对OMNe T++进行二次开发,构建了具有友好界面的DDo S主动防御仿真验证演示系统。进行了DDo S攻击与主动防御仿真实验。实验结果证明了所建模型的正确性和仿真验证演示系统的可用性。为进一步研究网络安全仿真提供了模型和平台支持。     

微波辅助生物柴油生产的一体化计算

多物理场仿真动态计算对于优化微波化学加热反应体系的生产工艺,避免高功率微波带来的安全问题起到极其重要的作用.然而目前大多数微波加热化学反应的多物理场模型仅引入电磁和热传模块进行分析,且将电磁、热力学等物性参数视为常量而忽视了反应体系中各组分和温度变化对物性参数的影响,从而影响到模型的可靠性和准确性.本工作在以往模型的基础上,利用最近提出的简化且精度更高的介电系数表达式,通过引入化学反应工程和传质的计算来对电磁、热力学等物性参数随着反应体系浓度和温度的变化进行自适应实时更新,同时考虑了自然对流对传热和传质的影响.新模型避免了以往模型需要手动更新参数、介电系数表达公式复杂、热力学参数仅根据反应组分变化更新而无法获得更多化学反应模块信息、忽略液体自然对流对温度扩散的影响的弊端,实现了微波促进生物柴油生产的一体化计算.通过实验测量的温度分布验证了模型的合理性和准确性.     

OpenGL在MOTOMAN弧焊机器人动态仿真中的应用

以MOTOMAN-UP20弧焊机器人动态仿真为背景,利用AutoCAD强大的建模功能和OpenGL卓越的渲染功能来开发真实感较强的三维仿真环境.阐述了OpenGL对AutoCAD模型数据的读取,并详细介绍了OpenGL对三维仿真中机器人模型数据的构造、光照、材质处理以及运动的双缓存技术等问题.这种方法对其他动态过程的三维仿真也具有一定的意义.