共 41 条
[11]
The MultiGen Creator Desktop Tutor MultiGen INC; 1997,
[12]
Formal methods: state of the art and future E. Clarke;J. Wing; ACM Computing Surveys 1996,
[13]
Knowledge-based Aerial Image Understanding Systems and Expert Systems for Image Processing T.Matsuyma; IEEE Transactions on Geoscience and Remote Sensing 1987,
[14]
μsik - A Micro-Kernel for Parallel/ distributed Simulation Systems K. S. Perumalla; Proceedings of the Workshop on Principles of Advanced and Distributed Simualtion (PADS＇05) 2005,
[15]
Objected-Oriented simulation with hierarchical; Modular Models Zeigler B; Academic Press 1990,
[16]
Application of cumulants to array processing-Part Ⅲ: Blind beamforming for coherent signals E. Gonen;and J. Mendel; IEEE Trans.SP 1997,
[17]
Intellgent Energy Management Agent for a Parallel Hybrid Vehicle-Part II: Torque Distribution; Charge Sustenance Strategies; and Performance Results Reza Langari;Jong-Seob Won; IEEE Transaction on Vehicular Technology 2005,
[18]
The Bhopal gas tragedy: could it have happened in a developed country J.P. Gupta; Journal of Loss Prevention in the Process Industries 2000,
[19]
A rapid monotonically convergent iteration algorithm for quantum optimal control over the expectation value of a positive definite operator Wusheng Zhu;Herschel Rabitz; J Chem.Phys 1998,
[20]
Network Communications in Grid Computing: At a Crossroads Between Parallel and Distributed Worlds Denis Alexandra;Perez Christian;Priol Thierry; Proceedings of 18th International Parallel and Distributed Processing Symposium 2004,