تحقیق درباره اصل دستورات و مفاهیم پیشرفته فایل سیستم

اختصاصی از یاری فایل تحقیق درباره اصل دستورات و مفاهیم پیشرفته فایل سیستم دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 13

مفهوم User/group در لینوکس

User: نمایانگر هویت یک فرد در سیستم می باشد. هر User در لینوکس دارای یک شماره UID می باشد. کاربر اصلی سیستم (مدیر سیستم) دارای UID شماره صفر می باشد.

Group: هر User در گروه خاصی قرار می گیرد که با GID شناخته می شود. هر کاربر می تواند متعلق به یک یا چند گروه باشد. بوسیله دستور id می توانید از مشخصات گروه خود مطلع شوید. بوسیله دستور newgrp می توانید گروه جاری خود را عوض کنید. البته تنها در صورتی که عضو گروه جدید باشید. توجه کنید که دو نفر نمی توانند دارای یک UID یکسان باشند اما می توانند در یک گروه قرار گیرند. یک User می تواند عضو گروه های متعددی باشد. دستور Groups به شمان نشان می دهد که یک کاربر در چه گروه هایی عضویت دارد.

انواع فایل در لینوکس

با اجرای دستور Is – I می توان فهمید که نوع فایل چیست؟ بسته به نوع فایل اولین حرف ستون اول یکی از علائم زیر است.

- = regular file

d = directory

c = character special file (/de/v ttyp.)

b = block special file (de/v fd.)

l = symbolic link

اولین حرف ستون اول خروجی دستور Is – I نوع فایل را مشخص می کند.

فایل های ویژه در /dev

فایل های ویژه، فایل هایی هستند که از طریق آن ها می توان با ابزارهای سیستم ارتباط برقرار کرد.

فایل های ویژه به جای فیلد size دارای major, minor هستند.

کرنل در لیستی تناسب بین major, minor های مختلف و device های سخت افزاری متناسب با آن ها را نگهداری می کند.

برای ساختن یک فایل ویژه دستور mknod را می توان استفاده کرد.

Mknod newdev b 76 8

نکته مهم

شماره های major, minor برای device های مختلف مشخص و رزرو شده می باشد.

سطوح دسترسی در لینوکس

یک فایل،

متعلق به کاربر است که آن کاربر را صاحب فایل می گوییم.

متعلق به یک گروه است (به احتمال زیاد همان گروهی که صاحب فایل در آن عضویت دارد).

هر فایل دارای یک سری اجازه های دسترسی است

لینوکس برای کاربران سه نوع سطح دسترسی قارار داده است:

سطح دسترسی Read: این سطح دسترسی تنها اجازه خواندن فایل یا لیست گرفتن از دایرکتوری را می دهد.

سطح دسترسی Write: این سطح دسترسی اجازه نوشتن بر روی فایل و یا ایجاد یک فایل در یک دایرکتوری را می دهد.

سطح دسترسی Execute: این سطح دسترسی اجازه اجرای یک فایل یا داخل شدن در یک دایرکتوری را می دهد.

طرح بندی فایل سیستم

لینوکس چندین طرح بندی را پشتیبانی می کند.

Ext2, ext3

Reiserfs

Minix, ufs

Fat, vfat, ntfs

Smb, ncp, nfs, coda

معمولی ترین آن ها Ext2 و Ext3 می باشد.

با استفاده از دستور زیر می توانید لیست فایل سیستم هایی که سیستم در حال حاضر پشتیبانی می کند را مشاهده کنید.

Cat/proc/filesystems

فایل سیستم EXT2

در فایل سیستم EXT2 نام هر فایل حداکثر 255 کاراکتر دارد.

هر فایل می تواند تا 2G حجم داشته باشد. (این محدودیت در لینوکس های جدید مرتفع شده است)

برای هر فایل در لینوکس پارامترهای مشخصی نگهداری می شود.

محل ذخیره این اطلاعات در inode است.

کرنل از طریق شماره inode به آن دستیابی دارد.

شماره inode یک فایل نیز جزئی از محتویات دایرکتوری است که فایل در آن قرار دارد.

برای دیدن مشخصات فایل از دستور stat استفاده کنید.

پاورپوینت اصل توازن درگسترش شهرها

اختصاصی از یاری فایل پاورپوینت اصل توازن درگسترش شهرها دانلود با لینک مستقیم و پر سرعت .

