عضویت     ورود  اگر به دنبال موفقیت نروید ، خودش به دنبال شما نخواهد آمد . مارو اکلینز دوشنبه، 20 مرداد ماه ، 1399

کانال تلگرام


تبلیغات متنی


منوی سایت


جست و جو در بانك مقالات




مقالات جدید
تعداد شاخه ها: 30 عدد
تعداد مقالات: 758 عدد 1: آزمايشگاه الكترونيك - استاد محرري 
[دفعات مشاهده : 6843 بار]
 2: جزوه درس مخابرات 1 - دانشگاه فردوسي مشهد 
[دفعات مشاهده : 6793 بار]
 3: كتاب مهندسي تاسيسات / دكتر كلهر 
[دفعات مشاهده : 6576 بار]
 4: مجموع اعوجاج هارمونیک T.H.D 
[دفعات مشاهده : 6582 بار]
 5: كتاب "روش طراحي و تحليل مدارهاي الكترونيك" 
[دفعات مشاهده : 13343 بار]
 6: ادوات نوري 
[دفعات مشاهده : 6388 بار]
 7: كتاب اصول تلويزيون رنگي 
[دفعات مشاهده : 8363 بار]
 8: پروژه دزد گیر با سنسور تشخیص حرکت pir با قفل رمز الکترونیکی 
[دفعات مشاهده : 7695 بار]
 9: جزوه اندازه گیری الکتریکی 
[دفعات مشاهده : 6979 بار]
 10: سوالات کنکور کارشناسی ارشد 90 / گروه مهندسی برق 
[دفعات مشاهده : 8737 بار]
 11: آرشيو پروژه هاي 8051 
[دفعات مشاهده : 7571 بار]
 12: آرشيو پروژه هاي AVR‌ (ـ‌ 126 پروژه ) 
[دفعات مشاهده : 15565 بار]
 13: آموزش برنامه نويسي و كار با ماژول Sim300CZ با ميكروكنترلر AVR 
[دفعات مشاهده : 11735 بار]
 14: سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق 
[دفعات مشاهده : 8965 بار]
 15: ارتباط میکروهای PIC با کمک پروتکل سریال I2C و نکات تکمیلی ماژول MSSP 
[دفعات مشاهده : 7127 بار]
 16: ساعت تقویم با کمک میکروکنترلر PIC و DS1307 
[دفعات مشاهده : 7649 بار]
 17: تایمرهای چند زمانه ( ساعت مرکزی ) با میکرو PIC 
[دفعات مشاهده : 7032 بار]
 18: ساعت تقویم شمسی مجهز به آلارم روزانه و هفتگی 
[دفعات مشاهده : 7976 بار]
 19: صفحه کلید وقفه ای با میکروکنترلر PIC 
[دفعات مشاهده : 6751 بار]
 20: کرنومتر دیجیتال با میکروکنترلر PIC با قابلیت ثبت 3 زمان 
[دفعات مشاهده : 6861 بار]
 21: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HMTR + پروژه چت متنی بیسیم 
[دفعات مشاهده : 11455 بار]
 22: سنسورهای حرارت 
[دفعات مشاهده : 8992 بار]
 23: کنترل وسایل برقی از طریق خط تلفن با میکروکنترلر PIC 
[دفعات مشاهده : 9105 بار]
 24: ارتباط سریال UART بین دو میکروکنترلر PIC 
[دفعات مشاهده : 7335 بار]
 25: گزارش کار آموزی : ماشین های ابزار کنترل عددی CNC 
[دفعات مشاهده : 7656 بار]
 26: کنترل وسایل به کمک ماژول HM-TR و میکرو AVR 
[دفعات مشاهده : 10223 بار]
 27: طراحی و ساخت کنترل از راه دور 1 کانال با کمک ماژول های ASK و آی سی های سری PT 
[دفعات مشاهده : 8699 بار]
 28: مجموعه رفرنس های آموزشی میکروکنترلرهای سری dsPIC 
[دفعات مشاهده : 8040 بار]
 29: مجموعه پروژه های میکروکنترلر AVR با کامپایلر بسکام 
[دفعات مشاهده : 13445 بار]
 30: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HM-T و HM-R با میکرو AVR 
