mincgen - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

mincgen - Tạo tệp MINC từ tệp CDL.

SYNOPSIS

thịt băm [-b] [-n] [-o tên tệp minc] tập tin đầu vào

MÔ TẢ

thịt băm tạo tệp MINC. Đầu vào cho thịt băm là một mô tả của một tệp MINC trong một
ngôn ngữ nhỏ được gọi là CDL (Ngôn ngữ dạng dữ liệu chung mạng), được mô tả bên dưới. Nếu không
các tùy chọn được chỉ định trong việc gọi thịt băm, nó chỉ kiểm tra cú pháp của CDL đầu vào
tệp, tạo ra thông báo lỗi cho bất kỳ vi phạm nào về cú pháp CDL. Các tùy chọn khác có thể
dùng để tạo tệp MINC tương ứng.

thịt băm có thể được sử dụng với chương trình đồng hành băm nhỏ để thực hiện một số hoạt động đơn giản
trên các tệp MINC. Ví dụ: để đổi tên một thứ nguyên trong tệp MINC, hãy sử dụng băm nhỏ để có được
Phiên bản CDL của tệp MINC, chỉnh sửa tệp CDL để thay đổi tên của kích thước và
sử dụng thịt băm để tạo tệp MINC tương ứng từ tệp CDL đã chỉnh sửa.

LỰA CHỌN

-b Tạo tệp MINC (nhị phân). Nếu -o tùy chọn vắng mặt, tên tệp mặc định sẽ
được xây dựng từ tên MINC (được chỉ định sau netcdf or hdf5 từ khóa trong
đầu vào) bằng cách thêm phần mở rộng `.mnc '. Nếu một tệp đã tồn tại với
tên được chỉ định, nó sẽ bị ghi đè.

-o tên tệp minc
Tên cho tệp MINC nhị phân được tạo. Nếu tùy chọn này được chỉ định, nó ngụ ý
"-b"tùy chọn. (Tùy chọn này là cần thiết vì không thể ghi tệp MINC
trực tiếp đến đầu ra tiêu chuẩn, vì không thể tìm kiếm đầu ra tiêu chuẩn.)

VÍ DỤ

Kiểm tra cú pháp của tệp CDL `foo.cdl':

mincgen foo.cdl

Từ tệp CDL `foo.cdl', tạo một tệp MINC nhị phân tương đương có tên là `x.mnc':

mincgen -o x.mnc foo.cdl

SỬ DỤNG

CDL cú pháp Tổng kết
Dưới đây là ví dụ về cú pháp CDL, mô tả tệp MINC với một số kích thước được đặt tên
(xspace, yspace và zspace), biến (zspace, hình ảnh), thuộc tính biến (valid_range,
signtype) và một số dữ liệu. Từ khóa CDL được in đậm. (Ví dụ này nhằm mục đích
minh họa cú pháp; một tệp CDL thực sẽ có một tập hợp các thuộc tính hoàn chỉnh hơn để
rằng dữ liệu sẽ hoàn toàn tự mô tả.)

netcdf foo {// một đặc tả MINC mẫu trong CDL

kích thước:
xspace = 8;
không gian y = 8;
zspace = 5;

biến:
phao xspace;
phao không gian;
phao không gian zspace (zspace);
ngắn hình ảnh (zspace, yspace, xspace);
tăng gấp đôi image-min (zspace)
tăng gấp đôi image-max (zspace)

// thuộc tính biến
hình ảnh: valid_range = 0,5;
dữ liệu:
image-min = -1,-1,-1,-1,-1;
hình ảnh-max = 1,1,1,1,1;
hình ảnh =
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,
3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,
5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,
5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5;
zspace = 0,2,3.5,7,10;
}

