Đo khoảng cách bước biểu diễn giữa hai số binary64 hữu hạn và xem hai số không có dấu là bằng nhau.
import math, struct
def ulp_distance(a, b):
if any(type(x) is not float or not math.isfinite(x) for x in (a, b)):
raise ValueError("ulp.finite")
def key(value):
bits = struct.unpack(">Q", struct.pack(">d", value))[0]
magnitude = bits & ((1 << 63)-1)
return (1 << 63)-magnitude if bits >> 63 else (1 << 63)+magnitude
return abs(key(a)-key(b))
import math, struct
def ulp_distance(a, b):
if any(type(x) is not float or not math.isfinite(x) for x in (a, b)):
raise ValueError("ulp.finite")
def key(value):
bits = struct.unpack(">Q", struct.pack(">d", value))[0]
magnitude = bits & ((1 << 63)-1)
return (1 << 63)-magnitude if bits >> 63 else (1 << 63)+magnitude
return abs(key(a)-key(b))
Hai đầu ra số có thể in giống nhau nhưng khác dạng biểu diễn bên dưới. UlpNacre cung cấp không gian lập trình AI trên Windows để điều tra liệu khác biệt đó có quan trọng với ứng dụng không. Cung cấp đầu vào thực, phép tính và phép so sánh gây lo ngại. Yêu cầu trợ lý kiểm tra cách tạo và đánh giá giá trị trước khi thay phép so sánh bằng bằng quy tắc khác.
Ví dụ khoảng cách biểu diễn số dấu phẩy động là một tác vụ có thể thực hiện. Bạn có thể xem đầu vào hữu hạn và số không mang dấu, rồi thảo luận cách dùng kết quả khoảng cách trong kiểm thử hoặc chẩn đoán. Giữ quyết định dung sai của ứng dụng tách biệt với phép đo. Mã mẫu dùng Python; tên miền không xác nhận trình gỡ lỗi chuyên cho PHP hay làm các giả định của mẫu đúng với mọi môi trường chạy số học.
Dùng điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ để chọn mô hình AI abliterated có sẵn, với thông tin xác thực khi cần. Ngữ cảnh, công cụ và hạn chế phụ thuộc mô hình cùng máy chủ đó. Rà soát mã so sánh đề xuất và chạy với giá trị đại diện liên quan đến ứng dụng. Máy chủ mô hình cục bộ riêng đảm nhiệm suy luận, trong khi công cụ được kết nối vẫn có thể hoạt động qua dịch vụ bên ngoài.
Đó là yêu cầu ứng dụng, không phải kết luận do phép đo cung cấp. Xem cách dùng giá trị và xác định quy tắc so sánh chấp nhận được. Yêu cầu đề xuất giải thích giới hạn và kiểm thử giá trị gần các quyết định phần mềm thực sự đưa ra.
Nguồn gốc có thể giải thích vì sao chúng khác nhau và sai lệch có được dự kiến hay không. Kiểm tra chuyển đổi và phép toán trước khi thay phép so sánh cuối. Dung sai mới có thể che lỗi ở nơi khác nếu luồng tính toán vẫn chưa được giải thích.
Không. Quy ước đã nêu chấp nhận đầu vào số dấu phẩy động hữu hạn, còn giá trị khác cần chính sách rõ ràng. Giữ đầu vào bị từ chối trong phạm vi rà soát thay vì cho rằng hàm khoảng cách biểu diễn bao quát mọi kiểu số hoặc giá trị ngoại lệ.
Kiểm tra dạng biểu diễn số, hành vi chuyển đổi và phép toán có sẵn của môi trường. Tái tạo các trường hợp biên liên quan trong môi trường đó. Ví dụ Python là điểm khởi đầu điều tra, không phải bằng chứng bản chuyển đổi chưa kiểm thử có hành vi giống hệt.
UlpNacre · Cập nhật 2026-10-25
