英语人>网络例句>ambients 相关的网络例句
ambients相关的网络例句

查询词典 ambients

与 ambients 相关的网络例句 [注:此内容来源于网络,仅供参考]

The schema can be exploited to investigate and validate the dynamic behavior and properties of the distributed and mobile systems specified in Mobile Safe Ambients.

该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性。

Central to everything, an almost obessive research into a natural weightlessness, of ambients that are both emotive and emotional, of materials sensitive and mutated by light.

中央的一切,几乎obessive研究自然失重的ambients既情绪和情感,敏感材料和诱变轻。

Many kinds of process calculi for mobility have been formulated, such as Mobile Ambients, Boxed Ambients, Mobile Safe Ambients, BioAmbients and so on.

主要工作如下:开发了Mobile Ambients演算和Boxed Ambients演算的基于环境和能力出现次数的抽象解释技术。

In order to remove the grave interference in the mobile ambients calculus, the author presents a Robust Ambients calculus which can restrict the coactions.

动态环境演算在资源受限情况下会出现强干扰问题,为了解决这个问题,论文提出了一种可以限定反动作对象的抗干扰鲁棒环境演算。

This page puts forward Boxed Safe Ambients with Password, which can solve the side effect from operation and strengthen the control ability of its own boundary in Mobile Ambients.

为了解决Mobile环境(Mobile Ambients,MA)中操作所带来的副作用和加强MA中环境对其自身边界的控制能力,本文提出了带口令的Boxed安全环境(Boxed Safe Ambients with Password,BSAP)。

When the grave interference has been resolved in the mobile ambients calculus by the coactions, the insecurity factors in ambients calculus have been effectively removed through using the parameters of the coactions.

在依靠反动作解决动态环境演算中强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了动态环境演算中存在的不安全因素。

Because of the large number of the ambients, we aimed to electronic product ambients. In the pretest, we picked some ambients which could represent the logic of the figurative expressions and with three metaphor types to be the protest samples.

由於此种广告数量庞大,在此,本研究以宣传主题为电子产品的环境媒体广告作为对象,首先透过前测,挑选出可适当表示比喻逻辑修辞,且具备三种譬喻类型的广告,作为正式实验样本。

Otherwise, the control flow estimate makes no difference among processes which are congruent under α conversion by labeling restricted names and variables with stable names in the syntax of Mobile Safe Ambients.

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变。

Compared to MA, BSAP has the following advantages: cancels the open operation of MA and adds the traffic operation primitive between ambients and their sub- ambients; adds operation and adds password to operation; adds the operation primitive of ambient reclamation.

相对于MA,BSAP做了如下几点改进:1、取消了MA中的操作,增加了父子环境间的通信操作原语;2、增加了操作,并在操作中加入了密码;3、增加了环境回收操作原语。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&,以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景,从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术,内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等,研究工作取得了如下创新性成果: 1、提出了跨平台、跨网络的动态环境演算。

第1/3页 1 2 3 > 尾页
推荐网络例句

The difference between him and the others forced me to be less partial.

也这是因为这种区别,让我在他和其他孩子之间没有偏爱任何人。

I decided to be frank in rejecting the proposal.

他说,他准备直率地拒绝接受这个建议

One downside: the iPhone doesn't have a built-in slot for a stylus.

不过,还有一个问题:iPhone没有内置的手写笔槽。