Phần mềm tự phục hồi. Thư viện kỹ thuật miễn phí

TIN KHOA HỌC VÀ CÔNG NGHỆ, SỰ PHÁT TRIỂN TRONG ĐIỆN TỬ
Thư viện kỹ thuật miễn phí / nguồn cấp tin tức

Phần mềm tự phục hồi

08.07.2015

Các nhà nghiên cứu tại Phòng thí nghiệm Máy tính và Trí tuệ Nhân tạo MIT đã phát triển một hệ thống có tên là Code Phage tự động sửa lỗi trong các ứng dụng mã nguồn mở. Theo một công bố của các nhà nghiên cứu trên trang web của Hiệp hội Máy tính Máy tính, Code Phage có khả năng sửa lỗi do các tham số nằm ngoài giới hạn, lỗi tràn số nguyên và phép chia cho XNUMX.

Để hệ thống hoạt động, cần phải có hai tham số đầu vào được nhập vào ứng dụng đích, với điều kiện một trong các tham số đó làm cho chương trình bị lỗi. Code Phage sử dụng cơ sở dữ liệu để tìm kiếm một ứng dụng tài trợ có thể xử lý cả hai đầu vào mà không gặp sự cố. Giả định rằng một ứng dụng như vậy có chứa một số loại điều kiện kiểm tra để ngăn chặn sự thất bại và không có trong ứng dụng đích. Mục đích là chuyển séc này từ ứng dụng của nhà tài trợ sang ứng dụng đích cần được sửa.

Để tìm điều kiện thử nghiệm trong ứng dụng của nhà tài trợ và hiểu cách nó hoạt động, Code Phage chạy ứng dụng nhà tài trợ trước với tham số "tốt", sau đó với tham số "không thành công" (tức là gây ra sự cố trong chương trình gốc). Với mỗi lần "chạy", hệ thống sẽ xây dựng một chuỗi các hoạt động logic xảy ra trong chương trình cho đến khi nó tìm thấy một nhánh của các chuỗi này - nơi chứa điều kiện kiểm tra.

Sử dụng kết quả phân tích (biểu thức tượng trưng), hệ thống tái tạo và tích hợp một kiểm tra tương tự vào ứng dụng gốc bằng ngôn ngữ mà nó đã được viết. Đồng thời, Code Phage làm việc với các nhà tài trợ nhị phân, tức là nó không cần biết mã nguồn của các ứng dụng của nhà tài trợ, vì nó phân tích logic của chúng.

Trong thử nghiệm của họ, các nhà nghiên cứu đã có thể sửa lỗi trong bảy ứng dụng nguồn mở phổ biến bằng cách sử dụng 2-4 nhà tài trợ cho mỗi ứng dụng. Phải mất từ 2 đến 10 phút để sửa từng lỗi.

Theo các nhà nghiên cứu, lợi thế của Code Phage là hệ thống có thể nhận các chương trình được viết bằng các ngôn ngữ khác nhau làm nhà tài trợ, miễn là chúng hoạt động theo cách tương tự. Có hàng triệu ứng dụng trên Internet có thể được sử dụng làm nhà tài trợ.

<< Quay lại: Màn hình iiyama ProLite XU2490HS-B1 và XU2590HS-B1 08.07.2015

>> Chuyển tiếp: Cú và sự im lặng của cánh quạt 07.07.2015

Tin tức khoa học công nghệ, điện tử mới nhất:

Sự tồn tại của quy luật entropy cho sự vướng víu lượng tử đã được chứng minh 09.05.2024

