1) CBILBO
并发内建逻辑块观察器
1.
This paper proposes a soft-error-tolerant high reliable BIST structure:FT-CBILBO.
该结构首先对并发内建逻辑块观察器(CBILBO)进行改进,通过对多输入特征寄存器进行功能复用,构建双模冗余的容错微结构并且能有效降低开销。
2.
FT-CBILBO can block soft error by inserting code word state preserving element to tolerant SEU-induced soft error.
该结构对并发内建逻辑块观察器进行改进,通过对多输入特征寄存器进行功能复用,构建双模冗余的容错微结构,并且能有效地降低开销;在触发器输出端插入C单元,可有效地针对单事件翻转进行防护,阻塞瞬态故障引发的软错误。
2) observer,built-in logic block(BILBO)
内置逻辑区块监察程序
3) internal logic module
内部逻辑模块
1.
This paper introduces in detail the input module design,the internal logic module desig.
文中介绍了双工控制板输入模块、内部逻辑模块和输出模块的设计。
4) concurrent transaction logic
并发事务逻辑
1.
The concurrent transaction logic was described by the extended predicate task model and the dynamic constraint relations among the subtasks was found out by analyzing the concurrent executive net of subtasks.
采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系,从而在传统RBAC模型基础上扩展了动态的角色约束关系。
2.
This paper gives the specification of web service orchestration based on concurrent transaction logic.
本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性。
3.
This paper establishes the model of web service choreography based on concurrent transaction logic and the translation rules from WSCDL to concurrent transaction logic are given.
服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证。
5) FDL transmission logic module
FDL发送逻辑模块
6) Logic built-in self-test
逻辑内建自测试
1.
Logic built-in self-test(Logic BIST) has been widely accepted as an effective DFT technique for VLSI and .
各种用于提高芯片可测试性的可测性设计方法被提出,其中逻辑内建自测试方法已经被证明为大规模集成电路(VLSI)和SOC测试的一项有效的可测试性设计方法。
补充资料:全血凝块观察与溶解试验
全血凝块观察与溶解试验
见“血浆纤维蛋白原”。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条