نوع فایل:  ppt _ pptx ( پاورپوینت )

( قابلیت ویرایش )

---

 قسمتی از اسلاید : 

تعداد اسلاید : 35 صفحه

بسم الله الرحمن الرحیم موضوع پروژه :اصل توازن درگسترش شهرها شهر چیست ؟
موضوع ما اولین شهرهایی است که درجهان پدید آمدند ،یعنی شهر هایی که درآخرهای هزاره ی چهارم ودر هزاره ی سوم پیش از میلاد درمنطقه ی محدودی ازغرب آسیا ساخته شدند.درنوشتن درباره ی این نخستین شهر ها دو هدف مد نظراست .
نخست تجسم این که این شهر ها چگونه بودند ،و سپس توضیح این که چگونه و چراشکل گرفتند ،این دوهدف بیانگروظیفه ی دوگانه ای اندکه باستانشناسی امروزی برای خود میشناسد :از یک سو ،بازسازی شهر های ازدیرباز مرده برپایه آنچه ازآنها باقی مانده است ،وازسوی دیگرشرح روندهاییکه پیشرفت انسان پشت سرگذاشته است. منظورازشهرچیستامروزه همه ی ما در جامعه ی شهری زندگی میکنیم و تعبیرهایی چون (شهر)،(قصبه) و (روستا)را با توجه به چنین جامعه ای به کار می بریم .برای کسی که در این گفته تناقضی ببیندمیتوان نکته هایی را یاد آور شد:شما ممکن است در یک آبادی خیلی کوچک یا در یک خانه روستایی خیلی دنج زندگی کنید و خوشحال باشید از این که از شهر و هوای آلوده اش دورید ،اما خلوتکده ی شما هر چقدر هم که دنج ودور افتاده باشد باز جزیی روستا از یک جامعه شهری است .گندمزارهایی که ازپنجره تان می بینیدآردشهر را تامین می کنند ،شیر یا تخم مرغ یا گوشتی که شما تولید می کنید همه به نزدیکترین شهر یا حتی خود کلان شهرمی رود تا در انجا برای مصرف آماده و پخش شود از سوی دیگر برق و گاز خانه شما ، و نیز لوله کشی آب و سیستم فاضلاب آن از شهر تامین میشود شاید در گوشه ای از یک ناحیه ی روستایی ،یک جامعه ی کوشک و خود بسنده به دست کسانی ایجاد شود که پیشتر شهر نشین بوده انددر و در جستجوی خلوص ایدو لوژیک به دامن طبیعت پناه برده اند،با عشق و ایمان شاید بتوان چنین جامعه ای را اداره هم کرد ،اما گرداندن ان به عنوان یک واحد اقتصادی کار ساز در جامعه ی امروزی هیچ مفهومی ندارد منظورازگفتن اینکه امروزه همه در جامعه ای شهری زندگی می کنیم این است امروزه ما تعبیرهایی چون (قصبه )یا (شهر) رادر چارچوب سازمانبندی اجتماعی مشخصی به کار میبریم که شهر ،قصبه و روستا را به عنوان واحد های مسکونی با اندازه و تراکم معین از ساز مانبندی،در بر میگیرد تعریفهایی که جمعیتشناسان امروز و کار شناسان چغرافیای شهری به کار میبرند همه براین پایه است مثلا“اغلب دیده می شود که تفاوت ساده یتعداد جمعیت شهررا از روستا مشخص می کند.درباره ی تمایزشهر و قصبه بسیاریاز اهل فن بر آنند که چنین تمایزی خود سرانه است و بر پایی در جه بندی هایی انجام میشود که نمیتواند دقیق باشد در ارائه ی تعریف هایی درباره ی مفهوم شهر ، عموما“چنین حس می شود که شمارجمعیت به خودی خود اهمیت نداردو باید ضابطه های اقتصادی و اجتماعی نیز به کار رود به اعتقادجین جاکوبس شهربه جاییگفته میشود که( بطور دائمی رشد اقتصادی خود را ازاقتصاد محلی اش تامین میکند )ما در انگلیس هرمحلی را که یک کلیسای بزرگ داشته باشد شهر مینامیم در نتیجه گاهی این عنوان را به جایی میدهیم که درقرون وسطامقام شهرراداشته است و اکنون جز یادی از آن مقام بر جا نیست .
حفاریهای باستانشناسی در بین النهریناکنون باید توجه خود را ز دانشمندانی که اسناد کهن را بررسی کردند به سوی باستان شناسان برگردانیم کسانی چون بوتا ،لیارد ،پلاسو لافتوس ،که با

  متن بالا فقط قسمتی از محتوی متن پاورپوینت میباشد،شما بعد از پرداخت آنلاین ، فایل را فورا دانلود نمایید 

