THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM

In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex software systems. In this paper, we present some general points and several results in recent researches about symbolic execution technique. This paper also shows different challenges that need setting in this field such as the explosion of execution paths in a program, the ability of constraint solving, memory modelling or concurrent problems etc. The evaluation of published results is given in this paper as well.Trong hoạt động kiểm thử phần mềm, các ca kiểm thử thường được tạo ra một cách thủ công, gây tốn kém về chi phí cũng như thời gian để hoàn thành công đoạn này. Thực thi tượng trưng (Symbolic execution) được biết đến là một kỹ thuật nổi tiếng với khả năng tự động sinh những bộ test case có độ bao phủ cao với các tiêu chí kiểm thử nhằm phát hiện những lỗi sâu trong các hệ thống phần mềm phức tạp. Bài báo trình bày các vấn đề tổng quan và một số kết quả của các nghiên cứu gần đây về kỹ thuật thực thi tượng trưng. Bài báo cũng đưa ra những thách thức cần giải quyết trong lĩnh vực này như: sự bùng nổ đường thực thi của chương trình, khả năng giải các ràng buộc, mô hình hóa bộ nhớ, các vấn đề về tương tranh vv.. đồng thời đưa ra một số đánh giá từ những kết quả đã công bố

HIỆU QUẢ SỬ DỤNG ĐẤT NÔNG NGHIỆP CỦA ĐỒNG BÀO DÂN TỘC THIỂU SỐ CƠ TU Ở KHU VỰC MIỀN NÚI TỈNH QUẢNG NAM

Là một quốc gia phụ thuộc vào tài nguyên, Việt Nam xác định đất nông nghiệp đóng vai trò nền tảng cho sự phát triển kinh tế – xã hội, đặc biệt là khu vực miền núi. Mục tiêu của nghiên cứu là đánh giá hiệu quả sử dụng đất nông nghiệp của người Cơ Tu về các khía cạnh kinh tế, xã hội và môi trường tại khu vực miền núi tỉnh Quảng Nam. Thông tin thứ cấp là các báo cáo của chính quyền địa phương và thông tin sơ cấp là kết quả điều tra đối với 84 hộ dân và 3 cuộc thảo luận nhóm tại xã Sông Kôn, huyện Đông Giang, tỉnh Quảng Nam. Kết quả cho thấy có 6 loại hình sử dụng đất chính tại địa bàn nghiên cứu, nhưng chỉ có đất trồng cây Keo là mang lại hiệu quả. Cụ thể, với các giá trị IRR = 9,35%, cao hơn lãi suất ngân hàng hiện tại (6,8%) và NPV hơn 1,4 triệu đồng, Keo là cây mang lại hiệu quả kinh tế cao hơn so với với lúa, ngô và sắn. Khoảng cách giữa ruộng keo đến đường chính có tương quan nghịch có ý nghĩa thống kê với doanh thu (p < 0,05). Keo rất dễ trồng, phù hợp với điều kiện canh tác của người dân địa phương, nhưng hiệu quả kinh tế chưa thực sự cao

PHÂN LẬP, NHÂN NUÔI LƯU GIỮ VÀ ĐỊNH TÊN MỘT SỐ NẤM RỄ NỘI CỘNG SINH TRÊN CÂY LÚA VÀ CÀ CHUA Ở BẮC VIỆT NAM

Trong đề tài của chúng tôi, lúa và cà chua là các cây nông  nghiệp được lựa chọn để phân lập các bảo tử nấm rễ nội cộng sinh (AM) và tìm hiểu mối quan hệ cộng sinh giữa nấm và cây. Trong bài báo này, chúng tôi xác đinh được cây Mã đề Ribwort (Plantago lanceolata) là cây chủ tốt cho nhân nuôi lưu giữ để làm tăng số lượng bào tử AM. Đã định tên đến chi các bào tử nấm rễ  AM  phân  lập  được  đó  là  các  chi  Scutellospora,  Glomus,  Acaulospora,  Gigaspora,  và Entrophospor

TẠO ADENOVIRUS TÁI TỔ HỢP MANG ĐOẠN GEN chIL-6

