查询词典 derive

Now that we are beginning to learn a little about the specific sociotechnical affordances of online social networks, is it possible to derive a normative design?

既然我们才开始得知一点点具体的社会技术给养的在线社交网络，那么，这可能得到一个规范的设计吗？

Now that we are beginning to learn a little about the specific sociotechnical affordances of online social networks, is it possible to derive a normative design?

既然我们开始了解了一点关于在线社会性网络的具体的技术社会性的作用功效，是否就可能据此形成某种规范的设计呢？

Now that we are beginning to learn a little about the specific sociotechnical affordances of online social networks, is it possible to derive a normative design?

既然我们开始了解到一点关于社会性网络的具体社会性技术的功效，是否可能据此形成某种规范的设计呢？

Now that we are beginning to learn a little about the specific sociotechnical affordances of online social networks, is it possible to derive a normative design?

了解了一些线上社交网络的社会技术性效用，是否就可以据此形成某种规范化的设计呢？

Now that we are beginning to learn a little about the specific sociotechnical affordances of online social networks, is it possible to derive a normative design?

既然我们开始了解到社会性技术对在线社会网络所提供的一点支持作用，是否可能据此形成某种设计范式？

Linear algebra was used to derive an analytical expression for its point unfalsified probability , for the necessary and sufficient condition of the model set being consistent with the frequency domain input-output data.

应用线性代数方法通过对模型集进行讨论，根据一个模型集与对象频域输入输出数据相一致的充要条件，建立了模型集点非伪概率的解析表达式。

But modern theologians again derive the virgin birth of Our Lord from unhistorical sources, though their theories do not agree.

但现代神学家再从中维尔京诞生，我们的主从文保消息人士透露，虽然他们的理论并不同意。

Based on the relationship, we propose a breadth-first-search algorithm to derive minimal unsatisfiable subformulae in SMT.

基于这种映射关系，采用宽度优先的搜索策略提出了宽度优先搜索的极小SMT不可满足子式求解算法。

In recent years, there are many different contributions to research on extraction of Boolean unsatisfiable subformulae, due to the increasing importance in numerous practical applications. The existing algorithms are introduced and compared according to their types. Then we present our recent research works to derive unsatisfiable subformulae.

针对近年来出现的许多求解布尔不可满足子式的研究工作，根据算法的类型归类比较，对各种求解方法进行了概述评论，并简要介绍了在该领域所做的一些研究工作。

An analytical model for performance evaluation of unslotted spread spectrum ad hoc networks is presented by introducing a queuing system and a Markov chain. The model is used to derive packet success probability and expressions for calculating throughput and delay.

通过引入排队系统和马尔可夫链建模方法，建立非时隙扩频ad hoc网络理论分析模型，导出了数据分组成功传输概率，得到了系统吞吐量和时延性能表达式。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。