[دفعات مشاهده : 11160 بار]


آخرين مطالب ارسال شده
· روش طراحي و تحليل مدارهاي الكترونيك[ 1 نظر شما چيه؟ - 40850 مشاهده ]
· اصول تلويزيون رنگي[ 0 نظر شما چيه؟ - 19103 مشاهده ]
· نرم افزار DigSilent[ 2 نظر شما چيه؟ - 22243 مشاهده ]
· AVR Tech Lib 2011[ 1 نظر شما چيه؟ - 25756 مشاهده ]
· مجموعه كنفرانس هاي سالينه ميكروچيپ / سال 2009 /[ 2 نظر شما چيه؟ - 23557 مشاهده ]
· آموزش كار با ماژول SIM300CZ با ميكرو AVR[ 4 نظر شما چيه؟ - 25997 مشاهده ]
· مجموعه فيلم هاي آموزشي نرم افزار Altium Designer[ 0 نظر شما چيه؟ - 40309 مشاهده ]
·  سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق[ 0 نظر شما چيه؟ - 20938 مشاهده ]
· لينك دانلود مجله October 2010 / SERVO[ 0 نظر شما چيه؟ - 17846 مشاهده ]
· Catalog CA 01 (10/2009) / International version[ 0 نظر شما چيه؟ - 22441 مشاهده ]

[ موارد بیشتر در بخش اخبار و تازه ها ]


زبان
انتخاب زبان نمایش :



مطالب جديد
· 1: مدل سازي و پياده سازي سخت افزاري كنترلر مسير ربات توسط يك سيستم هيبريد
· 2: Software Engineering for Experimental Robotics
· 3: چگونگي عملكرد درايوهاي كنترل كننده دور موتورهاي الكتريكي
· 4: معرفی قطعات الکترونیک به همراه تصویر
· 5: كاهش اثر باياس در الگوريتم فيلترهاي وقفي با پاسخ ضربه نامحدود
· 6: IEEE P338/D6, February 2011
· 7: Digital Image Stabilization Based on Statistical Selection of Feasible Regions
· 8: Multichannel InSAR Building Edge Detection
· 9: برآورد شيب مناسب براي صفحات جذب كننده انرژي خورشيدي در شهر يزد
· 10: توابع ریاضی و ویژوال بیسیک
· 11: خلاصه ای از کتاب avr
· 12: Radar System Performance Charts
· 13: جبران دو مرحله ای آفست فرکانس در سیگنالهای MPSK
· 14: مكان يابي پايدارساز سيستم قدرت بر اساس روش تحقق بالانس
· 15: بررسي خوردگي ميكروبي در لوله هاي آب آتش نشاني نيروگاه شهيد رجايي و روش هاي كنترل از آن
· 16: Wavelets & Digital Image Processing
· 17: طراحي بهينه جهت كمينه كردن مصرف انرژي موتور القايي سه فاز با استفاده از روش اجزاء محدود
· 18: ANSI C63.13-1991
· 19: Improving Power System Stability by Designing Supplementary Controller of HVDC Using Real Genetic
· 20: SENSORLESS SPEED CONTROL OF INDUCTION MOTOR USING VHDL/FPGA

[ آخرين مقالات ]


ارسال مقاله به سايت

 



مقالات آموزشي: Modeling of ALFA Programs Using PVS Theorem Prover

صفحه اصلي
جديد ترين مقالات
پربازديد ترين مقالات
محبوبترين مقالات

وارد شوید برای دیدن علاقه مندی های خود

توضيح: divide by zero errors can be detected as part of proving the correctness of the software.
نسخه: -
اضافه شده در تاريخ: 12 آذر ماه ، 1390
ارسال شده توسط: ايران ميكرو
سطح مقاله: عمومي
بازديد: 646
مشخصات مقاله
امتياز دادن

Modeling of ALFA Programs Using PVS Theorem Prover


تهیه کننده : N. Jaya Lal

حجم فایل : 227 KB 



برای دریافت بر روی لینک زیر کلیک کنید


<< دریافت فایل >>




پسورد مورد نیاز برای باز کردن فایل : www.ir-micro.com






منوي كاربري
 
عضویت
کلمه عبور را فراموش کرده ام

