摘要：国际卫生技术评估组织(HTAi)联合国际卫生经济学和成果研究专业协会(ISPOR)领导的工作组,在前期研究的基础上发表了设计和实施卫生技术评估的审慎评议实践报告指南与附属清单。鉴于目前国内缺乏运用卫生技术评估(HTA)审慎评议方法开展的相关实践与报告,因此本文对该指南和附属清单进行了详细解读,以期为我国HTA及其审慎评议的实践和报告提供参考依据,同时促进HTA方法的传播和应用,推动国内HTA审慎评议能力及体制机制的建设。

摘要：高效且稳定的钙钛矿/异质结叠层太阳能电池是学术界与工业界共同探索的方向,目前小面积叠层太阳能电池效率优势已然非常明显,但在商业化推进过程中,叠层路线在电池结构设计与界面调控、钙钛矿材料选型与优化、器件尺寸放大以及稳定性等方面仍存在许多挑战.本文通过收集相关文献资料,包括实验数据和理论模拟结果,对钙钛矿/异质结叠层太阳能电池的研究现状进行分析,认为未来的研究方向可能涉及叠层顶电池的界面调控及组件互联结构设计等关键问题.因此,文章重点阐述钙钛矿/异质结叠层太阳能电池各关键材料层的优化选型、钙钛矿带隙优化与离子迁移抑制、层间界面传输调控、底电池连接层优化及组件互联与封装方式优化.基于现有研究成果对叠层太阳能电池技术进行了总结和探索展望,旨在为后续叠层太阳能电池结构设计的各关键问题提供方向性解决建议.

摘要：目的探讨护理专业本科生劳动教育课程的设计及实践效果。方法通过学生学情调查,在课程顶层设计、师资队伍建设、学习资源整合、教学评价体系等方面形成“专业+劳育”协同育人合力,并以2021级和2022级390名护理专业本科生为对象开展为期2年的护理学专业劳动教育课程的教学实践,采用课程成绩、大学生专业认同量表、心理契约量表学生分量表、学习期望达成度进行教学评价。结果学生及格率为100%,优秀率为48.46%(189/390)。教学后学生的专业认同感得分、心理契约量表学生分量表发展责任维度得分有所提高,差异具有统计学意义(P<0.05)。学习期望达成度各方面选择符合/完全符合的学生占比在95%以上。结论劳动教育与专业教育的协同融合有助于护理学生提升专业认同感和心理契约水平,提升劳动素养,精进实践技能,为其成长为复合型人才奠定基础。

摘要：随着时代的进步,社会对机械行业的要求越来越高,而机械设计作为机械行业的重要一环,其重要程度不言而喻。很多同行对机械设计充满兴趣但又苦于没有提高其技术能力的有效方法和途径,针对如何做好机械设计,从如何准确理解设计要求、如何提升自身基本设计能力、如何掌握和运用正确的思维方法等方面分享了一些经验,以期对机械设计同行起到一定的启发作用,共同促进机械设计行业高质量发展。

摘要：对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。

摘要：在建筑行业发展过程中,工程施工对全过程工程规划的依赖性显著提高,许多工程企业都建立了相对完善的全过程工程规划模式,推动工程项目顺利实施。工程项目涉及多个阶段,每一阶段都有其工作侧重点,在全过程工程规划模式下,工程企业需重视设计管理,在保证规划质量的前提下推进设计管理标准化,有助于提高设计水平,用完善的设计方案指导后续施工。基于此,文中重点分析了全过程工程规划模式下设计管理标准化策略,对实际工作具有指导与借鉴意义。

