1) Temporal Ada nets
时序Ada网
2) Ada net
Ada网
1.
The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题。
3) temporal Petri net
时序Petri网
1.
Application of temporal Petri nets in intelligent control;
时序Petri网在智能控制中的应用
2.
A method of optimizing the fault management system in power plants based on DD-RCM (result-chain based modeling for digital developing) and TPN (temporal Petri net) is proposed.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法。
3.
In order to optimize integration systems of management and control in power plant,study on model based on temporal Petri net is proposed.
为了优化火电厂管控信息系统,提出了基于时序Petri网的火电厂管控信息系统模型研究。
4) temporal Petri nets
时序Petri网
1.
Modeling and verification of interlocking logic based on temporal Petri nets;
基于时序Petri网的联锁逻辑形式建模与验证
2.
In the paper, we put forward a modeling and verification method based on temporal Petri nets.
本文基于时序Petri网,提出了相应的分析和验证方法。
5) elemental processor
时序网络
6) job-schedule network
工件时序网络
1.
By constructing a job-schedule network that can present job-time relationship,the FJSP is transformed to a network flow problem,and a 0-1 integer programming mathematical model is developed.
针对一般形式的固定工件排序问题(即可用机器数是有限的,存在机器与工件间匹配约束,以机器分配成本最小为优化目标),作者通过建立描述工件间时序关系的工件时序网络,将固定工件的排序问题转化为沿工件时序网络的网络流问题,并建立了0-1整数规划数学模型。
补充资料：城域网(见计算机网络)
城域网(见计算机网络)
metropolitan area network, MAN
ehengyuwQng城域网(metropolitan area netwo次，MAN)分布范围可覆盖几个街区到整个城市的计算机网络。见计算机网络。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条