كد امنيتي:
كد امنيتي
محل تايپ كد امنيتي:
 
کاربران سایت:
امروز: 0
دیروز: 0
منتظر پذیرش: 0
مجموع: 138,806
آخرین: hsn23

بیشترین تراکم کاربری:
مهمان: 1,057
عضو: 0
مجموع: 1,057

کاربران حاضر درسایت:
مهمان: 393
عضو: 0
مجموع: 393


نظرسنجي
اطلاعات قرار داده شده در سایت به چه صورت باشد ؟؟

سوالات کنکور
مقالات کنفرانسهای دانشجویی
آموزش های کاربردی
معرفی سایت های آموزشی
نرم افزارهای تخصصی
جزوات دانشگاهی
e-book های زبان اصلی
اخبار و تازه ها



نتایج
نظرسنجی ها

تعداد آراء: 5829
نظرات : 0


پيغام كوتاه

فقط کاربران عضو حق ارسال پيغام دارند. ورود يا عضويت.


كي كجا هست ؟
 ميهمان:
01: ميهمان -> News
02: ميهمان -> News
03: ميهمان -> News
04: ميهمان -> News
05: ميهمان -> News
06: ميهمان -> News
07: ميهمان -> News
08: ميهمان -> News
09: ميهمان -> News
10: ميهمان -> News
11: ميهمان -> News
12: ميهمان -> News
13: ميهمان -> News
14: ميهمان -> Your_Account
15: ميهمان -> News
16: ميهمان -> Forums
17: ميهمان -> News
18: ميهمان -> Calendar
19: ميهمان -> News
20: ميهمان -> http:/www.google.com
21: ميهمان -> News
22: ميهمان -> Forums
23: ميهمان -> Forums
24: ميهمان -> Forums
25: ميهمان -> Forums
26: ميهمان -> Forums
27: ميهمان -> Forums
28: ميهمان -> News
29: ميهمان -> News
30: ميهمان -> News
31: ميهمان -> News
32: ميهمان -> Forums
33: ميهمان -> Forums
34: ميهمان -> News
35: ميهمان -> News
36: ميهمان -> Your_Account
37: ميهمان -> News
38: ميهمان -> News
39: ميهمان -> Tutorials
40: ميهمان -> News
41: ميهمان -> Forums
42: ميهمان -> News
43: ميهمان -> News
44: ميهمان -> Your_Account
45: ميهمان -> Your_Account
46: ميهمان -> News
47: ميهمان -> Your_Account
48: ميهمان -> Your_Account
49: ميهمان -> Search
50: ميهمان -> Your_Account
51: ميهمان -> News
52: ميهمان -> News
53: ميهمان -> News
54: ميهمان -> News
55: ميهمان -> Forums
56: ميهمان -> News
57: ميهمان -> Forums
58: ميهمان -> News
59: ميهمان -> Forums
60: ميهمان -> News
61: ميهمان -> Forums
62: ميهمان -> News
63: ميهمان -> Forums
64: ميهمان -> 368
65: ميهمان -> News
66: ميهمان -> Forums
67: ميهمان -> News
68: ميهمان -> News
69: ميهمان -> News
70: ميهمان -> News
71: ميهمان -> News
72: ميهمان -> News
73: ميهمان -> News
74: ميهمان -> Your_Account
75: ميهمان -> News
76: ميهمان -> Forums
77: ميهمان -> News
78: ميهمان -> News
79: ميهمان -> News
80: ميهمان -> Your_Account
81: ميهمان -> News
82: ميهمان -> Forums
83: ميهمان -> Tutorials
84: ميهمان -> News
85: ميهمان -> News
86: ميهمان -> Your_Account
87: ميهمان -> News
88: ميهمان -> Search
89: ميهمان -> News
90: ميهمان -> Forums
91: ميهمان -> News
92: ميهمان -> News
93: ميهمان -> News
94: ميهمان -> Your_Account
95: ميهمان -> News
96: ميهمان -> News
97: ميهمان -> Tutorials
98: ميهمان -> Forums
99: ميهمان -> News
100: ميهمان -> Forums
101: ميهمان -> Forums
102: ميهمان -> News
103: ميهمان -> Forums
104: ميهمان -> Forums
105: ميهمان -> News
106: ميهمان -> Forums
107: ميهمان -> News
108: ميهمان -> News
109: ميهمان -> News
110: ميهمان -> News
111: ميهمان -> News
112: ميهمان -> News
113: ميهمان -> News
114: ميهمان -> News
115: ميهمان -> Tutorials
116: ميهمان -> Forums
117: ميهمان -> Tutorials
118: ميهمان -> Tutorials
119: ميهمان -> News
120: ميهمان -> News
121: ميهمان -> News
122: ميهمان -> Forums
123: ميهمان -> News
124: ميهمان -> Tutorials
125: ميهمان -> Forums
126: ميهمان -> News
127: ميهمان -> News
128: ميهمان -> News
129: ميهمان -> News
130: ميهمان -> Your_Account
131: ميهمان -> Tutorials
132: ميهمان -> Tutorials
133: ميهمان -> News
134: ميهمان -> Your_Account
135: ميهمان -> Your_Account
136: ميهمان -> News
137: ميهمان -> News
138: ميهمان -> News
139: ميهمان -> News
140: ميهمان -> Forums
141: ميهمان -> News
142: ميهمان -> Forums
143: ميهمان -> News
144: ميهمان -> News
145: ميهمان -> News
146: ميهمان -> News
147: ميهمان -> News
148: ميهمان -> Forums
149: ميهمان -> Forums
150: ميهمان -> Forums
151: ميهمان -> Calendar
152: ميهمان -> Your_Account
153: ميهمان -> News
154: ميهمان -> News
155: ميهمان -> News
156: ميهمان -> Your_Account
157: ميهمان -> News
158: ميهمان -> News
159: ميهمان -> News
160: ميهمان -> News
161: ميهمان -> Your_Account
162: ميهمان -> Your_Account
163: ميهمان -> News
164: ميهمان -> News
165: ميهمان -> News
166: ميهمان -> News
167: ميهمان -> Tutorials
168: ميهمان -> News
169: ميهمان -> News
170: ميهمان -> Forums
171: ميهمان -> News
172: ميهمان -> Tutorials
173: ميهمان -> 536
174: ميهمان -> Tutorials
175: ميهمان -> News
176: ميهمان -> News
177: ميهمان -> Forums
178: ميهمان -> Contact
179: ميهمان -> Your_Account
180: ميهمان -> News
181: ميهمان -> News
182: ميهمان -> Contact
183: ميهمان -> News
184: ميهمان -> News
185: ميهمان -> News
186: ميهمان -> News
187: ميهمان -> Forums
188: ميهمان -> Your_Account
189: ميهمان -> News
190: ميهمان -> Tutorials
191: ميهمان -> Your_Account
192: ميهمان -> News
193: ميهمان -> News
194: ميهمان -> Forums
195: ميهمان -> News
196: ميهمان -> Tutorials
197: ميهمان -> Forums
198: ميهمان -> News
199: ميهمان -> News
200: ميهمان -> Your_Account
201: ميهمان -> News
202: ميهمان -> News
203: ميهمان -> News
204: ميهمان -> News
205: ميهمان -> Your_Account
206: ميهمان -> News
207: ميهمان -> Search
208: ميهمان -> Your_Account
209: ميهمان -> Your_Account
210: ميهمان -> Your_Account
211: ميهمان -> News
212: ميهمان -> News
213: ميهمان -> News
214: ميهمان -> News
215: ميهمان -> News
216: ميهمان -> News
217: ميهمان -> News
218: ميهمان -> News
219: ميهمان -> News
220: ميهمان -> News
221: ميهمان -> News
222: ميهمان -> News
223: ميهمان -> Tutorials
224: ميهمان -> News
225: ميهمان -> News
226: ميهمان -> News
227: ميهمان -> News
228: ميهمان -> News
229: ميهمان -> News
230: ميهمان -> News
231: ميهمان -> News
232: ميهمان -> News
233: ميهمان -> News
234: ميهمان -> News
235: ميهمان -> Forums
236: ميهمان -> News
237: ميهمان -> News
238: ميهمان -> News
239: ميهمان -> News
240: ميهمان -> News
241: ميهمان -> News
242: ميهمان -> News
243: ميهمان -> News
244: ميهمان -> News
245: ميهمان -> News
246: ميهمان -> Forums
247: ميهمان -> News
248: ميهمان -> News
249: ميهمان -> News
250: ميهمان -> News
251: ميهمان -> News
252: ميهمان -> News
253: ميهمان -> News
254: ميهمان -> News
255: ميهمان -> News
256: ميهمان -> News
257: ميهمان -> News
258: ميهمان -> News
259: ميهمان -> News
260: ميهمان -> Tutorials
261: ميهمان -> News
262: ميهمان -> News
263: ميهمان -> Forums
264: ميهمان -> Your_Account
265: ميهمان -> News
266: ميهمان -> Tutorials
267: ميهمان -> News
268: ميهمان -> Forums
269: ميهمان -> News
270: ميهمان -> Content
271: ميهمان -> News
272: ميهمان -> News
273: ميهمان -> News
274: ميهمان -> News
275: ميهمان -> Tutorials
276: ميهمان -> News
277: ميهمان -> News
278: ميهمان -> News
279: ميهمان -> News
280: ميهمان -> News
281: ميهمان -> Forums
282: ميهمان -> News
283: ميهمان -> News
284: ميهمان -> Forums
285: ميهمان -> News
286: ميهمان -> News
287: ميهمان -> Tutorials
288: ميهمان -> Your_Account
289: ميهمان -> News
290: ميهمان -> News
291: ميهمان -> News
292: ميهمان -> Forums
293: ميهمان -> Your_Account
294: ميهمان -> News
295: ميهمان -> Your_Account
296: ميهمان -> Tutorials
297: ميهمان -> News
298: ميهمان -> News
299: ميهمان -> News
300: ميهمان -> News
301: ميهمان -> News
302: ميهمان -> News
303: ميهمان -> Forums
304: ميهمان -> News
305: ميهمان -> Forums
306: ميهمان -> News
307: ميهمان -> News
308: ميهمان -> Your_Account
309: ميهمان -> News
310: ميهمان -> News
311: ميهمان -> Tutorials
312: ميهمان -> Forums
313: ميهمان -> News
314: ميهمان -> News
315: ميهمان -> News
316: ميهمان -> News
317: ميهمان -> News
318: ميهمان -> News
319: ميهمان -> News
320: ميهمان -> Tutorials
321: ميهمان -> News
322: ميهمان -> News
323: ميهمان -> Surveys
324: ميهمان -> News
325: ميهمان -> News
326: ميهمان -> Your_Account
327: ميهمان -> News
328: ميهمان -> Tutorials
329: ميهمان -> News
330: ميهمان -> News
331: ميهمان -> News
332: ميهمان -> Tutorials
333: ميهمان -> Forums
334: ميهمان -> News
335: ميهمان -> News
336: ميهمان -> News
337: ميهمان -> News
338: ميهمان -> Tutorials
339: ميهمان -> News
340: ميهمان -> News
341: ميهمان -> News
342: ميهمان -> News
343: ميهمان -> Tutorials
344: ميهمان -> News
345: ميهمان -> Tutorials
346: ميهمان -> News
347: ميهمان -> Forums
348: ميهمان -> Forums
349: ميهمان -> News
350: ميهمان -> Forums
351: ميهمان -> Your_Account
352: ميهمان -> 814
353: ميهمان -> News
354: ميهمان -> Tutorials
355: ميهمان -> forums
356: ميهمان -> Forums
357: ميهمان -> News
358: ميهمان -> News
359: ميهمان -> 90
360: ميهمان -> News
361: ميهمان -> Tutorials
362: ميهمان -> News
363: ميهمان -> News
364: ميهمان -> News
365: ميهمان -> Your_Account
366: ميهمان -> News
367: ميهمان -> News
368: ميهمان -> News
369: ميهمان -> Tutorials
370: ميهمان -> Forums
371: ميهمان -> News
372: ميهمان -> News
373: ميهمان -> Your_Account
374: ميهمان -> Forums
375: ميهمان -> News
376: ميهمان -> Your_Account
377: ميهمان -> News
378: ميهمان -> News
379: ميهمان -> Private_Messages
380: ميهمان -> Forums
381: ميهمان -> Tutorials
382: ميهمان -> News
383: ميهمان -> News
384: ميهمان -> News
385: ميهمان -> News
386: ميهمان -> News
387: ميهمان -> News
388: ميهمان -> Forums
389: ميهمان -> News
390: ميهمان -> News
391: ميهمان -> News
392: ميهمان -> News
393: ميهمان -> Forums


