课程文献中心 更多>>

关键词： 并发文件系统   终止性   形式化验证   Coq  

摘要： 并发文件系统由于复杂的实现,容易产生死锁、无限循环等终止性漏洞,已有的文件系统证明工作都忽视了终止性的证明.证明了一个并发文件系统AtomFS的终止性,保证了每个文件系统接口在公平调度的条件下都能返回.证明AtomFS接口的终止性要说明当其遇到阻碍时,阻碍源头(其他线程)终将产生进展,促使当前线程阻碍的消除,证明的核心在于说明锁耦合(lock coupling)遍历算法的终止性.然而还存在着两点挑战:(1)文件系统的树形结构允许阻碍的线程分布在多条路径上,全局地识别出多个阻碍源头使证明失去了局部性;(2)rename接口由于需要遍历两条路径,会带来"跨路径阻碍"现象,多个rename可能相互跨路径阻碍成环,导致无法找到阻碍源头.提出了两个核心的技术点来应对这些挑战:(1)使用局部思想仅确定单个阻碍源头;(2)使用偏序法解决跨路径阻碍成环问题.成功地构建了一个终止性证明框架CRL-T,并验证了AtomFS的终止性,所有的证明都在Coq中实现.

关键词： 人工智能技术   分布式系统   香港理工大学   大数据   郭嵩   云计算   边缘计算   工程院  

摘要： 2021年6月,加拿大工程院公布了本年度新增的院士名单,其中香港理工大学计算机系教授郭嵩与其他51位杰出学者成功当选。郭嵩是云计算、边缘人工智能、大数据和分布式系统领域的国际知名研究员、教育家和技术领导者。目前,他已经带领实验室开发出众多边缘人工智能技术且成功商业化,并广泛实现民用,让普通人也能享受到A I技术带来的便利与实惠是他一直努力在做的事。

关键词： Excel服务器   数字化管理   实时   统计分析  

摘要： 当前,地震勘探不断扩大,海量设备的数字化管理、实时状态统计等问题给各探区项目统筹运作带来了巨大挑战。本文介绍了一套基于Excel服务器设计的物探装备数据分析管理系统,通过维修信息填报,形成一系列统计分析报表,实现了维修设备的数字化管理。

关键词： 煤矿开采   机电设备   设备管理   维修技术   知识图谱  

摘要： 煤矿开采过程中往往需要用到多种机电设备,且分门别类,种类繁多,此外煤矿开采机电设备运行现场环境恶劣且情况多变。在整个煤矿生产经营过程中机电设备有着极其重要的作用。未来煤矿企业的发展离不开对机电设备管理维修技术的持续研究,在WOS核心合集中,使用material作为主题词,语种选择English,限制文献类型为article和review,选择与主题词相关性最高的前679篇文献导入CiteSpace软件进行实验,通过大数据及近些年的文献数据可分析出煤矿企业机电设备管理与维修技术研究热点及发展趋势,为后续煤矿机电设备管理与维修技术的研究提供新思路。

关键词： 设备管理   设备维护   设备维修   点检   润滑   备品备件管理  

摘要： 设备管理工作是通过科学有效的维护管理手段,维护设备处在最好的可靠性状态,提高设备生产率,降低维修成本的一种有效的精益管理方式。该文从日常维护、故障维修、备件管理三个方面介绍如何管理设备,从而有效保证设备的技术性能和工作状态,提高设备的经济性和可靠性。

关键词： IEEE488   GPIB   NAT9914   VISA   SCPI   自动测试系统  

摘要： IEEE488作为一种通用的并行总线,凭借其低延时、可靠传输等优势,广泛应用于仪器控制与测试系统中;针对目前符合IEEE488接口协议的专用GPIB芯片如NAT9914、uPD7210、MC68488等都已停产,且在售GPIB控制器产品类型少且价格十分昂贵,难以满足国内市场需求的现象,采用了一种基于FPGA技术来实现IEEE488接口协议的方案,以典型的GPIB接口芯片NAT9914为蓝本,使用Verilog语言描述GPIB接口功能,调用VISA虚拟仪器函数库开发驱动程序与设备通信,组建完整的自动测试系统,并通过SCPI指令对仪器进行程控、数据采集等操作;该方案有效地解决了专用GPIB芯片停产的问题,同时开发成本低;经实验测试实现了IEEE488接口协议功能,产品性能稳定,各项功能满足测试系统中的测控需求,具有一定的工程实用价值。

关键词： 计算机应用   路径规划   多约束   漫游   死锁   蚁群算法   细菌觅食算法   虚拟环境  

摘要： 目前基于蚁群算法的路径规划用于多约束条件下寻找最优路径时,容易陷入局部最优解并导致收敛速度慢.为此,在路径长度、有效景点区域数量、路径平滑性和路径障碍距离等约束条件下,构造一种适应度函数模型,以评价漫游路径的质量.提出混合细菌觅食优化思想的改进蚁群优化(bacterial foraging optimization and ant colony optimization,BFO-ACO)算法,采用禁忌表优化策略解决传统蚁群算法的死锁问题,提高算法初期的路径多样性,通过引入细菌觅食算法的复制和驱散机制,提高收敛速度,跳出局部最优值.实验结果表明,BFO-ACO算法可在多约束环境下以较少的迭代次数获得高质量的漫游路径,为漫游路径设计提供了参考.

关键词： 无人实验室   设备管理   RFID   Flutter跨平台  

摘要： 实验室作为高校与公司培养人才的重要场所,设备管理尤为重要,显然传统人工设备管理模式难以跟上当前发展速度。本文以此为背景研究基于物联网的无人实验室设备管理系统,从现有设备管理系统相互比较入手,介绍本系统的硬件模块构成,随之详谈系统采用的RFID无线射频技术,人脸识别技术以及基于Flutter跨平台框架等主要技术。最后通过技术的结合介绍重要功能的设计与实现,得到一个适用于现代化实验室的稳定性高且安全的无人实验室设备管理系统。

关键词： 机电设备   管理问题   管理对策  

摘要： 机电设备是矿山建设工程中的重要设备和工具,是矿山企业的重要资产。本文从矿山建设机电设备管理职责和管理发展趋势出发,阐明机电设备管理在矿山建设工程中的重要意义。通过对矿山建设工程中机电设备管理的主要问题分析,结合工业技术发展,探索矿山建设工程中,机电设备安全管理的新策略,并提出强化基础管理、符合年轻人的安全意识提升、设备智能化、管理数字化等管理策略和手段。

关键词： 医疗设备   信息化   精细化管理   质量控制  

摘要： 目的:本文探讨一种基于信息化平台的医疗设备管理方案,并阐述其在实际使用中对比传统医疗设备管理方法的优势。方法:首先介绍了本系统的网络框架,然后分别详细的介绍资产管理模块、维修管理模块、质量控制模块、数据分析模块四个模块的功能,并讨论在实际使用中的效果和优点。结果:基于信息化管理平台,通过效益分析科学的指导采购计划,并且完善员工内部考核制度,促进员工的积极性,提高办公效率。结论:推动医院高质量发展需要对医疗设备精细化管理,精细化的医疗器械管理离不开信息化技术的正确应用。