跨校联建同发展 “一体两翼”促提升——郑州大学任怡辅导员工作室

郑州大学任怡辅导员工作室成立于2022年8月,是首批河南省高校辅导员工作室。团队现有成员6人,其中,副高级职称2人,中级职称1人,初级职称3人。由郑州大学任怡担任工作室主持人,其余5名成员由郑州大学、郑州电力高等专科学校和济源职业技术学院辅导员骨干组成。

龙舟君 任怡 陈莉 李菁作品

龙舟君，女，1980年生，湖北宜昌人，硕士，现任教于湖北师范学院美术学院，研究方向为工业设计、摄影，设计作品《音乐床》获得湖北高校第四届美术与设计大展教师组银奖。

高职大学生自我效能感问题分析及实践训练方案

文章以数据分析为基础描述了高职大学生群体自我效能感的特点,分析了自我效能感问题的成因和对高职大学生成长的意义。通过团队融入式成长训练的设计与实践,探索在教育过程中通过创建成功体验机会、培养观察学习能力、开发隐性教育资源、加强心理品质建设等途径提升高职大学生自我效能感。

基于时间感知主导资源公平的边缘函数计算负载调度算法

针对边缘函数计算服务FaaS中不同负载之间资源抢占导致的资源分配不公平、利用率不高的问题,提出一种时间感知的主导资源公平调度算法。首先,分析了现有主导资源公平调度算法在应用到边缘函数计算服务时的不足;其次,提出加入函数实例运行时间权重,并通过时间感知队列和主导资源公平队列协同实现对函数运行所需要的资源进行公平分配和集群资源充分利用;最后,基于主流开源函数计算服务平台的调度器对算法进行了实现。采用公开负载运行数据集的测试结果表明,该算法最多提升了18.1%的CPU利用率和21.8%的内存利用率,并且执行时间最多降低了26.1%,能够有效提升边缘函数计算服务的资源分配公平性,且提高了资源利用率。

基于自然语言处理与结构化算法的病历信息高精度抽取方法研究

目的:综合运用自然语言处理、结构化算法和知识图谱等技术,探索实现电子病历高精度信息抽取和结构化处理的方法。方法:通过构建命名实体识别模型、关系识别模型、同义词识别模型完成病历文本的句内信息抽取;提出了一种病历生成树算法,可以有效实现大段落病历文本分层结构的解析;同时利用知识图谱技术存储信息抽取与分层解析的构造模型,实现病历文本信息高精度抽取。结果:形成了一套融合深度学习算法与结构化解析算法的病历信息高精度抽取方法,其中实体识别模型准确率达95.74%,关系识别模型准确率达89.20%,最终生成具有清晰层次结构、可精确定位和抽取信息的结构化病历。结论:本文所探索的病历信息高精度抽取方法,将深度学习算法与结构化解析算法相融合,兼顾了病历文本的句内信息抽取与病历结构层次的解析,可以实现对病历数据的自动抽取、精准定位与高效管理,可以为临床医学研究奠定数据基础,也可以为其他疾病病历文本数据的挖掘提供方法学参考。

CloneIRD:面向代码溯源的克隆代码继承关系判定方法

随着开源软件的广泛使用,代码溯源成为管理软件源代码、降低潜在风险的重要技术手段。基于代码克隆检测的大规模代码溯源分析,从其检测结果中鉴别代码克隆对之间的继承关系,对代码来源追踪、组件依赖关系分析、软件脆弱性分析以及代码缺陷修复等具有重要意义。目前,已有方法在原始代码片段存在微小修改的情况下,会产生许多误判,并且检测克隆对的效率也有待提高。针对上述问题,提出了代码溯源中克隆代码继承关系的判定方法CloneIRD,包括一个基于自研快速分布式克隆检测工具FastDCF的代码溯源分析框架,以及该框架的核心算法——基于代码演化信息的克隆代码继承关系判定算法EIHR。为验证框架和算法的有效性,首先设计并实现了CloneIRD方法,并在Linux内核V4.9和V4.12的开源代码上进行了实验。实验结果表明,CloneIRD方法能够有效判定代码溯源结果中克隆对的继承关系,且基于FastDCF的溯源分析框架能够胜任大规模代码的溯源分析任务。

事务处理技术研究综述

事务处理技术是保证信息一致性和可靠性的关键技术·首先阐述了事务处理技术的起源与发展,总结了并发与恢复两个核心技术的研究现状,探讨了平坦事务模型的各种表现形式,接着研究了各种扩展事务模型和事务工作流,概括了多库、面向对象数据库、实时数据库和移动数据库等现代数据库中的事务处理技术,分析了相关研究的进展,最后结合已有的研究成果,展望了其未来研究方向及面临的挑战·

BOPPPS模型在微课教学设计与实践中的运用

面对"微"教学实践迅速发展的现状,针对传统教学方法中存在的问题,分析BOPPPS模型的内涵及其与微课教学之间的结合点,提出采用BOPPPS模型组织微课教学,将BOPPPS模型应用到MOOC小节制作和翻转课堂知识点讲授短视频中,激发学员的学习兴趣,强调学员的参与性和主动性;通过"魔术与数学"微课教学案例的设计与实践,阐述如何在微课中运用BOPPPS模型。

一种层次式的事务工作流失效恢复算法

