针对该构造方法作出性能分析,指出其需要的编码符号域的大小,并通过举例验证该方法的有效性。
Performance is analyzed and the size of symbol field is deduced. Verify the validity of the method by an example.
它已经超越了一般的文学形象世界的意域,成为具有意义和价值的象征化的符号世界。
It has transcended the general ideology of literary image's world, and become the significant and valuable symbolic world.
模块化是优化本体推理的一种有效手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.
编译器假定位域的基类型无符号。
The compiler assumes the base type of the bit field to be unsigned.
编译器假定位域的基类型无符号。
The compiler assumes the base type of the bit field to be unsigned.
应用推荐