Ứng dụng kĩ thuật trừu tượng hóa

Ứng dụng kĩ thuật trừu tượng hóa trong phân tích chương trình (program analysis) giúp mở rộng phạm vi xử lí tới các hệ thống có không gian trạng thái lớn. Các kĩ thuật trừu tượng đang được sử dụng ngày càng nhiều trong phân tích phát hiện lỗi chương trình. Quá trình phân tích phát hiện lỗi một chương trình thường gắn chặt với việc xác định tính khả đạt (reachability) của chương trình đó.

13p vijichoo2711 04-06-2021 19 2   Download

Mỹ thuật ứng dụng cũng như các ngành thiết kế nói chung luôn bị ảnh hưởng bởi tinh thần thời đại và những dòng nghệ thuật chủ lưu chi phối nghệ thuật thời kì đó. Trong thiết kế đồ họa ứng dụng hiện nay, có thể có sự ảnh hưởng của rất nhiều xu thế nghệ thuật đương đại, mang tính chất thời đại như các trào lưu nghệ thuật Hiện đại (Lập thể, Biểu hiện, Trừu tượng, Siêu thực…).

7p vigustavia2711 19-12-2019 104 11   Download