Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Thuật toán làm nguội giả lập trong các vấn đề lập lịch đa bộ xử lý
Tóm tắt
Một thuật toán đã được đề xuất để mô phỏng quá trình làm nguội nhằm xác định số lượng bộ xử lý tối thiểu cần thiết và xây dựng lịch tĩnh cho việc thực thi các chương trình ứng dụng với việc tính đến các ràng buộc về thời gian thực thi lịch và các yêu cầu về độ tin cậy. Thuật toán được phát triển đã được chứng minh cả về lý thuyết và thực nghiệm bằng cách so sánh các quy luật khác nhau về sự giảm nhiệt độ trong thuật toán mô phỏng làm nguội.
Từ khóa
#lập lịch #bộ xử lý #thuật toán làm nguội giả lập #độ tin cậy #chương trình ứng dụngTài liệu tham khảo
Minoux, M., Programmation mathématique. Théorie et algorithmes, Paris: Dunod, 1983. Translated under the title Matematicheskoe programmirovanie. Teoriya i algoritmy, Moscow: Nauka, 1990.
Ashby, W.R., Design for a Brain, London: Chapman & Hall, 1966, 2nd ed. (original edition, 1952). Translated under the title Konstruktsiya mozga. Proiskhozhdenie adaptivnogo povedeniya, Moscow: Inostrannaya Literatura, 1962.
Rastrigin, L.A., Statisticheskie metody poiska (Statistical Methods of Search), Moscow: Nauka, 1968.
Wassermann, P.D., Neural Computing. Theory and Practice, New York: Van Nostrand, 1989. Translated under the title Neirokomp’yuternaya tekhnika. Teoriya i praktika, Moscow: Mir, 1992.
Holland, J.N., Adaptation in Natural and Artificial Systems, Ann Arbor: Univ. of Michigan Press, 1975.
Dorigo, M., Optimization, Learning and Natural Algorithms, PhD Thesis, Dipartimento di Elettronica, Politechnico Di Milano, Milan, 1992.
Shtovba, S.D., Ant Algorithms: Theory and Application, Programmir., 2005, no. 4, pp. 1–16.
Zorin, D.A. and Kostenko, V.A., Algorithm for Synthesizing a Reliable Real-Time Computing System Architecture, J. Comput. Syst. Sci. Int., 2012, vol. 51, no. 3, pp. 410–417.
Kostenko, V.A., Scheduling Algorithms for Real-Time Computing Systems Admitting Simulation Models, Program. Comput. Software, 2013, vol. 39, no. 5, pp. 255–267.
Kalashnikov, A.V. and Kostenko, V.A., A Parallel Algorithm of Simulated Annealing for Multiprocessor Scheduling, J. Comput. Syst. Sci. Int., 2008, vol. 47, no. 3, pp. 455–463.
Popov, P., Strigini, L., May, J., et al., Estimating Bounds on the Reliability of Diverse Systems, IEEE Trans. Software Eng., 2003, vol. 29, no. 4, pp. 345–359.
Eckhardt, D.E. and Lee, L.D., A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors, IEEE Trans. Software Eng., 1985, vol. SE-11, no. 12, pp. 1511–1517.
Wattanapongsakorn, N. and Levitan, S.P., Reliability Optimization Models for Embedded Systems with Multiple Applications, IEEE Trans. Reliability, 2004, vol. 53, pp. 406–416.
Zorin, D.A., Method of Schedule Representation and Transformation in the Iterative Algorithms for Structural Design of the Real-time Computer Systems, in Programmnye sistemy i instrumenty (Program Systems and Instruments), Moscow: VMik MGU Publ., 2011, no. 12, pp. 163–171.
Kostenko, V.A. and Kalashnikov, A.V., Study of Various Modifications of the Annealing Simulation Algorithms for Solution of the Problem of Building Multiprocessor Schedules, in Discrete Models in the Control System Theory, Proc. VII Int. Conf., Moscow: MAKS Press, 2006, pp. 179–184.
Zorin, D.A., Comparison of Different Strategies of Using Operations in the Algorithm to Simulate Annealing for the Problem of Building Schedules for the Multiprocessor Systems, in Parallel Computing and Control Problems, PACO 2012, Sixth Int. Conf., Oct. 24–26, 2012, Moscow: Inst. Problem. Upravlen., 2012, vol. 1, pp. 278–291.