Analysis and Verification of Local Properties of Ada Tasking Based on Net Language

基于网语言的 Ada 程序局部性质的分析和验证

However the design is general enough that the key concepts apply to USB peripherals implemented using a single tasking architecture .

尽管如此，其设计仍然是足够通用的。设计的关键概念 仍遵循USB外设单 任务 处理实施的架构。

The Realization of Multi - tasking Concurrence Technology in Single Chip Micro-controller System

单片机系统中多 任务并发机制的实现

Anti-pattern : Source files stay checked out of a repository for long periods of time due to the amount of changes required for tasking .

反模式：由于所需的修改 太多，源代码长时间签出存储库。

In this paper the properties of Ada tasking and the correlative state explosion problem are discussed by using the net language .

旨在研究利用网语言讨论 Ada程序性质和 由此而 引起的Ada网的状态爆炸问题。

The present study is to investigate the application of sample entropy ( SampEn ) measures to electrophysiological studies of single and dual tasking performance .

采用复杂性分析中的样品熵算法，计算并分析了受试者在单 任务事件以及双 任务事件活动过程中的神经电生理数据。

I 'm tasking Dixon to locate his whereabouts .

我已经 派狄克逊去查出他的藏身地点。

Tasking collection amongst witting or unwitting social groups could be an expedient way of finding out what 's going on in some field of concern .

在有意或无意的社会团体中收集情报可能是探究某些领域之究竟的便利方法。

The technology of modularity and real time multi - tasking control mechanism are used .

控制软件采用 分层模块化结构，便于采用 分时多 任务机制， 提高了控制效果。

Dynamic Graph Simulation for Robot Tasking

机器人 作业 过程的动态图形仿真

The essential of CPS is dealing with the information tasking which comes from the wireless network system . CPS can finally realize dynamic feedback and control between the physical world and information world after high-performance communication networks and large-scale circulation control .

CPS以信息 任务处理为核心，通过高性能通信网络和大规模循环控制，最终实现物理世界与信息世界的动态反馈和控制。

The old man lay tasking his rest after a life of bitter hardship the odd man out for the rest of my life .

这位老人 含辛茹苦一辈子， 现在长眠 于 地下了下 半辈子自己是一个与人格格不入的人。

ADA tasking deadlock dynamic monitor

Ada 任务死锁动态检测 工具

Documents are routed and tracked on a real time basis using email tasking and notifications .

文件按路径发送和对文件的追逐是实时的，使用电子邮件 任务 分配和通知。

Small shrubby spiny tree cultivated for its maroon-purple fruit with sweet purple pulp tasking like gooseberries ; Sri Lanka and India .

一种小而具刺的树，因其 褐紫红色果实而种植，果肉甜美，呈紫色，醋栗；生长在斯里兰卡和印度。

It is an efficient collaborative platform on the basis of computer network on which multi users can share their work . Tasking is the core of the system the process covers management execution and collaboration .

高效率的，有效性的多用户的协同平台，基于网络传输的项目管理信息系统以 任务为核心，关注管理、执行和协作。

This causes the inefficient exchange of information between the management of teaching materials and certain closely related components of educational administration such as selecting courses and student tuition fees etc. This in turn results repetitive tasking and redundancy of information .

这使得教材管理与教务中的选课、学生收费等密切相关的部分无法有效的交换信息，造成 工作 的 反复和数据冗余。

Path planning is a prerequisite for robot tasking .

路径规划问题是机器人 执行 其他 各种 复杂 任务的先决条件。

In this paper presented a discussion of the architecture of SM which adopted a hierarchical classification of two types of sensor management tasking using macro / micro architecture and discussed how the SM system worked in the macro and micro lev - el respectively .

文中讨论传感器管理系统结构，采用 宏/微层结构的等级分类传感器管理方法，并阐述传感器管理系统在宏微层上的工作原理。

With three separate CPUs and HP UNIX control system it is a hardware and software package which provides multi tasking multi user and the most powerful abilities of data acquisition and interpretation techniques .

采用三台分类处理的中心计算机，运用惠普UNIX操作系统，具有多 任务、多用户以及最强的数据采集能力和解释技术。

The reason that Message Queue Manager is so small is that many functions are already provided by the basic tasking / semaphore module .

消息队列管理之所以这么小是因为很多功能都已经在基本的 任务和信号量模块中实现了。

You need a joint air tasking order .

需要一次联合空中 任务。

Make life easier with smaller tasking

任务越小， 工作越轻松

The language properties of temporal Ada nets are analyzed . The net languages accepted by temporal Ada nets can describe clearly the total dynamic actions and temporal relationships of Ada tasking which is helpful to analyze and verify the properties of Ada tasking .

对时序Ada网的语言性质进行分析，结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。