ijece-140502292014050229203056CMV Verlagkhoffmann@cmv-verlag.comCMV VerlagNashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iranijece16823745621200312S.Vaez-Zadeh - Personal pageA.Payman6212003556110.66224/ijece.27817.1.2.55http://ijece.org/fa/Article/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817http://ijece.org/fa/Article/Download/27817[1] T. H. Liu, H. Ch. Wu, and M. T. Lin, "A single-phase induction motor drive with efficiency and torque improvement," in Proc. of IEEE ISIE'97, vol. 2, pp. 637-642, 1997. [2] F. S. Neves, et al.," Single-phase induction motor drives with direct torque control," in Proc. of IEEE IECON'02, pp. 241-246, Spain, 5-8 Nov. , 2002. [3] T. A. Lettenmaier, D. W. Novotny, and T. A. Lipo, "Single-phase induction motor with an electronically controlled capacitor," IEEE Trans. on Ind. Appl., vol. 27, no.1, pp. 38-43, Jan. /Feb. 1991. [4] E. Muljadi, Y. Zhao, T. H. Liu, and T. A. Lipo, "Adjustable AC capacitor for a single-phase induction motor," IEEE Trans. on Ind. Appl., vol. 29, no. 3, pp. 479-485, May/Jun. 1993. [5] T. H. Liu, "A maximum torque control with a controlled capacitor for a single-phase induction motor," IEEE Trans. on Ind. Electron., vol. 42, no. 1, pp. 17-24, Feb. 1995. [6] J. F. M. de Almeida, L. R. Valdenebro, and E. Bim, " Fuzzy logic based maximum torque control for a single-phase induction motor," in Proc. of IEEE IECON'99, vol. 2, pp. 619-624, 1999. [7] H. Langari and S. Vaez-Zadeh, "DSP based optimal torque control of single-phase induction motors," in Proc. of IEEE Power Electronics Specialists Conference, PESC'2001, pp. 850-855, Canada, 2001. [8] S. J. Chapman, Electric Machinary Fundamentals, NewYork: McGraw Hill, 1985. [9] S. Vaez-Zadeh, H. Langari, "High average-low pulsating torque operation of single-phase induction motors," in Proc. IEEE IAS'2000, pp. 1513-1518, Italy, Oct. 2000. [10 ] ص. واعظ زاده و ح. لنگری "کنترل خازن متغیر در موتور القایی تکفاز به منظور تأمین گشتاور زیاد با ضربان کم"، نشریه دانشکده فنی دانشگاه تهران، جلد 34 ، شماره 2، صفحات 32-23، شهریور 1379. [11] T. A. Walls and S. D. Sudhoff, "Analysis of a single-phase induction machine with a shifted auxiliary winding," IEEE Trans. on Energy Con., vol. 11, no. 4, pp. 681-686, Dec. 1996. [12] P. C. Krause, Analysis of Electric Machinery, NewYork: McGraw Hill, 1987.M. B. B. SharifiaJ.Faiz6212003626810.66224/ijece.27818.1.2.62http://ijece.org/fa/Article/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818http://ijece.org/fa/Article/Download/27818[1] K. RaJashekara, "History of electric vehicles in general motors," IEEE Trans. on Ind. App. vol. 30, no. 4, pp. 897-904, Jul./Aug. 1994. [2] H. shimizu, J. Harada, C. Bland, K. Kawakami, and L. Can, "Advanced concepts in electric vehicle design," IEEE Trans. on Industrial Electronics, vol. 44, no. 1, pp. 14-18, Feb. 1997. [3] O. W. Andersen, "Optimum design of electrical machines," IEEE Trans. on Power and Syst., no. 6, pp. 707-711, Jun. 1967. [4] C. Singh and D. Sarkar, "Practical considerations in the optimization of induction motor design," IEE in Proc. Part B, vol. 139, no. 4, pp. 365-373, Jul. 1992. [5] R. W. Menzis and G. W. Neal, "Optimization program for large induction motor design," IEE in Proc., vol. 122, no. 6. pp. 643-646. Jun. 1975. [6] R. Ramarathnam and B. G. Desai, "Optimization of poly-phase induction motor design: a nonlinear programming approach," IEEE Trans. On Power Apparatus and Systems, vol. 90, no. 2, pp. 570-578, Mar. / Apr. 1971. [7] R. J Ringlee and B. F. Wollenberg, "Overview of optimization methods," IEEE Tutorial Course: Application of Optimization Methods in Power Systems, pp. 5-188, 1976 [8] K. Idir, C. Liuchen, and H. Dai, "A neural network-based optimization approach for induction motor design,"in Proc. Canadian Conf. on Electrical and Computer Engineering, vol. 2, pp.951-954, CCECE’96, May 1996. [9] X. Lliu and G.R. Slemon, "An improved method of optimization for electrical machines," IEEE Trans. On Energy Conversion, vol. 6, no. 3, pp. 492-495, Sep. 1991. [10] J. Faiz and M. B. B. Sharifian, "Comparison of two optimization techniques for the design of a three-phase induction motor using three different objective functions," European Transactions on Electrical Power Engineering, vol. 5, no. 3, pp. 199-205, May/Jun. 1995. [11] J. Faiz and M. B. B. Sharifian, "Trend of optimization in optimum design of a three phase squirrel-cage induction motor using three different objective functions," IE(I) Journal, vol. 77, pp. 194-201, India, Feb. 1997. [12] J. Faiz and M. B. B. Sharifian, "Optimum design of a three phase squirrel-cage induction motor based on efficiency maximization," International Journal of Computers and Electrical Engineering, vol. 21, no. 5, pp. 367-373, Sep. 1995. [13] Z. Zhang, F. Profumo, and A. Tenchoni, "Improved design for electric vehicle induction motor using an optimization procedure," IEE in Proc. Electr. Power Appl., vol. 143, no. 6, pp. 410-416, Nov. 1996. [14] K. N. Pavithran, R. Parimelagan, G. Sridhara Rao, and J. Holtz, "Optimum design of an induction motor for operation with current source inverters," IEE in Proc. Part B, vol. 134, no. 1, pp. 1-8,Jan. 1987. [15] M. K Kim, C. G. Lee, and H.K. Jung, "Multiobjective Optimal design of three-phase induction motor using improved evolution strategy," IEEE Trans. On Magnetics, vol. 34, no. 5, pp. 2980-2983, Sep. 1998. [16] D. H. Cho and H. K. Jung, "Induction motor design for electric vehicle using a niching genetic algorithm," in Proc. Int. Conf. IEMD’99, Electric Machines and Drives, pp. 290-292, May 1999. [17] S. C. Park, "A Study of system losses in a transistorized inverterinduction motor drive system," IEEE Trans. on Industry Application, vol. 21, no. 1, pp. 248-258, Jan. /Feb. 1985. [18] H. P. Nee, "Rotor slot design of inverter-fed induction motors," Electrical Machines and Drives Conf. Publication, no. 412, pp. 52-56, Sep. 1995. [19] M. Rammemoorty, Computer-Aided Design of Electrical Equipment, John Wiley & Sons, 1988. [20] A. Harson, P. H. Mellor, and D. Howe, "Design considerations for induction machines for electric vehicle drives," Electrical Machines and Drives Conf. Publication, no. 412, pp. 16-20, Sep. 1995. [21] A. K. Sawhney, A Course in Electric Machine Design, Dhanpat Rai & Sons, 1991. [22] K. Thorborg, Power Electronics, Prentice Hall, 1988.M.parnianiR.Bagheri6212003697510.66224/ijece.27819.1.2.69http://ijece.org/fa/Article/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819http://ijece.org/fa/Article/Download/27819[1] فاطمه میرراشد، محمد طایفه حسینلو، و سید محمد تقی بطحائی، "بررسی طراحی و ساخت سنکرونایزر میکروپروسسوری در نیروگاهها، " دهمین کنفرانس بین المللی. برق، صفحات 303 الی 314 ، اردیبهشت .1380 [2] A. K. Ghai, H. K. Verma, and P. Mukhopadyay, "A new synchronizer for small power houses," in Proc. Conf. Computer Application in Large Scale Power System, IFAC, vol. 3, pp. 165-171, 1979. [3] Y. H. Yang, G. C. Shang, and Y. J. Fang, "A fast following synchronizer of generators," IEEE Trans on Energy Conversion, vol. 3, no. 4, pp. 765-770, Dec. 1988. [4] W. A. David and K. S. P. Kumar, "A method for self-tuning a PID controller for control of small to medium sized diesel engines," in Proc. IEEE Conf., 1991. [5] A. J. Payne, A. Thanachayanont, and E. Drakakis, "Translinear phase-lock loops," IEE Colloquium on Phase Lock Loops: Theory and Practice (Ref. No. 1999/102), pp. 9/1-9/9, May 1999. [6] S. N. Bikkenin, D. G. M. Cruickshank, and P. M. Grant, "Fractional- N phase locked loop for frequency synthesis," IEE Colloquium on Phase Lock Loops: Theory and Practice, pp. 3/1-3/6, May 1999. [7] P. Verdelho and G. D. Marques, "Four wire active power filter control circuit with phase locked loop phase angle determination," in Proc. Seventh International Conference on Power Electronics and Variable Speed Drives, pp. 34-39, Sep. 1998. [8] N. Hingorani and L. Gyugui, Understanding FACTS, IEEE Press,2000. [9] J. J. Rodriguez-Andina, J. Farina, A. A. Nogueiras-Melendez, and A. Lago, "A digital integrated circuit for switching of parallel connected converters,". in Proc. ISIE '98. IEEE Int. Symposium on Industrial Electronics, vol. 2, pp. 363-366, 7-10 Jul. 1998.MohammadFarziS. A.AbrishamifarM.MirzargarM.Fazeli6212003768010.66224/ijece.27820.1.2.76http://ijece.org/fa/Article/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820http://ijece.org/fa/Article/Download/27820[1] J. W. Baek, D. –W. Yoo, and H. -G. Kim, "High-voltage switch using series-connected with simple auxiliary circuit, " IEEE Trans. on Industry Applications, vol. 37, no. 6, pp. 1832-1839, Nov. 2001. [2] J. Sigg, M. Brukmann, and P. Turkes, "The series connection of switches investigated by experiments and simulation, "in Proc. IEEE PESC ' 96, vol. 2, pp. 1760-1765, Dec. 1996. [3] A. Consoli, S. Musumeci, G. Oriti, and A. Testa, "Active voltage balancement of series connected switches," in Proc Conf. Rec. IEEE-IAS Annu. Meeting, vol. 3, pp. 2752-2758, 1995. [4] P. R. Palmer and A. N. Githiari, "The series connection of IGBT's with optimized voltage sharing in the switching transient," in Proc. IEEE PESC'95, vol. 1, pp. 44-49, 1995. [5] Siemens Matsushita Components, SIOV (Metal Oxide Varistors), (S+M), B462-P6209-X-X-7400, 1944 . [6] H. M. Lawatsch and J. Vitins, "Protection of thyristors against over voltage with breakover diodes," IEEE Trans. on Industry Application, vol. 24, no. 3, pp. 444-448, May 1998.M. R.»hojastehM. R.Meybodi6212003819110.66224/ijece.27821.1.2.81http://ijece.org/fa/Article/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821http://ijece.org/fa/Article/Download/27821[1] G. Weiss, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, The MIT Press, London, 1999. [2] P. Stone, Layered Learning in Multi_Agent Systems, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Dec. 1998. [3] I. Noda, Team GAMMA: Agent Programming on Gaea, in H. Kitano, editor, RoboCup-97: Robot Soccer World Cup I, pp. 500-507, Springer Verleg, Berlin, 1998. [4] RoboCup web page, at URL http://www.robocup.org, 1997. [5] H. Kitano, editor, RoboCup-97: Robot Soccer World Cup I, Springer Verlag, Berlin, 1998. [6] D. Andre et al., Soccer Server Manual, Version 4.0, Technical Report RoboCup 1998-001, RoboCup, 1998. [7] K. S. Narendra and M. A. L. Thathachar, Learning Automata: An Introduction, Prentice-Hall Inc., 1989. [8] P. Mars, J. R. Chen, and R. Nambir, Learning Algorithms: Theory and Applications, in Signal Processing, Control and Communications, CRC Press, Inc., pp. 5-24, 1996. [9] S. Lakshmivarahan, Learning Algorithms: Theory and Applications, New York, Springer-Verlag, 1981. [10] M. R. Meybodi and S. Lakshmivarahan, "ε -optimality of a general class of absorbing barrier learning algorithms", Information Sciences, vol. 28, pp. 1-20, 1982. [11] M. R. Meybodi and S. Lakshmivarahan, "On a class of learning algorithms which have a symmetric behavior under success and failure," Springer-Verlag Lecture Notes in Statistics, pp. 145-155,1984. [12 ] محمد رضا خجسته و محمد رضا میبدی/ تکنیک "بهترین گوشه در مربع حالت برای عمومی سازی حالات محیطی در یک دامنه چند عامله همکاری گرا"،مجموعه مقالات هشتمین کنفرانس سالانه انجمن کامپیوتر ایران، صفحات. 446-455 ، دانشگاه فردوسی مشهد، مشهد، اسفند 1381. [13 ] محمد رضا خجسته، "همکاری در سیستمهای چند عامله با استفاده از اتوماتای یادگیر"، پایان نامه کارشناسی ارشد، دانشکده مهندسی کامپیوتر و فناوری. اطلاعات، دانشگاه صنعتی امیرکبیر، بهار 1381. [14 ] محمد رضا خجسته و محمد رضا میبدی، "ارزیابی اتوماتای یادگیر در همکاری بین عاملها در یک سیستم چند عامله پیچیده"، مرکز تحقیقات انفورماتیک، آزمایشگاهمحاسبات نرم/ دانشکده مهندسی کامپیوتر و فناوری اطلاعات، دانشگاه صنعتی. امیرکبیر، بهار 1381. [15]محمدرضا خجسته و محمد رضا میبدی، "اتوماتای یادگیر بعنوان مدلی برای همکاری در یک تیم از عاملها"، مجموعه مقالات هشتمین کنفرانس سالانه انجمن کامپیوتر ایران ، دانشگاه فردوسی مشهد، مشهد ، صفحات.115-126 اسفند.1381 [16] I. Noda, Team Description: Saloo, AIST & PREST, Japan, 2001. [17] M. A. L. Thathachar and P. S. Sastry, "A new approach to the design of reinforcement schemes for learning automata," IEEE Trans. on Systems, Man, and Cybernetics, vol. 15, no. 1, pp. 168-175, Jan. /Feb. 1985. [18] B. J. Oomen and J. K. Lanctot, "Discretized pursuit learning automata," IEEE Transactions on Systems, Man, and Cybernetics, vol. 20, no. 4, pp. 931-938, Jul. /Aug. 1990.B.AlizadehZ.Navabi6212003929810.66224/ijece.27822.1.2.92http://ijece.org/fa/Article/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822http://ijece.org/fa/Article/Download/27822[1] R. P. Kurshan, "Formal verification in a commercial setting," in Proc. Design Automation Conf., pp. 258-262, Jun. 1997. [2] S. Devadas, H. T. Ma, and A. R. Newton, "On the verification of sequential machines at differing levels of abstraction," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 7, no. 6, pp. 713-722, Jun. 1988. [3] M. Yoeli, Formal Verification of Hardware Design, IEEE Computer Society Press, Los Alamos, NM, 1990. [4] P. Camurati and P. Prinetto, "Formal verification of hardware correctness," IEEE Computer, vol. 21, no. 7, pp. 8-19, Jul. 1988. [5] A. Gupta, S. Malik, and P. Ashar, "Toward formalizing a validation methodology using simulation coverage," in Proc. IEEE Design Automation Conf., pp. 740-745, Jun. 1997. [6] R. Eastham and K. Thirunarayan, "Proof strategies for hardware verification," in Proc. of National Aerospace and Electronics Conf. (NAECON), vol. 2, pp. 451-458, May 1996. [7] G. Cabodi, P. Camurati, and F. Corno, "Sequential circuit diagnosis based on formal verification techniques," in Proc. IEEE Int. Test Conf., pp. 187-196, Sep. 1992. [8] K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Boston, 1993. [9] J. Burch, E. Clarke, K. McMillan, and D. Dill, "Symbolic model checking: 1020 states and beyond," in Proc. of the Fifth Annual IEEE Symp. on Logic in Computer Science, pp. 428-439, Jun. 1990. [10] M. C. McFarland, "Formal verification of sequential hardware," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 5, pp. 633-645, May 1993. [11] C. Kern and M. R. Greenstreet, "Formal verification in hardware design," ACM Trans. on Design Automation of Electronic Systems, vol. 4, no. 2, pp. 123-193, Apr. 1999.1. Register transfer level 2. Symbolic simulation . [12] J. Burch, E. Clarke, D. Long, K. McMillan, and D. Dill, "Symbolic model checking for sequential circuit verification," IEEE Trans. Computer Aided Design, vol. 13, no. 4, pp. 401-424, Apr. 1994. [13] J. R. Burch, E. M. Clarke, and K. L. McMillan, "Sequential circuit verification using symbolic model checking," in Proc. 27th ACM/IEEE Design Automation Conf., pp. 46-51, 1990. [14] H. Touati, H. Savoj, and B. Lin, "Implicit state enumeration of finite state machines using BDD’s," in Proc. of the 2th Int. Conf. on Computer Aided Design, pp. 130-133, Nov. 1990. [15] A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, and Y. Zhu, "Symbolic model checking using SAT procedures instead of BDDs," in Proc. of Design Automation Conf., pp. 317-320, Jun. 1999. [16] R. Drechsler, Formal Verification of Circuits, Kluwer Academic Publishers, 2000. [17] C. Y. Huang and K. T. Cheng, "Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques," in Proc. of Design Automation Conf., pp. 118-123,Jun. 2000. [18] F. Fallah, S. Devadas, and K. Keutzer, "Functional vector generation for HDL models using linear programming and 3-satisfiability," in Proc. of 35th DAC, pp. 528-533, Jun. 1998. [19] F. Fallah, Coverage Directed Validation of Hardware Models, Ph.D.Thesis, MIT, 1999. [20] R. Brinkmann and R. Drechsler, "RTL-datapath verification using integer linear programming, " in Proc. of IEEE VLSI Design’01 & Asia and South Pacific Design Automation Conf., pp. 741-746, Bangalore, Jan. 2002. [21] E. Clarke and E. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in Logic of Programs Workshop, pp. 52-71, 1981. [22] E. Clarke, R. Enders, and T. Filkorn, "Exploiting symmetry in temporal logic model checking," Formal Methods in System Design, vol. 9, no. 2, pp. 77-104, 1996. [23] I. Beer, S. Ben-David, C. Eisner, and A. Landver, "RuleBase: an industry-oriented formal verification tool," in Proc. of the 33rd Design Automation Conf., pp. 655-660, Las Vegas, 1996. [24] R. K. Brayton, A. Sangiovanni, A. Aziz, et al., "VIS: A system for verification and synthesis," in Proc. of the 8th Int. Conf. on Computer Aided Verification, pp. 428-432, 1996. [25] J. C. Corbett and George S. Avrunin, "Using integer programming to verify general safety and liveness properties," in Journal of Formal Methods in System Design, vol. 6, no. 1, pp. 97-123, Jan. 1995.