Availability of actual three-dimens

Availability of actual three-dimensional data for geo-information systems has become of great importance for an increasing number of tasks. Since the acquisition of such data is mainly done with the help of semi-automatic tools so far, a large research program called “Semantic Modeling” was started 3 years ago with the aim of improving image interpretation by incorporating application domain knowledge represented by explicit models. In our sub-project we apply CLP for the recognition of 3D objects (i.e. buildings) in aerial images. Logic programming constitutes the platform for the representation of image and object models and the control strategy of the reasoning process. Generic 3D models (constructive solid geometry (CSG), augmented by constraints) are applied to represent the large number of different building types on the one hand. Image segmentation results in features of different classes, giving a symbolic 2D image description on the other hand. In order to match object models to image data, a third kind of model (aspect graph) is used, bridging the gap between the 3D volumetric and 2D image data. Such aspect graphs are transformed to CLP clauses, and matching is done by solving the resp. CSP. Our current prototype is based on ECLIPSE and extends the built-in CLP(FD) solver to cope with complex objects.

ผลลัพธ์ (ไทย) 1:

ความจริงข้อมูลสามมิติระบบสารสนเทศภูมิศาสตร์ได้กลายเป็นความสำคัญอย่างยิ่งสำหรับการเพิ่มจำนวนงาน เนื่องจากข้อมูลดังกล่าวมาส่วนใหญ่ทำ โดยใช้เครื่องมือกึ่งอัตโนมัติจน โปรแกรมวิจัยขนาดใหญ่ที่เรียกว่า "โมเดลทางตรรก" ได้เริ่มต้นเมื่อ 3 ปีที่ผ่านมา มีจุดประสงค์เพื่อปรับปรุงภาพตีความโดยเพจรู้โดเมนโปรแกรมประยุกต์ที่แสดง ด้วยรูปแบบที่ชัดเจน ในโครงการย่อยของเรา เราใช้ CLP สำหรับการรู้จำวัตถุ 3 มิติ (เช่นอาคาร) ในภาพทางอากาศ การโปรแกรมตรรกะถือแพลตฟอร์มสำหรับกลยุทธ์การควบคุมกระบวนการใช้เหตุผลและแสดงรูปภาพและวัตถุ มีใช้โมเดล 3D ทั่วไป (สร้างสรรค์ทึบเรขาคณิต (CSG), ขยาย โดยข้อจำกัด) เพื่อเป็นตัวแทนของอาคารต่าง ๆ ชนิดคง แบ่งภาพผลลัพธ์ในลักษณะของประเภทต่าง ๆ การให้คำอธิบายภาพสัญลักษณ์ 2D คง เพื่อให้ตรงกับแบบจำลองวัตถุรูปข้อมูล สาม ชนิดของแบบจำลอง (ด้านกราฟ) กัน เชื่อมโยงช่องว่างระหว่างข้อมูลภาพ volumetric และ 2D 3D กราฟลักษณะดังกล่าวจะแปลงไป CLP ประโยค และจับคู่ทำได้ โดยแก้ชอบ CSP ต้นแบบของเราปัจจุบันอยู่กับคราส และขยายตัวแก้ CLP(FD) ภายในเพื่อรับมือกับความซับซ้อนของวัตถุ

ผลลัพธ์ (ไทย) 2:

