形式化模型 meaning in English
formalized model
Examples
- Firstly , this dissertation discusses several essential theory issues of current information security technology . based on them , explicit authorization mechanism is put forward with accurate definition , formal model and demonstration of security properties . this part aims to describe this mechanism and its security in theory
首先,本文讨论了当前信息安全技术中存在的几个本质上的理论难题,在此基础上提出显式授权机制,并给出了该机制的准确定义、形式化模型和安全性质的证明,从理论上描述了该机制以及该机制的安全性。 - We also analyzed java virtual machine model and class file format and presented a formal model of java byte code obfuscation . we demonstrated some interesting properties of obfuscating transformation and proved that for java byte code it is possible to create a single - pass algorithm of obfuscation
论文还对java虚拟机模型与类文件格式进行了分析，建立了一个对java字节码进行代码混淆的形式化模型，揭示了混淆变换具有的一些特性，并证明对java字节码可以创建单轮的混淆算法。 - ( 2 ) based on the analysis of the composition and characteristics of battlefield combat system - of - systems , as well as the elements and characteristics required for entity modeling and system - of - systems modeling , the entity and system - of - systems modeling methods , as the framework of seb methodology , which support dynamic structure modeling of system - of - systems simulation , are studied
( 2 )分析战场对抗体系的组成和特点,总结实体建模和体系建模应该描述的要素和具备的性质。在此基础上,研究支持变结构的实体体系建模方法,建立严格的形式化模型描述和仿真算法描述,作为seb组合建模方法的基本框架,支持导弹体系对抗仿真中实体模型和体系模型的建立。 - Then a probability distribution of the states at the equilibrium corresponding a self - assembly model . all the possible can form a manifold called s , and the probability distribution of the states self - assembly system reached form a submanifold of 5 " , called a . so the difference of two self - assembly model is the division of two probability distribution at the manifold
这里，我们利用信息几何的知识给出了dna自装配的一个形式化模型，以分子两两构成的组合的个数为分量组成的向量表示自装配过程中的一个状态，那么，当每自装配系统达到平衡时，就有一个关于这些状态的一个概率分布，所有可能的概率分布形成了一个微分流形s 。 - By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。