摘要：当带宽达到20 GHz以上时(波长从15 mm到无穷小),高速高密度电子系统的内部电路电磁环境变得十分复杂,越来越难以建模和分析预测,进一步当带宽达到40 GHz以上时,电路电磁环境问题将变得更加尖锐.为在设计阶段能够对电磁作用过程、作用效应进行预测评估及控制,需要精确的建模方法和针对大尺度问题的快速计算技术,尤其是超大带宽超高速混合电路和集成电路.本文提出了基于混合电路环境电磁计算基础理论的跨尺度处理技术,通过惠更斯等效原理和电磁奇异性几何结构的电磁收敛降速机理的利用,解决了多维交叉多尺度电路电磁环境场路融合的高效率高精度建模技术挑战;利用惠更斯等效原理和基尔霍夫积分方程,在区域边界面上定义了惠更斯端口,提出了对于任意复杂印制电路板(Printed Circuit Board,PCB)同时垂直方向和水平方向区域分解的一般方法,实现了任意PCB结构的分级分类处理和模块化封装,提高了高速高密度电子系统分析的灵活度;提出了基于几何结构电磁学多重本地本征展开的技术途径,发展了基于模式和区域分解分割的快速并行处理技术,通过电磁锐变区域本征描述及场分布的本征基函数表征,实现了高精度和高计算速度兼得,减少了复杂电子系统的计算时间和设计时间.统计数据表明,本文提出的方法在0~40 GHz大带宽频率范围内频偏误差为3.7%、幅度偏差为±3 dB.本文提出的PCB分级建模分析方法可以应用于高端电子通信系统设计,提升我国宽带高速数模系统的高效电路设计和环境电磁调控能力,缩短产品研发周期.

摘要：车辆基地远离城市中心且无阴影遮挡影响,建筑面积相对较大,具备安装光伏组件的良好条件。基于一个车辆基地实例,依据已设计的建筑图纸,通过分析、计算,完成屋顶光伏电站的设计,并通过PVsyst软件仿真验证了设计的合理性。同时制定了环境效益分析表,估算静态投资回收期,为光伏电站前期勘察设计提供技术及数据支持,为业主投资、建设提供决策依据,为车辆基地屋顶光伏电站的大面积推广提供了借鉴。

摘要：当双馈风电机组接入弱交流电网时,转子侧和网侧变流器均采用无锁相环的构网型控制策略可以提高发电系统的并网稳定性。然而,对直流端口而言,网侧变流器在构网型控制下的直流电压抗扰能力有所降低,机组出力波动时直流电压的动态特征不容忽视。为此,文中首先建立了考虑交直流侧动态耦合特征的构网型双馈风电机组的小信号模型。基于系统模型研究了不同电网强度和风机转速下直流电压控制的稳定性,根据耦合传递函数矩阵分析了不同条件下定子功率变化对直流电压的耦合影响。利用小信号模型分析了定子功率对直流电压的交、直流耦合路径,并分别设计了解耦优化策略。理论分析表明,所提策略可以降低有功功率加载对直流电压的耦合作用,优化直流侧动态特性。最后,利用硬件在环实验平台验证了理论分析的正确性及所提控制策略的有效性。

摘要：目的:微型课程是一种新型的教学模式,能有效地推动信息化建设,使其更好地与专业课程整合。微型课程的主要特征是授课时间短,内容针对性强。小学生的注意力易受外界干扰,而微课能够给予学生更丰富的视觉与听觉效果,可以激发学生的学习兴趣,让学生保持更持久的学习注意力。在新媒体视角下,文章主要研究如何利用微课为小学美术教学服务,如何使小学美术课堂中的微课更加多元化、自主化,如何适时补充课堂教学,以丰富学生的学习方式,提升学生的审美能力,促进学生全面发展。方法:运用文献研究和问卷调查方法,切实了解微课在小学美术课堂教学中应用的必要性和现状,分析微课应用中存在的问题,并提出相应的对策,以期为微课在小学美术课堂教学中的有效应用提供参考与借鉴。结果:微型课程在提高教育质量的同时,有自身的缺陷。通过调查分析,并根据笔者的教育经验,归纳微型课程运用于小学美术教育中需要考虑的一些问题,并提出优化对策,包括健全微课平台资源库、优化学校微课使用环境、开展教师微课水平培训等。结论:从教师和学生对微课的反馈来看,微课在我国的基础教育中有很大的应用潜力。开设微课不仅有利于新课改的实施和推广,丰富教学方法,拓宽教师的知识领域,增强学生的自主学习意识和创新能力,还能不断丰富学生的学习方式。