---

  لطفا به نکات زیر در هنگام خرید دانلود پاورپوینت:  ................... توجه فرمایید !

• در این مطلب، متن اسلاید های اولیه قرار داده شده است.
• به علت اینکه امکان درج تصاویر استفاده شده در پاورپوینت وجود ندارد،در صورتی که مایل به دریافت  تصاویری از ان قبل از خرید هستید، می توانید با پشتیبانی تماس حاصل فرمایید
• پس از پرداخت هزینه ،ارسال آنی پاورپوینت خرید شده ، به ادرس ایمیل شما و لینک دانلود فایل برای شما نمایش داده خواهد شد
• در صورت  مشاهده  بهم ریختگی احتمالی در متون بالا ،دلیل آن کپی کردن این مطالب از داخل اسلاید ها میباشد ودر فایل اصلی این پاورپوینت،به هیچ وجه بهم ریختگی وجود ندارد
• در صورتی که اسلاید ها داری جدول و یا عکس باشند در متون پاورپوینت قرار نخواهند گرفت.
  
• هدف فروشگاه جهت کمک به سیستم آموزشی برای دانشجویان و دانش آموزان میباشد .
  

---

 « پرداخت آنلاین »

تحقیق درباره ضرورت خصوصی سازی و تسریع اجرای سیاستهای اصل 44 قانون اساسی

اختصاصی از یاری فایل تحقیق درباره ضرورت خصوصی سازی و تسریع اجرای سیاستهای اصل 44 قانون اساسی دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 12

ضرورت خصوصی سازی و تسریع اجرای سیاستهای اصل 44 قانون اساسی

پژوهشگر: معاونت پژوهشی مرکز پژوهش و برنامه‌ریزی

تاریخ تهیه: 30/7/1387

کلید واژه‌ها: خصوصی سازی، اصل 44 قانون اساسی، شفافیت، فساد، آزاد سازی

چکیده:

در یک نگاه کلی می‌توان گفت مؤثرترین استراتژی برای غیر دولتی کردن اقتصاد ملی معکوس کردن جریان واقعی دولتی شدن اقتصاد است. در این استراتژی آزاد سازی اولویت اول را دارد و خصوصی سازی به عنوان نتیجه ناگزیر این سیاست مطرح می‌شود و نه به عنوان یک هدف و با اولویت اول.

با چنین رویکردی شاید بهتر بتوان علل شکست برنامه‌های خصوصی سازی در ایران را توضیح داد. مداخله دولت در همه عرصه‌های نظام اقتصادی و بازارها‌ (کار، سرمایه و کالا) بزرگترین مانع رشد بخش خصوصی واقعی و رقابتی است. تا زمانی‌ که بخش خصوصی رشد نکند دولت کوچک نخواهد شد. بخش خصوصی به عنوان موتور و محرک اصلی رشد اقتصادی و صنعتی شناخته می‌گردد زیرا با بکار‌گیری سرمایه خود و جذب و مشارکت سرمایه‌های غیر دولتی و استفاده بهینه از منابع انسانی و اعمال مدیریت کارآمد می‌توان ضمن ایفاء نقش خود در رشد اقتصادی و صنعتی کشور، همواره تحت نظارت، هدایت و راهبری هدفمند دولت، همراه با بهره‌گیری از قوانین و مقررات شفاف و روان ولی فاقد کمترین گریزگاه برای سوء استفاده‌ها و فرصت‌‌طلبی‌ها اهداف توسعه‌ای دولت را محقق نماید.

متن کامل:

