基于事件图的离散事件仿真模型并行检验方法

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.     

Windows 关机随心所欲

Windows已经广泛地为我们所应用，工作和学习结束了，当然就要关闭计算机了．难道我们非得采用鼠标单击“开始”／“关闭系统”（或按Alt F4组合键)调出关机窗口进行关机?这种方法不但单一，而且不能想什么时候关机便让Windows自动关机。你不妨试试以下的方法，让Windows关机可以随     

ExcelXP快捷键应用技巧

前不久曾经介绍过一篇Word2000快捷键应用技巧,不知大家还有没有印象,其实Office的另一个组件Excel中也有好多好用的快捷键,用了后保管你事半功倍,下面就是几则这样的技巧。1.扩展鼠标滚轮的缩放效果。在Excel中按住Ctrl键,然后正反两个方向滑动鼠标滚轮,你的Excel表格就可以扩大或缩小了。2. 查看Excel单元格中所有公式。大家都知道Excel表格中,利用公式操作很便捷,可是你可能不知道那些单元格中有公式存在,按下Ctrl+`(`键的位置在数字1键的左侧)组合键试试,是不是可以看到Excel单元格中的哪里有公式了?!3.选取Excel工作表中的数据区…     

长江流域水力资源与水电规划

随着社会经济的发展和长江流域水力资源开发力度的不断加大,水力开发与环境保护的矛盾越来越突出,新的水力资源开发规划必须充分重视人与自然的和谐相处。在分析长江流域水力资源总量、分布特点、开发现状、开发潜力的基础上,比较了长江流域3次综合规划成果,讨论了长江流域水力开发的有关问题。认为,长江流域水资源开发必须坚持综合利用、有序开发、重视治理开发与环境保护的关系、强调重视水库群联合调度等原则。     

足球机器人小车总体设计思想及其单片机选型

近几年来,在智能机器人的领域,又出现了一个新的分支,这就是足球机器人,机器人足球研究目的是研究对未来社会有深远意义的多机器人（或多智能体）在复杂动态环境和多重制约下,完成多任务和多目标所需的实时推理和规划技术。本文主要叙述了足球机器人小车系统的模块设计思想,简述了各模块的功能与特点,此外还重点讨论了小车的单片机选型。     

安全清理XP桌面图标

电脑在使用了一段时间后,桌面上的图标会随着软件安装的增加而“拥挤不堪”。这样的桌面不但影响了视觉,还会减缓电脑的启动速度,可是删除不常用的图标,又怕以后再用时找不到位置,那该怎么办呢?其实只要你安装了XP操作系统,就可以放心安全的清理桌面上的图标了。步骤1:在桌面上单击鼠标右键,在弹出的菜单中选1择“排列图标”→“运行桌面清理向导”(如图1),即可以弹出一个“清理桌面2向导”窗口(如图2)。步骤2:点击“下一步”,又会出现一个带有所有桌面图标的复选窗口(如图3),其中每个图标的后面都列出了其最后一次运行的时间(桌面上的图标…     

教你制作Winzip注释

如果想在打开Winzip的时候出现注释提示,可以先打开这个Winzip文件,然后选择“操作”→“注释”输入想要的注释就可以了(注:本文以Winzip8.1为例)。教你制作Winzip注释@柳林     

从认识到精通——菜鸟学电脑之硬盘分区格式及分区方案篇

菜鸟小张平时积累了一些基础的电脑知识,如今真的拥有了一台属于自己的电脑,可是安装系统选择什么样的硬盘分区格式又难住了他,经常听到有人提到不同的操作系统需要不同的硬盘分区格式支持,自己却是一头雾水,偌大个硬盘想装好几种操作系统,如何进行分配呢?这些问题引出了这期我们专栏的话题——菜鸟学电脑之硬盘分区格式及分区方案篇,希望通过此文,能够帮助大家认识硬盘分区格式,精通分区方案。首先简单介绍一下分区格式,根据目前流行的操作系统来看,常用的分区格式有三种,分别是FAT16、FAT32、NTFS格式和Ext2。注:分区格式可以通过查…     

从认识到精通——菜鸟学电脑之影音格式篇

我们推出的全新专栏“从认识到精通”,大家还满意吗?如果还挺满意的话,林子在这里也不敢有丝毫的懈怠的,因为专栏要办一年,若12期都收到好的效果,那才是最高兴的事情。好了,闲话少说,来看看咱第二期介绍的内容吧,这期说说影音格式,影音格式大家不会陌生吧,说白了就是影音文件的扩展名,也就是说扩展名是区分影音格式的标准,你在欣赏美妙的影音作品时有没有注意它是什么格式的呢?!其实这些影音格式是各有不相同的,下面就先来介绍一些常用的影音格式,让大家了解一下啦。     

从认识到精通——菜鸟学电脑之Windows文件篇

近来《电脑校园》越来越受到初学电脑朋友们的青睐,这个栏目也沾广大读者的光,可以为大家介绍更多的基础性知识,这也越发激励我办好这个栏目。以后我会更加努力,还望大家多提宝贵意见哦!蕙蕙