Kiểm chứng chương tình phần mềm

Nghiên cứu tập trung vào hiện trạng và nhu cầu ươm tạo dự án khởi nghiệp tại Đại học Huế, bằng việc khảo sát 436 đối tượng và sử dụng phần mềm thống kê SPSS 20.0 để xử lý dữ liệu. Nghiên cứu đã thực hiện cả phần định tính và định lượng, với mục tiêu xây dựng và kiểm chứng mô hình về yếu tố ảnh hưởng đến quyết định tham gia ươm tạo dự án khởi nghiệp.

18p viling 11-10-2024 2 0   Download

Đề tài có cấu trúc gồm 3 chương trình bày cơ sở lý luận về kế toán các khoản phải trả trong doanh nghiệp, thực trạng tình hình công tác kế toán các khoản phải trả tại Cty TNHH phần mềm FPT Hồ Chí Minh; nhận xét và kiến nghị. Mời các bạn cùng tham khảo nội dung chi tiết.

87p xuanphongdacy08 28-09-2024 2 1   Download

Cung cấp điện là một trong những học phần quan trọng nhất trong chương trình đào tạo ngành điện. Bài viết trình bày quá trình tính toán, thiết kế tụ bù để nâng cao hệ số công suất, giảm tổn thất điện năng và cách thức mô phỏng, kiểm chứng kết quả trên phần mềm EMTP.

3p vijaychest 16-05-2024 5 1   Download

Bài viết này trình bày một phương pháp thiết lập ma trận độ cứng mới cho phần tử thanh có hai đầu liên kết nửa cứng phi tuyến. Chương trình tính được xây dựng bằng phần mềm Matlab, sử dụng phương pháp phần tử hữu hạn, tải trọng thay đổi lặp tăng dần, cho phép tiến hành khảo sát số với khối lượng tính toán lớn. Kết quả được kiểm chứng với tính toán lý thuyết và thực nghiệm đã được công bố.

15p vicwell 06-03-2024 8 2   Download

Microsoft Excel là phần mềm bảng tính điện tử nổi tiếng trong gói phần mềm Microsoft Office của Microsoft. Để cài đặt mới Office hoặc cài đặt bổ sung thêm một số tính năng của Office, có thể cài đặt từ đĩa CD hay từ ổ cứng. Mời các bạn cùng tham khảo nội dung bài giảng Tin học ứng dụng chương 1 Giới thiệu chung về Microsoft Excel dưới đây để nắm rõ hơn.

37p troinangxanh25 20-10-2022 14 5   Download

Luận án “Một số phương pháp kiểm chứng các hệ thống hướng đối tượng” bao gồm sáu chương. Trong đó, Chương 1 trình bày bài toán mà luận án sẽ nghiên cứu, Chương 2 trình bày một cách tóm tắt các hướng nghiên cứu chính của bài toán kiểm chứng tính nhất quán trong tái cấu trúc. Chương 3 đề xuất phương pháp kiểm chứng các ràng buộc về bất biến trong tái cấu trúc biểu đồ lớp;...

28p viyeri2711 14-09-2021 11 3   Download

Luận văn cũng đã tiến hành xây dựng công cụ hỗ trợ và áp dụng thử nghiệm với các chương trình đơn giản nhằm minh chứng cho tính đúng đắn và tính hiệu quả của phương pháp đề xuất. Tuy nhiên, công cụ cài đặt chưa được hoàn thiện và cần được tiếp tục phát triển nhằm có một công cụ hỗ trợ giáo viên như đã nêu ở trên.

60p tamynhan0 04-07-2020 51 7   Download

Bài viết này trình bày về một phương pháp lặp để tính toán ứng suất trong bê tông và cốt thép của các cấu kiện chịu nén uốn phức tạp ở Trạng Thái Giới Hạn Sử Dụng (TTGH SD) có xét đến khả năng chịu kéo của bê tông. Phương pháp này dựa trên phương pháp trọng tâm (Gravity Method – GM) cho các mặt cắt có vật liệu đồng nhất được mở rộng và phát triển cho các kết cấu có mặt cắt bê tông cốt thép chịu tải trọng nén uốn đồng thời. Các thuật toán của phương pháp này được xây dựng thành chương trình tính toán có tên “FSBiax” dựa trên nền phần mềm MATLAB.

12p thayboitinhyeu 02-03-2020 88 7   Download

Mục đích nghiên cứu của luận án: Trên cơ sở phương pháp XRR phi tuyến không dừng, xây dựng mô hình số và chương trình tính toán; tổ chức thử nghiệm và sử dụng phần mềm ANSYS.CFX để xác định và kiểm chứng các kết quả tính toán đặc tính khí động của cánh KCB khi chuyển động gần mặt giới hạn có xét tới ảnh hưởng của dòng khí sau cánh quạt ở vùng tốc độ nhỏ, dưới âm.

27p cotithanh000 07-10-2019 19 2   Download

Sử dụng phương pháp B3LYP trong đó kết hợp hai phương pháp nguyên lý ban đầu là Hartree-Fock và lý thuyết phiếm hàm mật độ, với chương trình Gaussian và bộ cơ sở 6-31G, chúng tôi tính các vân đạo và mức năng lượng cho 54 nguyên tố đầu tiên. Sau đó sử dụng số liệu thu được kiểm chứng quy tắc sắp xếp điện tử trong bảng phân loại tuần hoàn. Sự phù hợp với số liệu của viện NIST cho phép ta sử dụng các vân đạo và năng lượng thu được cho các nghiên cứu khác về tính chất của hệ tuần hoàn các nguyên tố.