دريافت فايل
مجموع فايل ها: 49
مجموع شاخه ها: 3
مجموع دريافتي ها: 61949
حجم كل فايل ها: 330881.79 GB

فايل هاي جديد
01: نرم افزار كاربردي مديريت دانلود Orbit
[دفعات بازديد: 69]
02: WinRAR v4.00 Beta 7
[دفعات بازديد: 69]
03: کامپایلر بیسیک PIC Basic Pro 2.60
[دفعات بازديد: 1176]
04: شبیه ساز قدرتمند پروتئوس ، ورژن 7.6 / SP4
[دفعات بازديد: 1346]
05: CCS PCWHD v4.088 + KeyGen
[دفعات بازديد: 418]
06: Filter Solutions 2009 v12.1.4 Full + Samples
[دفعات بازديد: 626]
07: HDL Design Entry 7.2 Revision 8
[دفعات بازديد: 156]
08: Cadsoft Eagle v 5.6.0
[دفعات بازديد: 548]
09: PIC Basic Pro V 2.50
[دفعات بازديد: 1084]
10: PIC18 Simulator V 2.62 - Full
[دفعات بازديد: 396]

فايل هاي برتر
01: Oscilloscope 2.51
[Hits: 5614]
02: Electrical Calculations2
[Hits: 4100]
03: Digital-Cirsuit-Simulator
[Hits: 3268]
04: Resistor Decoder
[Hits: 3168]
05: 555 Desginer
[Hits: 2719]
06: codevision AVR 1.25.8
[Hits: 2557]
07: LCD Graphics
[Hits: 2355]
08: BIP Electronics Lab Sine Wave Generator - 3.0
[Hits: 2322]
09: BASCOM AVR 1.11.9.0
[Hits: 2299]
10: convertor
[Hits: 2144]


