基于关键谓词的程序错误定位方法

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。

中国矿业大学构建主数据管理平台

中国矿业大学自2012年启动数字化校园建设以来,已经建立校园信息门户系统,集成了面向教学科研服务的本科教务、研究生教务、科研系统、MOOC平台、实践教学等系统,以及面向管理保障服务的OA系统、财务、图书、一卡通、计费、迎新离校、节能平台等系统。

高校工会在构建现代大学制度中的作用研究

建设中国特色的现代大学制度是当下政府和高等教育界共同面对的课题。作为教职工权益的维护者和代表者,高校工会在高校事务管理中扮演了重要的角色。在现代大学制度下,高校工会在营造民主环境、促进教学科研工作和构建和谐人文环境等方面发挥了重要作用。

大数据时代高校管理创新研究

大数据的出现改变了人们对信息数据的认知,给高校管理理念和信息化建设带来了新的视角。信息化时代,广大师生在学习生活等一系列的活动中产生了大量的数据。通过大数据的分析,找到各类活动的关联关系,综合数据资源和挖掘数据价值服务学校决策,有助于个性化服务管理和以人为本教育理念的实现。

基于人本管理角度的高校学生管理工作研究

把人本管理思想引入学生管理工作之中来，就是要以学生为本，以学生的权利为本。以礼待人，尊重学生的自由和尊严，构建和谐的人际关系；民主治校，鼓励学生的民主参与，激发他们的主动精神和责任感；服务为本，注重学生个体潜能的实现，满足社会公民的人性需要。本文从人本本位、行为规则、动力机制、服务保障、目标价值等几个角度分别展开论述．深入探讨了高校学生人本管理的实现途径，提出了自己的见解。

基于值替代的错误定位方法

值替代方法通过查找能够影响失败运行错误输出的语句,并确定这类语句的IVMP(兴趣值映射对)。IVMP是由语句中原错误运行中的值映射集合和能产生正确输出的可替代值映射集合组成。这种方法应用于错误定位分析,对确定错误语句本身和与错误语句直接相关的语句非常有效。提出了一种同时考虑控制依赖和数据依赖的值替代算法,并加入了语句错误可能性分析,能全面分析程序中的错误。

新时代高校实验技术队伍量化考核探索与实践

新时代,建设高水平实验技术队伍是高校一流师资队伍建设的关键之一,也是保障学校事业高质量发展的有力支撑。高校实验室工作学科领域跨度大、工作内容繁琐复杂难以量化,岗位考核存在错位、缺位,考核针对性和激励性有待加强。近年来,中国矿业大学积极推动实验技术队伍改革,细化岗位角色,量化工作内容,探索构建量化考核评价体系,将量化考核和职业发展有机融合,取得了一定成效。

高校工会职能的伦理性及现实构建

高校工会作为大学的重要组织结构之一,其主要工作职能与知识、制度和权力有着密切的关系,存在职能、地位、作用内在的统一,体现出了浓厚的知识特质和伦理性。深刻认识大学工会的职能所具有的伦理性,对于进一步创新工会工作、完善大学制度和凝聚大学精神有着重要的意义。

28例猫高血压眼病的回顾性分析

为了探究猫高血压眼病的临床病例特征、治疗方法和转归,本文对2018年1月—2022年12月在中国农业大学动物医院就诊的28例猫高血压眼病病例进行了回顾性分析,归纳总结了患猫的发病年龄、品种、性别、眼部症状、初诊血压、伴发疾病、治疗方法、治疗后血压和眼部症状转归。结果显示,所纳入患猫71.4%(20/28)为家养短毛猫和家养长毛猫,平均诊断年龄为16岁,其中英国短毛猫和异国短毛猫确诊年龄显著小于家养短毛猫和家养长毛猫(P<0.05);雄性和雌性患猫占比均为50.0%(14/28);75.0%(21/28)患猫首诊时双眼失明,眼科检查异常表现包括:视网膜脱离(64.3%,18/28)、视网膜出血(57.1%,16/28)、眼内炎(57.1%,16/28)、玻璃体溢出(3.6%,1/28)和前房积血(3.6%,1/28),患猫出现失明至就诊的平均时间为43 d(范围:2~365 d);初诊时平均收缩压为238 mmHg(范围:186~300 mmHg);患猫系统性高血压的病因调查结果显示,11.5%(3/26)为特发性高血压,69.2%(18/26)继发于慢性肾病,15.4%(4/26)继发于甲状腺机能亢进,3.8%(1/26)继发于肾上腺肿物。18只患猫口服氨氯地平进行治疗,2只患猫口服甲巯咪唑进行治疗。15只患猫进行了眼科复查,5只患猫视网膜重新贴附,其中3只患猫双眼和1只患猫单眼威胁反应恢复阳性,视网膜重新贴附比例随着眼部异常持续时间增加而降低,其中视网膜重新贴附患猫的初诊收缩压显著高于视网膜未贴附患猫(P<0.05)。由于老年猫高血压发病率高,眼睛是高血压损伤的靶器官,因此建议老年猫定期体检(包括眼科检查),以对该类疾病起到良好的预防作用。

