验证

The"incomplete reasoning-verification"inference idea is used to form the synthetrical inference pattern with data-driven and object-driven. All of them increase the effectiveness of this algorithm greatly.

在推理策略上，运用了"不完全推理-验证"的推理思想，形成了数据驱动和目标驱动相统一的混合推理模式，从而大大提高了理解算法的效率。

Two gene fragments of DEN-1(GenBank accession number DQ886390)and DEN-2(GenBank accession number DQ886391),differentially expressed between the ocular skin tissues of normal and albino turbot,were isolated by mRNA differential display and sequenced.It was confirmed by RT-PCR method that the expression levels of both DEN-1 and DEN-2 were down-regulated in the ocular skin tissue of albino turbot.The sequence homology search of DEN-1 revealed high sequence homologies with the UGGT genes of zebrafish and cattle,and the Ugcgl1 gene of Norway rat.High sequence homologies of DEN-2 were observed with the eya4 gene(the eye absent homolog 4)from red jungle fowl,zebrafish,human,Norway rat,mouse and dog.

应用mRNA差异显示技术，对比研究正常与白化大菱鲆有眼侧皮肤组织，克隆差异表达基因，经测序，RT-PCR 验证，差异表达基因片段DEN-1(GenBank登录号：DQ886390)与DEN-2(GenBank登录号：DQ886391)均在白化大菱鲆有眼侧皮肤组织中下调表达；通过BLAST检索发现，DEN-1与GenBank中的斑马鱼和牛的类似尿苷二磷酸-葡萄糖：糖蛋白葡糖基转移酶基因、与挪威鼠类似尿苷二磷酸-葡萄糖：神经酰氨葡糖基转移酶1(Ugcgl1)基因有较高同源性；DEN-2 与原鸡、斑马鱼、人、挪威鼠、家鼠和狗的眼缺乏同源框4(eya4)基因的同源性均较高。

Assessment of grading of beef marbling was performed with backpropagation neural network, and the mean accuracy was 94.74, which meet the practical accurate requirement of computer vision system.

利用BP神经网络对大理石花纹的等级进行建模、验证，准确率达到了94.74％，满足牛胴体分级信息自动采集系统的准确性要求。

The paper further realizes a hardware accelerate boundary-scan controller to improve the performance of the remote experiment system. The controller can realize the process of "configuration" and "verify"automatically without the control of CPU. The controllers operation in the remote experiment system can reach the expected goal. By performance analysis, we conclude that hardware accelerate boundary-scan controller is significant faster than that realized with software.

从提升远程实验系统性能出发，本文进一步设计实现了一个硬件加速的边界扫描控制器，该控制器能够完成对目标FPGA的"配置"和"验证"，执行过程中不需要CPU干预，在整个远程实验系统联合调试的过程中，运行完全正常，达到了预期目标，并且通过性能分析证明，硬件加速的边界扫描控制器相比于软件实现，速度有显著提升。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Manage software to test, validate, store and share in an easily retrievable fashion

通过容易获取的方式，达成软件的检测，验证，存储和共享

Namely,a manipulable approach to select appropriate state variable weights vector in de...

最后，通过一个实例对该方法的应用进行了分析、验证。

To enhance security in Ad-Hoc networks,it is important to evaluate the trustworthiness of other nodes without centralized authorities.In this work,authors focus on the evaluation of trust evidence in Ad Hoc networks.First,the authors introduce the metrics of the trust,the evaluation process is modeled as a path problem on a directed graph,where nodes represent entities,and edges represent trust relations.Using the theory of semirings,a trust evaluation model based on semiring（TD-SEMIRING） is developed,then two nodes can establish an indirect trust relation without previous direct interaction and introduce the application of this model in route election.At last,the feasibility of this model is analyzed.

讨论了对可信事件的评估：首先介绍了可信的相关概念和相关的特性；接着评估过程被建模成一个在有向图寻找最短路径的问题，在该有向图中结点表示实体或者用户，边表示可信关系，通过使用半环理论，建立了一个基于半环的可信性评估模型TD-SEMIRING，在两个以前没有进行相互操作的实体之间建立间接的可信关系，介绍了这个模型在路由选择当中的应用；最后，通过仿真实验，验证、分析了该模型的有效性。

The emphasis will not be on elaborate data gathering, but rather on relating different sources of information, hypothesizing, testing and articulating the findings to possible recommendations.

不会强调缜密的资料搜集，而着重在连结不同的资料来源、进行假设、验证、清楚串连发现的线索进而导出可能的结果。

The quality management of develop process includes software developing, judging, validating "three base" management, finalizing design and pigeonholing.

研制过程的质量监督包括软件开发、评审、验证&三库&管理、设计定型及归档等监督。

You have to walk your own alk in this life.

次生中你必须走自己的路。

To start with, the thesis analyses ***ism in terms of the generic masculine words, word order and semantic derogation of women in greater detail.

论文首先从阳性词泛指，词序，词义的贬降等方面对英语中的性别歧视现象进行了详细的分析。