基于BDD的Petri网可达图的GPU并行计算

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:wmg0632
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
学位
上个世纪的八十年代初期,为了适应我国经济的发展并满足企业的需要,证券市场应运而生。随后到来的九十年代初期,上海证券交易所和深圳证券交易所分别建立,越来越多的公司开始挂牌上市,我国证券市场逐渐参考发达国家的证券市场模式,在这一时期证券市场飞速向前迈进。进入到二十世纪,随着中国经济高速腾飞、对外开放进一步加强,我国证券市场也在结合国情与国际经验的同时,不断深化改革维持稳步发展。然而在证券市场高速发展的
慢性病患者相对于其他疾病患者有所不同,在生理层面上,慢性病往往难以根除且会伴随终身,常有一人多病的情况出现,有些患者甚至会有强烈的疼痛感,甚至无法正常行动,如得不到有效的自我管理,甚至会危害生命健康,极大地影响患者的正常生活。在心理层面上,慢性病由于长期困扰患者,且反复不定,情形严重时会使患者心理产生强烈恐惧感。以肝硬化为例,多数人认为是肝癌的前兆,导致多数患者当得知自己的患上肝硬化时,心里就会发
量子度量学在量子信息与量子光学领域发挥着重要的作用。近年来,人们相继提出了利用光子扣除和光子增加这两种非高斯操作来提高相位估计的精度,这是由于非高斯操作能够用来提高量子态的非经典性。在这个优势的驱动下,本论文基于两种非高斯操作(多光子催化操作和粒子数守恒叠加操作)提出了提高相位测量灵敏度的新方案。利用量子Fisher信息以及宇称探测的方案全面分析了提高相位测量精度的条件,同时比较了不同非高斯操作(
学位
审计项目审理是指审计机关审理部门对审计报告、审计决定书等项目资料进行审理的过程,是审计实施的法定程序。网上审理是指依托网上审理系统对审计过程中不同环节上传的项目资料电子件进行审理,有利于对审计项目质量进行全过程控制,防范审计质量风险,促进及时整改审计过程中存在的规范性问题,是审计质量管理的有效途径,也是推进审计全流程信息化的必然要求。省审计厅网上审理系统依托OA平台建设,运用SQL Server数
机器阅读理解是自然语言处理领域的重要课题之一,在智能问答、对话生成、文本摘要等领域都涉及机器阅读理解技术。目前,机器阅读理解模型的训练一般使用随机采样的方式,未考虑样例句子的顺序组织对模型的影响。在机器阅读理解任务中,训练样例难度可能不相同,比如有些例子可以通过简单的词汇检索解决,而另一些需要复杂的语义推理。那么难度不一样的样例在训练的时候,它们的权重应该有所区别。为了解决这个问题,有研究者把课程
学位
学位
学位