بخش های پر بازديد سایت


لينك هاي برتر
· 1: مرجع کنترل و ابزار دقیق
· 2: وبلاگ تخصصی الکترونیک
· 3: سایت تخصصی plc
· 4: دنیای دیجیتال و میکروکنترولر
· 5: پروژه هاي حرفه اي الکترونيک
· 6: مقالات و پروژه های الکترونیک
· 7: آموزش plc
· 8: انتشارات علوم رايانه
· 9: وبلاگ جامع مدارات الکترونيکي
· 10: bahramelectronic.tk
· 11: مطالب درسی و پروژه های رشته الکترونیک
· 12: electronic2006
· 13: Your Personal PLC Tutor - Learn PLC Programming Here. FREE
· 14: برق و الكترونيک
· 15: مقالات برق الكترونيك پي ال سي
· 16: تبلیغ چی
· 17: elect.ir
· 18: ساعت خوش
· 19: مهندسی شبکه های توزیع برق
· 20: الکترونیک برای همه
· 21: Power Electrical
· 22: سیستم مدیریت محتوای ناک پلاتیونم
· 23: سايت حسين لاچينی
· 24: وبلاگ پارسايي كه ديگر پارسا نيست
· 25: كتاب هاي الكترونيكي
· 26: کلوب رباتیک و هوش مصنوعی
· 27: لینکستان سایتهای برق
· 28: الکترونيک و کامپيوتر
· 29: گروه آموزشی رشته الکترونیک سواد کوه
· 30: ایمنی و بهداشت در برق
· 31: برق قدرت
· 32: پارسیان آگهی
· 33: دانلود جزوات مهندسی
· 34: دانشکده فنی و اموزش عالی منتظری مشهد
· 35: گروه برق دانشگاه آزاد کرمانشاه


فروشگاه تخصصی برق و الکترونیک ایران میکرو
www.iran-micro.com
PHP-Nuke Copyright © 2005 by Francisco Burzi. This is free software, and you may redistribute it under the GPL.
Powered by Platinum 7.6.b.4 v2
Powered by Platinum 7.6.b.4 v2 Persian

مدت زمان ایجاد صفحه : 0.27 ثانیه