1) a credible assertion
可信的主张
2) maintainable adj.
可维持的;主张的
3) Extendable
[英][ɪk'stendəbl] [美][ɪk'stɛndəbḷ]
可扩张的
1.
Given a simple hypergraph H, a matching M of H is an induced matching in H if it satisfies: H | V(M) = M, especially, if every induced matching of H is included in a perfect matching of H, so we say that H is induced matching extendable.
更进一步地，我们称一个连通的超图H是n可扩张的，如果它满足： (1)：|X(H)|≥rn+r； (2)：H有完美匹配； (3)：对于H的每一个匹配M，如果|M|=n，则存在H的一个完美匹配M~*，使得M(?)M~*。
4) stretchable
[英]['stretʃəbl] [美]['strɛtʃəbḷ]
可伸张的
6) trusted subject
可信主体
1.
The trusted subject supports of the existing multi-level security models are reviewed and a new model called DLS (discrete label sequence) is proposed.
对已有多级安全模型的可信主体支持进行回顾和分析,提出了DLS(离散标记序列)多级安全模型。
2.
The paper analyses the influence to design of trusted subject DMBS architecture made by the Trusted Com-puter System Evaluation Criteria.
分析了《可信计算机系统评测准则》对基于可信主体DBMS体系结构设计的影响,通过一个基于角色机制的DBMS体系结构设计实例,探讨了不同评测标准对该DBMS的存取控制、体系、TCB和事务处理结构的影响,最后给出了该DBMS的总体设计。
3.
The paper analyses the design of high assurance DMBS architecture based on trusted subject.
分析了基于可信主体的DBMS高可信安全体系的设计方法,通过一个基于角色机制的DBMS体系结构设计实例,探讨了在高可信的要求下DBMS的存取控制、体系、TCB和事务处理的设计,最后给出了该DBMS设计中存在的问题及下一步的工作。
补充资料：Abel扩张的导子
Abel扩张的导子
conductor of an Abelian extension
Abel扩张的导子【阴du比咐of an AbeUane瑰nsi阅]【补注】设L/K是Abel扩张，从/KC:是伊代尔类群C‘中相应的子群(见类域论(dass field theory)).Abel扩张的导子(conductor of an Abelian extension)是使束类域K间能包含L的所有正除子”的最大公因子. 局部域的Abel扩张L/K的导子为p灵，这里p‘为K(的整数环A‘)的极大理想，。是使凡/‘fCU是成立的最小整数，其中U吴一{xeA‘:x二1 med，封，U吴二U‘=A二(这样，当且仅当导子是A又时，该Abel扩张是非分歧的).下述定理给出了Abel扩张导子的局部和整体概念之间的联系:数域的Abel扩张的导子}等于fl，下，，其中}，是对应的局部扩张L，/凡的导子，当;为无限素除子时，};一。或1，视L，笋凡或L。=凡而定· 类域论(c1 ass fiekl theory)的导矛分尽考理(condu-ctor ramification theorem)说，若(是类域L/K的导子，则l不能被在L/K中非分歧的任何素除子整除，而能被在L/K中分歧的任何素除子整除. 若L/K为局部域K的循环扩张，且具有由Gal(K’/幻的一次特征标x所定义的有限或代数闭的剩余域，则L/K的导子就是p义‘，，其中几)是特征标x的Aitin导子(见特征标的导子(conductor of a character)).这里，K’是K的可分代数闭包.对于高次特征标尚不知是否也有类似的结论.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条