Xem 1-20 trên 24109 kết quả Tính đúng đắn
  • Bài giảng "Chương 4: Các kỹ thuật kiểm tra tính đúng đắn và tính an toàn của chương trình phần mềm" cung cấp cho người học các kiến thức: Bẫy lỗi (error handling), lập trình phòng ngừa (defensive programming), kiểm thử (Testing), gỡ rối (Debugging). Đây là một tài liệu tham khảo hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài liệu học tập và nghiên cứu.

    pdf128p nhasinhaoanh_08 13-10-2015 25 4   Download

  • Tính đúng đắn của lược đồ cơ sở dữ liệu hướng đối tượng.Kết quả của đề tài chứng minh quan điểm cho rằng, trong Pliocen-Đệ Tứ hoạt động kiến tạo vẫn tiếp tục xảy ra trong khu vực nghiên cứu với xu thế tăng mạnh dọc theo các đứt gãy hoạt động, đặc biệt là tại ranh giới của các miền cấu trúc có chế độ địa động lực khác biệt nhau (đứt gãy Nũi Né-Côn Sơn, Mãng cầu Phú Quý và KT.1090)....

    pdf9p butmaucam 27-08-2013 23 3   Download

  • Với mỗi thuật toán số phép toán cần thực hiện sẽ là một hàm số theo kích thước đầu vào. Chúng ta sẽ đánh giá tính hiệu quả của mỗi thuật toán bằng cách khảo sát độ tăng của hàm này.Định nghĩa: Cho f(x) và g(x) là hai hàm số từ tập các số nguyên hoặc số thực đến tập các số thực. Ta nói f(x) là O(g(x)) hoặc f(x) là big-O của g(x) hay f(x) Î O(g(x)) nếu tồn tại hai hằng số C và k sao cho...

    ppt35p thedaigiapro 13-12-2012 121 38   Download

  • Có rất nhiều phương pháp để kiểm chứng tính đúng đắn của một chương trình Java đa luồng. Một trong các phương pháp đó là sử dụng logic Hoare.

    pdf64p truongnghen 31-08-2012 86 25   Download

  • Chương 35: Hình học tính toán trong "Bài giảng Phân tích thiết kế giải thuật" giới thiệu đến bạn đọc những kiến thức giải thuật thô sơ, kỹ thuật quét, thứ tự có đoạn thẳng, tính đúng đắn. Hy vọng, đây là tài liệu tham khảo hữu ích dành cho các bạn.

    ppt19p gaudinh2015 27-11-2015 7 1   Download

  • Quá trình hình thành và phát triển của Công ty Công ty Xây Dựng Dân Dụng Hà Nội được thành lập tháng 3/1972 theo quyết định số 121/TCCQ của UBHC thành phố Hà Nội để thực hiện nhiệm vụ chuyên xây dựng các công trình dân dụng, dịch vụm phúc lợi công cộng của thành phố. Quá trình hình thành và phát triển của Công ty có thể chia thành các giai đoạn: 1.1.

    pdf17p songngu1311 05-12-2012 250 121   Download

  • Ebook Một số vấn đề về thuật toán cung cấp những kiến thức về: công cụ để phân tích và thiết kế thuật toán, tính đúng đắn của thuật toán, phân tích độ phức tạp thuật toán, phương pháp chia để trị, phương pháp quy hoạch động, phương pháp tham, thuật toán quay lại. Tài liệu phục vụ cho các bạn chuyên ngành Công nghệ Thông tin.

    pdf233p ktct_1669 03-05-2012 194 100   Download

  • Giáo trình Tin học ứng dụng Xây dựng dân dụng & Công nghiệp gồm 4 chương. Nội dung trình bày đại cương về tin học hóa trong xây dựng, ngôn ngữ lập trình Turbo pascal, bổ túc các thuật toán về phương pháp tính và ứng dụng phương pháp số giải các bài toán kết cấu.

    pdf0p lamhuutai01 26-10-2014 120 47   Download

  • UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng bằng các kí hiệu trực quan. Nhưng UML có nhược điểm là nó không thể hiện được hết các khía cạnh của hệ thống. Vì vậy người ta phải dùng thêm OCL để mô tả các ràng buộc cho các đối tượng của mô hình UML. USE là một hệ thống đặc tả hệ thống thông tin. Nó được sử dụng để kiểm tra tính đúng đắn của một mô hình UML bằng các ràng buộc OCL.

    pdf26p tinhbanpt 14-01-2013 62 24   Download

  • Mục đích nghiên cứu đề tài "Nghiên cứu tính chất dẫn điện của hệ bán dẫn thấp chiều" nhằm hiểu và nắm được cấu trúc điện tử và tính chất dẫn điện của hệ bán dẫn một chiều và không chiều, tìm hiểu một số phương pháp chế tạo bán dẫn thấp chiều.

    ppt27p jiaochan 10-09-2014 63 22   Download

  • Mời các bạn cùng tham khảo đồ án "Xây dựng dân dụng và công nghiệp A" dưới đây để nắm bắt được cách tính toán các kết cấu dầm sàn, tính toán dầm phụ bằng thép, tính toán dầm chính bằng thép, tính toán mối nối,... Đây là tài liệu tham khảo hữu ích cho các bạn chuyên ngành Kiến trúc - Xây dựng.

    doc22p vubay1995 12-04-2016 21 10   Download

  • Giúp học sinh nắm được những kiến thức cơ bản về tính chuẩn xác, tính hấp dẫn của văn bản thuyết minh. Bước đầu vận dụng kiến thức đã học để viết một văn bản thuyết minh... Mời quý thầy cô cùng tham khảo Tính chuẩn xác và tính hấp dẫn trong văn bản thuyết minh: Tổng hợp một số bài giảng ngữ văn lớp 10 đặc sắc.

    ppt23p needimprove 12-11-2013 77 8   Download

  • Chủ đề 2 "Tình hình dân số thế giới và dân số Việt Nam" giới thiệu đến các bạn những nội dung về tình hình dân số thế giới, tình hình dân số Việt Nam. Mời các bạn cùng tham khảo tài liệu để phục vụ nhu cầu học tập và nghiên cứu.

    doc7p phuanhphu 19-10-2015 28 8   Download

  • Bài giảng Lập trình C: Chương 6 Kiểm tra tính đúng đắn & tối ưu hóa chương trình nhằm trình bày về kỹ thuật dò tìm và phát hiện lỗi, cách kiểm tra, tối ưu hóa chương trình, tối ưu hóa bộ nhớ, tới ưu hóa thời gian thực hiện, tăng tính hiệu quả của chương trình.

    pdf13p fast_12 25-06-2014 23 6   Download

  • Xin Bộ Tư Pháp cho ý kiến về tính đúng đắn của Thông tư 02/2010/TT-BTC ngày 11/01/2010 của Bộ Tài chính (sau đây gọi là Thông tư 02) hướng dẫn bổ sung Thông tư số 84/2008/TT-BTC ngày 30/9/2008,

    doc2p luatsulecao 04-04-2011 35 5   Download

  • Nội dung bài viết "Tình hình dân số Việt Nam: Qua cuộc điều tra dân số năm 1979 và qua các cuộc điều tra xã hội học gần đây" giới thiệu đến các bạn cơ cấu dân số Việt Nam, các vấn đề về dân số, tình hình dân số Việt Nam,... Mời các bạn cùng tham khảo nội dung bài viết để nắm bắt nội dung chi tiết.

    pdf5p thuythuy1702 09-04-2016 27 3   Download

  • Tình trạng dân số thế giới được đưa ra hàng năm tập trung vào những quyết định cần thiết về dân số, nhằm loại bỏ thảm họa môi trường và đảm bảo có thể chống đỡ với sự gia tăng dân số trong thế kỷ 21. Mời các bạn cùng tham khảo nội dung bài viết "Thông tin xã hội học: Tình trạng dân số thế giới năm 1990" được đưa" để hiểu hơn về vấn đề này.

    pdf2p thuythuy1702 09-04-2016 12 1   Download

  • Nhằm giúp các bạn chuyên ngành Xã hội học có thêm tài liệu tham khảo, mời các bạn cùng tham khảo nội dung bài viết "Tình trạng dân số ở các vùng Briansk và Kaluga dưới ảnh hưởng của sự cố nhà máy điện nguyên tử Checnobyn" dưới đây. Nội dung bài viết trình bày về thực trạng dân số ở các vùng Briansk và Kaluga dưới ảnh hưởng của sự cố nhà máy điện nguyên tử Checnobyn. Hy vọng nội dung bài viết phục vụ hữu ích nhu cầu học tập và nghiên cứu.

    pdf0p thithuy90 30-03-2016 5 0   Download

  • HQTCSDL quan hệ: là phần mềm để tạo lập CSDL theo mô hình CSDL quan hệ và thao tác trên CSDL đó. Các tính năng của HQT CSDL quan hệ - Khả năng lưu trữ dữ liệu lâu dài - Truy nhập số lượng lớn thông tin một cách hiệu quả. - Được xây dựng trên mô hình dữ liệu (quan hệ)- Ngôn ngữ cấp cao để định nghĩa và thao tác dữ liệu. (Ngôn ngữ truy vấn có cấu trúc SQL)- Đồng bộ các truy nhập cạnh tranh - Kiểm tra tính đúng đắn của dữ liệu và thẩm...

    pdf70p kimtien_hn1989 28-11-2009 888 372   Download

  • Thành tựu thực nghiệm ngót một thế kỉ qua đã chứng tỏ tính đúng đắn của khái niệm về nhóm không gian. Cho đến nay chưa từng gặp tinh thể nào mà không thuộc một nhóm điểm một nhóm không gian nào đó. Chính mạng không gian với nguyên tử góp mặt nơi nút mạng đã sinh ra mạng tinh thể. Chương này sẽ nói tới tập tính của nguyên tử trong mạng

    pdf74p yenhong 24-06-2009 731 244   Download

Đồng bộ tài khoản