1) compliance checker
一致性验证器
1.
The proposed framework took into account all aspects related to trust management,from the XML-based combining credential with policy language,to trust management enforcement which implemented verifying trust ticket and compliance checker.
该框架包含了一种基于XML的统一信任证和策略语言,以及完成验证TrustTicket与一致性验证器的信任管理执行器,其主要创新点为可扩展的策略语言和支持TrustTicket与策略缓存的信任管理执行器,具有灵活性和良好的可扩展性等特点。
2.
Furthermore,it introduced three kinds of compliance checker algorithms adopted by XTNPL.
还介绍了适合这种语言的3种一致性验证器算法,满足了信任管理和自动信任协商的需求。
2) tolerance conformance test
一致性验证
1.
According to the tolerance rules of ER,MMC and LMR of national standards,tolerance conformance test of prisms is carried out.
分别按照国际中的包容要求、最大实体要求及最小实体要求 ,分析了棱柱形零件尺寸公差和形位公差一致性准则 ,给出了判别一致性的数学等效式 ,举例说明了棱柱公差一致性验证的过程 ,为棱柱形零件计算机辅助公差设计的一致性验证提供了理论方法。
2.
According to the tolerance rules of ER,MMC and LMR of national standards,tolerance conformance test of square openings is carried out.
尺寸公差与形位公差的一致性验证是计算机辅助公差设计中不可缺少的重要环节。
3) Consistency Verification
一致性验证
1.
A Method of the C~4ISR Architecture Consistency Verification Based on CADM;
基于CADM的C~4ISR体系结构一致性验证方法
4) coherence verification arithmetic
一致性验证算法
5) consistency verification of temporal constraints
时间约束一致性验证
6) message interaction consistency checking
消息交互一致性验证
补充资料：高速缓冲存储器一致性
高速缓冲存储器一致性
cache coherence
goosu huonehong eunehuqi yizhixing高速缓冲存储器一致性(cache coherence)在采用层次结构存储系统的计算机系统中，保证高速缓冲存储器中数据与主存储器中数据相同的机制。 在单处理机系统中，高速缓冲存储器数据与主存数据的不一致主要是由输人输出(1/0)操作(如直接存储器存取)引起的。在几乎所有的计算机系统中，1/0数据总是直接从主存进出而不经过高速缓冲存储器，从而，①在使用回写型高速缓冲存储器的系统中，输出数据时，1/0系统看到的只是主存中的旧数据(新数据在高速缓冲存储器中);②输人数据时，对各种高速缓冲存储器，中央处理器只能看到其中的旧数据(新数据在主存中)。为了避免这样的数据不一致，需要硬件或操作系统的干预。例如，在进行输出操作时，由操作系统将有关地址的数据移出高速缓冲存储器，或者由硬件检查高速缓冲存储器中的相应标志，发现与输出数据地址相同时，立即写回主存;在进行输人操作时，可由操作系统保证输人数据区不被缓冲，或先将高速缓冲存储器中有关地址的内容清除。 在使用虚地址高速缓冲存储器的系统中，系统软件将两个不同的虚地址映射到同一物理地址的别名现象会导致高速缓冲存储器数据与主存数据的不一致以及高速缓冲存储器中出现同一数据的两个副本。通过对别名进行简单的限制就可避免这种形式的不一致。 共享存储多处理机的高速缓冲 存储器一致性 高速缓冲存储器一致性问题主要出现在共享存储器的多处理机系统中。多处理机对高速缓冲存储器一致性的要求可表述为:任意一次取数操作得到的结果都必须是最近一次对该数据进行写操作时写人的值。由于互联网的延迟和系统中各种缓冲机制的影响，“最近”的含义实际是无法准确定义的。共享存储器的一致性模型研究的就是从程序员的角度如何容忍对“最近”一词的模糊认识;而高速缓冲存储器一致性机制则在此基础上讨论如何维持同一数据的多个相同副本。 虽然共享数据的多副本现象是高速缓冲存储器数据不一致的主要原因，但有时非共享数据也会出 现不一致的问题。其原因除了前述的1/0操作外， 还有进程迁移。若一个进程在处理机A上访问了商一211变量X，迁移到处理机B后又修改了X，则当它再回到A时，就会读到A的高速缓冲存储器中存在着的X的旧值。如果强制每次上下文切换时都清除高速缓冲存储器，就不会出现这种情况，但系统性能将会下降。更好的方法是在高速缓冲存储器数据的标志中增加进程标识符(PID)信息。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条