Đang tải... (xem toàn văn)
04 loại lương tối thiểu áp dụng trong năm 2017 tài liệu, giáo án, bài giảng , luận văn, luận án, đồ án, bài tập lớn về t...
Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm Nguyễn Văn Hiếu Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người hướng dẫn: TS. Lê Anh Cường Năm bảo vệ: 2009 Abstract: Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh hoạ rằng: giả định được tạo ra bởi giải thuật sử dụng thuật toán học L* chưa phải là giả định tối thiểu. Nêu lên một ví dụ cụ thể để minh hoạ cho thuật toán tạo giả định tối thiểu. Sử dụng bộ công cụ LTSA để xác minh một số hệ thống đơn giản nhằm so sánh về thời gian cũng như bộ nhớ sử dụng của giải pháp cũ và giải pháp được đưa ra trong luận văn. Keywords: Công nghệ phần mềm; Công nghệ thông tin; Tin học; Máy tính; Phần mềm hướng thành phẩm Content MỞ ĐẦU Phát triển phần mềm hướng thành phần (Component-Based Software Development - CBSD) là một trong những công nghệ quan trọng nhất trong kỹ nghệ phần mềm. Hệ thống phần mềm hướng thành phần được xây dựng dựa trên quá trình lựa chọn và ghép nối các thành phần riêng biệt thành một hệ thống hoàn chỉnh. Với cách tiếp cận này, phát triển phần mềm hướng thành phần đã góp phần rút ngắn thời gian thực hiện dự án, nâng cao chất lượng và độ tin cậy của sản phầm. Vì những ưu điểm này mà công nghệ này đã được áp dụng rộng rãi trong quá trình phát triển các dự án phần mềm hiện nay. Tuy nhiên, một trong những hạn chế của CBSD là vấn đề đảm bảo tính đúng đắn của hệ thống khi ghép nối các thành phần với nhau vì các thành phần có thể được phát triển một cách độc lập hoặc được đặt mua từ các công ty thứ 3 (third parties). Hiện tại, các công nghệ hỗ trợ phát triển phần mềm hướng thành phần như CORBA (OMG), COM/DCOM or .NET (Microsoft), Java and JavaBeans (Sun), … vv chỉ hỗ trợ việc ghép nối các thành phần (component plugging). Chúng không có cơ chế 2 kiểm tra liệu các thành phần có thể bị lỗi khi cộng tác với nhau hay không. Điều này có nghĩa là cơ chế “plug-and-play” không được đảm bảo. Một trong những giải pháp phổ biến để giải quyết vấn đề nêu trên là sử dụng các phương pháp kiểm chứng mô hình (Model checking). Tuy nhiên, một trong những hạn chế lớn nhất của kiểm chứng mô hình là vấn đề bùng nổ không gian trạng thái khi kiểm chứng các phần mềm có kích thước lớn. Một trong những cách tiếp cận tiềm năng để giải quyết vấn đề này là áp dụng kiểm chứng từng phần (modular verification - MV). Thay vì tiến hành kiểm chứng trên toàn bộ hệ thống gồm các thành phần được ghép nối với nhau, cách tiếp cận này tiến hành kiểm chứng trên từng thành phần riêng biệt. Với cách tiếp cận này, vấn đề bùng nổ không gian trạng thái hứa hẹn sẽ được giải quyết. Một trong những phương pháp kiểm chứng hỗ trợ ý tưởng này là phương pháp kiểm chứng đảm bảo giả định 04 loại “lương tối thiểu” áp dụng năm 2017 VnDoc.com xin cập nhật 04 loại “lương tối thiểu” áp dụng năm 2017 tới bạn độc giả với nội dung sau: Lương tối thiểu vùng 2017 Từ ngày 01/01/2017, mức lương tối thiểu vùng người lao động làm việc theo hợp đồng lao động tăng từ 180.000 - 250.000 đồng/tháng so với năm 2016 Cụ thể sau: - Vùng I: 3.750.000 đồng/tháng (tăng 250.000 đồng/tháng) - Vùng II: 3.320.000 đồng/tháng (tăng 220.000 đồng/tháng) - Vùng III: 2.900.000 đồng/tháng (tăng 200.000 đồng/tháng) - Vùng IV: 2.580.000 đồng/tháng (tăng 180.000 đồng/tháng) Căn pháp lý: Điều Nghị định 153/2016/NĐ-CP quy định mức lương tối thiểu vùng người lao động làm việc theo hợp đồng lao động Điều Nghị định 122/2015/NĐ-CP quy định mức lương tối thiểu vùng người lao động làm việc doanh nghiệp, liên hiệp hợp tác xã, hợp tác xã, tổ hợp tác, trang trại, hộ gia đình, cá nhân quan, tổ chức có sử dụng lao động theo hợp đồng lao động Lương tối thiểu chung 2017 (lương sở) Từ ngày 01/01 đến ngày 30/6/2017, mức lương sở áp dụng cán bộ, công chức, viên chức, người hưởng lương, phụ cấp người lao động làm việc quan, tổ chức, đơn vị nghiệp Đảng, Nhà nước, tổ chức trị - xã hội hội ngân sách nhà nước hỗ trợ kinh phí hoạt động Trung ương, cấp tỉnh , cấp huyện, cấp xã, đơn vị hành - kinh tế đặc biệt lực lượng vũ trang 1.210.000 đồng/tháng Từ ngày 01/7/2017 trở đi, mức lương sở tăng lên 1.300.000 đồng/tháng (tăng 90.000 đồng/tháng) Căn pháp lý: Khoản Điều Nghị định 47/2016/NĐ-CP quy định mức lương sở cán bộ, công chức, viên chức lực lượng vũ trang Khoản 10 Điều Nghị 27/2016/QH14 dự toán ngân sách nhà nước năm 2017 Quốc hội ban hành Lương tối thiểu người giúp việc gia đình 2017 Lương tối thiểu người giúp việc gia đình không thấp mức lương tối thiểu vùng mục Căn pháp lý: Khoản Điều 15 Nghị định 27/2014/NĐ-CP hướng dẫn Bộ luật Lao động lao động người giúp việc gia đình Lương tối thiểu ngành 2017 Mức lương tối thiểu ngành xác định thông qua thương lượng tập thể ngành, ghi thỏa ước lao động tập thể ngành mức lương không thấp mức lương tối thiểu vùng mục Căn pháp lý: Khoản Điều 90 Bộ luật Lao động 2012 ĐỀ TÀI : Các tổn thất phát sinh trong khâu đóng gói và biện pháp giảm thiểu-Áp dụng trong công nghệ sản xuất chai nhựa quy trình đóng gói trà thảo mộc Dr.Thanh LỜI MỞ ĐÂU Thực trạng c7a khâu đóng gói hàng hóa trong ngành logistics tại Việt Nam: !"#$%&''()*''+%, %-.+%%%$/ 01 11%1%.0'%11%123"4+5"667'8 9:';%,%11623"4+5";%+5%9$<=> ''11='960+?$ <+5+, @%+969 0+?%"+5%$A2 B'6C+5 %DE.011 +%62(;="B1. %%FG=H1E% 328G+%=273+?0'+? %C11$I%%' '%J=&+GE+%+C? +% ==+?0@%$ 1+291%91?0 +%(%$/-?0(E%'6 0"K%;'@'B'%=+?090 %L""=M%NK%%%3:NFG$O@5'@ E'B%%+?E(;6J1 11=1%09!$O@5 =P'3Q.%%+?EG;=R; S%%%('$O1%((P'6 T?0%0+?('G9&C +%,C+5+%$ +211%1%9),%!%1%%C %+?('?U0337'8% +G$<P'R.11%1M%8$+2 P'R.11%1+0%V I. Tầm quan trọng c7a “đóng gói” hàng hóa, sản phẩm trong thực tế W3-%"X161('Y5%"=$+('=N 739"9,2+G'P'H'P'""=.1$<2 N%30'+%1+?37'89+?11$/1 1C%8( P'3P'=37'8%9$1U %">%%'> Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu ( Áp dụng trong sản xuất bia ) MỤC LỤC MỤC LỤC MỞ ĐẦU I. Tổng quan về ngành sản xuất bia ở Việt Nam 1 II. Quy trình sản xuất bia 3 1. Sơ đồ quy trình sản xuất bia 4 2. Các công đoạn chính 5 3. Các bộ phận phụ trợ 7 III. Các chi phí cần thiết trong quy trình sản xuất bia 9 IV. Các chi phí và tổn thất phát sinh trong quy trình sản xuất bia 10 1. Tổn thất do hao phí nguyên liệu 10 2. Tổn thất do hao phí trong quá trình tiêu thụ điện,nhiệt,nhiên liệu, nước và nguyên liệu phụ 11 3. Các chí phí phát sinh do xử lý các vấn đề môi trường 12 V. Các biện pháp giảm chi phí và tổn thất phát sinh trong sản xuất bia 1. Ước tính tiềm năng tiết kiệm có thể đạt được từ việc áp dụng các biện pháp sản xuất tốt hơn tại các nhà máy bia Việt nam 14 2. Các biện pháp cụ thể được áp dụng để giảm các chi phí và tổn thất phát sinh trong quá trình sản xuất bia 15 MỞ ĐẦU 1 Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu ( Áp dụng trong sản xuất bia ) Ngày nay, trong xu thế toàn cầu hóa, vấn đề cạnh tranh trên thị trường của các công ty ngày các trở nên khốc liệt hơn bao giờ hết. Để tăng khả năng cạnh tranh của mình, yêu cầu cấp thiết được đặt ra đó là các công ty phải giảm thiểu tối đa các các chi phí và tổn thất phát sinh không cần thiết trong quá trình sản xuất sản phẩm. Ngành công nghiệp sản xuất bia ở Việt Nam đang trên đà phát triển mạnh, nhưng các công ty bia Việt Nam cũng phải chịu sự cạnh tranh gay gắt trên thị trường. Các công ty bia đang đối mặt với vấn đề “ Làm sao giảm chi phí hợp lý để tăng khả năng cạnh tranh của mình”, bên cạnh đó các công ty cũng nên chú ý đến vấn đề môi trường trong quá trình sản xuất bia. Nhằm mục đích tìm hiểu về quy trình sản xuất bia, từ đó đề ra các biện pháp nhằm tối thiểu hóa các chi phí và tổn thất phát sinh trong quá trình sản xuất bia, tăng khả năng cạnh tranh cho các công ty bia Việt Nam Nhóm Beer đã quyết định chọn đề tài : Logistics Quy Trình Sản Xuất Bia. NỘI DUNG I. Tổng quan về ngành sản xuất bia ở Việt Nam 2 Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu ( Áp dụng trong sản xuất bia ) - Ngành công nghiệp sản xuất bia Việt Nam có lịch sử hơn 100 năm được mọi người đón nhận và ưa thích. Xưởng sản xuất bia đầu tiên được đặt tên là xưởng sản xuất bia Chợ Lớn, do một người Pháp tên là Victor Larue mở vào năm 1875, là tiền thân của nhà máy bia Sài Gòn, nay là Tổng công ty Bia Rượu Nước giải khát Sài Gòn. Ở miền Bắc, vào năm 1889, một người Pháp tên là Hommel đã mở xưởng bia ở Làng Đại Yên, Ngọc Hà, sau trở thành nhà máy bia Hà Nội, nay là Tổng công ty Bia Rượu Nước giải khát Hà Nội. Cùng với quá trình Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu (Áp dụng trong sản xuất hàng may mặc ) TRƯỜNG ĐẠI HỌC SÀI GÒN KHOA : QUẢN TRỊ KINH DOANH Bộ Môn: LOGISTICS ĐỀ TÀI : GIẢNG VIÊN BỘ MÔN: ĐINH VĂN HIỆP 1 LOGISTICS TRONG QUY TRÌNH SẢN XUẤT NGÀNH DỆT MAY Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu (Áp dụng trong sản xuất hàng may mặc ) DANH SÁCH NHÓM 1. Lâm Thị Mỹ Lem 2. Võ Thị Xuân Hiền 3. Phan Thị Kính 4. Đặng Thị Xuân Hải 5. Ngô Thị Luyên 6. Phạm Thị Thương 7. Trần Thị Đình Ái 8. Trần Thị Thi 9. Phạm Hướng Dương 10. Đỗ Thu Hằng LỜI MỞ ĐẦU Hiện nay, ngành logistic Việt Nam đang trong giai đoạn phát triển mạnh mẽ, ngày càng thể hiện được tầm quan trọng trong quá trình sản xuất và kinh doanh. Và trong bài tiểu luận này, nhóm sẽ làm rõ vai trò của logistic trong quá trình sản xuất của ngành dệt may . Trong lĩnh vực này, logistic đóng vai trò đảm bảo máy móc chạy một cách bình thường khi đưa các trang thiết bị về kịp thời, đúng lúc, chất lượng tốt. 2 Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu (Áp dụng trong sản xuất hàng may mặc ) Dệt may là một trong những ngành xuất khẩu chủ lực của nước ta. Để có sức cạnh tranh trên thị trường quốc tế cũng như ngay tại "sân nhà", đòi hỏi các DN dệt may phải thường xuyên tạo ra những sản phẩm mới, đáp ứng yêu cầu ngày càng cao của người tiêu dùng. Dệt may được biết đến là một ngành sản xuất khá đặc thù thường kéo dài trên rất nhiều công đoạn. Mỗi công đoạn lại có quy trình sản xuất riêng, phức tạp và có nhiều quy trình sản xuất con. Trong khi đó, việc sản xuất lại phục vụ cho nhiều tiêu thức như: gia công theo đơn đặt hàng hay sản xuất tự tiêu thụ Với đề tài “Quy trình sản xuất ngành dệt may” Nhóm tìm hiểu các quy trình từ khâu đầu vào đến đóng gói. Tuy nhiên trong quá trình sản xuất , ngoài những chi phí cần có liên quan đến quá trình sản xuất doanh nghiệp có thể gặp phải những rủi ro tổn thất phát sinh sau chi phí. Từ những phân tích trên, Nhóm đưa ra những kế hoạch, giải pháp cụ thể để có thể giảm những tác động của những tổn thất ảnh hưởng tiêu cực đến quá trình sản xuất của ngành dệt may. I. KHÁI QUÁT VỀ QUY TRÌNH SẢN XUẤT NGÀNH DỆT MAY 1. LOGISTICS TRONG QUÁ TRÌNH SẢN XUẤT Trong kinh doanh, logistics có thể hiểu như việc tập trung cả nội lực lẫn ngoại lực bao hàm cả quá trình chu chuyển từ nhà "sản xuất gốc" đến "người tiêu dùng cuối cùng". Chức năng chính của logistic bao gồm việc quản lý việc mua bán, vận chuyển, lưu kho cùng với các hoạt động về tổ 3 Tổn thất trong quá trình sản xuất và các biện pháp giảm thiểu (Áp dụng trong sản xuất hàng may mặc ) chức cũng như lập kế hoạch cho các hoạt động đó. Người quản lý logistics kết hợp kiến thức tổng hợp của mỗi chức năng từ đó phối hợp các nguồn lực trong tổ chức để vận hành. Có hai khác biệt cơ bản của logistics. Một thì đánh giá một cách lạc quan, đơn giản coi đó như là sự chu chuyển ổn định Mục lục Mở đầu Tính cấp thiết đề tài Mục đích, nhiệm vụ, đối tợng, phạm vi phơng pháp nghiên cứu Kết cấu luận văn Chơng Cơ sở lý luận tiền lơng tối thiểu I Khái niệm, chất chức tiền lơng Nền kinh tế thị trờng định hớng XHCN đặc thù thị trờng lao động Việt Nam Khái niệm, chất tiền lơng kinh tế thị trờng II Khái niệm chức tiền lơng tối thiểu Khái niệm tiền lơng tối thiểu Chức tiền lơng tối thiểu Vai trò tiền lơng tối thiểu Hệ thống tiền lơng tối thiểu Căn xác định tiền lơng tối thiểu Các yếu tố phơng pháp xác định tiền lơng tối thiểu Tiêu chí tần suất điều chỉnh mức lơng tối thiểu Nội dung sách tiền lơng tối thiểu Kinh nghiệm nớc tiền lơng tối thiểu Chơng Thực trạng sách tiền lơng tối thiểu nớc ta I Chính sách tiền lơng tối thiểu qua thời kỳ Chính sách tiền lơng tối thiểu thời chiến 1946 1954 Chính sách tiền lơng tối thiểu thời kỳ kế hoạch hóa Chính sách tiền lơng tối thiểu thời kỳ đổi từ 1986 đến II Thực trạng sách tiền lơng tối thiểu nớc ta Những kết qủa đạt đợc Những yếu cần khắc phục Nguyên nhân yếu Bài học kinh nghiệm Chơng 3: Một số kiến nghị nhằm hoàn thiện sách tiền lơng tối thiểu tham gia hội nhập WTO I Bối cảnh kinh tế xã hội Bối cảnh quốc tế Bối cảnh nớc Những thuận lợi khó khăn cho việc hoàn thiện sách tiền lơng nói chung sách tiền lơng tối thiểu Mục tiêu sách tiền lơng tối thiểu II Kiến nghị giải pháp hoàn thiện sách tiền lơng tối thiểu Việt Nam giai đoạn 2006 2010 năm sau Xác định đối tợng hởng lơng Hoàn thiện thể chế tiền lơng tối thiểu Tổ chức thực sách tiền lơng tối thiểu Các giải pháp khác có liên quan Danh mục chữ viết tắt - BCHTW: Ban chấp hành Trung ơng - BHXH: Bảo hiểm xã hội - DNNN: Doanh nghiệp nhà nớc - GDP: Tổng sản phẩm nớc - ILO: Tổ chức lao động quốc tế - NSNN: Ngân sách nhà nớc./ - SXKD: Sản xuất kinh doanh - TW: Trung ơng - XHCN: Xã hội chủ nghĩa - CNH HĐH: Công nghiệp hóa Hiện đại hóa Lời cảm ơn Tôi xin bày tỏ lòng cảm ơn sâu sắc tới TS Nguyễn Trịnh Kiểm Trởng khoa Quản lý Nhà nớc xã hội, ngời hết lòng hớng dẫn trình học tập, nghiên cứu để hoàn thành khóa luận Tôi xin chân thành cảm ơn thầy giáo, cô giáo Ban Đào tạo Học viện Hành Quốc gia hớng dẫn, giúp đỡ tạo điều kiện cho hoàn thành chơng trình khoá học, hoàn thành khoá luận tốt nghiệp Xin cảm ơn chú, anh Vụ Tiền lơng Tiền công Bộ Lao động Thơng binh Xã hội tạo điều kiện thuận lợi cung cấp cho nhiều tài liệu quan trọng trình làm khóa luận.Mở đầu Tính cấp thiết đề tài Chính sách tiền lơng sách quan trọng hệ thống sách kinh tế xã hội đất nớc, liên quan trực tiếp đến đời sống hàn triệu ngời hởng lơng; đến động lực phát triển kinh tế, đến khâu trình tái sản xuất xã hội (sản xuất phân phối trao đổi tiêu dùng); đến ổn định trị xã hội hiệu lực, hiệu quản lý Nhà nớc Trải qua thời kỳ, từ thời chiến, thời kỳ kế hoạch hóa đến thời kỳ đổi mới, Đảng Nhà nớc ta trọng cải tiến cải cách sách tiền lơng cho phù hợp với mục tiêu, yêu cầu hoàn cảnh lịch sử đất nớc thời kỳ Thực tiễn qua lần cải tiến cải cách sách tiền lơng nớc ta (năm 1955, 1958, 1960, 1985, 1993 2004), vấn đề cải cách tiền lơng đợc đặt mối quan hệ cân đối kinh tế vĩ mô (tích lũy, tiêu dùng, giá cả, hàng hoá, tài chính, tiền tệ ); đồng thời đặt yêu cầu giữ vững ổn định trị xã hội, tiền lơng lợi ích trực tiếp hàng triệu ngời hởng lơng; tơng quan thu nhập mức sống giai cấp nông dân với giai cấp công nhân cộng đồng dân c xã hội Sau đổi (1986) đến năm 1993 nớc ta tiến hành cải cách sách tiền lơng theo yêu cầu kinh tế thị trờng, lần cải cách sách tiền lơng đợc đặt mối quan hệ với cải cách đồng sách có liên quan nh: xoá bao cấp, tiền tệ hoá tiền lơng; cải cách sách BHXH; sách u đãi ngời có công; cải cách hành chính; cải cách sách nhà ở, học phí, viện phí Tiếp nội dung tiền lơng đợc quy định Bộ luật lao động (năm 1955 sửa đổi năm 2002) đặt móng cho việc tiếp tục cải cách sách tiền lơng kinh tế thị trờng nớc ta Đến tháng năm 1999, Hội nghị lần thứ ... ngân sách nhà nước năm 2017 Quốc hội ban hành Lương tối thiểu người giúp việc gia đình 2017 Lương tối thiểu người giúp việc gia đình không thấp mức lương tối thiểu vùng mục Căn pháp lý: Khoản Điều... Lương tối thiểu ngành 2017 Mức lương tối thiểu ngành xác định thông qua thương lượng tập thể ngành, ghi thỏa ước lao động tập thể ngành mức lương không thấp mức lương tối thiểu vùng mục Căn pháp... lực lượng vũ trang 1.210.000 đồng/tháng Từ ngày 01/7 /2017 trở đi, mức lương sở tăng lên 1.300.000 đồng/tháng (tăng 90.000 đồng/tháng) Căn pháp lý: Khoản Điều Nghị định 47/2016/NĐ-CP quy định mức