查询词典 computer-based

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

In the computer simulation aspect, following work has been down:At first, the Wolfgang Schreiner's model is employed and extended to a new computer arteriole optimal growing model. Many new algorithms are described, such as signal tracing, resistance calculating, resistance balancing and flow balancing. With these algorithms and methods, the arteriole networks can be grown successfully on microcomputer.Secondly, a growing-network ordering method, which is called auto-centripetal ordering method of the growing networks, can be employed to order the growing networks to calculate the average parameters of the networks in level series.

在计算机模型及仿真方面：首先本文改进、推广了WolfgangSchreiner模型，提出小动脉计算机优化生长模型，以及信号灯追踪、计算网络阻力、阻力平衡和流量平衡新算法，利用这种模型和算法成功地在微机上生长出了小动脉网络；第二，本文提出生长网络自动向心分级法，对生长网络进行了自动分级，并将网络参数的分级统计结果与A。

Computer sci not connected to a computer network.

不与计算机网络连接的。

And can be cut, and a variety of materials, precision cutting demanding the ability to use pulse laser cutting die computer printer and the computer automatically scimitar machine, can be used in cutting die plus scimitar machine cutlasses, fast, and accurate.

并可切割多种材料，而且，对精度要求较高的切割，还可采用脉冲切割将激光模切版的电脑绘图机与电脑自动弯刀机连在一起，可在切割模切版的同时，用弯刀机弯刀，又快捷，又准确。

Because of the development of micro-computer chip , insulin-conditioning replaced by mechanical computer-controlled screw propeller chip device, will enable the regulation of insulin infusion rate of increase is more accurate, because the concentration of regular insulin have been enhanced to 100U/ml, so that micro-insulin pump in the practical application of more extensive .

由于微型电脑芯片的发展，胰岛素调节装置由机械式改为电脑芯片控制的螺旋推进装置，可使胰岛素输注增幅调节更加精确，由于正规胰岛素浓度已提高到100U/ml，使胰岛素泵的微型化在实际应用中更加广泛。

Gram of handkerchief of · of general of benefit of humble of 48 years old of men of American Santiago city is self-given for " the most prolific writer on earthly history ", this is not his hyperbole boast, because he relies on 70 computer and 7 kinds of helps of computer program, up to now already " compose " gave 200 thousand books, a lot of his books are in Yamaxun has a sale on books website.

美国圣地亚哥市48岁男子菲利普·帕克自封为"地球历史上最多产的作家"，这并非他夸张吹牛，因为他靠70台电脑和7种电脑程序的帮助，至今已经"撰写"出了20万本书，他的许多书在亚马逊图书网站上都有销售。

This text bring forward domestic electric system of base on computer control, make full use of computer integrative performance, realization self-motion manage and brains control.

提出基于计算机控制的家电系统，充分利用计算机的综合性能将分散的家电组成一个系统，实现自动管理和自动调控，对方案规划与实施进行了探讨。

My husband, a self-proclaimed computer illiterate, purchased a computer to help him with his business.

我的丈夫自称对电脑一窍不通，他买了一台电脑来帮助他处理工作上的事务。

Embroidered computer Sequin mixed embroidered features, and more long-computer Hang Fengji.

电脑亮片绣混合绣功能，多头多针电脑绗缝机。

If this is the first time you've seen this stop error screen.restart your computer,ifthis sereen appears again,follow these steps check for viruses on you computer, remove any newly installed hard drives or hard drive controllers .

如果这个中止错误屏幕是你第首次见到。重启你的计算机，如果这个屏幕再次出现。请按以下步骤操作。在你的计算机上检查病毒。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。