In this thesis, schematic summary about formal method is presented.
在本文中,我们首先对形式化方法作了一个概要的介绍。
参考来源 - 面向实时系统的实时区域时态逻辑:RRTL·2,447,543篇论文数据,部分数据来源于NoteExpress
同义词: ball
"pay one's formal respects"; "formal dress"; "a formal ball"; "the requirement was only formal and often ignored"; "a formal education"
"formal duties"
"the paper was written in formal English"
同义词: conventional schematic
"formal proof"
以上来源于: WordNet
ADJ Formal speech or behaviour is very correct and serious rather than relaxed and friendly, and is used especially in official situations. 正式的 (演讲、行为)
He wrote a very formal letter of apology to Douglas.
他写了一封非常正式的道歉信给道格拉斯。
formally ADV 正式地 [ADV with v]
He took her back to Vincent Square in a taxi, saying goodnight formally on the doorstep.
他打出租车将她送回文森特广场,在门阶上客气地道了晚安。
ADJ A formal action, statement, or request is an official one. 官方的; 正式的 (行为、陈述、要求等) [ADJ n]
UN officials said a formal request was passed to American authorities.
联合国官员们称一份正式的要求已转给了美国当局。
No formal announcement had been made.
尚无官方声明。
formally ADV 官方地; 正式地 [ADV with v]
Diplomats haven't formally agreed to Anderson's plan.
外交官们还没有正式同意安德森的计划。
ADJ Formal occasions are special occasions at which people wear elegant clothes and behave according to a set of accepted rules. 正式的 (场合)
One evening the company arranged a formal dinner after the play.
一天晚上该公司在演出后安排了一场正式的晚宴。
N-COUNT Formal is also a noun. 正式的社交活动
...a wide array of events, including school formals and speech nights, weddings, and balls.
…一系列丰富多样的活动,包括学校舞会、演讲之夜、婚礼和大型舞会等。
ADJ Formal clothes are very elegant clothes that are suitable for formal occasions. 适合正式场合的 (服装) [ADJ n]
They wore ordinary ties instead of the more formal high collar and cravat.
他们打着普通的领带而不是更为正式的高领领结。
formally ADV 正式地
It was really too warm for her to dress so formally.
她穿得这么正式真的太热了。
ADJ Formal education or training is given officially, usually in a school, college, or university. 正规的 (教育、培训等) [ADJ n]
Wendy didn't have any formal dance training.
温迪没受过任何正规的舞蹈训练。
formally ADV 正规地 [ADV -ed]
Usually only formally-trained artists from established schools are chosen.
通常只有在知名学校受过正规训练的艺术家才能被选中。
→ see also formality
词组短语
应用推荐