查询词典 assertion sign

Finally we can write out the verification condition of a path according to some rule, depending on assertion of the path's start point, assertion of the path's end point, condition expression and assignment statement of the path.

最后，有了路径起始断点的断言，路径的条件表达式、赋值语句，路径的终止断点的断言，按照一定的规则就写出了这条路经所对应的验证公式。

It designs the assertion language and assertion calculus for Pointer Logic.

这在已存在的比较流行的定理证明器中是不曾实现过的。2。

And similarly it straightway cancels again the assertion which here annuls the first, and which is also just such an assertion of a sensuous This.

每一个意识都一再扬弃了它所建立的，例如&这里是一棵树&，或者&现在是白天&这样的真理，并且说出与之相反的话：&这里不是一棵树，而是一所房子&；而在这个扬弃了第一个肯定的肯定里，仍然是一个感性的、个别的肯定，仍然是这一个，它也同样立刻就要被扬弃的。

The presence of early CT signs has been reported to be a predictive sign of hemorrhagic complications after reperfusion therapies[4, 5, 13 18]. Our study has also demonstrated that the rate of symptomatic hemorrhagic complications showed a tendency to increase as the grade of early CT signs increased, although a statically significant difference was not proved. A grade III CT sign may be a predictive sign for hemorrhagic complications after reperfusion therapy. In contrast, the presence of a grade I CT sign may not contraindicate reperfusion therapy.

本研究也显示：尽管彼此间均无统计学显著差异，但血管内再通治疗后症状性出血并发症的发生率，在深部大脑中动脉分布区未出现早期CT征象的患者、出现I级早期CT征象（细微低密度区局限于岛叶，基底节区正常）的患者、出现II级早期CT征象（部分壳核后外侧区出现低密度）的患者、出现III级早期CT征象（整个豆状核区均出现低密度）的患者中，呈逐渐增加的趋势。

Up to this time, the major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size In this paper, an approach to large vocabulary, continuous Chinese sign language recognition is presented, which uses subwords instead of whole signs as the basic units Since the number of subwords is limited, HMM based training and recognition of the CSL signal become more tractable and have the potential to recognize enlarged vocabularies Furthermore, the proposed method facilitates the CSL recognition when finger alphabet is blended with gestures About 2400 subwords are defined for CSL One HMM is built for each subword, and then the signs are encoded based on these subwords A decoder that uses tree structured network is presented Clustering of the Gaussians on the state, language model and N best is used to improve the performance of the system Experiments on a 5119 sign vocabulary are carried out, and the correct rate is over 90% for continuous sign recognition

迄今为止，手语识别面临的最大问题是如何解决词汇集易扩充的连续识别提出一种大词汇量连续中国手语识别方法，将词根作为识别基元，由于基元的数目是有限的，因此基于HMM的手语信号的训练和识别变得比较容易处理，可以实现更大词汇量的识别除此之外，所提方法还有利于实现手势语和手指语的混合识别从中国手语中共整理出2 4 0 0多个词根，为每个词根建一个并行的HMM模型，对各数据流的HMM模型进行聚类，确定出手语识别的基元根据这些基元对手势词编码，并建立了树状搜索网格，使用状态结点上高斯密度函数聚类、语言模型和N Best方法提高系统的速度和精度对 5 119个手语词做了实验，连续语句的识别率可在 90 %以上

Multi-slice target CT can distinctly display the shape of the edge and interior of the SPN,such as "sign of lobulation","rabbit-ear sign","vacuole sign","node-accumulating sign",which are useful to diagnose the lung cancer.

CT增强扫描病灶强化程度二者无显著区别，只能作为诊断参考，不能作为定性依据；CT薄层靶扫描能清晰反映病变边缘、内部结构，如分叶征、胸膜凹陷征、空泡征、小结节堆积征等，有助于肺癌的诊断。

WFD would like to thank very warmly all people and especially Deaf government, NGO and WFD delegates who have supported our work to include recognition of sign language, Deaf culture and linguistic and cultural identity, education in sign language, sign language interpreting and acceptance and facilitation the use of sign language into the draft Convention text.

世界聋人联合会要感谢所有的人非常热烈，尤其是聋人政府，非政府组织和世界聋人联合会代表谁支持我们的工作包括承认手语，聋人文化和语言和文化特征，教育，手语，手语翻译和接受和便利化使用手语纳入公约草案案文。

At first, the paper quote a kind of special matrix ---sign symmetric matrix , anti sign symmetric matrix , weakly sign symmetric matrix and introduced some important results in spectral property about them from some bibliographies. And then, the paper extended the formerly results and gave more general conclusions about spectral property of sign symmetric matrix.

本文首先引入了一类特殊矩阵的概念——符号对称矩阵，反符号对称矩阵以及弱符号对称矩阵，在相关文献中对这类矩阵谱特征的已经有了一些结论，本文在前人研究的基础上将相关结论做了进一步的推广，得出了有关这类符号对称矩阵谱特征的更一般性的结论。

Results (1)Findings characteristics:small vacuole sign,pleural retraction sign and obstructive pneamonia only oppeared in peripheral lung cancer,thin-walled cavity less than 3 cm in diameter should be seen peculiar sign of it,thick-walled inregular cavity could be found in inflammatory pseudotumor and tuberculoma,spiculate protuberance showed mostly in peripheral lung cancer,but appeared in inflammatory lesion too,air bronchogram,pleural tail sign and long spiculation appeared mostly in inflammatory pseudotumor,calcification,pleurae thckening appeared mostly in tuberculoma.

结果（1）征象特点：小泡征、胸膜凹陷征、阻塞性肺炎仅见于周围型肺癌；小于3cm薄壁空洞为周围型肺癌的少见征象之一；炎性假瘤、结核球可出现不规则厚壁偏心空洞；棘状突起除周围型肺癌多见外，炎性病变亦可出现；支气管充气征、长毛刺、胸膜尾征炎性假瘤出现率高；钙化、胸膜肥厚结核球多见。

The common radiologic findings of pneumoperitoneum included free air below diaphragm,football sign(13 cases),falciform sign(12 cases),Rigler sign(10 cases)in AP supine and black triangle sign in lateral beam projection(3 cases).

气腹的X线表现除常见的膈下游离气体外，在卧位或水平侧位X线照片中还可见足球征13例，镰状韧带征12例，铅笔征或Rigler征10例，&黑三角&征3例。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。