改良式尾侧下颌骨节段性切除术治疗猫颞下颌关节强直效果的回顾性分析

为了探讨猫颞下颌关节强直的临床发病特点、手术方法、并发症和手术效果,本文回顾性分析了在中国农业大学教学动物医院就诊的8只颞下颌关节强直患猫的病历,结合电话回访评估手术并发症和手术效果。结果显示,8只患猫均进行了电子计算机断层扫描(CT)检查,其中4只(3只单侧和1只双侧)诊断为假性强直,另外4只(2只单侧和2只双侧)诊断为真性强直;5只(3只单侧和2只双侧)进行了改良式尾侧下颌骨节段性切除术,3只(2只单侧和1只双侧)放弃治疗;进行手术的5只患猫术后口腔打开角度均良好,其中1只(单侧)因苏醒质量较差选择了安乐死。长期随访(随访时间7个月~5年,平均约25个月)结果显示,单侧强直的2只患猫手术效果良好,双侧强直的2只患猫手术效果较差,未手术的3只患猫因无法进食而安乐死。结果表明,颞下颌关节强直患猫应该进行手术治疗。改良式尾侧下颌骨节段性切除术可以替代关节成形术、关节外骨切除术和尾侧下颌骨节段性切除术,达到相似的手术效果,并可以降低关节周围医源性神经和血管损伤或牙齿损伤的风险;改良式尾侧下颌骨节段性切除术对于单侧颞下颌关节强直的患猫治疗效果较好,而对于双侧颞下颌关节强直的患猫治疗效果不理想。

新型氯基消毒剂烟熏消毒的效果验证

为了验证以二氯异氰尿酸钠为主要成分的粉状消毒剂的杀菌效果。采用种蛋检测方法进行试验观察。结果低湿度时,二氯异氰尿酸钠按照0.4、0.6、0.8、1 g/m^33熏蒸消毒30、60、120 min,对种蛋表面细菌杀灭率为73.49、77.23、77.72、74.90、77.23、91.72、70.55、89.20、68.54%和84.36、80.12、89.16%。高湿度时,二氯异氰尿酸钠按照0.4、0.6、0.8、1 g/m^3熏蒸消毒30,60,120 min,对种蛋表面细菌杀灭率为81.33、91.25、84.65、84.74、91.15、69.53、91.25、93.87、78.48、91.27、94.17%和72.18%。表明湿度高对消毒剂杀菌效果有积极影响,该消毒剂杀菌效果好且使用方便。

恩诺沙星对肉仔鸡胫骨关节软骨的影响

为了探究氟喹诺酮类药物恩诺沙星对禽类胫骨发育的影响,以恩诺沙星为研究对象,选取雄性肉鸡鸡雏,随机分成5组,分别为空白组、10 mg/kg体重组、30 mg/kg体重组、60 mg/kg体重组、100 mg/kg体重组,每组36只,于1日龄和7日龄进行相应的给药处理,在7、14、21、28、35、42 d每组随机抽取6只肉鸡,取部分胫骨关节软骨做组织切片用,观察胫骨关节软骨组织结构变化并记录关节软骨细胞数量,评价胫骨关节软骨的发育情况。结果表明,恩诺沙星对肉鸡胫骨关节软骨的组织结构影响不显著,静止区软骨细胞和肥大区软骨细胞在不同生长时期时,不同剂量恩诺沙星对其细胞数量影响差异不显著。

恩诺沙星对肉仔鸡胫骨发育的影响

