Giáo sư kỹ thuật nhận được Bộ phận Quốc phòng để làm việc về xem bóng đá số hệ thống quan trọng an toàn
Thứ Sáu, ngày 20 tháng 11 năm 2020
John Hatcliff, Đại xem bóng đá số xuất sắc giáo sư khoa học máy tính |Tải xuống ảnh này.
Manhattan - Hai giáo sư đại xem bóng đá số củaKhoa xem bóng đá số máy tínhđã được Bộ Quốc phòng Hoa Kỳ-Quân đội Hoa Kỳ-Quân đội phát triển xem bóng đá số kỹ thuật xây dựng xem bóng đá số hệ thống quan trọng về an toàn được sử dụng trong xem bóng đá số hoạt động quân sự.
Dự án, "Mô hình hóa hợp nhất của các nhà khai thác hành vi (Gumbo) SBIR Giai đoạn 2" được tài trợ theo chương trình Adventium Enterprises LLC, sẽ được dẫn dắt bởi John Hatcliff, Giáo sư xuất sắc của Đại xem bóng đá số và Giáo sư Lucas-Rathbone về Kỹ thuật
"Ký hiệu mô tả hành vi dễ sử dụng và hiểu, nhưng dựa trên logic nâng cao có thể được tự động xử lý bởi xem bóng đá số công cụ xác minh máy tính," Hatcliff nói. "Khi xem bóng đá số thành phần thu được từ xem bóng đá số nhà cung cấp khác nhau được tích hợp vào một hệ thống, xem bóng đá số công cụ xác minh này có thể chứng minh rằng xem bóng đá số hành vi quan trọng của từng thành phần hoạt động chính xác với xem bóng đá số thành phần khác và chức năng chính của hệ thống tổng thể đạt được."
Khung xác minh và đặc điểm kỹ thuật hành vi này kết hợp phân tích kiến trúc và ngôn ngữ thiết kế - một ngôn ngữ mô hình hóa được kết hợp thành nhiều cách sử dụng của Quân đội, bao gồm cả chương trình nâng thẳng đứng trong tương lai của nó. Thang máy dọc trong tương lai,Kế hoạch phát triển một gia đình trực thăng quân sự cho xem bóng đá số lực lượng vũ trang Hoa Kỳ, liên quan đến việc chia sẻ phần cứng chung như cảm biến, hệ thống điện tử, động cơ và biện pháp đối phó cho năm kích cỡ khác nhau của máy bay đang được phát triển.
"Kết quả công việc của chúng tôi sẽ giúp xem bóng đá số kỹ sư xây dựng xem bóng đá số hệ thống quan trọng hiểu chính xác hơn xem bóng đá số hành vi của xem bóng đá số thành phần hệ thống và sẽ cho phép họ phát hiện và khắc phục xem bóng đá số vấn đề tích hợp hệ thống sớm hơn trong quá trình phát triển hệ thống", Hatcliff nói. "Khung phát triển cũng sẽ hỗ trợ ngành công nghiệp quốc phòng trong việc áp dụng xem bóng đá số phương pháp để xây dựng xem bóng đá số hệ thống quan trọng từ xem bóng đá số thành phần và nền tảng có thể tái sử dụng.
"Giải thưởng tiếp tục củng cố mối quan hệ giữa Đại xem bóng đá số Kỹ thuật Carl R. ICE và các công ty làm việc về các chương trình nghiên cứu ngành công nghiệp quốc phòng," ông nói. "Hơn nữa, nó cung cấp một cơ hội để giới thiệu các giảng viên, sinh viên và nghiên cứu Kỹ thuật K-State trong các chương trình dài hạn xây dựng các khả năng quân sự thế hệ tiếp theo."
