形式化模型造句
例句与造句
- 建立了虚拟制造团队的形式化模型，并基于虚拟制造团队对系统组织结构进行了设计。
- 首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
- 以mascl为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。
- 接着，作者着眼于在客户订单分析中， olap如何支持形式化模型以及怎样通过形式化模型获得有用信息。
- 同时还对seak协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。
- 用形式化模型造句挺难的，這是一个万能造句的方法
- 同时还对sakc协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。
- 在提出了vsk - af逻辑并且建立了它与多agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。
- 摘要提出集束式整数线性规划形式化模型，利用指令间的功能依赖性解决专用指令集处理器中指令集自动定制的指数性空间问题。
- 首先,本文讨论了当前信息安全技术中存在的几个本质上的理论难题,在此基础上提出显式授权机制,并给出了该机制的准确定义、形式化模型和安全性质的证明,从理论上描述了该机制以及该机制的安全性。
- 论文还对java虚拟机模型与类文件格式进行了分析，建立了一个对java字节码进行代码混淆的形式化模型，揭示了混淆变换具有的一些特性，并证明对java字节码可以创建单轮的混淆算法。
- ( 2 )分析战场对抗体系的组成和特点,总结实体建模和体系建模应该描述的要素和具备的性质。在此基础上,研究支持变结构的实体体系建模方法,建立严格的形式化模型描述和仿真算法描述,作为seb组合建模方法的基本框架,支持导弹体系对抗仿真中实体模型和体系模型的建立。
- 这里，我们利用信息几何的知识给出了dna自装配的一个形式化模型，以分子两两构成的组合的个数为分量组成的向量表示自装配过程中的一个状态，那么，当每自装配系统达到平衡时，就有一个关于这些状态的一个概率分布，所有可能的概率分布形成了一个微分流形s 。
- 通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。
- 然后重点说明了文摘和自动文摘系统的基本概念体系,并针对目前几种主要的自动文摘系统形式化模型和方法:基于统计的机械文摘、基于理解的文摘、基于概念依存的文本结构分析方法和信息抽取的文本摘要等模型和方法进行了比较和分析,对它们的优点和缺点进行了讨论,归纳出各自的特点。
- 然后我们介绍了文摘和自动文摘系统的基本概念体系，并针对目前几种主要的自动文摘系统形式化模型和方法：基于统计的机械文摘、基于意义的理解文摘、基于概念的文本结构分析方法和基于知识的文本摘要等模型和方法进行了比较和分析，对它们的优点和缺点进行了讨论，归纳出各自的特点，进而在总结各种不同类型的自动文摘系统的特点的基础上，将基于统计的机械文摘、基于意义的理解文摘和基于概念的文本结构分析方法等三种研究方法相结合，提出了一种综合型的自动文摘系统的设想。
更多例句： 下一页