查询词典 composable

Subprogram libraries are designed as sets of composable elements.

例1：子程序库，子程序库被设计成一组可组合的元素。

By summarizing theorical analysis and application, it is validated that the proposed approach of the extensible elementary linear graph made some achievements in multidisciplinary composable simulation. And then the modelling range was enlarged, and the simulating efficient was improved. So the effective method and tool were provided for simulating multidisciplinary system.

理论分析和应用研表明，本文提出的基于可扩展单元线性图模型的复合建模方法在多领域统一建模理论上取得了一些进展，扩展了应用范围，提高了建模效率，为复杂的多领域系统整体性能仿真提供了有效的建模方法和工具。

Graph theory is one of the unified modelling methods. Based on the traditional linear graph theory, the paper proposed the Extensible Elementary Linear Graph method, which could realize composable simulation for multidiscipline system, and perform inter-energy domain expression in a unified way.

图论方法是多领域统一建模方法之一，本文基于线性图建模方法，研究和发展了一种模块化的多领域建模方法——可扩展单元线性图复合仿真方法，以实现跨能量域的统一模型表达。

SEB composable modeling methodology is to decompose the complexity of modeling to the different hierarchy, then construct the whole system-of-system combat model by means of composition, which is able to direct the modeling for system-of-system combat simulation effectively.

SEB组合建模方法将体系对抗仿真建模的复杂性分解到各个层次的建模当中，再通过组合形成完整的战场对抗体系模型，可以有效指导体系对抗仿真的建模工作。

Keywords: distributed cryptography; provable security; composable security; threshold cryptography; secure multiparty computation

中文关键词：分布式密码；可证安全性；组合安全性；门限密码；安全多方计算

Based on a component model of application system in which three types of the basic components are discussed, this paper first focuses on the "semantic" interoperability among components, and presents a Primitive-Semantic component constructing method through a semantic model to deal with the semantic interoperability while the communication protocol among components doesn't exist. It then presents a composable Distributed Virtual Reality Component-Based Architecture, including its key mechanism and algorithms.

指出分布式虚拟现实系统中存在的3种基本构件；重点讨论构件的"语义"互操作问题，通过建立构件的语义模型，提出一种原语-语义构件的构件构造方法，该方法可以解决不存在通信协议情况下的构件之间"语义"互操作问题；给出一种支持可组装的分布式虚拟现实应用系统的基于构件的体系结构以及其中的核心机制和算法。

Modular design is a common approach for dealing with complex tasks in modern cryptology; in which the main problem is that the secure sub-protocols no longer remain their security in the hybrid protocol. Canetti presents universally composable security framework for designing secure hybrid protocol.

协议模块化设计是协议设计领域的重要研究方向，其中最大的困难是子协议的安全性并不能保证组合协议的安全性。

After deeply analyzing the universally composable security, we defined the level of different ideal functionalities for the same cryptographic task, and pointed out the rationality in defining the levels of ideal functionalities.

针对以上问题，在对任意组合安全理论进行深入分析后，本文给出了同一密码原语不同理想功能之间安全等级的定义，并说明了这种定义的合理性，从而刻画了同一密码原语的不同理想功能之间的关系。

The basic concept and characteristics of missile system-of systems combat simulation for effectiveness evaluation were summarized and the problems of simulation model specification were analyzed, then the hierarchical description and composition method based on system-of-systems, entity and behavior was proposed as the modeling methodology of system-of-systems combat simulation, which is SEB composable modeling methodology. Then, the reference model of SEB methodology and the modeling reference view of various hierarchies were discussed.

总结了面向效能评估的导弹体系对对仿真基本概念和特点，分析了体系对抗仿真模型描述中存在的主要问题，在此基础上，提出体系－实体－行为的分层组合描述方法，作为体系对抗仿真的建模方法，即SEB组合建模方法，并给出其参考模型和各个层次建模的参考视圈。

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。