At gives the value of a moving obje

At gives the value of a moving object at a particular point in time. Minvalue and maxvalue give the minimum and maximum values of a moving object. Both functions are only defined for types α on which a total order exists. Start and stop return the minimum and maximum of a moving value’s (time) domain, and duration gives the total length of time intervals a moving object is defined. We shall also use the functions startvalue(x) and stopvalue(x) as an abbreviation for at(x, start(x)) and at(x, stop(x)), respectively. Whereas all these operations assume the existence of moving objects, const offers a canonical way to build spatio-temporal objects: const(x) is the “moving” object that yields x at any time.

Kết quả (Việt) 1:

Tại đưa ra giá trị của một đối tượng di chuyển tại một thời điểm cụ thể trong thời gian. Minvalue và maxvalue cung cấp cho các giá trị tối thiểu và tối đa của một đối tượng di chuyển. Cả hai chức năng chỉ được xác định cho loại α mà trên đó một lệnh tất cả tồn tại. Bắt đầu và ngừng trở lại tối thiểu và tối đa của một di chuyển giá trị của (thời gian) tên miền, và thời gian cung cấp cho tổng chiều dài khoảng thời gian một đối tượng chuyển động được xác định. Chúng tôi cũng sẽ sử dụng các chức năng startvalue(x) và stopvalue(x) là viết tắt cho tại (x, start(x)) và (x, stop(x)), tương ứng. Trong khi tất cả các hoạt động này giả định sự tồn tại của di chuyển các đối tượng, const cung cấp một cách kinh điển để xây dựng các đối tượng nhất: const(x) là "di chuyển" đối tượng sản lượng x bất kỳ lúc nào.

Kết quả (Việt) 2:

Tại cho giá trị của một đối tượng di chuyển tại một điểm cụ thể trong thời gian. Minvalue và MAXVALUE cho tối thiểu và giá trị tối đa của một đối tượng di chuyển. Cả hai chức năng được chỉ định cho các loại α mà tổng cộng để tồn tại. Bắt đầu và ngừng trả lại tối thiểu và tối đa (thời gian) miền giá trị của di chuyển, và thời gian cung cấp cho các tổng chiều dài khoảng thời gian một đối tượng di chuyển được xác định. Chúng tôi cũng sẽ sử dụng các chức năng startvalue (x) và stopvalue (x) là một từ viết tắt cho tại (x, bắt đầu (x)) và tại (x, dừng lại (x)), tương ứng. Trong khi tất cả các hoạt động này giả định sự tồn tại của vật thể di động, const cung cấp một cách kinh điển để xây dựng đối tượng không-thời gian: const (x) là "chuyển động" đối tượng mà sản lượng x bất cứ lúc nào.