您的位置: 专家智库 > >

蒲飞

作品数:21 被引量:59H指数:5
供职机构:重庆医药高等专科学校更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划重庆市教育委员会科学技术研究项目更多>>
相关领域:自动化与计算机技术文化科学电子电信医药卫生更多>>

文献类型

  • 14篇期刊文章
  • 4篇专利
  • 1篇学位论文
  • 1篇会议论文

领域

  • 17篇自动化与计算...
  • 4篇文化科学
  • 1篇电子电信
  • 1篇医药卫生

主题

  • 6篇PETRI网
  • 6篇PETRI网...
  • 6篇并发语言
  • 3篇校园
  • 2篇递归
  • 2篇调取
  • 2篇医药
  • 2篇在校
  • 2篇重庆医药
  • 2篇校园安全
  • 2篇回复性
  • 2篇共享合成
  • 2篇高校
  • 2篇保持性
  • 2篇大数据
  • 2篇PETRI网
  • 1篇贷款
  • 1篇贷款协议
  • 1篇点检测算法
  • 1篇电化教育

机构

  • 11篇重庆医药高等...
  • 7篇中国科学院数...
  • 2篇中国科学院软...
  • 1篇中国科学院
  • 1篇西华大学
  • 1篇核工业二一六...

作者

  • 20篇蒲飞
  • 6篇陆维明
  • 1篇宋文
  • 1篇张文辉

传媒

  • 3篇电子测试
  • 2篇系统工程理论...
  • 2篇软件学报
  • 1篇中国科学(E...
  • 1篇系统仿真学报
  • 1篇无线互联科技
  • 1篇中国新通信
  • 1篇时代人物
  • 1篇信息与电脑(...
  • 1篇中国教育信息...
  • 1篇第九届全国P...

年份

  • 4篇2023
  • 3篇2021
  • 1篇2020
  • 1篇2018
  • 1篇2016
  • 1篇2012
  • 1篇2008
  • 1篇2007
  • 2篇2005
  • 2篇2004
  • 3篇2003
21 条 记 录,以下是 1-10
排序方式:
元数据评估模型及质量提升对策--以重庆医药高等专科学校数据治理为例
2021年
跟随教育信息化的飞速发展,高校信息化系统迅速扩张,产生了海量教育大数据。许多高职院校都建立了校级的数据中心,高质量的元数据是数据中心的最基本部分。元数据质量直接决定着大数据分析结果的准确性,但由于数据来源的多样化和复杂化,导致数据形式、格式不一,元数据的质量难以保证;导致难以支撑高校教学、科研和管理模式改革。本文以数据质量的判定模型为标准,对重庆医药高等专科学校元数据来源进行分析,并针对性提出提高数据质量的解决方法策略,为其他高职院校数据质量分析提供借鉴。
蒲飞涂旭东陈苗赵正辉
关键词:元数据数据质量
一种海量数据治理系统及方法
本发明涉及数据治理技术领域,公开一种海量数据治理系统及方法,包括数据获取模块用于获取待治理数据;识别模块用于根据待治理数据,对待治理数据所对应的应用场景进行识别;统计模块用于根据识别出来的应用场景,统计该应用场景识别出来...
蒲飞
同步合成Petri网系统活性与无死锁性的保持性被引量:22
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网系统有活性保持性质。
蒲飞陆维明
关键词:并发语言递归
多媒体技术对医学院校电化教育的影响
2008年
随着时代的发展,计算机多媒体技术走入了日常的工作和学习中。多媒体计算机技术的广泛应用,为建立了新型的教育方式,扩展教育功能提供了良好的条件。文章在分析了多媒体在电化教育中的作用后,对多媒体技术的应该对电化教育产生的影响及电教工作者应该如何应对这种形势。
蒲飞
关键词:多媒体技术电化教育
一种基于虚拟数字校园卡的安全监控方法及系统
本发明涉及校园安全技术领域,公开一种基于虚拟数字校园卡的安全监控方法及系统,包括服务端,服务端包括关联模块,用于将学生的虚拟数字校园卡与该学生的银行卡进行关联;消费数据采集模块,用于根据学生的虚拟数字校园卡,获取与该虚拟...
蒲飞赵正辉
基于复杂校园环境的IP视频监控规划与设计研究被引量:3
2016年
视频监控系统目前运用相当广泛,针对学校校园的复杂环境以及事件多发的情况,文章通过对传统模拟视频监控和IP视频监控对比的方法,采用系统性、可靠、智能化的IP视频监控设计方案解决传统模拟视频监控无法满足的问题。实现了IP视频监控系统对校园的安全防范,突发事件的及时响应,为事件的事后取证提供了保障。同时,阐述了智能化的视频监控技术,为学校的管理提供了便利。
蒲飞
关键词:IP视频监控
一种校园数据监控系统及方法
本发明涉及校园数据监控技术领域,公开一种校园数据监控系统及方法,包括:服务端,服务端包括获取模块、判断模块、识别模块、统计模块、食谱制作模块,其中统计模块,用于根据识别出来的各个在校学生的健康缺失类别,对健康缺失类别的数...
蒲飞
共2页<12>
聚类工具0