Trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội
Công bố khoa học tiêu biểu
Sắp xếp:
Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties
VNU Journal of Science: Computer Science and Communication Engineering - Tập 32 Số 1 - 2016
In this paper, we consider a subclass of Probabilistic Duration Calculus formula called Simple Probabilistic Duration Calculus (SPDC) as a language for specifying dependability requirements for real-time systems, and address the two problems: to decide if a probabilistic timed automaton satisfies a SPDC formula, and to decide if there exists a strategy of a probabilistic timed automatonÂ...... hiện toàn bộ
Influence of anneal time and ZnO nanorod on the efficiency of organicinorganic hybrid solar cell
Tạp chí Phát triển Khoa học và Công nghệ Đại học Quốc gia Thành phố Hồ Chí Minh - Tập 17 Số 3 - Trang 52-61 - 2014
In this study, we investigated the effect of annealing time and morphology of ZnO nanorods on the conversion efficiency of hybrid solar cell. ZnO nanorods were synthesized by two-step electrochemically steady stream method. The result showed the uniform growth of nanorods which have a good orientation in demonstrating the hexagonal structure with an average diameter from 30nm to 50nm and average l...... hiện toàn bộ
A 8x1 Sprout-Shaped Antenna Array with Low Sidelobe Level of -25 dB
VNU Journal of Science: Computer Science and Communication Engineering - Tập 33 Số 1 - 2017
This paper proposes a 8 x 1 sprout-shaped antenna array with low sidelobe level (SLL) for outdoor point to point applications. The array has the dimensions of 165 mm x 195 mm x 1.575 mm and is designed on Rogers RT/Duroid 5870tm with the thickness of 1.575 mm and permittivity of 2.33. In order to achieve low SLL, Chebyshev distribution weights corresponding to SLL preset at -30 dB has been applie...... hiện toàn bộ
High accuracy indoor positioning approach using kNN and LSTM algorithms
Bài báo trình bày một giải pháp hiệu quả cải thiện độ chính xác trong định vị trong nhà sử dụng học máy. Mục tiêu của giải pháp đề xuất là giảm sai số ước lượng khoảng cách bằng cách kết hợp hai thuật toán k láng giềng gần nhất (kNN) và bộ nhớ dài-ngắn hạn (LSTM). Kết quả mô phỏng cho thấy phương pháp tổng hợp của chúng tôi đạt được độ chính xác hơn 40% khi sai số yêu cầu nhỏ hơn 1 mét cao hơn so ...... hiện toàn bộ
#Indoor Positioning System; Machine Learning; kNN; LSTM.
Định vị cho robot sử dụng bộ lọc kalman mở rộng cải tiến với logic mờ và mạng nơ ron
Tạp chí tin học và điều khiển học - Tập 29 Số 2 - 2013
Báo cáo trình bày một đề xuất mới để cải tiến chất lượngcủa bộ lọc Kalman mở rộng cho bài toán định vị cho robot di động. Một hệ logicmờ được sử dụng để hiệu chỉnh theo thời gian thực các ma trận hiệp phương sai củabộ lọc. Tiếp đó, một mạng nơron được cài đặt để hiệu chỉnh các hàm thành viên củaluật mờ. Mục đính là để tăng độ chính xác và tránh sự phân kỳ của bộ lọc Kalmankhi các ma trận hiệp phươ...... hiện toàn bộ
#fuzzy logic #extended kalman filter #localization #mobile robot
Generation of Test Data Using Genetic Algorithm and Constraint Solver
Studies in Computational Intelligence - - Trang 499-513 - 2017
Search-based testing techniques using genetic algorithm (GA) can automatically generate test data that achieves high coverage on almost any given program under test. GA casts the path coverage test data generation as an optimization problem and applies efficient...
A Model for Real-time Concurrent Interaction Protocols in Component Interfaces
VNU Journal of Science: Computer Science and Communication Engineering - Tập 33 Số 1 - 2017
Interaction Protocol specification is an important part for component interface specification. To use a component, the environment must conform to the interaction protocol specified in the interface of the component. We give a powerful technique to specify protocols which can capture the constraints on temporal order, concurrency, and timing. We also show that the problem of checking if a timed au...... hiện toàn bộ
A single degree of freedom model for cracked beam
This paper presents a simplified model of cracked beam by single-degree-of-freedom system. Equivalence between the beam and SDOF models means that they have the same fundamental natural frequency and similar frequency response functions (FRFs). Similarity of FRFs is checked by using the frequency-domain assurance criterion acknowledged herein as spectral similarity index (SSI). Finally, FRFs of bo...... hiện toàn bộ
#cracked beam #simplified model #frequency response function #frequency domain assurance criterion
Effect of intermediate supports location on natural frequencies of multiple cracked continuous beams
Vietnam Journal of Mechanics - Tập 40 Số 2 - 2018
The present paper deals with free vibration of multiple cracked continuous beams with intermediate rigid supports. A simplified method is proposed to obtain general solution of free vibration in cracked beam with intermediate supports that is then used for natural frequency analysis of the beam in dependence upon cracks and support locations. Numerical results show that the support location or rat...... hiện toàn bộ
#continuous beam #multi-span beam #multiple cracked beam #natural frequency
An Elasticity Framework for Distributed Message Queuing Telemetry Transport Brokers
VNU Journal of Science: Computer Science and Communication Engineering - Tập 37 Số 1 - 2021
Internet of Things (IoT) applications are increasingly making impact in all areas of humanlife. Day by day, its chatty embedded devices have been generating tons of data requiring effectivenetwork infrastructure. To deliver millions of IoT messages back and fort with as few faults aspossible, participation of communication protocols like MQTT is a must. Lightweight blueprintand friendly battery ar...... hiện toàn bộ
Tổng số: 116
- 1
- 2
- 3
- 4
- 5
- 6
- 10