خصوصی‌سازی فرایندی اجرایی، مالی و حقوقی است که دولتها در بسیاری از کشورهای جهان برای انجام اصلاحات در اقتصاد و نظام اداری کشور به اجرا در می‌آورند. واژه خصوصی سازی حاکی از تغییر در تعادل بین حکومت و بازار و به نفع بازار است و وسیله‌ای برای افزایش کارایی (مالی و اعتباری) عملیات یک مؤسسه اقتصادی است. زیرا چنین به نظر می‌رسد که مکانیسم عرضه و تقاضا و بازار در شرایط رقابتی باعث بکار‌گیری بیشتر عوامل تولید، افزایش کارایی عوامل و در نتیجه تولید بیشتر و متنوع‌تر کالاها و خدمات و کاهش قیمتها خواهد گردید. این پیش‌بینی به جهت مبانی تئوریک و علمی در سطح اقتصاد خرد و همچنین تجربه سایر کشورها امری پذیرفته شده است و در این صورت چرایی مسئله قابل پاسخ و اثبات است. اما نکته غامض و پیچیده چگونگی انجام آن و در پیچیده‌ترین مسئله آن یعنی انتقال مالکیت و نیز شکل‌گیری بخش خصوصی در جامعه است.

در پانزده سال گذشته خصوصی سازی از مهم‌ترین عناصر اصلی برنامه اصلاح ساختاری کشورهای توسعه یافته و در حال توسعه بوده است. در واقع امروزه به دشواری می‌توان کشوری را یافت که برنامه‌ای را برای واگذاری تمام یا بخشی از شرکت‌های دولتی به بخش خصوصی و یا سهیم کردن بخش خصوصی در مدیریت، مالکیت و امور مالی این شرکت‌ها در پیش‌ نگرفته باشد. ضرورت انجام خصوصی سازی کاملاً به اثبات رسیده است به طور کلی شرکت‌های دولتی از عملکرد خوبی برخودار نبوده و نیستند به طوریکه کالا و خدمات تولیدی آنها با وجود صرف هزینه‌های زیاد از کیفیت خوبی برخوردار نبوده و در مجموع به خوبی نشان داده‌اند که واحدهای اسراف گر و ناکارآمدی هستند. همچنین به دلیل تلاش دولت برای ایجاد و یا حفظ اشتغال، این شرکت‌ها از داشتن نیروی کار اضافی رنج می‌برند. شرکت‌های دولتی به دلیل کار کردن در فضای غیر رقابتی قیمت‌های پائینی برای محصولات خود بر می‌گزینند و این باعث زیان‌های هنگفت مالی شده چنانکه در برخی موارد میزان این زیان به 5 الی 6 درصد GDP کشور می‌رسد.

برای جبران بار مالی ناشی از زیان شرکت‌های دولتی، دولت ناچار به انجام اقدامات مالی برای پوشش کسری بودجه خواهد بود. افزایش مالیات‌ها و یا معمول‌تر از آن، کاهش مخارج دولت در سایر بخش‌ها و یا ترکیبی از این دو می‌تواند از جمله این اقدامات باشد. تأمین مالی زیان‌های شرکت‌های دولتی توسط نظام بانکی هزینه‌های واسطه گری را افزایش داده و باعث کاهش دسترسی شرکت‌های خصوصی به این اعتبارات شده و در کل تهدیدی برای ماندگاری نظام تأمین مالی محسوب می‌شود. دولت‌ها زیر باز فزاینده محدودیت‌های مالی، از تأمین سرمایه برای واحدهای وابسته به خود حتی واحدهای سود آوری جهت نگه‌داری و تعمیرات باز می‌مانند زیرا این شرکت‌ها مدام نیازمند توسعه شبکه و تجهیز مجدد می‌باشند. بر این اساس می‌توان گفت علل وجود ناکارآیی در اقتصاد کشورها عمدتاً ناشی از دخالت و تصدی اقتصادی دولت است. دولت با دخالت در بازار، دستکاری قیمت‌های نسبی و تعیین مقادیر غیر تعادلی برای آنها موجب اخلال در تصمیم‌گیری خانوارها شده و با تصدی اقتصادی و اداره بنگاههای اقتصادی باعث تخصیص غیر بهینه منابع در تولید می‌شود. آنچه در حال حاضر مد نظر سیاستگذاران است صرفاً تغییر مالکیت دولتی و تبدیل آن به مالکیت غیر دولتی است با این تحلیل که این تغییر نهادی سبب خواهد شد که با اداره بنگاهها توسط بخش خصوصی، کارایی در تولید ایجاد شود و اتلاف منابع تقلیل یابد طوریکه بیشتر مطالعات ارزیابی تأثیر خصوصی سازی در کشورهای در حال توسعه نشان می‌دهند خصوصی سازی باعث بهبود عملکرد شرکت‌ها شده است. مطالعه 218 شرکت

