- 浏览: 4333227 次
- 性别:
- 来自: 湛江
博客专栏
-
SQLite源码剖析
浏览量:79421
-
WIN32汇编语言学习应用...
浏览量:68373
-
神奇的perl
浏览量:101495
-
lucene等搜索引擎解析...
浏览量:281185
-
深入lucene3.5源码...
浏览量:14604
-
VB.NET并行与分布式编...
浏览量:65559
-
silverlight 5...
浏览量:31318
-
算法下午茶系列
浏览量:45206
最新评论
-
yoyo837:
counters15 写道目前只支持IE吗?插件的东西是跨浏览 ...
Silverlight 5 轻松开启绚丽的网页3D世界 -
shuiyunbing:
直接在前台导出方式:excel中的单元格样式怎么处理,比如某行 ...
Flex导出Excel -
di1984HIT:
写的很好~
lucene入门-索引网页 -
rjguanwen:
在win7 64位操作系统下,pygtk的Entry无法输入怎 ...
pygtk-entry -
ldl_xz:
http://www.9958.pw/post/php_exc ...
PHPExcel常用方法汇总(转载)
相关推荐
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的...
一款轻量级的扩展有限状态机,基于函数指针状态机技术,相对普通的状态机,扩展了进入/退出动作。
一种扩展有限状态机的语义模型,杨济,,本文介绍了一种扩展有限状态机的编程语义模型,该模型的特点是:(1)对于外部输入具有确定的反应;(2)由于模型内部线性空间的�
针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对扩展有限状态机状态迁移树的分析,获取基于该树的测试路径,再根据扩展有限状态机模型...
可扩展有限状态机EFSM(Extended Finite State Machine)是目前常用的一种描述软件状态和行为的模型,研究EFSM模型的测试数据自动生成方法具有重要的意义。针对EFSM模型,本文提出一种面向EFSM路径的测试数据自动生成...
为此,提出了一种基于扩展有限状态机(EFSM)和断言的Sac接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而...
基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成
有限状态机(FSM)是表示有限个状态及在这些状态之间的转移和动作等行为的数学模型,在计算机领域有着广泛的应用。通常FSM包含几个要素:状态的管理、状态的监控、状态的触发、状态触发后引发的动作。本文主要阐述...
基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有...
针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。
有限状态机及其扩展PPT课件.pptx
说到单片机编程,不得不说到状态机,状态机做为...灵活的应用状态机不仅是程序更高效,而且可读性和扩展性也很好。状态无处不在,状态中有状态,只要掌握了这种思维,让它成为您编程中的一种习惯,相信您会受益匪浅。
有限状态机及其扩展PPT学习教案.pptx
提出了基于扩展有限状态机的综采装备运行状态演化方法和基于多标记决策信息系统的综采装备运动行为模式学习方法,来实现数据驱动下智能综采装备行为决策知识的获取;提出了面向经典采煤工艺过程的综采装备行为模态类...
程序员:向工具箱中添加一个强大的可视化状态机编辑器。与脚本接口或使用自定义操作扩展播放器。 :: 新的2018.3中嵌套的预置支持 :: 新的集成UI操作和事件。 :: 新的动作中的自动转换变量。 :: 新的业绩改善。 :: 新...
而iTRON类OS大多采用C语言实现,于是用状态机的方式实现功能模块成为了主要的设计方法。 至于说面向对象,只要是稍微严谨一点的嵌入式系统,设计上要求程序完全覆盖所有的可能情况。程序不可能在紧急情况下抛出异常...
transitions在Python中具有许多扩展的轻量级,面向对象的状态机实现。 与Python 2.7+和3.0+兼容。 Installation pip install transitions ...或从G transitions复制存储库Python中的轻量级面向对象状态机实现,...
有限状态机仿真 后端和前端之间通过JSON(HTTP样式)进行通信 1.一般 CFLOP是用C ++编写的后端,可提供有限状态机所需的所有功能。 通信通过JSON进行。 后端采用JSON请求,并将其转换为C ++请求表示形式。 之后,...
经常会看见:设计一个程序模块的时候,应该做到“高内聚,低耦合”或者“隔离变化,降低复杂度”等,其含义都是差不多的,即:减少模块之间的相互依赖,使模块更独立,尽可能的做到对扩展开放,对修改封闭。...
扩展有限状态机(EFSM) 是一种构造模型的形式化描述语言. 首先根据化工过程特征, 改进EFSM 模型和数据依赖关系, 构建变量、状态及相互之间转换条件和动作的化工过程EFSM 描述模型; 然后提出化工过程变量之间的静、...