קובץ:Abstract interpretation of integers by signs.pdf
תוכן הדף אינו נתמך בשפות אחרות.
מראה
מתוך ויקיפדיה, האנציקלופדיה החופשית
![קובץ:Abstract interpretation of integers by signs.pdf](http://upload.wikimedia.org/wikipedia/commons/thumb/2/23/Abstract_interpretation_of_integers_by_signs.pdf/page1-800px-Abstract_interpretation_of_integers_by_signs.pdf.jpg)
גודל התצוגה המקדימה הזאת מסוג JPG של קובץ ה־PDF הזה: 800 × 543 פיקסלים. רזולוציות אחרות: 320 × 217 פיקסלים | 640 × 435 פיקסלים | 1,024 × 696 פיקסלים | 1,475 × 1,002 פיקסלים.
לקובץ המקורי (1,475 × 1,002 פיקסלים, גודל הקובץ: 20 ק"ב, סוג MIME: application/pdf)
![]() |
זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה. |
תקציר
תיאורAbstract interpretation of integers by signs.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](https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/90px-CC_some_rights_reserved.svg.png)
![ייחוס](https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/24px-Cc-by_new_white.svg.png)
![שיתוף זהה](https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/24px-Cc-sa_white.svg.png)
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.
- הנכם רשאים:
- לשתף – להעתיק, להפיץ ולהעביר את העבודה
- לערבב בין עבודות – להתאים את העבודה
- תחת התנאים הבאים:
- ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
- שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.
כיתובים
נא להוסיף משפט שמסביר מה הקובץ מייצג
פריטים שמוצגים בקובץ הזה
מוצג
ערך כלשהו ללא פריט ויקינתונים
28 בדצמבר 2004
application/pdf
20,035 בית
1,002 פיקסל
1,475 פיקסל
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
---|---|---|---|---|---|
נוכחית | 21:11, 7 בנובמבר 2013 | ![]() | 1,002 × 1,475 (20 ק"ב) | Jochen Burghardt | User created page with UploadWizard |
שימוש בקובץ
אין בוויקיפדיה דפים המשתמשים בקובץ זה.
מטא־נתונים
קובץ זה מכיל מידע נוסף, שכנראה הגיע ממצלמה דיגיטלית או מסורק שבהם הקובץ נוצר או עבר דיגיטציה.
אם הקובץ שונה ממצבו הראשוני, כמה מהנתונים להלן עלולים שלא לשקף באופן מלא את הקובץ הנוכחי.
תוכנה בשימוש | TeX |
---|---|
תוכנת המרה | pdfTeX-1.40.3 |
מוצפן | no |
גודל דף | 708.661 x 481.89 pts |
הגרסה של תסדיר PDF | 1.4 |