验证的日文

• 形式的な厳密さを導入することで動作の正しさの検証の基礎とすることができる．
  导入形式的严密性可以作为验证动作正确性的基础。
• 実証実験によって得られたデータは次のような手順で解析を行い，検証を行った．
  实证实验所获得的数据按照下述顺序进行解析验证。
• 設計に基づくサービスゲートウェイの実証を目的にこれを専用筐体として実装した．
  将其作为专用机箱安装，以便实际验证服务网关。
• この方法を中国南西部の主要都市の水管理事例へ適用して実証した。
  在中国西南地区的主要都市的水管理实例中使用并验证了该方法。
• また実証試験で得た課題と対策を示し，今後の課題にも触れた。
  此外还提出了验证试验中发现的课题及对策，并且谈到了今后的课题。
• 以上の結果をふまえて局面表の有無による性能の違いを検証する．
  根据以上的结果，我们验证了根据局面表的有无而产生的性能差异。
• 以上より，　ＩＰｖ４ネットワーク上での計測で検証可能であると判断した．
  如上述，断定根据ＩＰｖ４网路上的测量能够进行验证。
• 図８に署名検証対象および暗号化対象をバッファに格納した例を示す．
  图８显示将署名验证对象以及加密对象收容到缓冲区内的例子。
• 本節では，人間同士の対話との比較を通して思い込み戦略の有効性を検証する
  本章节将通过与人们间对话的比较验证预设策略的有效性
• 入居前の換気による室内化学物質濃度抑制効果を検証した。
  验证了迁入新建房屋之前，通过通风换气对室内化学物质浓度的抑制效果。