Tất cả các câu lệnh CDL được kết thúc bằng dấu chấm phẩy. Có thể sử dụng dấu cách, tab và dòng mới
miễn phí để dễ đọc. Nhận xét có thể theo sau các ký tự `// 'trên bất kỳ dòng nào.

Mô tả CDL bao gồm ba phần tùy chọn: kích thước, biếnvà dữ liệu,
bắt đầu bằng từ khóa kích thước:, biến:và dữ liệu, tương ứng. Biến
một phần có thể chứa biến tờ khai và thuộc tính bài tập.

MỘT MINC kích thước được sử dụng để xác định hình dạng của một hoặc nhiều
các biến có trong tệp MINC. Thứ nguyên MINC có tên, kích thước và có thể
một số thuộc tính khác.

A biến đại diện cho một mảng nhiều chiều các giá trị cùng kiểu. Một biến có
tên, kiểu dữ liệu và hình dạng được mô tả bằng danh sách các kích thước của nó. Mỗi biến có thể
cũng có liên quan thuộc tính (xem bên dưới) cũng như các giá trị dữ liệu. Tên, kiểu dữ liệu,
và hình dạng của một biến được chỉ định bởi khai báo của nó trong biến phần của CDL
sự mô tả. Một biến có thể trùng tên với một thứ nguyên; theo quy ước như vậy
biến là một chiều và chứa tọa độ của thứ nguyên mà nó đặt tên.
Thứ nguyên không cần có các biến tương ứng.

Một netCDF thuộc tính chứa thông tin về một biến netCDF hoặc về toàn bộ netCDF
tập dữ liệu. Các thuộc tính được sử dụng để chỉ định các thuộc tính như đơn vị, giá trị đặc biệt, giá trị tối đa
và các giá trị hợp lệ tối thiểu, hệ số tỷ lệ, hiệu số và tham số. Thông tin thuộc tính
được biểu diễn bằng các giá trị đơn lẻ hoặc mảng giá trị. Ví dụ: "đơn vị" là một thuộc tính
được đại diện bởi một mảng ký tự chẳng hạn như "cs". Một thuộc tính có một
biến, tên, kiểu dữ liệu, độ dài và giá trị. Ngược lại với các biến
dành cho dữ liệu, các thuộc tính dành cho siêu dữ liệu (dữ liệu về dữ liệu).

Trong CDL, một thuộc tính được chỉ định bởi một biến và tên thuộc tính, được phân tách bằng dấu `: '. Nó
có thể chỉ định toàn cầu các thuộc tính không được liên kết với bất kỳ biến nào trong tệp dưới dạng
toàn bộ bằng cách sử dụng `: 'trước tên thuộc tính. Kiểu dữ liệu của một thuộc tính trong CDL là
bắt nguồn từ loại giá trị được gán cho nó. Chiều dài của một thuộc tính là
số lượng giá trị dữ liệu được gán cho nó hoặc số ký tự trong chuỗi ký tự
được giao cho nó. Nhiều giá trị được gán cho các thuộc tính không phải ký tự bằng cách tách
các giá trị có dấu phẩy. Tất cả các giá trị được gán cho một thuộc tính phải cùng loại.

Tên cho thứ nguyên, biến và thuộc tính CDL phải bắt đầu bằng bảng chữ cái
ký tự hoặc `_ ', và các ký tự tiếp theo có thể là chữ và số hoặc` _' hoặc `- '.

Tùy chọn dữ liệu phần của đặc tả CDL là nơi các biến có thể được khởi tạo.
Cú pháp của khởi tạo rất đơn giản: tên biến, dấu bằng và dấu phẩy-
danh sách hằng số được phân tách (có thể được phân tách bằng dấu cách, tab và dòng mới) đã kết thúc
bằng dấu chấm phẩy. Đối với mảng nhiều chiều, kích thước cuối cùng thay đổi nhanh nhất. Như vậy
thứ tự hàng thay vì thứ tự cột được sử dụng cho ma trận. Nếu cung cấp ít giá trị hơn
so với mức cần thiết để điền vào một biến, nó được mở rộng với một giá trị điền phụ thuộc vào kiểu,
có thể bị ghi đè bằng cách cung cấp giá trị cho thuộc tính biến phân biệt có tên
`_FillValue '. Các kiểu hằng số không cần phải khớp với kiểu được khai báo cho một biến;
các cưỡng chế được thực hiện để chuyển đổi số nguyên sang dấu phẩy động, chẳng hạn. Hằng số `_ '
có thể được sử dụng để chỉ định giá trị điền cho một biến.

Ban sơ Ngày Các loại
xe tăng nhân vật
byte Dữ liệu 8-bit
ngắn Số nguyên có dấu 16 bit
Dài Số nguyên có dấu 32 bit
int (đồng nghĩa với Dài)
phao Dấu chấm động chính xác đơn IEEE (32 bit)
thực (đồng nghĩa với phao)
tăng gấp đôi Dấu chấm động chính xác kép IEEE (64 bit)

Ngoại trừ kiểu dữ liệu được thêm vào byte và thiếu unsigned, CDL hỗ trợ như nhau
các kiểu dữ liệu nguyên thủy là C. Tên cho các kiểu dữ liệu nguyên thủy là các từ dành riêng trong
CDL, vì vậy tên của các biến, thứ nguyên và thuộc tính không được là tên kiểu. Trong
khai báo, tên loại có thể được chỉ định bằng cả chữ hoa hoặc chữ thường.

Các byte khác với các ký tự ở chỗ chúng được thiết kế để chứa đầy đủ tám bit dữ liệu,
và byte XNUMX không có ý nghĩa đặc biệt, như đối với dữ liệu ký tự.

Quần short có thể chứa các giá trị từ -32768 đến 32767.

Độ dài có thể giữ giá trị từ -2147483648 đến 2147483647. int và số nguyên được chấp nhận là
từ đồng nghĩa với Dài trong các khai báo CDL. Bây giờ có các nền tảng với 64-bit
đại diện cho C longs, có thể tốt hơn nếu sử dụng int từ đồng nghĩa để tránh nhầm lẫn.

Số nổi có thể giữ các giá trị trong khoảng -3.4 + 38 đến 3.4 + 38. Đại diện bên ngoài của chúng là
dưới dạng số dấu phẩy động chính xác đơn lẻ chuẩn hóa IEEE 32 bit. thực được chấp nhận như một
từ đồng nghĩa với phao trong các khai báo CDL.

Bộ đôi có thể giữ các giá trị trong khoảng -1.7 + 308 đến 1.7 + 308. Đại diện bên ngoài của họ
là số dấu phẩy động chính xác kép chuẩn hóa chuẩn IEEE 64-bit.

CDL Hằng số
Các hằng số được gán cho các thuộc tính hoặc biến có thể thuộc bất kỳ kiểu MINC cơ bản nào. Các
cú pháp cho hằng tương tự như cú pháp C, ngoại trừ các hậu tố kiểu phải được thêm vào
quần đùi và phao để phân biệt với đồ dài và đồ đôi.

A byte hằng số được biểu thị bằng một ký tự đơn hoặc chuỗi thoát nhiều ký tự
được đặt trong dấu ngoặc kép. Ví dụ,
'a' // ASCII `a '
'\ 0' // một byte XNUMX
'\ n' // ký tự dòng mới ASCII
'\ 33' // Ký tự thoát ASCII (33 bát phân)
'\ x2b' // ASCII cộng (2b hex)
'\ 377' // 377 bát phân = 255 thập phân, không phải ASCII