部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法 ,对于长期运行且结构复杂的事务工作流 ,失效时需要补偿至静态定义的某一活动甚至起始活动 ,因此代价较大 .给出了事务工作流的概念模型 ,提出了一种层次式的失效恢复算法 .与传统方法相比 ,允许事务性或者非事务性子过程同时存在 ;将工作流看作由嵌套结构的子过程组成 ,而不是一个平坦流图 ;基于执行历史而不是工作流定义进行补偿 ,可简化循环结构的恢复 .该算法针对活动的恢复策略进行层次式的向上规约处理 ,动态确定补偿终止点 ,可有效减小补偿域 .证明了算法的正确性 ,性能分析表明其性能通常优于非层次的失效恢复算法 ,讨论了算法的实现 .

LHFR:面向长事务的层次式失效恢复算法

针对长事务失效恢复效率问题,提出了长事务的层次式模型LHM,给出分支和循环的有效处理方法.基于该模型提出了面向长事务的层次失效恢复算法LHFR.在保证长事务语义原子性和持久性前提下,该算法通过将失效控制在最低层次的子事务内进行补偿,能将失效范围限制在长事务实例的局部范围内,从而限制失效后回滚子事务的数量,减少不必要的时间损失,提高失效恢复的效率.通过模拟长事务执行与失效恢复过程,验证了LHFR算法的高效性,实验表明该算法可以缩短失效恢复所需时间并减少因无法补偿而需要人工干预的概率.

面向瘦客户端的WebOS研究

基于浏览器的WebOS是操作系统技术向网络化发展的一个典型代表。WebOS整合Internet上服务和资源,供在线用户"随时随地"使用,这种特点使得它将成为未来瘦客户端Web应用的一种重要使用模式。首先阐述了WebOS的由来、概念和组成,接着分析了WebOS的发展现状和趋势,然后论述了制约其发展的主要技术因素。在此基础上,选择较有代表性的开源EyeOS进行了深入研究,分析了其原理和组成,并对其服务器端功能进行了扩充。

云应用引擎的资源监控和计费机制研究

在归纳分析已有云计费机制的基础上,选取开源的云应用引擎AppScale作为研究对象,分析了其组成与架构,探讨了其资源监控功能的实现机理和不足。修改并扩展了AppScale的资源监控代码,设计实现了云应用引擎的资源监控和计费机制CloudMB,该机制支持进程级资源监控和面向多租户的计费功能。经测试,CloudMB占用系统CPU时间不超过3%,对平台性能影响较小。

立卧两用电动轮椅车的设计

在研究坐姿对身体产生的不利影响的基础上,突破传统轮椅的功能和结构,提出了一种可实现站立及仰卧姿态的电动轮椅车的设计方案,阐明了轮椅机构的工作原理,并对站立机构进行了运动分析.,在UG/Motion Simulation模块中建立了轮椅虚拟样机,并进行了运动仿真,结果验证了轮椅机构的合理性.

事务性服务组合的过程模型及良构性判定

松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.

通用操作系统对比评测标准研究

当前国内外研究机构以及操作系统开发商主要关注的是操作系统技术本身的技术提升和产品推广,在如何合理、客观地对比和衡量不同通用操作系统的技术水平的相关研究方面比较欠缺。而国内评测机构仍采用一般软件的通用评测标准来评测操作系统,其适用性和评测结果的针对性有所不足。深入研究了目前国际主流操作系统产品以及不同操作系统之间的典型对比方法,论述了各种方法的优势和不足。提出了一套定性和定量方法相结合的改进的操作系统技术对比评测标准,确定了操作系统技术对比的7个维度、各个维度的具体对比项以及缺省权重,给出了操作系统对比标准的实施方案和步骤,描述了对比结论的表述方式。基于该标准将RHEL 5.5与Windows Server2008进行了对比。提出的评测标准可填补国内通用操作系统评测标准的空白。

中国卒中静脉溶栓绿色通道发展历程与现状

卒中是我国居民死亡原因的首要因素,也是成年人致残的主要原因,目前静脉溶栓是我国指南和国际指南推荐的改善急性缺血性卒中结局最有效的药物治疗措施之一。但静脉溶栓时间依赖性强,为了尽可能减少治疗前延误,推广静脉溶栓治疗,扩大卒中患者获益,建立并完善卒中绿色通道是提高急性缺血性卒中急性期救治率的最有效途径。近年来我国急性卒中绿色通道建设取得了重大进展,本研究对我国卒中静脉溶栓绿色通道的建设历程、发展现状及方向进行了分析。

基于多源指标信息的黄河流域干旱特征对比分析

为充分考虑水库调蓄和地下水对干旱的影响,本文基于降水量、径流量和水库蓄水量等数据,采用修正的地表水分供应指数(WSI)对黄河流域2000~2013的干旱特征进行了评估,对比了多源指标信息对黄河流域干旱的表征能力。结果表明:2000~2013年,黄河上游源区段WSI由干旱逐渐转为正常偏湿润,黄河中下游均由正常转为轻中干旱,其中三门峡以下段变干旱趋势最为明显。对比发现,WSI对于近年来黄河流域实际干旱情况表征效果较好。

一种支持在线迁移的虚拟机间快速通信方法

已有基于共享内存的虚拟机间通信方法不能在支持应用编程透明和虚拟机在线迁移的同时满足实现复杂度低的要求。针对该问题,面向同一物理计算机上多个虚拟机间的通信,提出了一种支持在线迁移的虚拟机间快速通信方法 RLMCom,通过引入通信加速内核模块和改进已有虚拟机监控器,可构造出支持RLMCom的虚拟机系统。改进了连接建立、数据传输、连接关闭等关键流程以支持在线迁移。与现有基于共享内存的虚拟机间通信方法相比,该方法同时满足对用户和编程者透明、支持在线迁移且无需修改操作系统内核代码3个特点。分析表明,该方法可有效提高通信效率,保证虚拟机在线迁移时通信的正确性。