本手册以通俗易懂的语言编写,供俄亥俄州公务员退休系统成员使用。它并非旨在替代联邦或州法律,即《俄亥俄州修订法典》、《俄亥俄州行政法典》或《国内税收法典》,如果本手册与《俄亥俄州修订法典》、《俄亥俄州行政法典》或《国内税收法典》发生冲突,则不以本手册的解释为准。管理退休系统的规则可能会根据俄亥俄州议会的法规、俄亥俄州公务员退休委员会的规定或《国内税收法典》的规定定期更改。如果您对本材料有任何疑问,请联系我们的办公室或向您的律师寻求法律建议。OPERS 无需提供医疗保健
外国药房如果您从美国或波多黎各以外的药房获得处方,则您将在购买时支付药品的全价(外国药房分发的药品必须是 FDA 批准的药品,并且您必须在分发日期后 365 天内向 Express Scripts 提交索赔才有资格获得报销)。在填写并向 Express Scripts 提交索赔表以及处方收据后,您将获得高达 OPERS 在您使用首选零售药房购买 FDA 批准药品所收取费用的 60% 的报销。如果您要长期旅行,您可以在出发前使用 Express Scripts 送药上门药房取药。在这种情况下,您可以申请休假覆盖以获得长达六个月的药物供应。
摘要。本文旨在提出一个框架和相应的范式,用于评估可解释人工智能 (XAI) 提供的解释。本文主张需要评估范式——不同的人在不同背景下执行不同的任务会对不同的解释做出不同的反应。它回顾了以前评估 XAI 解释的研究,同时也确定了这项工作的主要贡献——研究人员可以使用灵活的范式来评估 XAI 模型,而不是一系列因素。然后,本文概述了一个框架,该框架提供了五个关键因素之间的因果关系——心理模型、概率估计、信任、知识和绩效。然后,它概述了一个由训练、测试和评估阶段组成的范式。本文讨论了预测模型、XAI 开发人员指南和自适应可解释人工智能——一种能够预测特定领域专家对特定任务的首选解释是什么的推荐系统。
军事上独特的环境为预防医学团队带来了不同寻常的复杂挑战。例如,坦克或航空机组人员可能同时面临各种压力——如声能、化学物质、极端温度和全身振动——每种压力都可能产生多种不同的不良健康影响。4 军队中的所有职业健康专业人员都必须有效地处理设施工业环境中的传统危害和军队的独特危害;所有军医都必须能够诊断、处理和报告与测试、使用和维护军事装备相关的不良健康影响。在 20 世纪 70 年代末和 80 年代初,陆军领导层以及 AMEDD 和物资开发商认识到需要对新装备或改进装备进行医学审查。这是因为人们越来越意识到士兵表现下降(短期、由物资引起的状况,阻止士兵发挥最大效率)
衡量实施过程就等于衡量一段旅程。事实上,基于关注的采用模型的开发者将实施比作跨越鸿沟的旅程。在变革实施中,新实践的采用与实施之间存在鸿沟,而实施新实践将导致学生成绩的提高。教师不可能跨越鸿沟;相反,存在一座实施之桥,随着实践的改变和改革的实施,人们将跨越这座桥。实施研究人员当然无法衡量过桥的旅程。但人们可以衡量与那段旅程相关的许多事物:从一岸到另一岸的距离、桥的长度,以及到达桥顶或过桥所需的步数和时间。评估员可以估计需要多少人来完成这段旅程;她可以描述他们如何组织打包、导航和选择路线、纠正路线并完成旅程。最后,测量将帮助我们了解旅程过程中发生的事情;我们可以了解我们如何开始和完成旅程并到达我们计划的地方。
摘要 - 预计即将进行的Exascale计算系统将是一个主要挑战。需要将这些系统的复杂性隐藏在应用程序开发人员中,以提高可编程性。EXA2PRO编程框架旨在提高针对目标异质计算系统的应用程序的生产率。它基于封装低级平台特定优化的高级编程模型和抽象,并且由处理异质节点上的应用程序部署的运行时支持。它支持多种平台和加速器(CPU,GPU,基于FPGA的数据流引擎),从而使开发人员能够充分利用异质的计算系统,从而使更多的HPC应用程序可以达到Exascale Computing。使用来自不同域的四个HPC应用程序评估EXA2PRO框架。通过应用EXA2PRO框架,对应用程序进行了自动部署和评估,并在各种计算体系结构上进行了评估,使开发人员能够在加速器上获得性能结果,测试MPI群集上的可伸缩性,并有效地研究每个应用程序可以从该程度上使用不同类型的硬件重复源。
ADH:阿肯色州卫生部 AMHC:阿肯色州少数民族健康委员会 AMI:急性心肌梗死 ARCOP:阿肯色州肥胖预防联盟 BCBS:蓝十字蓝盾 BRFSS:行为风险因素监测系统 CDC:疾病控制与预防中心 CHAC:儿童健康咨询委员会 CHW:社区卫生工作者 CPS:社区护理人员服务 DHS:人类服务部 DPCP:糖尿病预防和控制计划 ED:急诊科 EMS:应急管理系统 EPT:快速伴侣治疗 HECAT:健康教育课程分析工具 HIV:人类免疫缺陷病毒 HTN:高血压 LHU:地方卫生单位 OHC:健康通讯办公室 AMHC:阿肯色州少数民族健康委员会 OPERS:准备和应急响应系统办公室 OPMQIE:绩效管理、质量改进和评估办公室 PCP:初级保健医生 PECAT:体育课程分析工具 PRAMS:妊娠风险评估监测系统 SMART:具体、可衡量、可实现、现实、有时限 SMBP:自我测量血压 STD:性传播疾病 STI:性传播感染 STEMI:ST 段抬高型心肌梗死 TPCP:烟草预防和控制计划 UAMS:阿肯色医科大学 UCA:阿肯色中央大学 SWPAT:学校健康政策评估工具
摘要 - 集成的开发环境(IDE)在各种任务中为开发人员提供支持。在执行不同的编程任务时毫不客气地捕获开发人员的认知负载,可以帮助优化开发人员的工作经验,提高其生产率并积极影响代码质量。在本文中,我们提出了一项研究,其中基于Intellij的IDE插件Cognitide用于在处理各种软件开发任务时收集,映射和可视化软件开发人员的生理活动数据。在一项可行性研究中,参与者根据Java开源代码在IDE中完成了四个模拟软件开发人员的日常工作任务 - 编码,调试,代码文档和电子邮件写作,同时记录了他们的生理活动。 在任务之间,评估了参与者的感知工作量。 可行性测试表明,可以成功地将认知剂用于一小时的数据收集会话,这是测试最长的持续时间,并且对使用它的人非常感知。 此外,与基线记录相比,记录的生理活性表明在工作任务期间的认知负荷更高。 这表明可以评估认知负载,映射到代码位置,可视化和讨论在一项可行性研究中,参与者根据Java开源代码在IDE中完成了四个模拟软件开发人员的日常工作任务 - 编码,调试,代码文档和电子邮件写作,同时记录了他们的生理活动。在任务之间,评估了参与者的感知工作量。可行性测试表明,可以成功地将认知剂用于一小时的数据收集会话,这是测试最长的持续时间,并且对使用它的人非常感知。此外,与基线记录相比,记录的生理活性表明在工作任务期间的认知负荷更高。这表明可以评估认知负载,映射到代码位置,可视化和讨论
摘要:随着近几十年来技术的发展,并实施了减少温室气体排放的国际标准,汽车制造商将注意力转向了与电/混合动力汽车和电动燃料电池汽车有关的新技术。本文着重于电动燃料电池车辆,将电池和以电池和超级电容器代表的混合储能系统最佳结合起来,以满足电动机和辅助系统所需的动态功率需求。本文比较了燃料电池电动汽车的最新提议的拓扑结构,并揭示了涉及的新技术和DC/DC转换器,以使研究人员和开发人员对这一专业领域感兴趣。从软件的角度来看,分析了最新的能源管理策略并将其与参考策略进行比较,并考虑了绩效指标,例如能源效率,氢消耗和涉及的子系统的退化,这是汽车降低者的主要挑战。讨论了三种策略(基于规则的策略,基于选择的策略和基于学习的策略)的优点和缺点。因此,未来的软件开发器可以专注于开发的人工智能领域的新控制算法,以应对新技术对自动驾驶汽车的挑战。