Hằng số ký tự được đặt trong dấu ngoặc kép. Một mảng ký tự có thể được biểu diễn
dưới dạng một chuỗi được đặt trong dấu ngoặc kép. Các quy ước thoát chuỗi C thông thường được tôn trọng.
Ví dụ
"a" // ASCII `a '
"Hai \ n dòng \ n" // một chuỗi 10 ký tự với hai dòng mới được nhúng
"a bell: \ 007" // một chuỗi chứa chuông ASCII
Lưu ý rằng mảng ký tự "a" sẽ phù hợp với biến một phần tử, vì không
kết thúc ký tự NULL được giả định. Tuy nhiên, một byte XNUMX trong một mảng ký tự là
được giải thích là phần cuối của các ký tự quan trọng bởi băm nhỏ chương trình, sau
quy ước C. Do đó, một byte NULL không nên được nhúng vào một chuỗi ký tự
trừ khi ở cuối: sử dụng byte kiểu dữ liệu thay thế cho mảng byte có chứa số XNUMX
byte. MINC và CDL không có kiểu chuỗi mà chỉ có các mảng ký tự có độ dài cố định, có thể
đa chiều.

ngắn hằng số nguyên được dùng để biểu diễn các đại lượng có dấu 16 bit. Hình thức
của một ngắn hằng số là một hằng số nguyên có thêm chữ `s 'hoặc` S'. Nếu một ngắn
hằng số bắt đầu bằng `0 ', nó được hiểu là hệ bát phân, ngoại trừ việc nếu nó bắt đầu bằng` 0x',
nó được hiểu là một hằng số thập lục phân. Ví dụ:
-2s // một đoạn ngắn -2
0123s // bát phân
0x7ffs // thập lục phân

dài hằng số nguyên được dùng để biểu diễn các đại lượng có dấu 32 bit. Hình thức
của một Dài hằng số là một hằng số nguyên bình thường, mặc dù có thể chấp nhận thêm một
tùy chọn `l 'hoặc` L'. Nếu một Dài hằng số bắt đầu bằng `0 ', nó được hiểu là hệ bát phân,
ngoại trừ việc nếu nó bắt đầu bằng `0x ', nó được hiểu là một hằng số thập lục phân. Các ví dụ
hợp lệ Dài hằng số bao gồm:
-2
1234567890L
0123 // bát phân
0x7ff // thập lục phân

Hằng số dấu chấm động của kiểu phao thích hợp để biểu diễn dấu phẩy động
dữ liệu có độ chính xác khoảng bảy chữ số có nghĩa. Hình thức của một phao hằng số là
giống như hằng số dấu phẩy động C với một chữ `` f '' hoặc `` F '' được thêm vào. Ví dụ
sau đây đều có thể chấp nhận được phao hằng số:
-2.0f
3.14159265358979f // sẽ bị cắt bớt độ chính xác
1.f

Hằng số dấu chấm động của kiểu tăng gấp đôi thích hợp để biểu diễn dấu phẩy động
dữ liệu có độ chính xác khoảng mười sáu chữ số có nghĩa. Hình thức của một tăng gấp đôi hằng số là
giống như một hằng số dấu phẩy động C. Có thể thêm chữ `d 'hoặc` D' tùy chọn. Vì
ví dụ sau đây đều có thể chấp nhận được tăng gấp đôi hằng số:
-2.0
3.141592653589793
1.0e-20
1d

Sử dụng mincgen trực tuyến bằng các dịch vụ onworks.net