The specifications may be understan

The specifications may be understandable for humans, but should be formalized for automated processes. Formalizing specifications means reformulating them into measurable specifications that can be understood by automated processes. An example of an immeasurable specification is ‘the character of the terrain should be maintained’. Formalizing specifications also implies formalizing concepts that are not encoded in the data but are inferred by cartographers during the process. Examples are ‘urban extent’, ‘character of the terrain’, ‘shape of buildings’ and ‘building pattern’. Apart from formalizing the concepts themselves, their allowed changes at scale transitions should be mathematically described. Previous research has succeeded rather well in formalising requirements on isolated features. However, formalizing contextual concepts is much more complex (Regnauld, 1998; Weibel and Dutton, 1998; AGENT, 1999; Veltkamp and Hagedoorn, 1999; Sadahiro, 2000; Christophe and Ruas, 2002; Mackaness and Edwardes, 2002; Steiniger, 2007; Ai et al., 2008). Lu¨scher et al. (2007, 2008) obtained promising results for interpreting high-level cartographic concepts from a reasoning process on formalized low-level knowledge. Formalizing specifications require a formal language to express map requirements in a way closer to computer language. A possibly suitable language is the object constraint language (OCL) as shown in Stoter et al. (2008b) and Edwardes and Mackaness (1999). OCL is a language that can be used in combination with Unified Modelling Language (UML) to enrich a data model with additional knowledge.

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

Các thông số kỹ thuật có thể dễ hiểu đối với con người, nhưng nên được chính thức hoá cho các quy trình tự động. Formalizing có nghĩa là thông số kỹ thuật reformulating chúng vào đo thông số kỹ thuật có thể được hiểu theo quy trình tự động. Một ví dụ của một đặc tả vô biên là 'nhân vật của địa hình nên được duy trì'. Formalizing chi tiết kỹ thuật cũng ngụ ý formalizing khái niệm mà không được mã hóa trong dữ liệu nhưng được suy ra bởi cartographers trong quá trình. Ví dụ là 'mức độ đô thị', 'nhân vật của địa hình', 'hình dạng của các tòa nhà' và 'xây dựng mô hình'. Ngoài formalizing khái niệm bản thân, họ thay đổi được cho phép ở quy mô quá trình chuyển đổi cần được toán học Mô tả. Nghiên cứu trước đây đã thành công khá tốt trong formalising yêu cầu về tính năng bị cô lập. Tuy nhiên, formalizing khái niệm theo ngữ cảnh là nhiều phức tạp (Regnauld, 1998; Weibel và Dutton, 1998; ĐẠI LÝ, NĂM 1999; Veltkamp và Hagedoorn, năm 1999; Sadahiro, năm 2000; Christophe và Ruas, 2002; Mackaness và Edwardes, 2002; Steiniger, năm 2007; Ai et al., năm 2008). Lu¨scher et al. (2007, 2008) thu được kết quả đầy hứa hẹn cho giải thích khái niệm lập cao cấp từ một quá trình lý luận chính thức hoá kiến thức ở độ cao thấp. Thông số kỹ thuật formalizing yêu cầu một ngôn ngữ chính thức nhận bản đồ yêu cầu một cách gần gũi hơn với ngôn ngữ máy tính. Một ngôn ngữ phù hợp có thể là các đối tượng khó khăn ngôn ngữ (OCL) trong Stoter et al. (2008b) và Edwardes và Mackaness (1999). OCL là một ngôn ngữ có thể được sử dụng kết hợp với thống nhất mô hình ngôn ngữ (UML) để làm phong phú thêm một mô hình dữ liệu bổ sung kiến thức.

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

