蒲飞
- 作品数：21 被引量：61H指数：5
- 供职机构：重庆医药高等专科学校更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划重庆市教育委员会科学技术研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信医药卫生更多>>
- 元数据评估模型及质量提升对策--以重庆医药高等专科学校数据治理为例
- 2021年
- 跟随教育信息化的飞速发展,高校信息化系统迅速扩张,产生了海量教育大数据。许多高职院校都建立了校级的数据中心,高质量的元数据是数据中心的最基本部分。元数据质量直接决定着大数据分析结果的准确性,但由于数据来源的多样化和复杂化,导致数据形式、格式不一,元数据的质量难以保证;导致难以支撑高校教学、科研和管理模式改革。本文以数据质量的判定模型为标准,对重庆医药高等专科学校元数据来源进行分析,并针对性提出提高数据质量的解决方法策略,为其他高职院校数据质量分析提供借鉴。
- 蒲飞涂旭东陈苗赵正辉
- 关键词：元数据数据质量
- 一种海量数据治理系统及方法
- 本发明涉及数据治理技术领域，公开一种海量数据治理系统及方法，包括数据获取模块用于获取待治理数据；识别模块用于根据待治理数据，对待治理数据所对应的应用场景进行识别；统计模块用于根据识别出来的应用场景，统计该应用场景识别出来...
- 蒲飞
- 同步合成Petri网系统活性与无死锁性的保持性被引量：23
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.
- 蒲飞陆维明
- 关键词：并发语言
- Petri网系统合成操作的活性保持性研究
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研...
- 蒲飞陆维明
- 关键词：并发语言递归PETRI网
- 文献传递
- 同步合成Petri网系统可回复性的保持性被引量：4
- 2005年
- 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.
- 蒲飞陆维明
- 关键词：并发语言
- Petri网系统合成操作的活性保持性研究被引量：2
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。
- 蒲飞陆维明
- 关键词：并发语言递归
- 一种基于虚拟数字校园卡的安全监控方法及系统
- 本发明涉及校园安全技术领域，公开一种基于虚拟数字校园卡的安全监控方法及系统，包括服务端，服务端包括关联模块，用于将学生的虚拟数字校园卡与该学生的银行卡进行关联；消费数据采集模块，用于根据学生的虚拟数字校园卡，获取与该虚拟...
- 蒲飞赵正辉
- 基于复杂校园环境的IP视频监控规划与设计研究被引量：3
- 2016年
- 视频监控系统目前运用相当广泛,针对学校校园的复杂环境以及事件多发的情况,文章通过对传统模拟视频监控和IP视频监控对比的方法,采用系统性、可靠、智能化的IP视频监控设计方案解决传统模拟视频监控无法满足的问题。实现了IP视频监控系统对校园的安全防范,突发事件的及时响应,为事件的事后取证提供了保障。同时,阐述了智能化的视频监控技术,为学校的管理提供了便利。
- 蒲飞
- 关键词：IP视频监控
- 一种校园数据监控系统及方法
- 本发明涉及校园数据监控技术领域，公开一种校园数据监控系统及方法，包括：服务端，服务端包括获取模块、判断模块、识别模块、统计模块、食谱制作模块，其中统计模块，用于根据识别出来的各个在校学生的健康缺失类别，对健康缺失类别的数...
- 蒲飞
- 共享合成Petri网系统的活性保持性被引量：3
- 2005年
- 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
- 蒲飞陆维明
- 关键词：共享合成并发语言
