...用自然语言自由随意地表达； 结构非形式化的（structured—informal）用受限定的结构式自然语言表达： 半形式化的（semi-formal）用人工定义的形式语言表达； 严格形式化的（rigorouslyformal）用属性的形式语义、定理和证明严格、 仔细地定义术语，并使之具有...
基于12个网页-相关网页
通过隐式化的例子，验证了本文算法的准确性和有效性。
Finally, some examples are given which prove the effectiveness and accuracy of this method.
文中提出了一种在随机荷载作用下结构可靠性约束显式化的优化设计方法。
An approach to structural optimal design by displaying the reliability constraints is pro - posed.
我们希望它返回一个整数，以表示从公元纪年到现在的秒数，但实际上得到的是按照ISO 8601格式化的字符串。
We might like it to be returned as an integer representing seconds since the Epoch, but in fact we are given a string formatted according to ISO 8601.
应用推荐