查询词典 named

Even if we did somehow add an integer dependency property named Divisor to IsMultipleOfValidationRule it would not help.

即使我们是某种依赖增加一个整数属性命名除数为IsMultipleOfValidationRule也没有多大帮助。

It was a maverick Jedi Master named Djinn Altis who ultimately discovered her and brought her into the larger galaxy.

一位特立独行的绝地大师，迪金·阿尔提斯发现了她并将她带入了广阔的银河。

Along with these smaller combat powers, the Prince is gifted with new magic courtesy of a Djinn named Razia.

在这些小的战斗技能中，王子受到了一个名叫Razia的精灵的恩赐，掌握了魔力。

One day a boy named Tim says, I try to do a good deed every day.

有一天，一个叫 Tim 的男孩说：我每天要做一件好事。

Gathering coconuts was a problem cause of a dangerous man-eating shark named Doby Dick.

收集椰子是一个问题，因为有一只叫做杜比迪克的危险的吃人鲨鱼。

Someone ever told me that girls cherished a deep love for cats not only for their docility and fame for cleanness,but also a cartoon named Jiafei Cat!

记得以前就听别人提起过，有些女孩喜欢猫不仅仅是因为猫的温顺乖巧和爱洁净的个性，也因为一部叫加非猫的动画片。

The book is about a boy named Little Willy who enters a dog sled race in order to win $500 to pay the back taxes on his grandfather's farm.

该书讲述了一个叫小威利的男孩的故事：为了赢得500美元来缴纳爷爷农场欠缴的税款，他参加了一场狗拉雪橇比赛。

In the 19th century, Lord Byron named a Venetian limestone bridge across the Rio di Palazzo connecting the Doge's prison to the interrogation room in the main palace, the Bridge of Sighs.

世纪，拜伦勋爵将约迪宫殿里一座连接都卡雷宫与审讯室的威尼斯石灰桥命名为叹息桥。

Andrew and his friend, a young sperm whale named Scar, swim together off the west coast of Dominica.

安德鲁和他的朋友，一条叫斯加的抹香鲸，一起在多米尼加的西海岸附近游泳。

To solve the problem of domino effect and livelock during the checkpoint and error recovery procedure and to decrease the cost of the runtime, a distributed algorithm (named rollback\|recovery algorithm) to create consistent checkpoints based on the checkpointing dependency graph and the property table is proposed in this paper.

为了解决检测点设置过程中的 Dom ino效应问题及卷回恢复过程中的活锁问题，并最大限度地减小时间开销，提出了基于检测点设置依赖图和属性表的卷回恢复算法。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。