论文部分内容阅读
提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。
FMS建模和形式化验证
【摘 要】
：
提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。
【机 构】
：
上海交通大学浩然高科技大厦1416信箱
【出 处】
：
系统仿真学报
【发表日期】
：
2004年09期
其他文献
试析国有资产的合法流失问题季建林改革开放以来，我国的国有资产在不断壮大发展的同时，流失情况日益严重。据我国国有资产管理局政策法规司司长谢次昌提供的数据，从１９８２年～１９９２年，国有资产
以食荚豌豆--青荷9号的种子为材料,用10-200mg/L的水杨酸分别浸种12h和36h,观察豌豆种子萌发情况及其萌发过程中种子内可溶性糖和可溶性蛋白质含量及淀粉酶的活性.结果表明,
针对行走捕获数据的重用问题,本文提出了一种基于Petri网仿真框架的虚拟人行走动作模型.首先,根据人体生理特征和运动特征计算行走的时空参数;接着,以关节插值的方法从原始捕
本文给出声呐航行自噪声与环境噪声的模型,对半实物仿真航行自噪声与环境噪声的方案进行了分析与论证,讨论了各向同性噪声场与非各向同性噪声场的空间相关性并提出了利用球冠阵和环形阵仿真生成各向同性噪声场与非各向同性噪声场的方法。该仿真方案对于评价自导系统的静态或动态性能具有重要价值。
提出了一个新的有效的基于小波变换的SAR图像去斑方法。尽管小波分解具有去除相关性的作用,但是图像中边缘等几何结构特征仍然存在,因此本文引入一个几何先验模型,结合噪声和有用信号的条件分布进行贝叶斯估计,得到每一系数作为有用信号的后验概率,以之作为修正因子修正小波系数,获得了满意的去斑效果。与现有的去斑方法的主要的不同之处在于使用了噪声和信号的实际分布函数,文中给出了这些分布的经验表达式,以及直接从图
建立城镇管理综合体系，实现城镇管理公司化丁娟娟，冯雁在“严格控制大城市、合理发展中等城市、积极发展小城市”的方针指导下，我国城镇建设取得了很大的成绩，与生产力布局相协调
国有企业改革风雨兼程地走过了19个年头，但国有企业仍然困难重重。好在人们对改革的目标已基本取得共识：在避免私有化的前提下，使国有企业成为市场上平等竞争的主体。作为市场主