课程文献中心 更多>>

关键词： 健康管理   APP   使用意愿   影响因素   居民   广州  

摘要： 目的:研究广州市居民健康管理类APP使用意愿的影响因素,为健康管理类APP相关平台优化提供参考。方法:选取广州市699名居民进行问卷调查,借助UTAUT模型分析广州市居民健康管理类APP使用意愿的影响因素。结果:感知风险(β=-0.742,P<0.001)对居民健康管理类APP使用意愿有负向作用,满意度(β=0.449,P<0.001)、绩效期望(β=0.239,P<0.001)、努力期望(β=0.152,P=0.005)、社会影响(β=0.380,P<0.001)对使用意愿有正向作用。同时,使用意愿(β=0.796,P<0.001)、促进条件(β=0.343,P<0.001)对居民健康管理类APP使用行为有正向作用。结论:感知风险、满意度、绩效期望、努力期望、社会影响均是影响居民健康管理类APP使用意愿的因素,使用意愿、促进条件是使用行为的影响因素。健康管理类APP相关平台应重视居民的隐私保护,确保APP的实用性与易用性,优化居民使用体验,并加强APP的推广和宣传。

关键词： 模糊学习观测器   Takagi-Sugeno (T-S)模糊系统   时变时滞   线性矩阵不等式(LMIs)  

摘要： 本文研究一类具有连续状态时变时滞、执行器故障和范数有界外部干扰的Takagi-Sugeno(T-S)模糊系统的鲁棒故障估计问题。利用H∞优化技术,构造了一种新颖的模糊学习观测器,实现了系统状态和执行器故障的同时估计。基于Lyapunov稳定性分析方法,以一组线性矩阵不等式(LMIs)的解形式给出了误差动态系统的稳定性分析和一个保守性更小的时滞相关的充分条件。最后,通过一个动态模型的仿真结果说明了所提方法的有效性。

关键词： 课堂汇报   展示汇报   翻转课堂  

摘要： 高职院校实施课堂汇报中存在汇报质量不齐、互动效果不佳和学生素质提升效果不佳等问题,通过分析原因寻找对策,主要通过确定适合师生课的主题要点、严格把控过程各要素、设置答题互动环节和确定合理考核评价等措施来维持全程高效关注,保证实施质量,取得较好的汇报效果,切实提升学生核心素质。

关键词： 数据流挖掘   特征演化   类不平衡   在线学习   代价敏感学习  

摘要： 特征演化流是指特征空间以任意形式动态变化的数据流,其中同时存在数据类别分布不平衡的现象,这给数据流分类任务带来巨大挑战。在线学习是数据流挖掘的有效工具之一,但目前鲜有在线学习框架可同时处理数据流中特征演化和类不平衡问题。因此,提出一种类不平衡的特征演化流在线学习方法。首先,对实例特征进行划分,并将分类器分别投影至对应特征空间,结合在线被动-主动算法分别训练不同特征空间下的分类器;然后,将代价敏感指标最小化问题融入模型在线优化目标函数中,根据不平衡率定义新的代价敏感因子,动态调整类别权重以解决类不平衡问题;最后,为提高分类器泛化性能,利用变异系数筛选出重要特征,从而对分类器稀疏截断处理。大量仿真实验结果表明,该方法在11个UCI数据集上均获得较高的准确率、几何均值和马修斯相关系数,分别平均提升约0.021、0.058和0.072,验证了所提方法对特征演化流具有良好的自适应能力,同时能有效处理特征演化流中的类不平衡问题。

关键词： Isabelle/HOL   机械化验证   动态规划   命令式   VCG  

摘要： 动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

关键词： 旋转轴唇形密封   密封可靠性   静态和动态密封   响应面法   似然函数值  

摘要： 基于油封的有限元和数值计算模型,分析油封的设计参数对其静态和动态密封可靠性的影响规律。将油封的初始安装过盈量、油侧唇角、空气侧唇角、腰厚、腰长、理论接触宽度、卡紧弹簧的弹性模量、油封主体橡胶的硬度8个设计参数的标准化数据作为输入向量,将油封唇口最大接触压力、泵吸率和摩擦扭矩的标准化数据作为输出向量,建立响应面模型,以输出向量方差得到各设计因素的似然函数值作为评判指标,确定各设计参数对油封密封可靠性的影响程度。结果表明:橡胶硬度、理论接触宽度、弹簧弹性模量、过盈量、腰长对油封动态密封可靠性的影响较显著,油封唇口最大接触压力对弹簧弹性模量、理论接触宽度、橡胶硬度、腰厚、油侧唇角较敏感。综合考虑旋转轴唇形油封的静态和动态可靠性,得到影响其可靠性的关键设计因素为理论接触宽度、弹簧弹性模量和橡胶硬度。