Bằng các kỹ thuật sinh học phân tử và miễn dịch nhóm nghiên cứu đã tạo ra adenovirus tái tổ hợp mang đoạn gen interleukin6 của gà, nhằm làm nguyên liệu tạo chế phẩm gây kích ứng miễn dịch cho gia cầm

Phân lập, sàng lọc và định danh các chủng vi sinh vật có hoạt tính kháng sinh từ vùng biển Đông Bắc Việt Nam

Microorganisms are especially interested in due to the ability to produce secondary compounds with high-value applications. Plenty of novel and diverse chemical structures have been found in the bioactive substances of microorganisms. In this study, we isolated 143 strains of bacteria and actinomycetes from 161 samples including: sediments, sponges, soft corals, echinoderms and starfish collected from three sea areas of Viet Nam: Ha Long - Cat Ba; Co To - ThanhLan; Bai Tu Long. The strains were fermented in A1 medium and then fermentation broths were extracted 5 times with ethyl acetate. The extraction residue screening test using 7 reference strains isolated 15 target strains with the highest biological activity. Most of these strains have dramatic inhibition on Gram positive bacteria: Enterococcus faecalis ATCC29212; Bacillus cereus ATCC13245  and Candida albicans ATCC10231 with MIC values  ​​less than or equal to the MIC value of the reference antibiotic. In particular, strain G057 was active against S. enterica ATCC 13076 and G002 inhibited E. coli ATCC25922 with respective values  ​​MICG057 = 8 µg/ ml, MICG002 = 256µg/ ml; and three strains G115, G119, G120 showed the inhibitory effect towards P. aeruginosa ATCC27853 with respective values ​​MICG115 = 64 µg/ ml, MICG119 = 32 µg/ ml and MICG120 = 32 µg/ ml. All 15 strains were then subjected to morphological and phylogenetic investigations based on 16S rRNA gene sequences. The results showed that 9 of 15 strains G016, G017, G019, G043, G044, G047, G068, G119 and G120 belonged to Genus Micromonospora; strains G039 and G065 were identified as Genus Stretomyces; G002 was  identified as Bacillus; G057 was  identified as Nocardiopsis; G115 was in Photobacterium and G121 belonged Oceanisphaera.Vi sinh vật được đặc biệt quan tâm là do khả năng sinh tổng hợp ra các hợp chất thứ cấp có giá trị ứng dụng cao. Các chất có hoạt tính sinh học có thể cung cấp cho chúng ta các cấu trúc hoá học đa dạng và mới lạ. Trong nghiên cứu này, chúng tôi đã tiến hành phân lập được 143 chủng vi khuẩn và xạ khuẩn từ 161 mẫu gồm: trầm tích, hải miên, san hô mềm, da gai, sao biển thu thập từ ba vùng biển Hạ Long - Cát Bà, Cô Tô - Thanh Lân và Bái Tử Long. Các chủng được lên men trong môi trường A1, dịch lên men được xử lý tạo cặn chiết và tiến hành sàng lọc cặn chiết của vi khuẩn với 7 chủng vi sinh vật kiểm định dẫn đến lựa chọn 15 chủng vi sinh vật có hoạt tính sinh học cao nhất, thể hiện khả năng ức chế khá mạnh đối với 2 chủng vi khuẩn Gram (+) Enterococcus faecalis ATCC29212; Bacillus cereus ATCC13245 và chủng nấm men Candida albicans ATCC10231 với các giá trị MIC nhỏ hơn hoặc bằng giá trị MIC của các kháng sinh đối chứng. Ngoài ra, chủng G057 còn có khả năng kháng S. enterica ATCC13076 và chủng G002 kháng E. coli ATCC25922 với giá trị tương ứng MICG057 = 8 µg/ml, MICG002 =  256 µg/ml. Ba chủng G115, G119, G120 có khả năng kháng P. aeruginosa ATCC27853 với giá trị tương ứng  MICG115 = 64 µg/ml, MICG119 =  32 µg/ml và MICG120 =  32 µg/ml. Nghiên cứu đặc điểm hình thái và phân tích trình tự gen mã hóa tiểu phần  rRNA 16S cho thấy 9 trong số 15 chủng (G016, G017, G019, G043, G044, G047, G068, G119, G120) thuộc chi Micromonospora, hai chủng G039, G065 thuộc chi Stretomyces, chủng G002 thuộc chi Bacillus, G057 thuộc chi Nocardiopsis, chủng G115 thuộc chi Photobacterium và chủng G121 thuộc chi Oceanisphaera

