לדלג לתוכן

קובץ:Abstract interpretation of integers by signs.pdf

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיפדיה, האנציקלופדיה החופשית

לקובץ המקורי(1,475 × 1,002 פיקסלים, גודל הקובץ: 20 ק"ב, סוג MIME‏: application/pdf)

ויקישיתוף זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה.

תקציר

תיאור
English: Shows the lattice of all integer sets (red), the lattice of sign sets (green), and the usual abstraction function α between them.
תאריך יצירה
מקור נוצר על־ידי מעלה היצירה
יוצר Jochen Burghardt
גרסאות אחרות File:Abstract interpretation of integers by signs svg.svg
LaTeX source code
 \documentclass{article}
 \usepackage[paperwidth=250mm,paperheight=170mm]{geometry}
 \usepackage[pdftex]{color}
 \usepackage{amssymb}

 \setlength{\textwidth}{28cm}
 \setlength{\textheight}{25cm}
 \setlength{\oddsidemargin}{-3cm}
 \setlength{\topmargin}{-2cm}
 \setlength{\unitlength}{1cm}

 \definecolor{grey}       {rgb}{0.50, 0.50, 0.50}
 \definecolor{bRed}       {rgb}{1.00, 0.90, 0.90}
 \definecolor{bGreen}     {rgb}{0.90, 1.00, 0.90}

 \newcommand{\set}[1]{\{#1\}}
 \newcommand{\Z}{Z\!\!\!\!Z}

 \pagestyle{empty}

 \begin{document}

 \begin{picture}(25,15)(0,-2.5)
 % concrete lattice
 \color{bRed}
 \thicklines
 \multiput(5.400,-1.600)(0.010,0.030){81}{\line(3,1){2.400}}
 %\thinlines
 \color{red}
 \put(5.000,10.000){\makebox(0.000,0.000){$\scriptstyle \Z$}}
        \put(4.600,9.600){\line(-1,-1){3.200}}
        \put(5.000,9.600){\line(0,-1){3.200}}
        \put(5.400,9.600){\line(1,-1){3.200}}
 \put(1.000,6.000){\makebox(0.000,0.000){%
        $\scriptstyle \set{\ldots,\mbox-2,\mbox-1,0}$}}
 \put(5.000,6.000){\makebox(0.000,0.000){%
        $\scriptstyle \set{\ldots,\mbox-2,\mbox-1,1,2,\ldots}$}}
 \put(9.000,6.000){\makebox(0.000,0.000){%
        $\scriptstyle \set{0,1,2,\ldots}$}}
        \put(1.000,5.600){\line(0,-1){3.200}}
        \put(1.400,5.600){\line(1,-1){3.200}}
        \put(4.600,5.600){\line(-1,-1){3.200}}
        \put(5.400,5.600){\line(1,-1){3.200}}
        \put(8.600,5.600){\line(-1,-1){3.200}}
        \put(9.000,5.600){\line(0,-1){3.200}}
 \put(1.000,2.000){\makebox(0.000,0.000){%
        $\scriptstyle \set{\ldots,\mbox-2,\mbox-1}$}}
 \put(5.000,2.000){\makebox(0.000,0.000){$\scriptstyle \set{0}$}}
 \put(9.000,2.000){\makebox(0.000,0.000){%
        $\scriptstyle \set{1,2,\ldots}$}}
        \put(1.400,1.600){\line(1,-1){3.200}}
        \put(5.000,1.600){\line(0,-1){3.200}}
        \put(8.600,1.600){\line(-1,-1){3.200}}
 \put(5.000,-2.000){\makebox(0.000,0.000){$\scriptstyle \set{}$}}
 \put(5.900,-0.800){\makebox(0.000,0.000){$\scriptstyle \set{1}$}}
 \put(6.900,-0.800){\makebox(0.000,0.000){$\scriptstyle \set{3}$}}
 \put(6.400,0.200){\makebox(0.000,0.000){$\scriptstyle \set{1,3}$}}
 % abstract lattice
 \color{green}
 \put(20.000,13.750){\makebox(0.000,0.000){$\scriptstyle \set{-,0,+}$}}
        \put(19.600,13.350){\line(-1,-1){3.200}}
        \put(20.000,13.350){\line(0,-1){3.200}}
        \put(20.400,13.350){\line(1,-1){3.200}}
 \put(16.000,9.750){\makebox(0.000,0.000){$\scriptstyle \set{-,0}$}}
 \put(20.000,9.750){\makebox(0.000,0.000){$\scriptstyle \set{-,+}$}}
 \put(24.000,9.750){\makebox(0.000,0.000){$\scriptstyle \set{0,+}$}}
        \put(16.000,9.350){\line(0,-1){3.200}}
        \put(16.400,9.350){\line(1,-1){3.200}}
        \put(19.600,9.350){\line(-1,-1){3.200}}
        \put(20.400,9.350){\line(1,-1){3.200}}
        \put(23.600,9.350){\line(-1,-1){3.200}}
        \put(24.000,9.350){\line(0,-1){3.200}}
 \put(16.000,5.750){\makebox(0.000,0.000){$\scriptstyle \set{-}$}}
 \put(20.000,5.750){\makebox(0.000,0.000){$\scriptstyle \set{0}$}}
 \put(24.000,5.750){\makebox(0.000,0.000){$\scriptstyle \set{+}$}}
        \put(16.400,5.350){\line(1,-1){3.200}}
        \put(20.000,5.350){\line(0,-1){3.200}}
        \put(23.600,5.350){\line(-1,-1){3.200}}
 \put(20.000,1.750){\makebox(0.000,0.000){$\scriptstyle \set{}$}}
 % galois mapping
 \color{grey}
 \thinlines
 \put(10.000,2.250){\vector(4,1){13.000}}
 \put(12.500,3.000){\makebox(0.000,0.000)[b]{$\alpha$}}
 \put(6.000,-1.750){\vector(4,1){13.000}}
 \put(12.500,0.000){\makebox(0.000,0.000)[b]{$\alpha$}}
 \put(7.200,0.167){\vector(3,1){15.800}}
 \put(7.500,-0.800){\line(5,2){15.500}}
 \put(6.000,10.250){\vector(4,1){13.000}}
 \put(12.500,12.000){\makebox(0.000,0.000)[b]{$\alpha$}}
 \end{picture}



 \end{document}

רישיון

אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:
w:he:Creative Commons
ייחוס שיתוף זהה
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.
הנכם רשאים:
  • לשתף – להעתיק, להפיץ ולהעביר את העבודה
  • לערבב בין עבודות – להתאים את העבודה
תחת התנאים הבאים:
  • ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
  • שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.

כיתובים

נא להוסיף משפט שמסביר מה הקובץ מייצג

פריטים שמוצגים בקובץ הזה

מוצג

application/pdf

checksum אנגלית

d0ddd4064b583561f61e22309e61f07b628bb185

הוגדר לפי: SHA-1 אנגלית

20,035 בית

1,002 פיקסל

1,475 פיקסל

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

תאריך/שעהתמונה ממוזערתממדיםמשתמשהערה
נוכחית21:11, 7 בנובמבר 2013תמונה ממוזערת לגרסה מ־21:11, 7 בנובמבר 2013‪1,002 × 1,475‬ (20 ק"ב)Jochen BurghardtUser created page with UploadWizard

אין בוויקיפדיה דפים המשתמשים בקובץ זה.

מטא־נתונים