A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent ProgramsThe paper presented the automated test data generation method based UML sequence diagrams, class diagrams and OCL. The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments. The key idea of this method is to generate all possible test scenarios in case of exploring the message sequence with their possible int...
18 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 646 | Lượt tải: 0
Đề cương ôn tập lý thuyết nghề tin học năm học 2017-20182. Tạo đường tắt (truy cập nhanh) Đường tắt (Shortcut) là biểu tượng giúp người dùng truy cập nhanh vào đối tượngthường sử dụng. Đường tắt có thể đặt trên màn hình làm việc, trong bảng chọn Start hay trong một thư mục. Sau đây là các bước để tạo đường tắt trên màn hình làm việc: Dùng nút phải chuột kéo thả tệp ra màn hình làm việc Trong bản...
10 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 746 | Lượt tải: 1
A Pencil-Beam Planar Dipole Array Antenna for IEEE 802.11ac Outdoor Access Point RoutersThis paper has proposed a new design of planar dipole array antenna. The array antenna comprising of 4 × 4 × 3 elements has been constructed from the FR4-epoxy substrate. Good agreements between measurement and simulation have been obtained. It can be a good product for Wi-Fi ac outdoor access point (AP) routers.
6 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 639 | Lượt tải: 1
Cách sử dụng Powerpoint để làm Báo cáo, thuyết trình một cách chuyên nghiệpThêm các hiệu ứng trong PowerPoint Có rất nhiều hiệu ứng trong PowerPoint như: hiệu ứng hình ảnh, hiệu ứng đồ thị, hiệu ứng văn bản, hiệu ứng chuyển slide. Nếu các bạn muốn các slide của mình sinh động hơn với các hiệu ứng thì các bạn cũng có thể tạo các hiệu ứng mà mình muốn. Các bạn có thể tham cách tính hoa hồng nhà cái 188BET tại link kế bên. ...
9 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 625 | Lượt tải: 0
Bài giảng Kiến trúc máy tính - Chương 6, Phần 4: Giao diện bộ xử lí với I/OĐiểm khác nhau cơ bản là: CPU dùng để thực hiện mã (code) DMAC dùng để chuyển dữ liệu Một cách tốt để hiểu sự khác nhau trên là minh họa các quá trình trên như là một cuộc chơi bóng ném. CPU là người chơi ném bóng với hai người khác được gọi là A và B. Để chuyển bóng từ A tới B, CPU phải bắt quả bóng do A ném và tung nó cho B. DMA, theo một...
9 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 713 | Lượt tải: 0
Multi-Criteria Group Decision Making with Picture Linguistic NumbersIn this paper, motivated by picture fuzzy sets and linguistic approaches, the notion of picture linguistic numbers are first defined. We propose the score, first accuracy and second accuracy of picture linguistic numbers, and propose a simple approach for the comparison between two picture linguistic numbers. Simultaneously, the operation l...
14 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 741 | Lượt tải: 0
Bài giảng Kiến trúc máy tính - Chương 6, Phần 3: Hệ thống BusCác chuẩn về Bus: - Số lượng và chủng loại các bộ phận vào/ra không cần định trước trong các hệ thống xử lý thông tin. Điều này giúp cho người sử dụng máy tính dùng bộ phận vào/ra nào đáp ứng được các yêu cầu của họ. Vào/ra là giao diện trên đó các bộ phận (thiết bị) được kết nối vào hệ thống. Nó có thể xem như một Bus nới rộng dùng để kết n...
9 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 709 | Lượt tải: 0
An Experimental Investigation of Part-Of-Speech Taggers for VietnameseIn this paper, we present an experimental investigation of five part-of-speech taggers for Vietnamese. In the investigation, there are four statistical taggers, Stanford POS Tagger, ClearNLP, vnTagger and JVnTagger. The other one is RDRPOSTagger,a transformation-based tagger. In term of tagging accuracy, we evaluate the statistical taggers b...
15 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 768 | Lượt tải: 0
Bài giảng Kiến trúc máy tính - Chương 6, Phần 2: Đĩa quangMỘT VÀI THÔNG SỐ Các lỗ trên CD sâu 0,12 micron và rộng 0,6 micron (1 micron bằng một phần ngàn mm). Các lỗ này được khắc theo một track hình xoắn ốc với khoảng cách 1,6 micron giữa các vòng, khoảng 16.000 track/inch. Các lỗ (pit) và nền (land) kéo dài khoản 0,9 đến 3,3 micron. Track bắt đầu từ phía trong và kết thúc ở phía ngoài theo ...
7 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 726 | Lượt tải: 0
Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration PropertiesWe have presented the problem of checking probabilistic timed automata against probabilistic duration calculus formulas. The problem is decidable for a class of PDC formulas of the form [Ψ]wλ where Ψ is a linear duration invariant, or a DC formula for bounded liveness. The technique for model checking is an extension of our techniques for ch...
16 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 687 | Lượt tải: 0
