【摘 要】
：
中断是嵌入式系统进行实时响应的重要机制.以测试为基础的传统方法在处理中断驱动的系统时,由于系统可能的运行轨迹空间无穷,其有效性受到很大的影响.本文基于线性混成自动机
【基金项目】
：
国家社会科学基金项目“基于引文分析的期刊非正常引用行为研究”（13CTQ034）
论文部分内容阅读
中断是嵌入式系统进行实时响应的重要机制.以测试为基础的传统方法在处理中断驱动的系统时,由于系统可能的运行轨迹空间无穷,其有效性受到很大的影响.本文基于线性混成自动机有界验证技术提出一种对中断驱动系统的时间约束进行验证的方法,应用线性混成自动机对中断驱动的系统建模,将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题,并借助模型检验工具BACH来进行验证,以周期性中断源驱动的嵌入式系统为例,说明了方法的可行性和有效性.
其他文献
本文研究扭立方体图的全色数和邻点可区别全色数,确定了他们的精确值.通过这两个参数的值说明扭立方体图满足著名的全染色猜想（TCC）和邻点可区别全染色猜想.
针对当前较多图像修复方法仅通过对像素点之间的相似差异度进行度量来实现对图像中破损区域的修复、忽略了图像块之间的强度特征、导致修复图像中存在振铃以及不连续等问题,本文设计了一种基于区域结构因子耦合强度特征约束的图像修复方法.首先,通过引导滤波将待修复图像中的噪声进行滤除,以克服图像中噪声干扰引起的错误修复,再根据像素点的梯度特征来构造区域结构因子,以建立优先权函数,测量待修复块优先权,从而确定优先修
一、在运动过程中能量是怎样被利用的机体为了完成各种形式的功,首先必须使肌肉收缩产生力。在大多数情况下,收缩时肌肉的长度将显著缩短,当这些力通过关节作用时肢体就会发
本文介绍了采用ＭＩＣＲＯＳＴＡＴＩＯＮ参数化设计增值模块ＰＬＴＯＯＬ进行零件尺寸自动化标注的方法。将字符作为视图处理，动态地建立字符图形的描述文件。用户只需在参数化设计模块中增加一个尺寸描述文件，即可实现尺寸标注功能。本方法为方便地进入ＭＩＣＲＯＳＴＡＴＩＯＮ核心提供了一条途径，也可供其它ＣＡＤ软件借鉴。
几种粉剂的田间药效试验结果表明,1.5％甲基1605粉剂和4.5％甲敌粉对腰果蛀果斑螟的防治效果最佳。喷药后第10天,甲基1605和甲敌粉两种处理的防效分别为93.4％和93.3％。有效杀虫粉剂
１概述在图形操作系统（如Ｗｉｎｄｏｗｓ９５和ＷｉｎｄｏｗｓＮＴ）中，图形用户界面给了计算机用户非常直观的显示，而人们经常需要屏幕显示的结果同样输出在打印机上。在ＶｉｓｕａｌＣ＋＋中，如果用ＡｐｐＷｉｚａｒｄ生成打印操作，会发现屏幕上显示的图形和文
本文探讨了C~(++)提供的动态内存分配机制,分析归纳了动态内存分配和释放函数;并举例说明如何避免类对象及结构的空间释放不完全问题。
结合闸门生产所带来的微型颗粒物超标情况,通过实际案例,阐明了在此形势下闸门生产制造企业环保设备的选用原则和方案,对同行业闸门制造企业具有一定的参考作用。
目的观察骨髓间充质干细胞（MSCs）经冠脉移植对急性心肌梗死后心功能的影响。方法24只日本大耳白兔，随机分为MSCs移植组（n=12）和培养液对照组（n=12）。从兔股骨抽取骨髓，体外培养MSCs。
液压技术在采棉机上的应用实现了采棉机的自动化,采棉机的机械自动化可以提高采棉效率,节约成本.本文设计完成了采棉机液压系统,包括采棉头升降液压系统、棉箱翻转液压系统和