摘要：舌体图像的准确分割是中医舌诊客观化分析的重要前提,目前广泛采用的全监督分割方法需要对大量像素级标注的样本进行训练,而基于单一模型的半监督分割方法对学习到的错误知识缺乏自我纠正能力。针对这一问题,本文提出一种新颖的基于双模型互学习的半监督舌体图像分割方法。首先,模型A、B分别在有标签数据集上进行监督训练。之后,模型A、B进入互学习阶段,使用本文设计的互学习损失函数,根据双模型对无标签数据预测的分歧而赋予不同的权重。先由模型A对无标签数据集生成伪标签,模型B在有标签数据集和伪标签数据集上进行微调,然后模型B再对无标签数据集生成伪标签,模型A以同样的方式进行微调。双模型微调结束后,选择性能更佳的一个作为最终的舌体图像分割模型。实验结果表明,本文方法的有标签数据比例为1/100、1/50、1/25、1/8时,mIoU分别达到96.67%、97.92%、98.52%、98.85%,优于对比的其他典型半监督方法。本文方法仅需少数标签数据便可达到较高的舌体图像分割精度,可为后续的中医舌色、舌形等舌象分析应用奠定坚实基础,推动中医诊疗数字化进程。

摘要：文章以自然美学观在中国瓷绘艺术中的介入为研究视角,以中国传统瓷绘艺术的时间线性发展为脉络,浅析中国传统瓷绘艺术品类的源起、发展、高峰至嬗变历程中的典型类别,剖析自然美学观赋予中国陶瓷艺术,特别是在瓷绘方面的独特审美面向和艺术内涵,综合研究中国传统瓷绘艺术在文化传播过程中所产生的深远影响。

摘要：This article analyzes the application of Omaha system in perioperative continuation nursing and discharge follow-up of patients undergoing total hip arthroplasty in China, and combine the Omaha system with mobile medical to design a mobile management platform APP suitable for patients with total hip arthroplasty, and strengthen professional training for nurses, with the cooperation of multi-disciplinary teams, will be widely applied and promoted in clinical, in order to better manage and improve the nursing outcomes of patients with total hip arthroplasty and enhance the quality of life of patients.

摘要：针对组合优化类问题定义了代数结构模型,从问题的形式规约出发,通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题,根据问题的简约关系推导出求解算法,并在构造算法的同时也证明了算法的正确性.开发了原型系统以支持上述形式化的开发过程.这种算法推演技术能够显著提高算法程序设计的自动化水平,而问题简约的思想也更有利于对算法本质特征的理解.

摘要：泥的治理是水环境综合整治的重要方面,其对象可包括河湖底泥、通沟污泥、污水处理厂污泥、化粪池粪渣和工程建设泥浆等。在茅洲河流域水环境治理中,创新采用“就地减量+二次处理+资源化利用“”六边工程”等工作模式,对泥分类清挖处置。重点针对河湖底泥、通沟污泥和工程建设泥浆,采用杂物分离、多级提砂、调理改性、板框压滤等工艺环保处置,并对产出物进行资源化利用,为流域尺度系统治泥提供了可借鉴的实践经验。

摘要：范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础。在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。

摘要：介绍了新型内摆线能量转换机构的工作原理和结构设计,采用基于能量的欧拉?拉格朗日方法推导了系统的动力学模型.基于四阶Runge-Kutta法,运用Matlab进行了仿真验证.结果表明:新型内摆线能量转换机构的活塞做完全简谐直线运动,运动更加平稳;活塞加速度峰值比传统曲柄滑块机构的小25%;在相同的气缸平均等效压力和负载转矩下,具有较高的输出转速,提高了内燃机的输出功率.

摘要：提出了一种综合智能化的控制系统设计思想 ,并将其应用在发电机的励磁控制上 ,所设计的综合智能型电力系统稳定器兼顾对发电机端电压动态调节特性和功角稳定的要求 ,具有良好的控制效果。控制器采用模糊神经元网络的结构形式 ,而遗传算法和再励学习与设计过程的有机结合使控制器具有更高的智能化水平 ,较好的控制效果和简便合理的设计过程 ,在理论和实践两方面都具有应用潜力。

摘要：具有频率约束的桁架结构形状和尺寸优化设计是一个难度大的非线性动力优化问题。形状和尺寸变量的耦合通常导致收敛困难,而频率约束则使得动力灵敏度分析困难,传统的优化准则法和数学规划法难于求解。将单纯形算法、子空间变维技术、均匀变异有机融入郭涛算法,提出一种混合演化算法,避开繁琐的动力灵敏度分析,简单、有效地求解这类桁架形状和尺寸优化问题。典型的桁架算例验证了算法的有效性和可靠性。

摘要：素混凝土桩(简称LC桩)复合地基,由于其适用范围广、造价低、效果好、效率高,近些年来在珠江三角洲广为采用。通过深圳某住宅区小高层建筑对厚层填土地基采用素混凝土桩加固处理的工程实例,对素混凝土灌注桩在回填土复合地基中的设计、施工和工后沉降进行了分析。