论数学公理化方法的作用及其局限性

数学公理化方法是研究数学的重要思想方法,它对于近代数学和其他自然科学的发展起过巨大作用和深远影响。数学公理化的目的,就是把一门数学表述为—个演绎系统,这个系统的出发点则是一组基本概念和若干基本命题,基本概念必须是对数学实体的高度纯化和抽象,而基本命题则是对基本概念相互关系的制约和规定。数学家们在评论波及全球的“新数”运动时,已指出数学公理化方法的局限性,事实上,数学家在解决一个数学难题时,总是首先从现有数学宝库中去索搜适宜的微观数学方法,而不是先求助于数学公理系统。     

基于改进RPN的孪生小样本电力目标检测

为了解决当前电力系统巡检难度大、效率低、数据不足以支撑大规模训练的问题,提出一种基于孪生网络的小样本检测方法。首先,在Faster RCNN(faster region convolutional neural network)目标识别算法的框架下,搭建支持图片和查询图片共享的孪生网络模型;然后,利用改进的RPN(region proposal network)模块产生更高质量的proposals;最后,在检测头上对支持图片和查询图片的RoI(region of interest)进行关联匹配。结果表明,将算法应用于自主构建的EPD(electric power detection)数据集,在仅利用10张支持图片的情况下,就能实现对电力背景下鸟巢异物和绝缘子相关类别的检测,检测指标mAP达到18.92%。与其他算法相比,应用于电力行业目标检测的孪生网络小样本模型,在极端小样本情况下性能优良,同时具有更加轻量化的优势,可为电力检测新方法研究提供参考。     

保暖服传热分析及数值模拟

个体保暖注重人体周围微环境的调节,在满足热舒适度的前提下可以实现节能。使用COMSOL Multiphysics软件建立了人体—保暖服的流动传热模型,研究了循环水入口速度、循环水入口温度、人体代谢率和环境温度对保暖服保暖性能的影响。结果表明：循环水入口速度和入口温度的增大都会提高保暖效果,保暖服的最佳入口速度为0.6 m/s;循环水入口温度每增加5℃,人体平均温度增加3.92℃,人体表面平均温度增加3.90℃;人体代谢率对保暖效果几乎没有影响。设计保暖服时选取合适的循环水入口速度和温度可以满足热舒适度,同时也可以实现节能。     

紧邻浅埋暗挖地铁隧道地下密集管线及土层变形

针对地铁隧道施工影响下紧邻密集管线保护问题,依托南昌地铁实际工程,采用ABAQUS软件建立土体-密集地下管线-隧道暗挖三维有限元模型,结合现场实测数据与数值模拟结果,分析了隧道CRD (cross diaphragm)工法施工时的地层变形规律、地下管线应力特性与地下管线变形规律,并对管线周边土体有无注浆加固时的管线力学特性进行了对比。研究结果表明：(1)隧道开挖引起的管线变形以沉降为主,管土刚度差异对管线变形和应力影响显著。(2)管土刚度差异越小,管线变形趋势与土体变形趋势越接近;管土刚度差异越大,管线对地层变形的抵抗作用也越强会产生较大应力。(3)隧道左右导洞上方管段是危险区域,需重点保护。(4)密集地下管线主要表现为管线材质、管线几何特性、管线与隧道的空间位置关系不同,保护地下管线的核心在于控制地层沉降,地下管线保护关键阶段是隧道掌子面接近管线,此时应确保超前注浆效果和初期支护快速封闭,并加强对管线变形的监测。     

离散时间细胞神经网络中的分岔和混沌

研究了离散时间细胞神经网络（ＤＴＣＮＮ）中的分岔和混沌,ＤＴＣＮＮ中的细胞与连续时间ＣＮＮ中的细胞相似,具有局部耦合,其输出方程是罗切斯蒂方程。分别讨论了２种结构（有边界和无边界）的ＤＴＣＮＮ的混沌特性,ＤＴＣＮＮ的混沌与全局耦合系统一的混沌相似,但由于其局部耦合的结构,其混沌与后者有所不同。提出了有关分岔与混沌的一些有兴趣的理论问题和实际问题．     

并行工程计划问题的模糊网络分析方法

基于网络流模型,本文提出了确定模糊网络关键路线的参数线性规划方法,并给出了反映决策者偏好信息的模糊网络关键路线和工程模糊完工期的隶属函数形式,从而得到了模糊网络关键路线性质的更全面结果。最后,针对模糊环境下的并行工程计划问题,给出了模糊网络的分析方法。     

海芋凝集素的理化性质鉴定

采用葡聚糖凝胶１００（ＳｅｐｈａｄｅｘＧ－１００）从天南星科植物海芋（Ａｌｏｃａｓｉａｏｄｏｒａ（Ｒｏｘｂ）Ｃ．Ｋｏｃｈ）中分离出了一种凝集素（简称ＡＯＬ）．ＡＯＬ对兔血有较强的凝集效果,而对各类型人血的凝集活力较弱,在３种糖蛋白中,猪甲状腺球蛋白对ＡＯＬ的凝血活力抑制最强;ＡＯＬ对培养人外周血白细胞的转化率高达７９％,超过对照ＰＨＡ的转化率;用ＳｅｐｈａｄｅｘＧ－２００柱测得ＡＯＬ的相对分子质量为３１５００;用癌细胞体外培养的方法证明了ＡＯＬ对肺腺癌细胞株Ｐ１８具有较强的直接杀伤能力．此外还发现ＡＯＬ对温度（８０℃以下）、变性剂（盐酸胍和脲）有较高的稳定性,在ｐＨ６～１０的范围内相当稳定．     

用模型方法研究灌注压对缺血区心肌血流时相分布的影响

为了研究在舒张期提高冠脉灌注压对缺血区血流时相分布的影响,建立了一个左心室壁血流灌注仿真模型。模型中正常心肌和缺血心肌中血管网都用３个支路来代表,各个支路由符合生理实际的非线性时变阻容元件组成。以６条雄性犬的左心室压和主动脉压的实测数据作为输入进行仿真,得出了符合已有实验观察的结论。结果表明：舒张期提高灌注压对缺血心肌的血流灌注有明显改善。     

脉冲间隔调制信号的谱分析

采用静态逼近方法,求出非同步模拟脉冲间隔调制信号简单而物理概念明确的谱表示,并由实验结果确认．     

培训训练微生物学基本技能的改革尝试

微生物学具有一套独特的实验技术和方法,为了使学生在有限的时间内掌握最基本,最重要的知识和技能,我们对微生物学实验课教学进行了一些改革和尝试。