[nthach]

ЭВМ МИР-1

Một dự án chuyên đề khác được bắt đầu tiến hành trước khi Glushkov chuyển đến phòng thí nghiệm, nó đã được thiết kế là một hệ thống máy tính gấp đôi để theo dõi mục tiêu sóng rada trên không và các máy bay chiến đấu phản lực để ngăn chặn chúng. Malinovsky và Rabinovich đã lãnh đạo hai nhóm nhỏ để thực hiện dự án này. Malinovsky phụ trách mảng sử lý thông tin rada, còn Rabinovich chịu trách nhiệm thiết kế phần mục tiêu. Khi Glushkov đến, dự án được xắp đặt lại. Ông đặt tất cả mọi thứ vòa một cơ sở khoa học chặt chẽ và đưa vào thành một công thức lý thuyết toán học cho qui trình mục tiêu. Các kết quả công việc của ông được phê chuẩn và được sử dụng để sáng chế một hệ thống phòng thủ chống máy bay theo tiêu chuẩn của Liên Xô.

Làm thế nào Glushkov đã khuất phục và thúc đẩy được các nhân viên phòng thí nghiệm một cách nhanh chóng? Điểm thứ nhất là, trí thông minh bẩm sinh của ông đã bao quát được những sự việc to lớn. Nó như là ông có thể bao quát được toàn thế giới trong mọi phương diện ở cùng một thời điểm. Ông có thể ấn định được toàn bộ những sự phức tạp trong sự phát triển nền công nghệ máy tính, để làm sáng tỏ công thức những ý tưởng cơ bản để thiết kế nó, phác thảo những mục đích của hiện tại và tương lai trong lĩnh vực. Cá nhân ông, không thể làm lung lay được sức thuyết phục trong các nhà khoa học của chúng ta.

Hồi ký của Viktor Glushkov, ngày 3/1/1982

Những thiết kế máy tính vào thời gian đó được dữa trên trực giác kỹ thuật, xong tôi đã tự mình nghiên cứu các nguyên lý thiết kế máy tính. Với kết quả đó, tôi đã biết tận tường các hoạt động bên trong của một chiếc máy tính. Từ đó, lý thuyết của máy tính đã trở thành một trong những chuyên ngành của tôi, nó đã dẫn dắt tôi chuyển từ nghệ thuật thiết kế máy tính vào một môn khoa học. Đương nhiên, người Mỹ cũng đã làm một số vấn đề tương tự, nhưng sau đó họ cũng chỉ đạt được kết quả tương tự như chúng ta. Lý thuyết của máy tự động làm cơ sở cho sự thiết kế máy tính đã không đủ để phát triển trở lại vào khi đó. Hình như, người đầu tiên đưa ra ý tưởng áp dụng toán học lôgic vào thiết kế các thiết bị kỹ thuật là một người Mỹ tên là Claude Shannon và V.I. Shestakov và Mikhail Alexandrovich Gavrilov của Liên Xô. Họ ứng dụng hình thức đơn giản của toán học lôgic để thiết kế mạch chuyển trong điện thoại. Nó còn được áp dụng cho các mạch điện đơn giản. Do đó, trong những năm sau chiến tranh, nền công nghệ máy tính số bắt đầu phát triển, họ đã cố gắng đem ứng dụng toán lôgic vào giải quyết cho các thao tác trong mạch điện máy tính. Tôi cũng bắt đầu tiến hành làm việc trên vấn đề này và tổ chức một hội nghị chuyên đề về lý thuyết của máy tự động. Tính chất của dự án đầu tiên của tôi là khám phá ra nhiều hơn những phương diện đại số đơn giản và khái niệm hợp lý trên máy tự động của Kleene, và tôi đã thu được toàn bộ kết quả của Kleene. Nhưng điều quan trọng hơn, thậm trí ngoài các kết quả của Kleene, tôi đã phát triển ra những lý thuyết nhằm vào các tao tác thực tế của thiết kế máy móc. Tại hội nghị chuyên đề, chúng tôi cùng thảo luận về thiết kế chiếc Kiev và đã nhận ra những phần lý thuyết của tôi sẽ có khả thi hay không
Alexander A. Letichevsky, một người đồng nghiệp của Glushkov nhớ lại:

Julia Kapitonova trở thành "linh hồn của hội thảo chuyên đề" chị nguyên là sinh viên ruột của Glushkov. Còn Viktor Bondarchuk và tôi cũng là những người tham dự trung thành của hội thảo. Tôi từng có một thời kỳ lãng mạn: một môn khoa học mới được ra đời ngay trước mắt chúng ta và chúng tôi đã mở mang và phát triển lĩnh vực của nó bằng chính những đôi tay mình. Chúng tôi rất tự hào và hãnh diện khi chúng tôi đã giải được những bài tập mà giáo viên đã giao cho chúng tôi. Lý thuyết của máy tự động không phải ngẫu nhiên mà Glushkov đã chọn lựa. Nó là một kế hoạch tuyệt vời trong biện pháp kỹ thuật. Như một nhà đại số, Glushkov đã nhận ra rằng khái niệm của máy tự động, có từ Stephen Kleene và các tác giả khác trong cuốn Nghiên cứu Thiết bị Tự động (được xuất bản năm 1956, Princeton, N.J. dưới sự chủ bút của Shannon và McCarty; được dịch sang tiếng Nga vào cùng năm đó dưới sự chủ bút của Alexei A. Lyapunov) đã giới thiệu một mẫu toán học cho bộ sử lý thông tin riêng. Mẫu này có thể nghiên cứu bởi sự áp dụng của một ma trận toán học hiện đại. Khi đó, phần mở rộng của ứng dụng lý thuyết trên nền tảng của toán học hữu tỉ có thể thu hút sự chú ý của các kỹ sư, những người chưa am hiểu về lý thuyết toán học để thiết kế những thiết bị bao hàm các yếu tố bộ nhớ. Thêm nữa, lý thuyết của máy tự động có thể trở thành cơ sở cho thiết kế các mẫu hệ thống điều khiển học với những ứng dụng khác nhau.