Metabolic engineering of bacteria for the production of 2-methylketones

2-Methylketone is a class of compounds that are commonly used to flavor some foods and to improve the appeal of cosmetics. 2-Methylketones can act as a natural insecticide with low mammalian toxicity and little or no impact on the environment. Recently, methylketone has received more attention as a potential source of biodiesel. The discovery of two genes encoding two enzymes necessary for methylketone biosynthesis in the wild type tomato Solanum habrochaites, designated methylketone synthase 2 (ShMKS2) and methylketone synthase 1 (ShMKS1),and their homogeneous genes in some other plants have provided sources of the gene for metabolically engineering bacteria for the production of the 2-methylketone. In this paper,we include new results achieved in this area in the past few years. The study sought to identify challenges and opportunities posed by the examples and to develop innovative suggestions for further research

MÔ HÌNH CANH TÁC NÔNG NGHIỆP THÍCH ỨNG VỚI BIẾN ĐỔI KHÍ HẬU CỦA ĐỒNG BÀO DÂN TỘC THIỂU SỐ XƠ ĐĂNG, TỈNH QUẢNG NAM

Nghiên cứu được thực hiện tại huyện Bắc Trà My, tỉnh Quảng Nam nhằm tìm hiểu các mô hình canh tác nông nghiệp thích ứng với biến đổi khí hậu với đối tượng tham gia chính là 90 hộ dân tộc thiểu số Xơ Đăng. Ba kết quả chính được phát hiện trong quá trình điều tra gồm: thứ nhất, người Xơ Đăng nhận thức được việc khí hậu đang thay đổi và có tác động đến sinh kế của họ; hầu hết hộ đồng ý rằng hạn hán đang kéo dài hơn; tần suất của các đợt lũ lụt, bão có xu hướng giảm dần nhưng mạnh hơn; thứ hai, người dân đưa ra bốn biện pháp thích ứng với biến đổi khí hậu bao gồm (1) điều chỉnh lịch canh tác, (2) điều chỉnh kỹ thuật canh tác, (3) sử dụng giống bản địa và (4) xen canh cây trồng; thứ ba, trong năm mô hình canh tác chính, xen canh keo và lúa rẫy (Pế-tru) là mô hình thích ứng có hiệu quả kinh tế cao nhất với các giá trị IRR = 10,23%; NPV đạt 2,6 triệu đồng; thời gian thu hồi vốn là 3,5 năm. Kết quả cũng cho thấy có hai yếu tố ảnh hưởng có ý nghĩa (p < 0,05) tới hiệu quả kinh tế của mô hình này là loại giống keo và khoảng cách từ rẫy keo đến đường chính

Thành phần hóa học của cao chiết ethyl acetate từ cây ba chẽ Desmodium triangulare (Retz.) Merr

Trong nghiên cứu này, thành phần hóa học của cao chiết ethyl acetate từ thân và lá cây ba chẽ đã được nghiên cứu. Mẫu nguyên liệu khô được nghiền nhỏ, sau đó chiết bằng phương pháp ngấm kiệt với methanol thu được cao chiết thô. Cao chiết thô được phân tán trong nước và thực hiện  quá trình chiết lỏng- lỏng với dung môi ethyl acetate nhằm thu được cao ethyl acetate. Cao chiết ethyl acetate đã được phân tách bằng phương pháp sắc ký trên cột silica gel và Sephadex LH20. Kết quả đã phân lập được bốn hợp chất sạch. Dựa vào dữ liệu phổ  1H-NMR và 13C-NMR và kết hợp với các tài liệu tham khảo đã xác định được cấu trúc của bốn hợp chất hữu cơ đã phân lập là stigmasterol, methyl protocatechuate, methyl syringate và methyl ferulate. Kết quả phân tích HPLC của cao chiết methanol chỉ ra rằng các hợp chất phân cực và kém phân cực là thành phần chính của cao chiết

Relatório de estágio em farmácia comunitária

Relatório de estágio realizado no âmbito do Mestrado Integrado em Ciências Farmacêuticas, apresentado à Faculdade de Farmácia da Universidade de Coimbr