整数复除法——一个计算数学新分支的建立(一)

孙子定理是数论中解一次同余式组一个重要定理,但孙子定理给出无限多个解,无法满足人们在计算中、在计数中对单值解的需求,为解决此问题,作者在孙子子定理基础上,从发展整数除法的角度出发,引用同时并行这一重要新概念,建立了整数复除法。整数复除法的建立,使整数除法得到一个由特殊向一般,由初级向高级的发展。     

多维背包问题的变邻域填充函数算法

首先给出解的两个邻域结构,并把多维背包问题转化为相应的无约束整数规划问题.其次构造一个单参数的填充函数,然后提出一类求解多维背包问题的变邻域填充函数算法.实验结果表明,该算法是有效的.     

混合正态分布的收敛速度

研究了混合正态分布的收敛速度,得到了一致收敛速度.     

疏水冷面霜晶生长的有限扩散凝聚模型

为了深入了解霜晶的动态生长过程,以有限扩散凝聚模型为基础建立了疏水冷面霜晶二维生长模型.通过在表面上设置不同冰珠数量来模拟冷面不同疏水性能,无涂层金属表面则布满冰珠;采用粒子在网格节点上随机移动来描述水蒸气分子的运动,粒子沿各方向移动的概率相同.数值结果表明,霜晶动态生长的可视化结果与实验图像在形态上保持一致;树枝状霜晶具有分形特征,相应的分形维数为1.44～1.78,与实验值相近.疏水冷面霜晶生长缓慢且分布稀疏;采用疏水效果不好的冷面的结霜情况与金属表面相似.     

西藏旅游发展中的负外部效应及其内化研究

西藏旅游发展中负外部性表现在以下几个方面：一是季节性集中的大量游客导致的环境成本;二是旅游对藏民族传统文化生态的破坏引起的社会成本;三是旅游对西藏其他产业的＂挤出效应＂所导致的机会成本。文章认为促使外部效应内部化,减少西藏旅游外部效应的对策包括政府运用税收、补贴、押金、保证金等经济手段实现旅游企业外部成本内部化;合理界定旅游资源产权,防止＂公地悲剧＂发生;建立民族生态博物馆,实行民族文化＂前台、帷幕、后台＂开发与保护模式;对旅游项目进行综合成本—收益分析,追求旅游综合效益最大化。     

基于机器学习的Cortex-M监控视频车型识别

为了解决高速公路环境下监控视频图像车型识别需要将海量视频数据上传计算机服务器中心,对所有的视频流图像进行结构化处理和车型识别,造成服务器中心数据压力大、计算任务重,对服务器性能要求高的问题。对此,提出一种基于机器学习的Cortex-M监控视频车型识别的方法。首先,将训练机训练好的六种车型的权值矩阵文件移植到前端Cortex-M核系列开发板上,采用开发板内嵌的CMSIS-NN网络函数库搭建与训练机相同的网络模型结构;同时采用开发板内嵌的CMSIS-DSP库加快图像处理速度,并对选择处理监控视频图像实现车型识别;实验结果表明,该方法平均识别率达到94.6%以上,与采用计算机进行识别相同,可见该方法能够缓解大量视频上传给服务器中心造成的压力,为高速公路环境下监控视频图像车型识别研究提供了一种可选择的方案。     

铁路突发事件应急资源调配的优化与决策

优化铁路应急救援资源的调配是降低突发事件人员伤亡、减少财产损失的重要途径。基于应急资源调配的特点及要求,建立应急资源调配时间最短的单目标模型,以及调配时间最短,且应急出救点最少的双目标模型;并运用分层序列法进行求解。研究表明,双目标模型优化可以减少应急出救点、节约救援成本。利用Matlab软件设计应急资源优化调配的决策程序,实现资源调配决策的快速化、科学化;并以南昌铁路局为例进行实证分析。研究成果为铁路突发事件的科学应急救援,减少事故救援时间和成本提供参考。     

H62铜合金本构模型构建及游动芯头拉拔力影响分析

以H62铜合金为实验材料,进行不同应变率下的单向拉伸试验。采用唯象建模方法建立铜合金的本构模型。通过二次开发,将本构模型导入MARC,以拉拔速度为实验参数,对游动芯头拉拔过程进行数值模拟。结果表明:利用强化系数与黏性系数建立的本构模型,对不同应变率下单向拉伸实验数据拟合效果较好,弹黏塑性模型对不同应变率下拉伸成形具有较好的适用性;随着拉拔速度增加,拉拔力逐渐增大,但增加的幅度较小。     

基于准RTK的GBAS机载定位精度性能研究

摘要：地基增强系统(ground-based augmentation systems,GBAS)中机载导航定位精度和精度可靠性关系到飞机和人员的生命财产安全。因此,提出了在GBAS中使用以准载波相位差分技术（Real - time kinematic,RTK）为差分方式减小潜在误差影响的方法。RTK利用了参考站和移动站之间观测误差的空间相关性,通过差分的方式消除了移动站观测数据中的大部分误差,与传统的差分方式相比,RTK具有更大的技术优势。通过实验验证和数据仿真结果表明：该方案的单频准RTK可实现分米级甚至厘米的高精度定位,能够为飞机的进近提供精密和稳定的导航数据,同时为机场实现GBAS CAT II/III类精密进近服务起到积极地促进作用。