Finally , this paper puts forwards to have a comprehensive evaluation on the concrete examples such as g101 - g309 , shitai expressway , chengyu expressway etc basing on the gray forecast and has a conclusion that the comprehensive evaluation should be fitted for the traffic volume forecast on the high - type highway on the basis of the facts 并进一步列举典型实例如g102 … … g309 、石太高速、成渝高速等17条高等级公路,采用以灰色预测为基础,进行综合预测与实际交通量进行对比分析,提出我国高等级公路在路段交通量预测中应依据具体情况进行综合预测。
In the end , problems of multi - robot systems such as robot soccer system are investigated based on the studies of individual robot . a new ball passing strategy for robot soccer is proposed by introducing a new algorithm . questions of role switching among multi - intelligent agent cooperation in robot soccer are described based on enhanced petri - net ( epn ) . results of simulation have confirmed the feasibility and efficiency of above petri - net method 文中提出了一种新的传球策略,在原有传球算法的基础上引入了传球角度的概念;同时,考虑到机器人足球赛中队员间协作频繁,本文还提出一种相应的角色转换机制,并利用我们提出的增强式petri网( epn )对角色转换的典型实例进行了建模与仿真,仿真结果表明petri网方法处理该类问题的优越性,还反映出该转换机制的可行性和有效性。
It is an extension of core of manna and pnueli " s pltl . in succession , a formal axiom deductive system is presented . it ' s soundness based formal semantic defined in this thesis is proved . as an example , we specify grc ( generalized railroad crossing ) , which is a benchmark problem for real time systems , and verify it ' s safety and liveness 作为它的一次实际应用,我们用它对于实时系统中的一个典型实例: grc ( generalizedrailroadcrossing )进行了描述,给出了它的系统规约,在此基础上,演绎式的证明了系统的一个安全性和活性命题。
This article take hunan tiger forest & paper grope company limited by shares ( the abbreviation is tiger company ) as an example to study how to build learning organization with tiger company ’ s character . after studying abundant documentary composition and successful cases of other companies in and abroad , the writer has grasped the main point about how to building learning organization . by investigating , the writer has known about present situation about employee training and developing environment of tiger company 本文以湖南泰格林纸集团股份公司(以下简称泰格公司)为研究对象,通过研读大量的文献资料,采撷了学习型组织的基本理论要点和典型实例,找准了理论和实践两个层面上的参考依据;通过深入泰格公司调研,掌握了该公司的基本情况,剖析了该公司在学习力培养方面的成绩与不足,分析了该公司目前的发展环境,从而揭示了该公司构建学习型组织的急需性。
In this thesis , main research is described as following : 1 ) according to the principle of system science and resemble technology , we systematically discussed the basic theory of simulation technology . combining with several simple but typical examples , we put forward morphism principle and equal principle which based on morphism system and equivalent system and expounded the inherent meaning of simulation and emulation . some vocabulary related were clarified definitely and the interrelationship between simulation , experiment and analysis was expounded . the developing veins of the simulation technolo . gy were elaborately carded . the modern meaning of simulation technology was explained further 本文的工作主要包括以下几项内容: 1 )从系统科学和相似技术的角度出发,系统地总结及论述了仿真技术的基础理论;结合几个简单的典型实例,提出了以同型系统和等价系统为基础的同型原理和等价原理,并以此为基础阐明了模拟和仿真的内在含义;对与仿真相关的一些词汇作了明确的界定,阐明了仿真方法与试验方法、理论分析方法的相互关系;对仿真技术的发展脉络作了细致的梳理;对仿真技术的现代含义作了进一步的说明。
典型: typical case; typical exampl ...实例: living example; example; tur ...文物建筑典型实物: typical object of historical and cultural relics实例: living example; example; turnabout; case; undershoot 这样的实例举不胜举。 it would be an endless task to cite such living examples.; 实例教学法 case study method型实现: ii典型: 1.(在同类中最具有代表性的人或事) typical case; typical example; model; type; specimen 典型示范 demonstrate with typical examples; 完美的典型 a model of perfection; 树先进典型 set examples of advanced individuals; 他是个智勇双全的典型。 he gave an example of bravery and wisdom.2.(具有代表性的) typical; representative 典型的现代少女 the typical modern girl; 一个典型的中国城市 a representative chinese city; 这幅画是一幅典型的伦勃朗作品。 this painting is a typical rembrandt.3.(文艺作品中用艺术概括的手法创造出来的具有鲜明的个性特征, 又能反映一定社会本质的某些方面、表现人的阶级性的艺术形象) model personalities (即“典型人物”、“典型形象”、“典型性格”); 典型案件 typical case; 典型标本 type specimen; 典型成分 typical composition; 典型抽样 typical sampling; 典型调查 typical investigation; 典型工作性能 typical performance; 典型工作周期(计) representative circulating time; 典型化 typification; 典型级配 typical grading; 典型计算操作 representative calculating operation; 典型计算机 typical computer; 典型矩阵 [数学] canonical matrix; 典型控制 classical control; 典型例证 case history; 典型人物 typical character; 典型设计 typical [modular] design; 典型示范 demonstration by example; typical cases publicized as models; 典型事例 typical case; 典型试验 typical test; 典型数据 typical data; 典型问题 typical problem; 典型形象 typical image; 典型性格 typical character [personalities]初型实现: prototype implementation大型实验: large-scale experiment分型实验室: hla & hpa typing lab函数型实验: functional type experiment交叉型实验: cross-over experiment类型实参: type argument模型实现: prototype implementation模型实验: model experiment; model test轻型实证: mild case of excess syndrome事后型实验: expost facto experiment无类型实体: typeless entity小型实验厂: pilotplant因素型实验: factorial type experiment原型实验: prototype experiment比实例: r rate多实例: multiple instances和实例: instances类实例: class instance例,实例: instance