بررسی اصل ولایت و ولایت حضرت علی (ع) بعد از پیامبر

اختصاصی از یاری فایل بررسی اصل ولایت و ولایت حضرت علی (ع) بعد از پیامبر دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 39

فهرست مطالب

شرح صفحه

مقدمه

موضع رسول اکرم (ص) در مورد آینده

الف- مسأله اول

ب- مسأله دوم

ولایت امام علی (ع) در قرآن کریم (1)

آیه تبلیغ

شأن نزول آیه

مراد از مولی

ولایت امام علی (ع) در قرآن کریم(2)

آیه اکمال

مراد از الیوم چه روزی است؟

الف- نظر زمخشری

ب- عده‌ای گفته‌اند مراد از «الیوم» روز فتح مکه‌است!

ب: روز عرفه

ت: مراد از «الیوم» روز عید غدیر خم است.

شأن نزول آیه

شواهد و قرائن موجود در آیه

آخرین سخن

فهرست منابع

مقدمه:

انما ولیکم الله و رسوله والذین آمنو الذین یقیمون الصلواة و یوتون الزکاه و هم راکعون

«ولی شما تنها خدا و پیامبر اوست و کسانی که ایمان آورده‌اند. همان کسانی که نماز بر پا می دارند و در حال رکوع زکات می‌دهند»

آیة بالا که به حق «آیه ولایت» نامه گرفته است مطالب ارزشمندی در باب ولایت خدا، پیامبر (ص) و امیرمؤنان علی (ع) استفاده و می‌شود که برای رعایت اختصار مربیان بعضی از آن مطالب که مناسبت بیشتری با بحث دارد، سبزه می‌کنیم.

الف- تنها خداوند متعال، پیامبر اکرم (ص) و مؤمنان بر پا دارندة نماز و پرداخت کنندة زکات در حال رکوع، دارای حق ولایت و حکومت بر مؤمنان هستند.

خدواند پس از بر حذر داشتن مؤمنان از پذیرفتن ولایت و سرپرستی ناروای کافران، با جملة (انما ولیکم الله…. ) به معرفی آنان که شایستة ولایت هستند پرداخته و مؤمنان را به پذیرش ولایت آنان ارشاد کرده است.

اصل ولایت و حکومت در مرحلة نخست از آن خداوند متعال است و ولایت پیامبر و مؤمنانی که در حال رکوع زکات می‌دهند، در طول ولایت خداوند است و پرتوی از حاکمیت او.

ب- پرداخت زکات در حال رکوع - نشانه فرد تعیین‌شده برای حکومت و ولایت است. شهید مطهری نوشته است:

«آیه. مطلب را به شکلی بیان می‎کند که عمومیت بردار نیست، و به هیچ وجه نمی‌توان احتمال داد که این آیه نیز در صد بیان وارء اثباتی عام است؟ زیرا قرآن در اینجا در صدد بیان یک قانون کلی نیست، نمی‌خواهد استجاب یا وجوب اداء زکات در حال رکوع را بیان کند و به عنوان تشریع یک مندوب یا یک فریضه اسلامی جعل قانون کند. بلکه اشاره به عمل واقع شده‌ای که فردی در خارج انجام داده و اکنون قرآن، عمل را مصرف آن فرد قرار داده و به نحو کفایه حکمی را که همان ولایت خواص است اثبات می‌کند.»

حال باید دید آن شخص معین کیست و این ولایتی که خداوند متعال را برای او ثابت کرده است، چه نوع ولایتی است؟

بر اساس شأن نزول‌های متعدد و روایات بسیار، شخصیت مورد نظر در آیه شریفه حضرت امیرالمؤمنان، علی بن ابیطالب (ع)، است، بنابراین، از آیه

مقاله اصل توازی

اختصاصی از یاری فایل مقاله اصل توازی دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 18

اصل توازی

