论文部分内容阅读
针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性.
混合语义时间Petri网的特征条件及时间性质
【摘 要】
：
针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义
【机 构】
：
湖南理工学院信息与通信工程学院,湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室,华东理工大学信息科学与工程学院,湖南商学院计算机与信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
2014年12期
【基金项目】
：
本文受国家自然科学基金（61103115）,湖南省自然科学基金（11JJ4058,11JJ2037）,湖南省教育厅科研项目（11A041,11B055）,国家社会科学基金项目（13CJY007）,湖南省高校科技创新团队支持计划（湘教通[2012]318-18）资助.
其他文献
本文从高校教学科研工作者因公临时出国的外汇报销管理入手,分析目前教学科研人员因公临时出国外汇经费管理存在的问题,结合高校"双一流"建设和"放管服"改革,对完善相关的外
长久以来,设计的诉求只在于满足人的使用需求,文章运用观察与调研法,通过对鲁迅美术学院学生的设计理论论文《视障群体感官代偿触觉图形设计探究》和《联觉可视化在品牌形象
为了更加快速精准地识别和定位车辆,提出了一种基于卷积神经网络的改进算法。在建议网络(PN)以及特征提取上进行了优化,在提取基本特征之后嵌入一个轻量级的建议网络,产生候选区域,并在早期丢弃不可能的区域候选框减少背景数量;采用特征融合技术提取H-yper特征,细化了车辆的识别和定位,并对不同层提取的特征进行串联,有效地提高了车辆检测的质量和精度。在车辆检测和跟踪的大规模数据集和自己采集的车辆数据集上进
为解决六斑刺鲀(Diodon holocanthus)初孵仔鱼高死亡率问题,研究了六斑刺鲀从初孵仔鱼到稚鱼(0~40 d)消化酶活性和非特异性免疫指标的变化。结果显示:六斑刺鲀仔稚鱼全长与日