チャート造句
例句与造句
- 図２のフラットなステートチャートを状態遷移システムに形式化する．
将图２的平面性能说明使用状态转变系统进行形式化。 - 近似したステートチャートの検証には，我々が提案する形式的体系を用いる．
对于近似状态图的验证，我们提议用形式体系。 - ４）入出力関係を視覚的に確認できるタイムチャート表示，など。
（４）能够在视觉上确认输出入关系的时间一览表表示等。 - 提案手法に関係する信号のタイミングチャートの一例を図４に示す．
图４表示与提案方法有关的信号的时机图表的一个例子。 - 次に，ステートチャートの状態遷移システムによる形式化を説明する．
接下来，通过性能说明的状态转变系统说明了形式化。 - It's difficult to find チャート in a sentence. 用チャート造句挺难的
- このステートチャートに対するＴＳＥは，＠ｅｑｕａｔｉｏｎ＿０＠である．
对于这个状态图的ＴＳＥ是＜＜＠ｅｑｕａｔｉｏｎ＿０＠＞＞。 - 前者は遷移条件であり，ステートチャートのイベントとガード条件に相当するものである．
前者为迁移条件，相当于状态图的项目和警戒条件。 - 本稿で述べる句アライメントは，構文解析器としてチャートパーザを用いている
本论文所述语句定位，作为句法分析器使用的是图标分析程序。 - 図１はＭＡＣプロトコルにおいてＥＷＬＮビットを設定するフローチャートを示す．
图１表示的是在ＭＡＣ处理中设定ＥＷＬＮ比特的流程图。 - たとえば，図４では，状態Ｓ２には決して到達することはないステートチャートである．
例如，在图４中，状态Ｓ２是绝对无法达到的状态图。 - 本章で提案した近似手法を，図２のステートチャートのモデルに適用する．
图２的状态图模型适用于本章提议的近似手法。 - 図６にＭａｎａｇｅｒのＱ―ＣＮＰ処理のフローチャートを示す．
图６显示了Ｍａｎａｇｅｒ的Ｑ―ＣＮＰ处理的流程图。 - そして，近似されたステートチャートに対して，３章で示した検証手法を適用する．
并且，对于被近似的状态图，适用第３章中举出的验证手法。 - 次に，詳細化の検証の公理系を開発して，時間ステートチャートの詳細化を検証した．
然后，开发具体化验证公理，验证了时间状态图的具体化。 - 一般のステートチャートからフラットなステートチャートを生成した例を図２に示す．
从一般的性能说明生成平面的性能说明的例子如图２所示。