پروکلوس1 : پروکلوس (410تا485 بعد از میلاد)، اطلاعات ما در زمینه هندسه یونان است، از اصل توازی بدین گونه انتقاد کرده است : ‹‹این را باید حتی از شمار اصول موضوعه بیرون آورد. زیرا این قضیه ای است که دشواریهای زیادی در بردارد. و بطلمیوس در کتابی به گشودن آنها همت گمارده است... این حکم که ، چون (دوخط) را هر چه بیشتر امتداد دهیم بیش از بیش بهم نزدیک می شوند و سرانجام همدیگر را می برند، پذیرفتنی است ولی نه همیشه ‹‹پروکلوس یک هذلولی را مثال می زند که آن اندازه که بتوان تصور کرد به مجانبهایش نزدیک می شود بی آنکه هرگز آنها را ببرد. این مثال نشان می دهد که لااقل ممکن است تصوری مخالف نتیجه گیریهای اقلیدس هم داشت. پروکلوس می گوید: ‹‹پس روشن است که باید برای این قضیة کنونی برهانی بیابیم و این، مخالف ماهیت خاص اصول موضوعه است.››

شکل 1

تا آنجا که می دانیم نخستین تلاشی که برای اثبات به عمل آمده از آن بطلمیوس بوده است. او ، بی آنکه خود متوجه باشد، اصل توازی هیلبرت را پذیرفته است.

پروکلوس سعی کرده است اصل توازی را چنین ثابت کند: دو خط موازی m,l داده شده اند. فرض کنیم خط n خط m را در نقطة p می برد. می خواهیم نشان دهیم که n خط l را هم می برد. فرض می کنیم Q پای عمودی باشد که از p بر l وارد شده است. اگر n بر PQ منطبق باشد، پس l را در Q بریده است و الا نیمخطی مانند PY از n بین PQ و نیمخطی مانند PXاز m قرار دارد . فرض کنید که X پای عمود مرسوم از Y بر m است.

شکل 2

حال ، وقتی نقطه Y بر خط n از نقطه P بینهایت دور شود، پاره خط XY اندازه اش بینهایت بزرگ می شود و سرانجام از پاره خط PQ تجاوز می کند. بنابراین ، Y باید از l بگذرد و در طرف دیگر آن قرار گیرد، یعنی n باید l را ببرد.

مطالب بند بالا جان کلام و برهان پروکلوس است؛ برهان نسبتاً پیچیده ای است که شامل حرکت و پیوستگی است. از آن گذشته ، درستی هر مرحله از برهان را می توان نشان داد جز اینکه نتیجه ای که می خواهیم از آن به دست نمی آید!

چگونه می توان درستی آخرین مرحله را ثابت کرد؟ فرض می کنیم عمود YZ را از Y بر l فرود آورده ایم. آن وقت شما می توانید بگویید که (1) Z,Y,X بر یک قرار دارند، و (2) XZ~PQ . بنابراین ، هنگامی که XY از PQ بزرگتر می شود، باید از XZ هم بزرگتر شود. و در نتیجه Y باید در طرف دیگر l قرار گیرد. در اینجا نتایج ، واقعاً از احکام (1)و(2) حاصل می شوند. مشکل کار این است که اثباتی برای درستی این دو حکم وجود ندارد!

اگر گفتة ما ، شما را به تأمل وا می دارد علتش این است شکل 2 احکام (1)و(2) را درست به نظر جلوه می دهد. باید یادآوری کنم که ما مجاز نیستیم برای درستی اثبات یک مرحله، از شکل استفاده کنیم. هر مرحله باید از روی بنداشتها و یا از روی قضایایی که قبلا ثابت شده اند ثابت شود.

والیس

مهمترین تلاشی که بعداً برای اثبات اصل توازی به عمل آمده است از منجم و ریاضیدان ایرانی خواجه نصیرالدین طوسی (1274-1201) است. ولی چون در اثبات او چند فرض وجود دارد که درستی آنها ثابت نشده است آن را رها می کنیم و به جان والیس 1 میپردازیم. والیس تلاش برای اثبات اصل توازی در هندسة نتاری را رها کرد و در عوض بنداشت تازه ای که حس می کرد بیش از اصل توازی مقبول است طرح نمود، سپس اصل توازی را از روی این بنداشت تازه و بنداشتهای دیگر هندسة نتاری ثابت کرد.

اصل والیس: مثلث نامشخص ΔABC و پاره خط نامشخص DE داده شده اند. مثلثی مانند ΔDEF (به ضلع DE) وجود دارد چنانکه با ΔABC متشابه است (و چنین نموده میشود: ΔDEF~ΔABC).

یادآوری می کنیم که مثلثهای متشابه مثلثهایی را گویند که بتوان یک تناظر یک .