章超
- 作品数：6 被引量：0H指数：0
- 供职机构：兰州大学更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：自动化与计算机技术文化科学社会学经济管理更多>>
- SPIN状态压缩：基于属性的状态向量优化
- 模型检测是保证程序正确性的一条重要途径，它最大的优点就是验证过程完全自动化。然而，模型检测在规模大、复杂度高的系统的应用中却碰到了所谓状态空间爆炸问题——对很多系统来说，其运行过程中所产生的系统状态数目往往随着系统规模的...
- 章超
- 文献传递
- 硬件系统SystemCFL模型的SPIN验证
- 1 引言随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新技术。形式化验证方法包括算法验证、属性验证和等价性验证等方法。我们的研究领域为属性验证。属...
- 李彩虹李廉章超孙守卿吴孝军陈波
- 关键词：SYSTEMC
- 文献传递
- 分布式同步仲裁器电路的SPIN建模和验证
- 1言软件和硬件工程中已经成功地应用了各种验证技术,包括从模拟技术到模型检验技术。而模拟技术对规模比较大的系统很难验证所有的设计错误。测试技术也只能用于检测错误,而不能证明设计的正确性。近十几年来,模型检验技术已被应用于验...
- 李彩虹章超李廉孙守卿
- 关键词：SPINPROMELA
- 文献传递
- 基于模型检测工具SPIN的安全协议形式化分析
- ＜正＞ 1 引言安全协议是一种通信协议,它通过密码技术实现通信过程中的密钥分发以及身份认证,从而保证网络通信的安全。目前,存在多种验证安全协议的形式化方法和相应的工具。其中主要有定理证明和模型检测两种方法。定理证明是用逻...
- 孙守卿李廉章超李彩虹
- 关键词：SPINLTL
- 文献传递
- 我国生活类期刊传播与构建的消费文化观念实证研究——以《知音》和《家庭》为例
- 消费文化作为一种新的社会文化现象出现在我国，我国的消费结构从“生产为主”转向“消费为主”。新的消费文化不仅是对全球大众消费时代的生活格调、生活方式与价值取向，更是对消费，不同的历史阶段有着不同的消费观念。中国的传统的消费...
- 章超
- 关键词：消费文化大众传媒
- 文献传递
- SPIN在同步时序逻辑中的应用
- ＜正＞ 1 引言同步时序逻辑是指表示状态的寄存器组的值只可能在唯一确定的触发条件发生时改变,而异步时序逻辑是指触发条件由多个控制因素组成,任何一个因素的跳变都可以引起触发。同步时序逻辑比异步时序逻辑具有更可靠、更简单的逻...
- 章超李彩虹李廉
- 关键词：VERILOGSPINPROMELA
- 文献传递