为了探究氟喹诺酮类药物恩诺沙星对禽类胫骨发育的影响,以恩诺沙星为研究对象,选取雄性肉鸡鸡雏,随机分成5组,分别为空白组、10 mg/kg体重组、30 mg/kg体重组、60 mg/kg体重组、100 mg/kg体重组,每组36只,于1日龄和7日龄进行相应的给药处理,在7、14、21、28、35、42 d每组随机抽取6只肉鸡,称取胫骨鲜重,量取胫骨长度,骨密度仪测量胫骨密度,胫骨干重,茂福炉550℃高温灰化后得灰分含量,紫外分光光度法测胫骨磷含量,EDTA钙滴定法测胫骨钙含量,评价胫骨发育情况。结果表明,至出栏前恩诺沙星对于肉仔鸡胫骨发育的影响各组之间差异不显著。

RFID+二维码设备标签管理系统构建

该文聚焦高校仪器设备管理困境,探索将RFID和二维码技术应用于仪器设备管理中。利用RFID标签地址唯一性标识设备信息,把RFID射频识别和二维码扫描融入到设备日常管理中。开发了基于RFID与二维码技术的标签管理系统,优化管理流程,提升设备管理效率。

大型科研仪器面向社会开放共享实践与探索

高校大型科研仪器存在内部管理不规范,平台建设不完善,服务水平不高等一系列问题,限制了面向社会开放共享的水平与能力。该文以某煤炭行业高校为例,主动对接社会和行业需求,加强内部管理,通过制度改革、平台完善、队伍建设和规范实验室管理,改善了开放共享服务质量,提升了设备利用率。

猫鼓泡息肉两种手术治疗方法的比较

猫鼓泡息肉是起源于鼓泡的非肿瘤性炎性增生,目前临床上最常用于治疗该病的手术方法是腹侧鼓泡切开术(VBO)和内镜下经鼓泡牵引术(PTT)。为了探究这两种手术方法治疗猫鼓泡息肉的临床疗效、预后以及相关并发症的差异,回顾性分析了2018年1月至2020年4月共15例猫鼓泡息肉的医疗记录,根据采用的手术方法将其分为VBO组(n=5)与PTT组(n=10),通过临床复诊和电话回访评估两种方法的治疗效果及预后。结果显示,术后并发症仅报告了霍纳氏综合征,VBO组的发生率(80%)高于PTT组(40%);息肉复发率VBO组(0)低于PTT组(30%),但差异不显著(P>0.05)。两种手术方法相比,息肉复发率VBO低于PTT,尽管术后并发症发生率VBO高于PTT,但其症状均较轻且是暂时性的,因此对于猫鼓泡息肉的治疗采用VBO优于PTT。

高校大型仪器设备管理体系研究与实践

总结和分析了当前高校大型仪器设备在应用过程中出现的突出问题与管理现状,梳理了国内高校大型仪器设备管理工作。分析了相关高校在政策制度、思想认识、共享平台和人员管理等多个方面的探索。认为大型仪器设备管理是系统工程,应立足学校发展方向,从内部控制视角着手,加强统筹化、体系化和实用化,结合生命周期的配置、使用和报废三个阶段完善管理体系,分析大型仪器设备管理的关键举措和阶段目标,切实提高设备使用率和使用效益。

犬双眼原发性晶状体前脱位整复的病例报告

晶状体脱位是较为少见的眼科疾病。其中,晶状体前脱位可能导致眼压迅速升高、前葡萄膜炎、失明、角膜内皮损伤等严重后果,甚至是不可恢复的,因此该疾病是眼科急症。笔者参与的1例犬双眼原发性晶状体前脱位整复的病例,介绍如下。1 基本信息及病史泰迪犬,8岁,雄性,体重3.9 kg。正常免疫、驱虫。

大型仪器面向本科生开放提高学生创新实践能力

整合学科和科研资源,创新实验教学体系,让本科生早进课题、早进实验室、早进团队,推动科学研究和人才培养的无缝对接,培养创新型人才是高校努力的方向。该文探索利用大型仪器培养学生创新和实践能力,制定政策支持,完善制度保障,采取激励机制,搭建助推本科生走向科研之路的绿色通道,着力培养具有矿业特色的创新型人才,取得一定成效。

“双一流”建设背景下高校实验室改革与创新

"双一流"建设为高等教育改革注入了新内涵,提供了新机遇,导入了新动能。高校建设一流实验室是支撑"双一流"的基础工程,是培养创新实践型人才的有效途径。剖析了实验室在"双一流"建设中的功能与定位,指出了当前高校实验室存在的设计规划、资源投入、设备闲置、技术队伍、人才培养等方面的突出问题,并结合中国矿业大学的实验室创新途径和改革举措,探索推动建设一流的高水平现代化开放型实验室,成为"双一流"建设的强力支撑。