【摘 要】
：
带抑制弧的时延着色Petri网（Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA）是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变
【机 构】
：
华东理工大学计算机科学与工程系,上海市计算机软件评测重点实验室
【基金项目】
：
国家自然科学基金（60473055 60773094）, 上海市曙光计划（07SG32）资助
论文部分内容阅读
带抑制弧的时延着色Petri网（Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA）是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。
其他文献
近年来,基于信息融合理论的步态识别已成为生物特征识别领域最为活跃的研究方向之一。从特征级融合和决策级融合两种层次,多特征融合、多模态融合以及多视角融合3个方面对融合理论在步态识别中的应用进行了综述。进一步,为了研究融合理论对步态识别算法性能的影响,提出一种融合了静态形体特征和动态模型特征的步态识别算法。通过在CMU步态数据库上的详细实验比较和分析,研究了不同融合策略以及步速变化对步态识别算法性能的
针对不具备直管段安装条件,如何选择前直管段长度,从数值仿真、流场分析、误差分析等方面,对DN100四声道超声流量计上游安装DN150变DN100渐缩管和安装直管的适应性进行了研究
为了满足海量遥感数据产品的快速生产需求,尤其需要解决海量遥感影像数据的高效处理问题,即改变效率低、生产耗时长、计算资源利用率低等现状。通过分析遥感影像数据特点和遥感产品生产处理过程,采用集群并行计算技术,结合分布式数据存储和高效的任务调度策略,设计和实现一种支持多任务的遥感产品生产线架构。实验结果表明,该架构能够缩短生产时间,提高计算资源利用率,在性能上能够满足业务化生产的要求。
研究了针对稀有和濒危植物物种进行监测和保护的问题。针对传统的濒危物种的植物监测系统监测数据粗略、硬件部署和维护成本高、难以自适应根据需求采集和判读各种类型数据信息以及监测数据实时、可靠传输性能较差问题,提出了一种基于多传感器网络的濒危物种的植物监测物联网技术。该技术将监测区域分为若干个不同的分簇,每个分簇采集、判读各种类型的植物监测数据,在监测区域内部署移动代理节点,采用基于能量感知的多路径路由协
非共振光声红外气体检测系统结构简单、成本低，有很好的应用前景。设计和制备了基于MEMS电调制光源、驻极体麦克风和单腔室及双腔室非共振光声探测器的气体检测系统。根据系统
利用高清CCD图像传感器,结合FPGA并行处理、灵活性高等特点,设计一种基于千兆以太网的电子警察取证系统。系统采用200万像素高清CCD采集图像数据,并使用FPGA对图像数据进行格
针对传统区域增长稠密匹配算法存在匹配效率低、误差大的问题,提出一种改进的区域增长稠密匹配算法。首先以BRISK特征点作为区域增长的种子点,采用纹理图像降低不同视角下图像局部光照不均对匹配的影响,再通过方向性约束与极线距离约束准则减小自适应搜索窗范围。实验表明:所提出的算法较传统算法有更高的匹配精度、更大的匹配范围。
设计了一种基于单片STM32F4芯片的时栅位移传感器信号处理系统,将驱动电源、信号采样以及数据处理与误差补偿集成在一片芯片中完成,采用数字频率直接合成(DDS)技术进行激励源的设计,利用输入捕获方式进行高频时钟脉冲插补来采集测量信号,由芯片集成的单周期DSP指令部件完成数据计算,并采用傅氏级数谐波修正技术来进行误差修正。实验表明:采用该系统后,72对极时栅误差峰峰值为3.29″,在保证精度的同时实
对于光子晶体而言,角度、厚度、周期数等对其透射率产生很大的影响,但相对于这些,轴向压力的影响更大。通过对介观压光效应的应用,用光子晶体代替传统的力敏电阻器,设计一种新型的加速度传感器,使其测量精度得到很大的提高,测量量程也有很大的改进。所设计的加速度传感器采用四端固支梁结构,有效地消除了偏轴效应,具有很好的稳定性。利用ANSYS软件对所设计的结构进行了应力模拟分析和三阶模态分析。这种加速度传感器具
介绍一种改进的直方图均衡算法及其在FPGA上的实现。与传统算法有区别的是如何统计直方图,通常均衡算法是只对亮度分量进行直方图均衡,或者对RGB三色色彩分量分别进行独立的均衡;提出的改进算法对输入像素的RGB分量同时进行统计,合成到一个统一的直方图对RGB通道进行均衡处理。实验结果证明:此算法不仅提高了图像对比度,同时也减轻了偏色或者褪色现象。