Property preserving abstractions under parallel composition (original) (raw)

An effective axiomatization for real time ACP

Information and Computation, 1995

Baeten and Bergstra added real time to ACP and introduced the notion of integration, which expresses the possibility of an action happening within a time interval. In order to axiomatize this feature, they needed an "uncountable" axiom, This paper deals with prefix integration, and integration is parametrized by conditions, which are inequalities between linear expressions of variables. We present an axiomatization for process terms and propose a strategy to decide bisimulation equivalence between process terms by means of this axiomatization.

Quá trình rã h --> Zy trong mô hình inter Zee

SCIENTIFIC JOURNAL OF TAN TRAO UNIVERSITY, 2020

Bằng cách thêm vào các phổ hạt mới của các lepton, mô hình inter Zee được giới thiệu gần đây đã giải thích tốt các dữ liệu thực nghiệm về khối lượng neutrino và vật chất tối. Chúng tôi sẽ chỉ ra rằng mô hình này hứa hẹn dự đoán các tín hiệu mới của Higgs boson, rã h --> Zy mà đã bị chặn trong các mô hình trước. Đóng góp bậc một vòng sẽ được tính trong chuẩn unitary. Dựa trên số liệu quan sát thực nghiệm, chúng tôi tìm tỷ lệ rã nhánh của quá trình rã h --> Zy . Giá trị bề rộng rã nhánh thu được có thể nằm trong khoảng giá trị mong đợi, các vùng không gian tham số phù hợp thỏa mãn dữ liệu thực nghiệm cũng sẽ được chỉ ra.

Xây dựng chùm cho dữ liệu ảnh từ khoảng hai chiều được trích xuất

Can Tho University Journal of Science

Nhận dạng ảnh có vai trò rất quan trọng trong cuộc cách mạng số hiện nay vì nó là nền tảng của nhiều ứng dụng thực tế. Nghiên cứu này đề nghị việc nhận dạng ảnh bởi khoảng hai chiều được trích xuất từ đặc trưng kết cấu. Dựa vào khoảng cách chồng lấp và đặc trưng khoảng được trích xuất, một thuật toán phân tích chùm mờ cho ảnh được đề nghị. Thuật toán này có thể xác định số chùm thích hợp phải chia cho một tập ảnh, những ảnh cụ thể trong mỗi chùm và xác suất thuộc vào các chùm của mỗi ảnh. Thuật toán đề nghị được trình bày chi tiết từng bước về mặt lý thuyết và được minh hoạ bởi ví dụ số. Thực hiện trên một tập ảnh cụ thể, thuật toán đề nghị đã cho kết quả tốt nhất trong so sánh với các thuật toán gần đây. Nghiên cứu này có thể triển khai cho nhiều vấn đề thực tế liên quan đến nhận dạng ảnh.

Về định lí điểm bất động chung cho ánh xạ trong không gian kiểu-mêtric

Dong Thap University Journal of Science, 2014

Trong bài báo này, chúng tôi giới thiệu khái niệm ánh xạ --co yếu tổng quát trên không gian kiểu-mêtric sắp thứ tự. Đồng thời, chúng tôi thiết lập một định lí điểm bất động chung cho lớp ánh xạ này trên không gian kiểu-mêtric sắp thứ tự và suy ra một số hệ quả từ định lí này. Hơn nữa, chúng tôi cũng xây dựng ví dụ minh họa cho kết quả đạt được.