Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
1994, TACS
https://doi.org/10.1007/3-540-57887-0_109…
16 pages
1 file
Groote and Vaandrager introduced the tyft/tyxt format for transition system specifications (TSSs), and established that for each TSS in this format that is well-founded, the strong bisimulation it induces is a congruence. In this paper, we construct for each TSS in tyft/tyxt format an equivalent TSS that consists of tree rules only. As a corollary we can give an affirmative answer to an open question, namely whether the well-foundedness condition in the Congruence Theorem of Groote and Vaandrager can be dropped. These results extend to tyft/tyxt with negative premises and predicates.
FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN 2015, 2016
Truy vấn trực tiếp trên các đối tượng trong cơ sở dữ liệu hướng đối tượng rất tốn kém chi phí lưu trữ dữ liệu trong quá trình truy vấn và tốn nhiều thời gian để thực hiện truy vấn trên hệ thống dữ liệu thực. Gần đây, có nhiều nghiên cứu tập trung vào việc giải quyết vấn đề đó bằng cách xây dựng các chỉ mục trên các lớp đơn, phân cấp lớp, hoặc phân cấp đối tượng lồng nhau. Trong bài báo này, chúng tôi sẽ đề xuất một phương pháp lập chỉ mục mới. Phương pháp này dựa trên kỹ thuật sử dụng tập tin chữ ký và cây SD-tree trong đó các tập tin chữ ký được tổ chức theo phân cấp để nhanh chóng lọc dữ liệu không thích hợp và mỗi tập tin chữ ký được lưu theo cấu trúc cây SD-tree nhằm tăng tốc độ quét chữ ký. Kỹ thuật này giúp giảm đáng kể không gian tìm kiếm và do đó sẽ cải thiện đáng kể độ phức tạp thời gian truy vấn.
Các công trình nghiên cứu, phát triển và ứng dụng Công nghệ Thông tin và Truyền thông
A Wireless Sensor Network consists of many tiny nodes with the constraints of processing capability, memory, communication range and power. The communication algorithms for wireless sensor networks are designed to operate in these constraints. In this paper, we propose and design an Energy Aware Collection Tree Protocol (EACTP) with high throughput and balanced energy in order to balance sensor nodes’ energy of the routes that have good link quality and improve the lifetime of sensor nodes. EACTP uses the link quality metric (ETX - Expected Transmission) and the Energy State (ES) of sensor nodes to select the optimal route. The experimentalresults with TUmote (Thainguyen University mote) show that EACTP guarantees the energy balance between the sensor nodes and the sensor nodes’ lifetime is improved better than the original CTP.
22nd International Conference on Data Engineering Workshops (ICDEW'06), 2006
Graph-Theoretic Concepts in Computer Science, 1994
2021
TÓM TẮT: Rút gọn thuộc tính là bài toán quan trọng trong bước tiền xử lý dữ liệu của quá trình khai phá dữ liệu và khám phá tri thức. Trong mấy năm gần đây, các nhà nghiên cứu đề xuất các phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ (Fuzzy Rough Set FRS) nhằm nâng cao độ chính xác mô hình phân lớp. Tuy nhiên, số lượng thuộc tính thu được theo tiếp cận FRS chưa tối ưu do ràng buộc giữa các đối tượng trong bảng quyết định chưa được xem xét đầy đủ. Trong bài báo này, chúng tôi đề xuất phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ trực cảm (Intuitionistic Fuzzy Rough Set IFRS) dựa trên các đề xuất mới về hàm thành viên và không thành viên. Kết quả thử nghiệm trên các bộ dữ liệu mẫu cho thấy, số lượng thuộc tính của tập rút gọn theo phương pháp đề xuất giảm đáng kể so với các phương pháp FRS và một số phương pháp IFRS khác.
Dong Thap University Journal of Science, 2016
Phương trình, bất phương trình, hệ phương trình chứa căn thức là dạng toán phân hóa học sinh trong đề thi tuyển sinh Đại học. Thêm bớt biểu thức liên hợp là cách giải đặc trưng của dạng toán này. Bài báo đưa ra 3 thuật toán giải phương trình, bất phương trình, hệ phương trình vô tỷ bằng cách thêm bớt biểu thức liên hợp:“trị số Bezout”, “cát tuyến gốc”, “đồng dạng tử thức”.
Data-dependent permutations (DDP) are introduced as basic cryptographic primitives to construct fast hardware-oriented ciphers. Some variants of the DDP operations and their application in the cipher CIKS-1 are considered. A feature of CIKS-1 is the use of both the data-dependent transformation of round subkeys and the keydependent DDP operations.
2011
Phương pháp sơ đồ mạng lưới PERT. DSpace/Manakin Repository. ...
Research and Development on Information and Communication Technology, 2018
Biên tập lĩnh vực điều phối phản biện và quyết định nhận đăng: PGS. TS. Nguyễn Khánh Văn Tóm tắt: Tường lửa là một thiết bị bảo mật mạng, trong đó sử dụng tập luật để kiểm soát các gói tin đi qua thiết bị. Cấu hình các luật tường lửa là nhiệm vụ rất khó khăn ngay cả đối với các chuyên gia bảo mật, đặc biệt đối với các hệ thống mạng phức tạp. Sai sót trong quá trình cấu hình thiết bị sẽ tác động tới hai khía cạnh: (i) làm ảnh hưởng tới sự an toàn của hệ thống mạng cần được bảo vệ và (ii) làm suy giảm năng lực xử lý của thiết bị tường lửa. Bài báo này đề xuất cấu trúc cây phát hiện xung đột (CDT: Conflict Detection Tree) có khả năng phát hiện tất cả các loại xung đột trong một tập luật của tường lửa một cách hiệu quả. Tính chính xác và tính hiệu quả của cấu trúc CDT được giới thiệu và chứng minh chi tiết trong bài báo. Cấu trúc CDT được triển khai và kiểm chứng với dữ liệu thực tế, cho thấy tính khả dụng của nó.
BÁO CÁO KHOA HỌC VỀ NGHIÊN CỨU VÀ GIẢNG DẠY SINH HỌC Ở VIỆT NAM HỘI NGHỊ KHOA HỌC QUỐC GIA LẦN THỨ 5 - PROCEEDING OF THE 5TH NATIONAL SCIENTIFIC CONFERENCE ON BIOLOGICAL RESEARCH AND TEACHING IN VIETNAM
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN 2015, 2016
FAIR KỶ YẾU HỘI NGHỊ KHOA HỌC CÔNG NGHỆ QUỐC GIA LẦN THỨ XV - Nghiên cứu cơ bản và Ứng dụng công nghệ thông tin - Proceedings of the 15th National Conference on Fundamental and Applied Information Technology Research (FAIR’2022)
VNU Journal of Foreign Studies
The European Physical Journal A, 2007
FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN - 2016
Hue University Journal of Science: Natural Science
TNU Journal of Science and Technology
FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN 2015, 2016
Journal of Computer Science and Cybernetics, 2012
Tạp chí Khoa học Đại học Đà Lạt
Tạp chí Nghiên cứu dân tộc
Procesamiento de Lenguaje Natural, 2001
Journal of Computer Science and Cybernetics, 2012
Journal of Biological Chemistry, 2003