9p chauchaungayxua 17-10-2019 57 4   Download

Mục đích của luận án nhằm xây dựng các chương trình tính toán trên phần mềm để đánh giá, so sánh và kiểm chứng sự khác biệt thông qua đáp ứng đầu ra của mô hình mô phỏng trong trường hợp hệ chịu kích động điều hòa, kích động va chạm và kích động ngẫu nhiên với bộ tham số tối ưu.

146p cotithanh000 07-10-2019 43 6   Download

Trong luận văn này, tác giả đề xuất một phương pháp dựa trên phân tích một ứng dụng EAOP bằng phương pháp hình thức Event-B. Ý tưởng xuất phát từ sự tương đồng giữa cấu trúc sự kiện Event-B và EAOP. Đầu tiên, tác giả xác định các thành phần ứng dụng trong EAOP chuyển đổi sang mô hình Event-B. Tiếp theo, tác giả đưa mô hình hóa tiếp cận thực tế bằng cách sử dụng nền tảng Rodin để kiểm chứng thuộc tính chương trình có còn bảo tồn một số tính chất...

54p hanh_tv26 04-04-2019 45 5   Download

Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình.

6p cumeo2425 02-07-2018 49 3   Download

Chương trình này cũng giúp cho các giáo viên có thể tính nhanh được tỷ lệ học sinh trên trung bình để hình dung được chất lượng học của các em. Đặc biệt phần mềm có thể dùng trong trường hợp muốn chèn thêm một cột kiểm tra. Chẳng hạn khi chúng ta có một cột điểm 15 phút nhưng theo yêu cầu thì phải có 2 cột điểm 15 phút. Lúc đó chúng ta phải bổ sung thêm một con điểm nữa nhưng không làm thay đổi điểm trung bình của các em thì việc sử dụng phần mềm này rất là phù hợp.

4p bornloser 30-09-2017 653 5   Download

Bài thuyết trình Đảm bảo chất lượng phần mềm đã giới thiệu xác minh và thẩm định phần mềm, phân biệt sự khác nhau giữa chúng; mô tả quá trình kiểm tra chương trình và vai trò của nó trong V & V, tìm hiểu kĩ thuật phân tích tĩnh,... Mời các bạn cùng tham khảo.

45p bautroibinhyen13 10-01-2017 84 6   Download

Nội dung chính của luận văn là phân loại phần xoắn của một số họ đã biết và bổ sung những phân loại còn thiếu theo danh sách của D.S. Kubert (là danh sách (K) trong chương 2). Trong các phân loại đó song song với các chứng minh lý thuyết, tác giả sử dụng phần mềm đại số máy tính Sage để kiểm tra lại các kết quả.

59p change15 08-07-2016 44 5   Download

Bài báo này trình bày ứng dụng phần mềm Labview, Card USB Arduino và cảm biến siêu âm trong việc xây dựng bộ thí nghiệm có khả năng đo đạc, thu nhận và xử lí chính xác các đại lượng vật lí về chuyển động cơ học. Với sự cơ động, ghi nhận liên tục và giao diện giao tiếp với máy tính đơn giản, bộ thí nghiệm này có thể giúp giáo viên, học sinh thực hiện các thí nghiệm kiểm chứng về các dạng chuyển động trong chương “Động học chất điểm” - Vật lí 10 ở trên lớp học hay ngay ở nhà.

10p allbymyself_07 02-02-2016 181 44   Download

Khi chúng ta tiến hành cài đặt các phần mềm được download về từ Internet sẽ vô tình kèm theo những công cụ bổ sung vào trình duyệt như: Babylon Toolbar, Chrome, Firefox, khiến bạn khó khăn trong việc tìm kiếm thông tin trên trình duyệt. Bài viết Gỡ Babylon Toolbar trên IE, Chrome, Firefox sẽ giúp bạn gỡ bỏ các chương trình không mong muốn ra khỏi trình duyệt.

7p rubikcube 05-04-2014 67 5   Download

Tại một thời điểm thì bạn chạy một chương trình diệt virus, nhưng không phải ai trong số chúng cũng hoàn hảo, một số loại virus mới hay phần mềm độc hại có thể bị bỏ lọt, vậy tại sao bạn không thử sử dụng nhiều phần mềm một lúc? Nếu bạn có một tập tin đáng nghi ngờ, bạn có thể sử dụng một trang web để kiểm tra với 46 phần mềm diệt virus khác nhau. Vì sao bạn không nên chạy nhiều chương trình chống virus một lúc Hầu hết các chương trình chống virus được thiết kế...

6p skinny_1 15-08-2013 82 6   Download

“Trong một chương trình rà soát kiểm tra sổ sách gần đây, chúng tôi bị chỉ trích nặng nề về khả năng truy cập mở server ‘quá sâu’. Để xử lý mối bận tâm cho các kiểm toán viên và làm hài lòng công tác quản lý, chúng tôi tiến hành tìm hiểu một chương trình kiểm toán có thể đem lại những gì. Học hỏi từ khối sản phẩm của Cisco, hai phương án khả dĩ được đưa ra: sử dụng các ACL hoặc thêm một PIX nội bộ vào mạng....

4p wiwinn 27-07-2013 56 2   Download