词汇 | formalize |
释义 | formalize verb[ T ] (UK usuallyformalise)uk /ˈfɔː.mə.laɪz/ us /ˈfɔːr.mə.laɪz/ to make something official or decide to arrange it according to a fixed structure: 使成为正式;使有固定体系;使定形 These informal gatherings have become increasingly formalized in the last few years.这些聚会起初很随意,但是在过去几年里变得越来越正式。 They offered me the job, but the contract has not been formalized yet.他们把工作给了我,但是还没有正式签合同。 Accepting & agreeing accepting accommodation accreditation agree to something agree with something assent compact conclusion countenance currency formal pre-approved presumed consent ratification re-establish regrant root signatory unquestioning without a murmuridiom formalize | American Dictionaryformalize verb[ T ] us/ˈfɔr·məˌlɑɪz/ to make something official: The trade agreement was formalized with Congress’s approval of the bill. formalize | Business Englishformalize verb[ T ] (UKalsoformalise)uk /ˈfɔːməlaɪz/us to arrange something according to a fixed structure: formalize a process/procedure/structure, etc.It is now widely acknowledged that with increasing size comes the need to formalize operations if a firm wishes to remain effective. Despite the apparent contradiction, casual working in this sector is a highly formalized system of working. to make something official: formalize an agreement/arrangement/offer Examples of formalizeformalize When such an arrangement becomes formalized, the practice of unit-based ethics begins. Let us first formalize the expansion of free variables. In this section we formalize type and instantiation definitions in terms of (extended) regular tree grammars. We have not attempted machine verification, but believe that the supporting concepts are formalized well enough that it would be feasible. A population hazard model formalizes this conceptualization by ascribing vertical displacement in the population hazard profile to variation in the predictors. These results formalize and clarify a set of contending intuitions about function that researchers have had. Most non-monotonic logics aim to formalize this phenomenon of 'default reasoning', but they do so in different ways. To formalize this transformation process, the two loop modifications needed are presented in figure 17. Conversational games are formalized as recursive transition networks. All semantics are formalized as big-step operational semantics. Again, we call on a necessity for regularities in design space to both formalize and make efficient notions of similaritybased recall. In this way, type theory can be formalized with a finite number of axioms. For the theory to be formalized, this delicate balanced condition has to be more clearly spelled out. Early workshops were focused mostly on identifying what contexts and ontologies are, and how they can be formalized and exploited. Recently, the use of type systems to formalize protocols has interested many researchers. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。