検索結果- 英語 - 多言語
検索内容:
computational model
(software engineering) a computer model
view model
(software engineering) A framework that defines a coherent set of views to be used in the construction of an enterprise architecture, software architecture, or system architecture.
OSI model
(networking) A description of the standard functions of a communications system in terms of seven layers of abstraction (the OSI layers).
new-model
(transitive, now rare) To give a new form to; to remodel.
( present singular third-person )
( participle present )
( participle present )
( participle past )
( past )
( participle past )
( past )
polder model
A form of consensus decision-making characterised by cooperation despite significant differences among parties.
utility model
(intellectual property law) An intellectual property right in certain legal systems, to protect invention, very similar to the patent, but usually with shorter term and less stringent patentability requirements.
Kripke model
(logic) A Kripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic).
dispersive model
(genetics) A model of DNA replication in which two new DNA molecules are produced containing regions of either both original, or both new, strands.
conservative model
(genetics) A model of DNA replication that leaves intact the original DNA molecule.