Cơ học lượng tử tiếp tục làm chúng ta ngạc nhiên với những hiện tượng bí ẩn và những khám phá bất ngờ. Gần đây, Bartosz Regula từ Trung tâm Điện toán Lượng tử RIKEN và Ludovico Lamy từ Đại học Amsterdam đã trình bày một khám phá mới liên quan đến sự vướng víu lượng tử và mối liên hệ của nó với entropy. Sự vướng víu lượng tử đóng một vai trò quan trọng trong khoa học và công nghệ thông tin lượng tử hiện đại. Tuy nhiên, sự phức tạp trong cấu trúc của nó khiến cho việc hiểu và quản lý nó trở nên khó khăn. Khám phá của Regulus và Lamy chứng tỏ rằng sự vướng víu lượng tử tuân theo một quy luật entropy tương tự như quy luật đối với các hệ cổ điển. Khám phá này mở ra những góc nhìn mới trong khoa học và công nghệ thông tin lượng tử, giúp chúng ta hiểu sâu hơn về sự vướng víu lượng tử và mối liên hệ của nó với nhiệt động lực học. Kết quả nghiên cứu cho thấy khả năng đảo ngược của các phép biến đổi vướng víu, điều này có thể đơn giản hóa đáng kể việc sử dụng chúng trong các công nghệ lượng tử khác nhau. Mở một quy tắc mới ... >>

Điều hòa mini Sony Reon Pocket 5 09.05.2024

Mùa hè là thời gian để thư giãn và du lịch, nhưng thường thì cái nóng có thể biến thời gian này thành một sự dày vò không thể chịu đựng được. Gặp gỡ sản phẩm mới của Sony - điều hòa mini Reon Pocket 5, hứa hẹn sẽ mang đến mùa hè thoải mái hơn cho người dùng. Sony vừa giới thiệu một thiết bị độc đáo - máy điều hòa mini Reon Pocket 5, giúp làm mát cơ thể trong những ngày nắng nóng. Với nó, người dùng có thể tận hưởng sự mát mẻ mọi lúc, mọi nơi chỉ bằng cách đeo nó quanh cổ. Máy điều hòa mini này được trang bị tính năng tự động điều chỉnh các chế độ vận hành cũng như cảm biến nhiệt độ và độ ẩm. Nhờ công nghệ tiên tiến, Reon Pocket 5 điều chỉnh hoạt động tùy thuộc vào hoạt động của người dùng và điều kiện môi trường. Người dùng có thể dễ dàng điều chỉnh nhiệt độ bằng ứng dụng di động chuyên dụng được kết nối qua Bluetooth. Ngoài ra, còn có áo phông và quần short được thiết kế đặc biệt để thuận tiện, có thể gắn một chiếc điều hòa mini. Thiết bị có thể ồ ... >>

Năng lượng từ không gian cho Starship 08.05.2024

Sản xuất năng lượng mặt trời trong không gian ngày càng trở nên khả thi hơn với sự ra đời của các công nghệ mới và sự phát triển của các chương trình không gian. Người đứng đầu công ty khởi nghiệp Virtus Solis chia sẻ tầm nhìn của mình về việc sử dụng Starship của SpaceX để tạo ra các nhà máy điện trên quỹ đạo có khả năng cung cấp năng lượng cho Trái đất. Startup Virtus Solis đã tiết lộ một dự án đầy tham vọng nhằm tạo ra các nhà máy điện trên quỹ đạo sử dụng Starship của SpaceX. Ý tưởng này có thể thay đổi đáng kể lĩnh vực sản xuất năng lượng mặt trời, khiến nó trở nên dễ tiếp cận hơn và rẻ hơn. Cốt lõi trong kế hoạch của startup là giảm chi phí phóng vệ tinh lên vũ trụ bằng Starship. Bước đột phá công nghệ này được kỳ vọng sẽ giúp việc sản xuất năng lượng mặt trời trong không gian trở nên cạnh tranh hơn với các nguồn năng lượng truyền thống. Virtual Solis có kế hoạch xây dựng các tấm quang điện lớn trên quỹ đạo, sử dụng Starship để cung cấp các thiết bị cần thiết. Tuy nhiên, một trong những thách thức quan trọng ... >>

Phương pháp mới để tạo ra pin mạnh mẽ 08.05.2024

