|
|
|
| 词汇列表 |
| 翻译词汇 |
|
前集 pre-set
|
|
|
|
前集 pre-set
后集 post-set
前[置]条件 precondition
后[置]条件 postcondition
外延 extension
伴随条件 side condition
逆变迁 reverse transition
有向弧 directed arc
抑止弧 inhibitor arc
容量函数 capacity function
权函数 weight function
并发关系 concurrency relation
自圈 selfloop
片 slice
状态机 state machine
初始标识 initial marking
网论 net theory
特殊网论 special net theory
通用网论 general net theory
同步[论] synchrony
网拓扑 net topology
赋逻辑[论] enlogy
局部确定[性]公理 local-deterministic axiom
外延公理 extension axiom
情态公理 case axiom
并发公理 concurrency axiom
网系统 net system
后继标识 successor marking
可达标识 reachable marking
可达标识集 set of reachable markings
可达树 reachability tree
可达图 reachability graph
可覆盖树 coverability tree
可覆盖图 coverability graph
等式系统 equation system
变迁规则 transition rule
实施规则 firing rule
实施变迁 to fire a transition
关联矩阵 incident matrix
S不变量[式] S-invariant
T不变量[式] T-invariant
支持集 support set
冲突结构 conflict structure
状态方程 state equation
实施向量 firing count vector
可重复向量 repetitive vector
重复性 repetitiveness
守恒性 conservativeness
网化简 net reduction
网合成 net composition
网运算 net operation
网变换 net transformation
网语言 net language
弧标 arc label
标记流路 token flow path
迹语言 trace language
变迁序列 transition sequence
出现序列 occurrence sequence
活性 liveness
死变迁 dead transition
活变迁 live transition
有界性 boundedness
安全性 safeness
公平性 fairness
步 step
步可达性 reachability by step
步序列 step sequence
冻结标记 frozen token
基本网系统 elementary net system
条件-事件系统 condition/event system, C/E system
位置-变迁系统 place/transition system, P/T system
谓词-变迁系统 predicate/transition system
高级佩特里网 high level Petri net
着色佩特里网 coloured Petri net
时间佩特里网 timed Petri net, time Petri net
个性标记 individual token
丛 constellation
发生权 concession
后继丛 follower constellation
情态集 case class
可重生标识 reproducible markings
家态 home state
向后可达性 backward reachability
向前可达性 forward reachability
顺序发生 sequential occurrence
冲突 conflict
冲撞 contact
网射 net morphism
保P映射 P-preserve mapping
保F映射 F-preserve mapping
网同构 net isomorphism
网折叠 net folding
网展开 net unfolding
事件依赖性 event dependence
事件独立性 event independence
线 line
绳 rope
N稠密性 N-dense
K稠密性 K-dense
自然序 natural order
自然非序 natural disorder
跳 jump
S完备化 S completion
变度 variance
同步距离 synchronic distance
挠进程 skew process
加权同步距离 weighted synchronic distance
T完备化 T-completion
进程变迁 process transition
事实 fact
消解规则 resolution rule
扩张规则 expansion rule
事故变迁 violation transition
随机佩特里网 stochastic Petri nets
变迁实施速率 transition firing rate
广义随机佩特里网 generalized stochastic Petri net
时间变迁 timed transition
瞬时变迁 immediate transition
随机开关 random switching
实存状态 tangible state
消失状态 vanishing state
扩展随机佩特里网 extended stochastic Petri net
互斥变迁 exclusive transition
竞争变迁 competitive transition
并发变迁 concurrent transition
概率弧 probabilistic arc
计数选择弧 counter-alternate arc
随机高级佩特里网 stochastic high-level Petri net
复合标识 compound marking
个体标识 individual marking
标记类型 token type
标记变量 token variable
标识变量 marking variable
复合标记 compound token
覆盖标识 covering marking
重复标识 duplicate marking
等价标识 equivalent marking
死标识 dead marking
等价标识变量 equivalent marking variable
确定和随机佩特里网 deterministic and stochastic Petri net
确定变迁 deterministic transition
指数变迁 exponential transition
受控佩特里网 controlled Petri net
禁止状态 forbidden state
受控标识图 controlled marking graphs
受控事件 controlled event
控制输入位置 control input place
无死锁性 deadlock-free
无饥饿性 starvation-free
加权T图 weighted T-graph
加权S图 weighted S-graph
可达标识图 reachable marking graph
标号可达树 labeled reachable tree
可达森林 reachable forest
结构有界性 structural boundedness
标号佩特里网 labeled Petri net
状态爆炸 state explosion
网层次 level of net
结点关系度 relation degree of node
[输]入度 input degree
[输]出度 output degree
宏结点 macro node
子网度 degree of subnet
子网层次 hierarchy of subnet
子网门 door of subnet
变迁子网 subnet of transition
位置子网 subnet of place
N版本编程 N-version programming
N模冗余 N-modular redundancy, NMR
PMC诊断模型 PMC model
α测试 alpha test
β测试 beta test
一致性 consistency
又称“相容性”。
一致性测试 conformance testing
一致性重演 consistent replay
二叉判定图 binary decision diagram, BDD
[人为]干扰信号 jam signal
人为故障 human-made fault
三模冗余 triple modular redundancy, TMR
下载 download
内建自测试 built-in self-test, BIST
分布式容错 distributed fault-tolerance
分段确定性的 piece-wise deterministic, PWD
区分序列 distinguishing sequence
双机协同 double computer cooperation
双校三验 double error correction-three error detection
双路码 two-rail code
反向恢复 backward recovery
反射的面向对象编程 reflective object-oriented programming
初启序列 initializing sequence
无差错 error-free
计算机辅助测试 computer-aided test, CAT
计算使用 computation use, c-use
贝叶斯分析 Bayes analysis
长期相关性 long-range dependence
主从复制 leader follower replication
功能故障 functional fault
功能测试 functional test
加速测试 accelerated test
可存取性 accessibility
可观察性 observability
可诊断性 diagnosability
可信性 dependability
可信计算 dependable computing
可测试性 testability
可测试性设计 design for testability
可控制性 controllability
可靠性工程 reliability engineering
可靠性设计 reliability design
可靠性评价 reliability evaluation
可靠性度量 reliability measurement
可靠性统计 reliability statistics
可靠性预计 reliability prediction
可靠性增长 reliability growth
崩溃 crash
对角线测试 diagonal test
布尔过程 Boolean process
平均无故障时间 mean time to failure, MTTF
平均失效间隔时间 mean time between failure, MTBF
平均未崩溃时间 mean time to crash, MTTC
平均修复时间 mean time to repair, MTTR
永久故障 permanent fault
又称“固定故障”。
汉明距离 Hamming distance
电平敏感扫描设计 level sensitive scan design
白箱测试 white box testing
纠错码 error correction code, ECC
边界扫描 boundary scan
边界检测 boundary detection
边缘 edge
边缘检测 edge detection
乒乓过程 ping-pong procedure
交互错误 interaction error
交错路径 zigzag path
产品测试 product test
会话 conversation
全干扰 total-dose
关键计算 critical computation
动态冗余 dynamic redundancy
协同检查点 cooperative check point
同步序列 synchronizing sequence
回归测试 regression test
回送测试 loopback test
因果消息日志 causal message logging
多米诺效应 Domino effect
多芯片模块 multichip module, MCM
字冗余 word redundancy
安全停机 safe shutdown
并发模拟 concurrent simulation
又称“并发仿真”。
并行模拟 parallel simulation
又称“并行仿真”。
扫描设计 scan design
扫描输入 scan-in
扫描输出 scan-out
有效输入 valid input
死锁恢复 deadlock recovery
约瑟夫效应 Joseph effect
网知计算 network-aware computing
自动测试生成 automatic test pattern generation, ATPG
自动测试设备 automatic test equipment, ATE
自修理 self-repair
自测试 self-testing
自相似网络业务 self-similar network traffic
自检验 self-checking
设计多样性 design diversity
设计差错 design error
负载冒险模型 workload hazard model
过期检查点 obsolete checkpoint
初级输入 primary input
初级输出 primary output
判定使用 predicate use, p-use
完全自检验 totally self-checking, TSC
完全恢复 full recovery
报酬分析 reward analysis
时延分配 delay assignment
时延偏差大小 delay defect size
时间延迟 delay
简称“时延”。
时变布尔函数 timed Boolean function
更新过程 renewal process
更新报酬 renewal reward
穷举测试 exhaustive testing
系统诊断 system diagnosis
系统测试 system test
补偿事务[元] compensating transaction
诊断 diagnosis
诊断系统 diagnostic system
诊断屏幕 diagnostic screen
诊断程序 diagnostic program
走步测试 walking test
运行剖面 operational profile
进化 evolution
进化检查 evolution checking
间歇故障 intermittent fault
单元测试 unit test
单向故障 unidirectional fault
单字节校正 single byte correction, SBC
单事件效应 single event effect, SEE
单事件锁定 single event latchup, SEL
单事件翻转 single event upset, SEU
单校双检 single error correction-double error detection
卷回传播 rollback propagation
卷回恢复 rollback recovery
参数故障 parameter fault
固定开路故障 stuck-open fault
固定型故障 stuck-at fault
孤儿消息 orphan message
定时分析 timing analysis
征兆测试 syndrome testing
易失性检查点 volatile checkpoint
构件软件工程 component software engineering
波形流水线 wavepipeline
物理故障 physical fault
现场置换单元 field replacement unit
线性检测 linear detection
线确认 line justification
表决系统 voting system
质量和性能测试 quality and performance test
软件量度 software metric
软件可靠性工程 software reliability engineering
软差错 soft error
软硬件协同设计 hardware/software co-design
降级运行 degraded running
降级恢复 degraded recovery
非必然性 uncertainty
临界路径 critical path
信息冗余 information redundancy
冒险 hazard
复位序列 homing sequence
复原请求 resume requirement
屏蔽 masking
|
|
|
|
|
|
|
| 发表评论 好友推荐 |
|
|
|
|
|
|
|
