蒲飞
- 作品数:24 被引量:63H指数:5
- 供职机构:重庆医药高等专科学校更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划重庆市教育委员会科学技术研究项目更多>>
- 相关领域:自动化与计算机技术文化科学电子电信医药卫生更多>>
- 元数据评估模型及质量提升对策--以重庆医药高等专科学校数据治理为例
- 2021年
- 跟随教育信息化的飞速发展,高校信息化系统迅速扩张,产生了海量教育大数据。许多高职院校都建立了校级的数据中心,高质量的元数据是数据中心的最基本部分。元数据质量直接决定着大数据分析结果的准确性,但由于数据来源的多样化和复杂化,导致数据形式、格式不一,元数据的质量难以保证;导致难以支撑高校教学、科研和管理模式改革。本文以数据质量的判定模型为标准,对重庆医药高等专科学校元数据来源进行分析,并针对性提出提高数据质量的解决方法策略,为其他高职院校数据质量分析提供借鉴。
- 蒲飞涂旭东陈苗赵正辉
- 关键词:元数据数据质量
- 一种海量数据治理系统及方法
- 本发明涉及数据治理技术领域,公开一种海量数据治理系统及方法,包括数据获取模块用于获取待治理数据;识别模块用于根据待治理数据,对待治理数据所对应的应用场景进行识别;统计模块用于根据识别出来的应用场景,统计该应用场景识别出来...
- 蒲飞
- 同步合成Petri网系统活性与无死锁性的保持性被引量:23
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.
- 蒲飞陆维明
- 关键词:并发语言
- 教育数字化背景下高职院校管理与服务效能提升路径探索与实践
- 2024年
- 推进教育数字化转型是解决高职院校信息化建设深层问题的根本途径,也是提升学校治理水平的必由之路。以重庆医药高等专科学校数字化转型为例,通过数据治理、流程优化与开发、数据融合与应用,建立数据治理与交换共享平台、“一站式”网上办事大厅和大数据分析应用平台。同时,通过实现师生事务“一网通办”、数据与业务“一网统管”,促进学校数据治理体系、治理能力与管理服务数字化、现代化,可切实提高师生办事的体验感。此外,改革学校管理与服务新模式,能够提升学校整体管理与服务水平。
- 陈苗赵正辉蒲飞
- 关键词:数据融合
- Petri网系统合成操作的活性保持性研究
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研...
- 蒲飞陆维明
- 关键词:并发语言递归PETRI网
- 文献传递
- 信息化部门在高校数字化转型环境下面临的新挑战
- 2024年
- 在教育数字化转型的大背景下,各高校积极开展数字化转型的研究与实践。关于高校数字化转型“转什么”和“如何转”的问题,已有大量文献进行了深入探讨。然而,具体到执行层面,“谁来转?哪个部门能够有效执行转型规划?”等问题仍需进一步被明确。许多高校将这一职责赋予了信息化职能部门,但传统的信息化部门在权责职能上与数字化转型的要求存在较大差距。文章首先梳理了高校网络与信息化工作的组织架构,阐述了各类架构的主要优点,并分析了高校传统信息化部门的主要职责及其在数字化转型中的权责差距。高校数字化转型应推动“六转”先行,即从决策层的理念、信息化部门的管理架构、管理机制与体制、权责划分、各类人员素养提升以及转型经费的统筹6个方面率先转型,才能为高校数字化转型的成功提供重要保障。
- 蒲飞陈苗赵正辉杨海英谢佳欣
- 同步合成Petri网系统可回复性的保持性被引量:4
- 2005年
- 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.
- 蒲飞陆维明
- 关键词:并发语言
- Petri网系统合成操作的活性保持性研究被引量:2
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。
- 蒲飞陆维明
- 关键词:并发语言递归
- 一种基于虚拟数字校园卡的安全监控方法及系统
- 本发明涉及校园安全技术领域,公开一种基于虚拟数字校园卡的安全监控方法及系统,包括服务端,服务端包括关联模块,用于将学生的虚拟数字校园卡与该学生的银行卡进行关联;消费数据采集模块,用于根据学生的虚拟数字校园卡,获取与该虚拟...
- 蒲飞赵正辉
- 基于复杂校园环境的IP视频监控规划与设计研究被引量:3
- 2016年
- 视频监控系统目前运用相当广泛,针对学校校园的复杂环境以及事件多发的情况,文章通过对传统模拟视频监控和IP视频监控对比的方法,采用系统性、可靠、智能化的IP视频监控设计方案解决传统模拟视频监控无法满足的问题。实现了IP视频监控系统对校园的安全防范,突发事件的及时响应,为事件的事后取证提供了保障。同时,阐述了智能化的视频监控技术,为学校的管理提供了便利。
- 蒲飞
- 关键词:IP视频监控