本文設(shè)計(jì)一種方法，步驟如下：</p><p>（1）利用*DO循環(huán)語句，先由*GET命令得到每一時(shí)間步結(jié)構(gòu)的最大響應(yīng)；</p><p>（2）通過*IF語句對(duì)各時(shí)間步下的最大響應(yīng)值進(jìn)行對(duì)比，從而得到全時(shí)程所有時(shí)間步中最大的響應(yīng)值及其所對(duì)應(yīng)的時(shí)間步。</p><p>算例：對(duì)于塑形較強(qiáng)的實(shí)體結(jié)構(gòu)，分析時(shí)通常采用von Mises stress進(jìn)行安全評(píng)估。

舊代碼: for (i = 0; i < 100; i++) { do_stuff(i); } 新代碼: for (i = 0; i < 100; ) { do_stuff(i); i++; do_stuff(i); i++; do_stuff(i); i++; do_stuff(i); i++; do_stuff(i); i++; do_stuff(i);

DO-178C中定義了以下幾個(gè)準(zhǔn)則： 語句覆蓋：設(shè)計(jì)若干測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每個(gè)可執(zhí)行語句至少執(zhí)行一次。語句覆蓋被認(rèn)為是相對(duì)較弱的準(zhǔn)則，因?yàn)樗辉u(píng)價(jià)一些控制結(jié)構(gòu)并且不檢測(cè)某種類型的邏輯錯(cuò)誤。

DO-178C中定義了以下幾個(gè)準(zhǔn)則： 語句覆蓋：設(shè)計(jì)若干測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每個(gè)可執(zhí)行語句至少執(zhí)行一次。語句覆蓋被認(rèn)為是相對(duì)較弱的準(zhǔn)則，因?yàn)樗辉u(píng)價(jià)一些控制結(jié)構(gòu)并且不檢測(cè)某種類型的邏輯錯(cuò)誤。

循環(huán)結(jié)構(gòu)之do-while循環(huán) C語言中的do-while循環(huán)，一般形式如下： do-while循環(huán)語句的語義是: 它先執(zhí)行循環(huán)中的執(zhí)行代碼塊，然后再判斷while中表達(dá)式是否為真，如果為真則繼續(xù)循環(huán)；如果為假，則終止循環(huán)。因此，do-while循環(huán)至少要執(zhí)行一次循環(huán)語句。 注意：mtianyan: 使用do-while結(jié)構(gòu)語句時(shí)，while括號(hào)后必須有分號(hào)。

實(shí)現(xiàn)分支選擇結(jié)構(gòu)主要由塊IF語句、ELSE語句、END IF語句以及ELSE IF語句組成的IF-THEN-ELSE結(jié)構(gòu)。 (3)循環(huán)結(jié)構(gòu) 循環(huán)結(jié)構(gòu)也稱重復(fù)處理結(jié)構(gòu)，即重復(fù)執(zhí)行某一功能塊，直到滿足（或不滿足）某一條件為止。實(shí)現(xiàn)循環(huán)結(jié)構(gòu)的FORTRAN90語句主要是DO語句、塊IF語句和邏輯IF語句的結(jié)合。 以上三種基本結(jié)構(gòu)，是組成結(jié)構(gòu)化程序的基本結(jié)構(gòu)形式。

本例中用循環(huán)語句與CP命令將兩個(gè)周期邊界上的節(jié)點(diǎn)自由度依次對(duì)應(yīng)耦合。 【關(guān)鍵命令流】 !!!!粘結(jié)接觸模型材料參數(shù) tb,czm,174,1,,cbde !定義到conta174單元上、且使用CBDE粘結(jié)模型 tbdata,1,61,0.075,68,0.6,5.e-4,1 !

斷言是指在適當(dāng)?shù)某绦螯c(diǎn)添加預(yù)測(cè)語句并保證程序運(yùn)行時(shí)刻預(yù)測(cè)語句一定成立。斷言機(jī)制的應(yīng)用為保障程序正確性與提高程序可維護(hù)性提供了重要手段。例如，程序設(shè)計(jì)語言Euclid為構(gòu)建可驗(yàn)證的系統(tǒng)程序而設(shè)計(jì)，其既允許將斷言以注釋的形式交給驗(yàn)證器進(jìn)行處理，也允許將斷言寫成布爾表達(dá)式交由編譯器進(jìn)行編譯，Euclid中的斷言成為驗(yàn)證程序的重要手段。

前端后端合并后，可一起通過DO-178B的工具鑒定。

? 支持各種開發(fā)環(huán)境 Tessy現(xiàn)在可以支持超過130種微控制器、編譯器和調(diào)試器的組合；Tessy能夠處理交叉編譯器生成的非標(biāo)準(zhǔn)C（ANSI-C）微控制器特定的代碼；一旦Tessy和不同的開發(fā)環(huán)境完成集成，就可以在實(shí)際芯片中運(yùn)行測(cè)試用例了。