-
题名用于跳变故障测试的确定性逻辑内建自测试方法
- 1
-
-
作者
王颖
陈禾
-
机构
北京理工大学电子工程系
-
出处
《电子测量技术》
2007年第10期54-57,共4页
-
文摘
BIST由于支持全速测试而成为延迟故障测试中引人关注的技术。确定性逻辑BIST(DLBIST)已成功应用于固定故障的测试中。由于DF的随机可测试性低于固定故障,故需要对DLBIST方法进行修改。DF测试需要测试向量对,因而与SAF相比,需要更多的映射与逻辑开销。本文针对广泛应用的所谓跳变故障模型,提出了用于跳变故障测试的DLBIST扩展方法,使用FJ产生向量对。实验结果表明,使用本文方法可以获得较高的故障测试效率。
-
关键词
确定性逻辑BIST
延迟故障测试
跳变故障
-
Keywords
deterministic logic BIST
delay fault test
transition fault
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
-
题名消解与建构——对“教学回归生活世界”论争的思考
被引量：12
- 2
-
-
作者
刘晓伟
-
机构
杭州师范学院人文学院 浙江杭州
-
出处
《课程．教材．教法》
CSSCI
北大核心
2007年第2期26-30,共5页
-
文摘
在接受知识动态发展观点的同时，应该承认知识存在固有的系统性和相对稳定的逻辑性。教学对生活世界的回归，是对作为生命个体存在的主体的确认，并不排斥知识的确定性逻辑，不会消弭教学的独特属性。教学与生活世界结合，可以为课程建设拓宽视域，为师生共同发展提供条件，为教学活动注入人文内涵。
-
关键词
回归生活世界
消解
确定性逻辑
建构
人文内涵
-
Keywords
returning to life world
deeomposition
definite logie
eonstruetion
humanistie intension
-
分类号
G42
[文化科学—课程与教学论]
-
-
题名基于有限状态自动机的Web服务组合(英文)
被引量：1
- 3
-
-
作者
闫新庆
李文锋
陈定方
-
机构
华中科技大学机械工程学院
武汉理工大学物流工程学院
中国科学院智能信息处理开放实验室
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第23期5624-5627,5725,共5页
-
基金
国家自然科学基金项目(60475031)
国家863高技术研究发展计划基金项目(2006AA04A110)~~
-
文摘
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。
-
关键词
WEB服务
服务组合
有限状态自动机
确定性命题逻辑
可组合性
-
Keywords
web service
composition
finite state machine
deterministic propositional dynamic logic
composable
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