Các thông số kỹ thuật có thể hiểu được đối với con người, nhưng nên được chính thức cho các quy trình tự động. Chính thức hóa thông số kỹ thuật có nghĩa là tái trình chúng vào chi tiết kỹ thuật đo lường có thể được hiểu theo quy trình tự động. Một ví dụ về đặc điểm kỹ thuật vô lượng là 'nhân vật của địa hình nên được duy trì ". Chính thức thông số kỹ thuật cũng ngụ ý chính thức hóa khái niệm mà không được mã hóa trong các dữ liệu nhưng được suy ra bằng cách vẽ bản đồ trong quá trình này. Ví dụ là 'phạm vi đô thị', 'nhân vật của địa hình "," hình dạng của tòa nhà "và" xây dựng mô hình ". Ngoài chính thức hóa các khái niệm chính mình, thay đổi cho phép của họ lúc chuyển tiếp quy mô cần được mô tả bằng toán học. Nghiên cứu trước đây đã thành công khá tốt trong chính thức hóa các yêu cầu về tính năng bị cô lập. Tuy nhiên, chính thức hóa khái niệm ngữ cảnh phức tạp hơn nhiều (Regnauld, 1998; Weibel và Dutton, 1998; ĐẠI LÝ, 1999; Veltkamp và Hagedoorn, 1999; Sadahiro, 2000; Christophe và Ruas, 2002; Mackaness và Edwardes, 2002; Steiniger, 2007; Ai et al., 2008). Lu¨scher et al. (2007, 2008) thu được kết quả khả quan để giải thích các khái niệm bản đồ cấp cao từ một quá trình lý luận về chính thức hóa kiến ​​thức ở mức độ thấp. thông số kỹ thuật chính thức hóa đòi hỏi một ngôn ngữ chính thức để thể hiện yêu cầu bản đồ một cách gần gũi hơn với ngôn ngữ máy tính. Một ngôn ngữ có thể thích hợp là đối tượng ngôn ngữ ràng buộc (OCl) như trong Stoter et al. (2008b) và Edwardes và Mackaness (1999). OCL là một ngôn ngữ có thể được sử dụng kết hợp với Unified Modelling Language (UML) để làm giàu cho một mô hình dữ liệu với những kiến ​​thức bổ sung.

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

Các thông số kỹ thuật có thể là có thể hiểu được, làm cho con người, nhưng sẽ chính thức của quá trình tự động hóa.Hình thức hóa quy chuẩn của họ biến thành phương tiện sẽ có thể đo lường các thông số kỹ thuật, có thể thông qua quá trình tự động hóa hiểu.Một đặc điểm kỹ thuật của vô số là "một ví dụ đặc trưng của địa hình nên giữ".Hình thức hóa chuẩn hóa cũng có nghĩa là không có trong dữ liệu mã hóa, nhưng kết luận trong quá trình vẽ bản đồ của các khái niệm.Ví dụ là "thành phố Range", "địa hình đặc trưng của", "tòa nhà có hình dáng" và "xây dựng chế độ".Ngoại trừ chính thức của khái niệm itself, its cho phép thay đổi quy mô tả toán học ứng dụng chuyển đổi.Những nghiên cứu đã thành công, và ở chính thức yêu cầu đặc trưng riêng.Tuy nhiên, chính thức là khái niệm Bối cảnh phức tạp hơn nhiều (regnauld, 1998; Weibel and Dutton, 1998; đặc vụ, 1999; Veltkamp, Hage Dorne, 1999; Sadahiro, 2000; Christopher và thành phố, 2002; Nice và Edward, 2002; steiniger, 2007; A - Hi, et Al, 2008).Đường đồng Scher et al.(20072008) được vẽ bản đồ cao cấp giải thích quá trình suy luận của khái niệm hình thức hóa kiến thức cấp thấp kết quả.Hình thức hóa các thông số kỹ thuật yêu cầu một ngôn ngữ chính thức của ngôn ngữ máy tính cách gần gũi hơn với yêu cầu thể hiện bản đồ.Một người có thể là đối tượng phù hợp hạn chế ngôn ngữ ngôn ngữ (OCL) trong khi người phụ nữ xinh đẹp mặc vào những sê - et al.(2008b) và Edwardes (1999) và.OCL là một loài có thể dùng ngôn ngữ mô hình hóa thống nhất (UML) kết hợp với kiến thức ngôn ngữ khác của mô hình dữ liệu phong phú.