【正文】
istic procedure. European Journal of Operational Research, 1998,107(2):250~259.[10] J243。zefowska J, Mika M, R243。168。Bzycki R, Walig243。ra G, Wglarz J. Simulated annealing for multimode resourceconstrained project scheduling. Annals of Operations Research, 2001,102(1/4):137~155.[11] Naoyuki K, Koji S, Fukuda T. The role of virus infection in virusevolutionary genetic algorithm. In: Proc. of the IEEE Int’l. Conf. on Evolutionary Computation. Nagoya: IEEE, 1996. 182~187.[12] Kubota N, Arakawa T, Fukuda T, Shimojima K. Fuzzy manufacturing scheduling by virusevolutionary genetic algorithm in selforganizing manufacturing system. In: Proc. of the 6th IEEE Int’l. Conf. on Fuzzy Systems. Barcelona: IEEE, 1997. 1283~1288.[13] Kubota N, Arakawa T, Fukuda T, Shimojima K. Trajectory generation for redundant manipulator using virus evolutionary genetic algorithm. In: Proc. of the 1997 IEEE Int’l. Conf. on Robotics and Automation. Albuquerque: IEEE, 1997. 205~210.[14] Kubota N, Fukuda T. Schema representation in virusevolutionary genetic algorithm for knapsack problem. In: Proc. of the 1998 IEEE World Congress on Computational Intelligence, The 1998 IEEE Int’l. Conf. on Evolutionary Computation. Anchorage: IEEE, 1998. 834~839.[15] Brucker P, Drexl A, M246。hring R, Neumann K, Pesch E. ResourceConstrained project scheduling: Notation, classification, models, and methods. European Journal of Operational Research, 1999,112(1):3~41.[16] Xing WX, Xie JX. Advanced Computational Methods for Optimization. Beijing: Tsinghua University Press, 1999. 140~181 (in Chinese).附中文參考文獻:[16] 邢文訓(xùn),:清華大學(xué)出版社,~181.????????????????????????????????????????????????????????????????????????????????????2004年全國理論計算機科學(xué)學(xué)術(shù)年會征 文 通 知由中國計算機學(xué)會理論計算機科學(xué)專業(yè)委員會主辦,海軍工程大學(xué)信息與電氣學(xué)院承辦的“2004年全國理論計算機科學(xué)學(xué)術(shù)年會”將于2004年10月在武漢召開。會議錄用論文將收錄在正式出版的論文集中,歡迎大家積極投稿?,F(xiàn)將有關(guān)征文要求通知如下:1.應(yīng)征論文應(yīng)未在其他刊物或?qū)W術(shù)會議上正式發(fā)表過。特別歡迎有創(chuàng)見的論文和有應(yīng)用前景的論文。2.稿件要求用計算機打印,格式為38行38字,字體為5號宋體。稿件中的圖形要求畫得工整、清晰、緊湊,尺寸要盡量小;圖中字體要求為六號宋體。稿件正文不超過六千字。標(biāo)題、作者姓名、作者單位、摘要、關(guān)鍵詞采用中英文間隔行文。稿件各部分依次為:一、引言;二、...;最后是結(jié)束語。附錄放在參考文獻之后;參考文獻限已公開發(fā)表的,文中最好不要出現(xiàn)文獻序號。參考文獻的格式為:序號 作者書名出版社所在地:出版社名,出版年代序號 作者論文名出處,年代卷號(期號):起迄頁碼務(wù)必附上第一作者簡歷(姓名、性別、出生年月、職稱、學(xué)位、研究方向等)、通信地址和聯(lián)系電話。并注明論文所屬領(lǐng)域。請?zhí)峁┐蛴「搴碗娮痈甯饕环荨砀逡宦刹煌?,請自留底稿?.征文范圍程序理論(程序邏輯、程序正確性驗證、形式開發(fā)方法等);計算理論(算法設(shè)計與分析、復(fù)雜性理論、可計算性理論等);語言理論(形式語言理論、自動機理論、形式語義學(xué)、計算語言學(xué)等);人工智能(知識工程、機器學(xué)習(xí)、模式識別、機器人等);邏輯基礎(chǔ)(數(shù)理邏輯、多值邏輯、模糊邏輯、模態(tài)邏輯、直覺主義邏輯、組合邏輯等);數(shù)據(jù)理論(演繹數(shù)據(jù)庫、關(guān)系數(shù)據(jù)庫、面向?qū)ο髷?shù)據(jù)庫等);計算機數(shù)學(xué)(符號計算、數(shù)學(xué)定理證明、計算幾何等);并行算法(分布式并行算法、大規(guī)模并行算法、演化算法等)。4.征文截止日期:2004年5月1日5.論文投寄地址:(430033)武漢 海軍工程大學(xué)信息與電氣學(xué)院 張志祥 收聯(lián)系電話:02783443985,83443984(張志祥,賁可榮)電子信箱:tcs2004@。 hgzzx@57 / 9