进一步我们也给出判别一个常微系统是连续遍历系统的充分条件。
Furthermore, we obtain a sufficient condition by which we can distinguish if an ordinary differntial system is a continuous ergodic system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
此命令将遍历某个给定的管理值的整个子树,并返回在该子树中获得的有关系统的所有信息。
This command will walk the entire subtree of a given management value and return all the information about the system contained within the subtree.
在这个步骤中,您将遍历源文件系统树。
In this step, you will traverse the source file system tree.
所以,在程序开始遍历这些文件的时候,假设为了确定目录的总大小,就必须逐一重新查询文件系统。
So when the program starts to loop through the files, perhaps to determine the directories overall size, it has to requery the file system one by one.
对于面向对象系统来说,必须遍历对象集合并在集合中的每个元素上执行某个操作,是非常普通的使用情况。
It's a common use case for an object-oriented system to have to traverse a collection of objects and perform some action against each element in the collection.
假设一个不同的场景,系统要遍历相同的集合,但是要执行不同的操作。
Given a different scenario, the system would traverse the same collection but perform a different action.
我们可以编写一个递归函数来遍历这些依赖性,它可以查找某个插件的最新版本(针对在相同的系统中有重复插件的情况)以及它的所有依赖性。
Walk through these dependencies by writing a recursive function that can find the latest version of a plug-in (in case duplicate plug-ins are in the same system) and all its dependencies.
这个程序递归地遍历usb系统上的所有usbhub并找出连接到主机计算机上的所有usb设备。
The program recursively traverses through all the USB hubs on the USB system and locates all the USB devices connected to the host computer.
由于Neo4j是个数据库,因此对图形结构的访问——读、写及遍历都是通过ACID事务系统进行管理的。
Since Neo4j is a database, each access to the graph structure - read, write, and traversal - are managed by an ACID transaction system.
该系统包括5种内建的焦点遍历策略,其中后3种策略是特定于Swing的。
The system includes five built-in focus traversal policies, the latter three of which are specific to swing.
在系统循环遍历每个连接时,其他连接不得不等待。
The other connections have to wait while you iterate through each one.
这种情形的一个常见的例子是,运行您的程序的管理员、系统程序或者有特权的服务器正在遍历的是由普通用户控制的文件系统部分。
A common example of this is an administrator, system program, or privileged server running your program while walking through parts of the file system controlled by ordinary users.
如果您的程序需要遍历文件系统(递归地遍历子目录),那么要提防攻击者可能会利用您正在遍历的目录结构。
If your program walks the file system, recursively iterating through subdirectories, be careful if an attacker could ever manipulate the directory structure you're walking.
是不是目标元素,我们有一种系统化的,遍历数组的方法,然后我经常看到,有些人调试的时候。
You find some way of systematically going through the list. Yet, I often see people, when they're debugging, proceeding at what, to me, looks almost like a random fashion of looking for the bug.
要遍历到tunes所指向的文件系统层次结构,您必须使用-follow。
To traverse into the hierarchy that tunes points to, you must use -follow.
国际数学联盟在颁奖辞中称Lindenstrauss在遍历理论方面取得了意义深远的进展,遍历理论是用于研究动力系统统计行为的数学分支。
Lindenstrauss, the ICM citation says, "has made far-reaching advances in ergodic theory," which studies the statistical behavior of dynamical systems.
本文给出紧致系统上弱遍历自同胚的特征值与特征函数的结构性态。
In this paper we give the properties and structure of eigenfunctions and eigenvalues of the weakly ergodic homeomorphism on compact system.
提出一种能灵活响应配电网络拓扑结构变化的复杂辐射状配电系统可靠性评估的故障遍历算法。
A new reliability evaluation algorithm for complex radial distribution system is proposed to respond to the changes of distribution network topologies.
本文提出了一种维护WAP网站的网络爬虫系统,该系统可以自动遍历WAP网站,并对网页进行分析,检查语法和语义的错误。
This paper provides a Maintaining WAP Site Crawler system. This system can automatically traverse the WAP site, parse every page in the site and check syntax and semantic faults.
弱遍历是在紧致系统上的一种新的遍历概念。
Weakly ergodic is a new ergodic conception on compact system.
今天的动力系统大致可分为微分动力系统、拓扑动力系统、无穷维动力系统、复动力系统、遍历论等方向。
Roughly speaking, dynamical systems consist of differential dynamical system, topological dynamical system, infinite dimensional dynamical system, complex dynamical system and ergodic theory etc.
港口系统排队模型由两个排队子系统构成。本文对单个泊位(服务台)的情形讨论了它的嵌入马氏链,给出了系统遍历的充分必要条件。
This paper examines port queuing system with single berth. For its imbedded Markov chain, the author gives a necessary and sufficient condition under which the system is ergodic.
研究了分布式天线系统中断概率和中断容量和基于遍历容量的天线选择问题,给出了仿真结果和进行了相应的分析。
Capacity-related issues such as outage probability, outage capacity and antennas selection based ergodic capacity for DAS are studied and simulation results are presents and analyzed.
目录遍历是另一种注入类型的攻击,攻击者欺骗文件系统读或写服务器不允许操作的文件。
Directory traversal is another injection-style attack, wherein a malicious user tricks filesystem code into reading and/or writing files that the Web server shouldn't have access to.
我们系统可以在很大的能量范围内都是遍历状态的方案。
现有空中交通管制(atc)地理信息系统(GIS)重绘时遍历整个地图模型来绘制所有图元,影响了地图显示的速度。
The present Air Traffic Control (ATC) Geographical Information System (GIS) is very slow in displaying the map due to traversing the whole model to draw all units.
修改后的方案比传统的方案性能好,搜索次数少,无须遍历所有的值,但系统较为复杂。
Compared with traditional method, the method was better, number was less in searching, not all the values needed been traversed, but the system was more complex.
修改后的方案比传统的方案性能好,搜索次数少,无须遍历所有的值,但系统较为复杂。
Compared with traditional method, the method was better, number was less in searching, not all the values needed been traversed, but the system was more complex.
应用推荐