ความพร้อมใช้งานของข้อมูลสามมิติที่เกิดขึ้นจริงสำหรับระบบภูมิศาสตร์สารสนเทศได้กลายเป็นความสำคัญอย่างยิ่งสำหรับการเพิ่มจำนวนของงาน นับตั้งแต่การเข้าซื้อกิจการของข้อมูลดังกล่าวส่วนใหญ่จะทำด้วยความช่วยเหลือของเครื่องมือกึ่งอัตโนมัติเพื่อให้ห่างไกลโครงการวิจัยขนาดใหญ่ที่เรียกว่า "การสร้างแบบจำลองความหมาย" ได้เมื่อ 3 ปีที่ผ่านมาโดยมีจุดประสงค์ของการปรับปรุงการตีความภาพโดยการผสมผสานความรู้การประยุกต์ใช้แทนด้วยรูปแบบที่ชัดเจน . ในโครงการย่อยของเราที่เราใช้ CLP สำหรับการรับรู้ของวัตถุ 3 มิติ (อาคาร IE) ในภาพทางอากาศ การเขียนโปรแกรมลอจิกถือว่าเป็นแพลตฟอร์มสำหรับการแสดงของภาพและรูปแบบของวัตถุและกลยุทธ์การควบคุมกระบวนการเหตุผลที่ แบบจำลอง 3 มิติทั่วไป (เรขาคณิตแข็งที่สร้างสรรค์ (CSG) เติมโดย จำกัด ) ถูกนำมาใช้เพื่อเป็นตัวแทนของจำนวนมากของอาคารประเภทที่แตกต่างกันบนมือข้างหนึ่ง ผลการแบ่งส่วนภาพในลักษณะที่แตกต่างกันของการเรียนให้คำอธิบายภาพ 2D เป็นสัญลักษณ์ในทางกลับกัน เพื่อให้ตรงกับรูปแบบของวัตถุข้อมูลภาพชนิดที่สามของรูปแบบ (กราฟด้าน) จะใช้การเชื่อมช่องว่างระหว่างปริมาตร 3 มิติและข้อมูลภาพ 2 มิติ กราฟด้านดังกล่าวจะเปลี่ยนไปตามเงื่อนไขการ CLP, และการจับคู่จะทำโดยการแก้รับผิดชอบ ซีเอสพี ต้นแบบของเราในปัจจุบันจะขึ้นอยู่กับคราสและขยายในตัว CLP (FD) แก้ที่จะรับมือกับวัตถุที่ซับซ้อน

ผลลัพธ์ (ไทย) 3:

ความพร้อมของข้อมูลสามมิติที่แท้จริงสำหรับระบบสารสนเทศภูมิศาสตร์ได้กลายเป็นที่สำคัญสำหรับการเพิ่มจำนวนของงาน ตั้งแต่การได้มาของข้อมูลดังกล่าวเป็นหลักได้ ด้วยความช่วยเหลือของเครื่องมือกึ่งอัตโนมัติเพื่อให้ห่างไกลโครงการวิจัยขนาดใหญ่ที่เรียกว่า " โมเดลลิ่ง " ความหมายคือเริ่มตั้งแต่ 3 ปีที่แล้ว โดยมีวัตถุประสงค์ของการปรับปรุงการแปลงภาพโดยผสมผสานประยุกต์ใช้ความรู้โดเมนแสดงโดย นางแบบชัดเจน ในโครงการย่อยของเรา เราใช้ทั้งสำหรับการรับรู้วัตถุ 3 มิติ ( เช่นอาคาร ) จากภาพการเขียนโปรแกรมตรรกะถือเป็นแพลตฟอร์มสำหรับการเป็นตัวแทนของรูปแบบภาพและวัตถุและการควบคุมกลยุทธ์ของกระบวนการในการใช้เหตุผล โมเดล 3 มิติ ทั่วไป ( โครงสร้างแข็งเรขาคณิต ( CSG ) กล่าวถึงข้อจำกัด ) จะใช้เพื่อแสดงจำนวนของอาคารประเภทต่าง ๆในมือเดียว ภาพการแบ่งส่วนผลในลักษณะของการเรียนที่แตกต่างกันการให้สัญลักษณ์ 2D อธิบายภาพบนมืออื่น ๆ เพื่อให้ตรงกับรูปแบบวัตถุข้อมูลภาพชนิดที่สามของรุ่น ( ด้านกราฟ ) ใช้เชื่อมช่องว่างระหว่างมิติและปริมาตรข้อมูลภาพ 2 มิติ เช่นด้านกราฟจะเปลี่ยนทั้งประโยค และจับคู่เสร็จแล้วแก้ resp . CSP .ต้นแบบของเราในปัจจุบันจะขึ้นอยู่กับ Eclipse และขยายทั้งในตัว ( FD ) แก้ปัญหาเพื่อรับมือกับวัตถุที่ซับซ้อน