期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于时序规范的测试预言自动生成技术评述 被引量:1
1
作者 王馨 王戟 齐治昌 《计算机工程与科学》 CSCD 2006年第7期127-130,133,共5页
测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术... 测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍。最后,并分析了基于时序规范的测试预言生成面临的困难。 展开更多
关键词 测试预言 时序规范 时序逻辑 自动机
下载PDF
Light Front Boson Model Propagation
2
作者 Jorge Henrique Sales Alfredo Takashi Suzuki 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第6期1029-1040,共12页
The scope and aim of this work is to describe the two-body interaction mediated by a particle (either the scalar or the gauge boson) within the light-front formulation. To do this, first of all we point out the impo... The scope and aim of this work is to describe the two-body interaction mediated by a particle (either the scalar or the gauge boson) within the light-front formulation. To do this, first of all we point out the importance of propagators and Green functions in Quantum Mechanics. Then we project the covariant quantum propagator onto the light front time to get the propagator for scalar particles in these coordinates. This operator propagates the wave function from x+ = 0 to x+ 〉 0. It corresponds to the definition of the time ordering operation in the light front time x+. We calculate the light-front Green's function for 2 interacting bosons propagating forward in x+. We also show how to write down the light front Green's function from the Feynman propagator and finally make a generalization to N bosons. 展开更多
关键词 insert light-front BOSONS PROPAGATION
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部