PHÂN TÍCH ĐỊA CHẤN ĐỊA TẦNG TRẦM TÍCH ĐỆ TỨ THỀM LỤC ĐỊA MIỀN TRUNG VIỆT NAM

Phân tích địa chấn địa tầng trên cơ sở địa tầng- phân tập được phát triển mạnh mẽ trên Thế giới trong những năm gần đây. Tuy nhiên do xuất phát từ mô hình của các bể trầm tích khác nhau nên có nhiều quan điểm chưa thống nhất. Để xác định đặc điểm môi trường trầm tích, việc vận dụng các quan điểm địa tầng phân tập phù hợp với điều kiện Việt Nam, đặc biệt là trầm tích ở phần nông Pliocen- Đệ tứ là rất cần thiết. Trong bài báo này tác giả trình bày một số kết quả nghiên cứu làm sáng tỏ cơ sở phân tích địa chấn địa tầng và địa tầng phân tập từ tài liệu địa chấn phân giải cao, xác định các mặt ranh giới và phân chia địa tầng, xác định đặc điểm và sự phân bố tướng môi trường trầm tích Đệ tứ thềm lục địa miền TrungSummary: Seismic stratigraphy analysis based on sequence stratigraphy has been developed strongly over the world in the recent years. However, due to differences in development system of sedimentary basins, the analysis is different from place to place. In order to understand the characteristic of sedimentary basins  for Vietnam, it is necessary to research and apply sequence stratigraphy methods, especially for shallow Pliocene-Quaternary sediments, that is suitable with Vietnam environment. In this paper, the authors present some research results to clarify the basic of seismic stratigraphy and sequence stratigraphy from high resolution seismic data, determining interfaces and sequences, with their characters and facies distribution in Quaternary sedimentary of the continental shelf of the central  Vietnam

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ố

MỘT SỐ ĐẶC ĐIỂM ĐỊA CHẤT PLIOCEN - ĐỆ TỨ, ĐỊA CHẤT CÔNG TRÌNH KHU VỰC MIỀN TRUNG VÀ ĐÔNG NAM THỀM LỤC ĐỊA VIỆT NAM

Characteristics of Pliocene - Quaternary geology and Geoengineering in the Center and Southeast parts of Continental Shelf of VietnamVietnam has a large continental shelf with complicated geological characteristics. The study of the Pliocene-Quaternary sediments is very important for understanding the shallow geological characteristics, potential of mineralresources, as well as the evaluation of offshore construction sites conditions. By the combination of HRS, 2-D, 3-Dseismic and other geological methods, the detailed investigating results of the Pliocene - Quaternary formations in the Center and Southeast parts of continental shelf of Vietnam have been obtained.In this paper, the authors present the research results of establishing the structural maps, determining thesedimentary system tracts and sequences, the relationship between sedimentary cycles, sea level change and tectonicmovement, facial-paleogeographic characteristics, geological development history and characteristics of engineering geology Pliocene - Quaternary

Hướng dẫn xây dựng thư viện điện tử bằng phần mềm mã nguồn mở

221 tr. : minh hoạ ; 21 cm

Tổng hợp có kiểm soát kích thước các hạt lignin từ bã mía với sự hỗ trợ của thanh siêu âm

Nghiên cứu tập trung tổng hợp các hạt vi cầu lignin từ lignin bã mía thông qua quá trình khâu mạng hóa học với sự hỗ trợ của thiết bị siêu âm dạng thanh. Trong quá trình tổng hợp, nghiên cứu đã dần kiểm soát được kích thước của hạt lignin bằng cách điều chỉnh các thông số như tỷ lệ thể tích giữa dung dịch khâu mạng và dung dịch lignin trong ethanol và tần số siêu âm. Cụ thể, các thông số tối ưu như tỷ lệ thể tích giữa citric acid và dung dịch lignin là 4/100 và tần số siêu âm là 15 kHz. Với các thông số này, vi hạt lignin thu được với đường kính hạt nhỏ nhất ở 187,9 ± 6,7 nm, hình thái hạt cầu hoàn thiện, có ranh giới rõ ràng giữa các hạt và sự phân bố kích thước hạt tương đối đồng đều. Kết quả từ FTIR thể hiện các đỉnh đặc trưng của hạt lignin tổng hợp và độ tinh khiết khá cao. Ngoài ra, nhiệt độ chuyển thủy tinh của hạt lignin ~109ᵒC và nhiệt độ nóng chảy được xác định ~75ᵒC thông qua DSC

Biển Đông. t.III, Địa chất - Địa vật lý biển

517 tr. : minh hoạ ; 24 cm