关键词： 斜纹夜蛾   SlGSTS4   拟除虫菊酯类杀虫剂   有机磷类杀虫剂   代谢活性   抗氧化活性  

摘要： 【目的】探究斜纹夜蛾Spodoptera litura谷胱甘肽S-转移酶SlGSTS4在拟除虫菊酯和有机磷类杀虫剂抗性中的作用。【方法】构建pET-26b(+)/SlGSTs4表达载体,将其在大肠杆菌Escherichia coli中异源表达,获得SlGSTS4重组蛋白,测定其对模式底物1-氯-2,4-二硝基苯(1-chlom-2,4-dinitrobenzene,CDNB)的米氏常数(K_(m))和最大反应速度(V_(max));采用超高效液相色谱(ultra-performance liquid chromatography,UPLC)测定重组蛋白SlGSTS4和表达SlGSTS4的大肠杆菌对拟除虫菊酯类杀虫剂(氰戊菊酯、高效氯氰菊酯和功夫菊酯)和有机磷类杀虫剂(毒死蜱和辛硫磷)的代谢率,并通过滤纸片抑菌圈试验测定SlGSTS4在过氧化氢异丙苯胁迫下的抗氧化活性。【结果】重组蛋白SlGSTS4对CDNB的V_(max)和K_(m)值分别为(13.8±2.3)nmol/(min·mg)和(1.66±0.1)mmol/L。UPLC结果表明,与对照相比,SlGSTS4重组蛋白仅对功夫菊酯有一定的代谢率(4.9%),而对氰戊菊酯、高效氯氰菊酯、辛硫磷和毒死蜱无代谢活性;转化SlGSTS4的大肠杆菌对氰戊菊酯、高效氯氰菊酯、功夫菊酯、毒死蜱和辛硫磷的代谢残留量峰面积均无明显变化,并且可以显著降低抑菌圈直径。【结论】SlGSTS4对拟除虫菊酯和有机磷类杀虫剂无直接代谢活性,具有明显的抗氧化活性。本研究结果丰富了对斜纹夜蛾GSTs Sigma家族基因的功能认知,有助于阐明SlGSTS4在斜纹夜蛾对拟除虫菊酯和有机磷类杀虫剂抗性中的功能。

关键词： 精益   标准化   天车调度   调度规则   输入输出  

摘要： 针对钢铁企业炼钢厂行车调度问题,考虑到炼钢生产过程各个工序难以形成准确的标准工时以及各种突发问题较多,很难根据炉次计划和浇次计划分解出长时间行车需要执行的任务,而目前论文更多是通过炉次计划和浇次计划分解出行车作业任务再对任务分配进行行车调度的优化,难以实现工程的应用,而且没有考虑某一行车完成一系列作业任务的情况。本文将通过对比精益管理标准化调度规则方法和通过考虑复杂的系列动作的高效的启发式优化算法与仿真的方法实现行车明确任务的实时调度,最后将实时调度算法应用于炼钢行车调度并实现工程化应用。

关键词： 内容生成式人工智能   ChatGPT   版权侵权   隐私侵犯  

摘要： 内容生成式人工智能ChatGPT的面世,在开启新一轮人工智能领域科技革命的同时也带来诸多风险,包括版权侵权、隐私侵犯和数据安全问题。本文分析了类Chat GPT模型在数据挖掘、内容生成和应用过程中可能产生的法律风险,并提出了相应的应对策略,如确保数据来源合法、明确版权归属、加强平台责任和建立市场准入制度。本文强调,通过合理的法律规制和技术创新,可以有效应对这些风险,促进生成式人工智能的健康发展。

关键词： 文章撰写   中华医学会系列杂志   临床指南   医疗卫生服务   我国国情   中华医学会杂志社   共识   指导作用  

摘要： 制定和推广临床指南是当前规范医疗卫生服务的重要举措,为保证临床指南制定的科学、公正和权威,以及应于我国国情,从而更好地发挥指导作用,中华医学会杂志社对指南共识类文章的撰写与发表推荐规范如下。