Với sự phát triển của công nghệ và việc sử dụng ngày càng rộng rãi các thiết bị điện tử, vấn đề tạo ra nguồn năng lượng hiệu quả và an toàn ngày càng trở nên cấp thiết. Các nhà nghiên cứu tại Đại học Queensland vừa tiết lộ một phương pháp mới để tạo ra pin kẽm công suất cao có thể thay đổi cục diện của ngành năng lượng. Một trong những vấn đề chính của pin sạc gốc nước truyền thống là điện áp thấp, điều này hạn chế việc sử dụng chúng trong các thiết bị hiện đại. Nhưng nhờ một phương pháp mới được các nhà khoa học phát triển nên nhược điểm này đã được khắc phục thành công. Là một phần trong nghiên cứu của họ, các nhà khoa học đã chuyển sang một hợp chất hữu cơ đặc biệt - catechol. Nó hóa ra là một thành phần quan trọng có thể cải thiện độ ổn định của pin và tăng hiệu quả của nó. Cách tiếp cận này đã làm tăng đáng kể điện áp của pin kẽm-ion, khiến chúng trở nên cạnh tranh hơn. Theo các nhà khoa học, loại pin như vậy có một số ưu điểm. Họ có b ... >>

Nồng độ cồn của bia ấm 07.05.2024

Bia, là một trong những đồ uống có cồn phổ biến nhất, có hương vị độc đáo riêng, có thể thay đổi tùy theo nhiệt độ tiêu thụ. Một nghiên cứu mới của một nhóm các nhà khoa học quốc tế đã phát hiện ra rằng nhiệt độ bia có tác động đáng kể đến nhận thức về mùi vị rượu. Nghiên cứu do nhà khoa học vật liệu Lei Jiang dẫn đầu đã phát hiện ra rằng ở nhiệt độ khác nhau, các phân tử ethanol và nước hình thành các loại cụm khác nhau, ảnh hưởng đến nhận thức về mùi vị rượu. Ở nhiệt độ thấp, nhiều cụm giống kim tự tháp hình thành hơn, làm giảm vị cay nồng của "etanol" và làm cho đồ uống có vị ít cồn hơn. Ngược lại, khi nhiệt độ tăng lên, các cụm trở nên giống chuỗi hơn, dẫn đến mùi cồn rõ rệt hơn. Điều này giải thích tại sao hương vị của một số đồ uống có cồn, chẳng hạn như rượu baijiu, có thể thay đổi tùy theo nhiệt độ. Dữ liệu thu được mở ra triển vọng mới cho các nhà sản xuất đồ uống, ... >>

Tin tức ngẫu nhiên từ Kho lưu trữ

AGLAYA và Ishtar 15.09.2009

"AGLAE" là từ viết tắt tiếng Pháp của "Grand Louvre Accelerator for Elemental Analysis". Máy gia tốc hạt được đặt ở tầng hầm của bảo tàng nổi tiếng và phục vụ cho việc phân tích không phá hủy các tác phẩm nghệ thuật.

Gần đây, một bức tượng nhỏ của nữ thần Ishtar, được tìm thấy trong cuộc khai quật ở Lưỡng Hà vào năm 1863, được đặt dưới một chùm hạt tích điện từ một máy gia tốc. Những viên hồng ngọc được gắn vào mắt của nữ thần và vào rốn của cô ấy. Bức xạ tia X, được kích thích trong ruby bởi tác động của các hạt mang điện, có thể xác định thành phần tạp chất trong đồ trang sức. Hóa ra chúng là đặc trưng của hồng ngọc từ trầm tích của Miến Điện (Myanmar).

Như vậy, người ta đã chứng minh rằng khoảng 2000 năm trước (đây là thời đại của tượng) các thợ kim hoàn của Lưỡng Hà có thể nhận được hồng ngọc từ Đông Nam Á.

Thấy hết Lưu trữ tin khoa học công nghệ, điện tử mới

Tất cả các ngôn ngữ của trang này

Trang chủ | Thư viện | bài viết | Sơ đồ trang web | Đánh giá trang web