انجمن کامپیوتر ایران

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

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

در اين مقاله, ضمن ارائه بيانی ساده و روشن از موضوع سايز بندی ترانزيستور ها ١ جهت بهين هسازی شاخص يا شاخص هايی از مدار, در نهايت الگوريتم جديدی ارائه گرديده که در بستر شبيه سازی مدارات XOR/XNOR بالانس, نتايج ارزشمندی را به دنبال داشت هاست. طبق نتايج شبيه سازی ها که برای هفت مدار XOR/XNOR بالانس ارائه شده در گزارش ۱ انجام شد هاند, سادگی, مرتبه زمانی مناسب و قابليت اطمينان, از امتيا زهای الگوريتم جديد ارائه شده نسبت به سه الگوريتم قبلی می باشند که در اين مقاله مورد بررسی قرار گرفته اند. تمامی شبيه سازی ها با تکنولوژی μm .18 بر اساس مدل BSIM3v با نرم افزار شبيهساز HSpice در دمای 27 درجه سانتی گراد انجام شده اند.

قدرت بالاي مدلسازي جملات زبان طبيعي توسط گرامر هاي درخت-افزايشي سبب شد که از آنها در کاربرد هاي ترجمه ماشيني و پردازش معنايي استفاده شو د. ولي است فاده از اين مدل با دو مشکل اصلي روبرو است، سرعت پائين تجزيه نحوي و وجود ابهامات متعدد در نتايج تجزيه گ ر. بطوريکه استفاده از اين گرامر را در کاربرد هاي واقعي با مشکل جدي مواجه کرده است. بدين دليل از يک روش تجزيهگر جزئي مبتني بر اين مدل با نام برچس بگذار پ يشرفته استفاده شده است . برخلاف مدل گرامري سابق، خروجي الگوريت مهاي تجزيهگر مبتني بر برچس بها ي پيشرفته بصورت درخ تهاي نحوي جزئي است که در کل ساختار جمله تجزيه نميگردد و بخشهايي از ساختار خروجي آن با خطاهايي مواجه است. در اين مقاله، سعي شده است که در د و فاز تشخيص و تصحيح خطا، ساختار هاي خطادار در مرحله اول تشخيص و سپس با ساختار نحوي درست آن جايگزين گرد د. عملا هم از سرعت مناسب برچسب گذار پيشرفته استفاده شده است و هم خروجي تجزيه کامل گرامر درخت -افزايشي ايجاد ميگردد. نتايج بر روي پايگاه درختي Penn حاکي از دقت نزديک به ۸۰ % بدون ابهام و با سرعت تجزيه قبول است.

راه رفتن، يکي از ويژگيهاي فيزيکي بدن افراد است، که امروزه به عنوان يک بيومتريک در سيستم هاي تشخيص هويت استفاده مي شود . در اين مقاله يک رهيافت جديد براي شناسايي افراد از روي راه رفتن مبتني بر خوشه بندي مبتني ب ر الگوريتم ژنتيکي ارائه شده اس ت. .در استخراج ويژگي يک تغيير اساسي نسبت به الگوريتم هاي قبلي انجام شدده است . ابتدا با سه روش مختلف بردار ويژگي اوليه استخراج شده است . از خوشه بندي بر مبناي الگوريتم هاي ژنتيکي براي دسته بندي بردارهاي ويژگي اوليه متشابه استفاد ه شده است و سپس با ميانگين گيري از خوشه ها بردار ويژگي اصلي استخراج شده است . .در فاز تشخيص يک الگوريتم جديد مبتني بر DTW ارائه شده است. نتايج آزمايشات کارايي رهيافت پيشنهادي را تاييد مي کنند.

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

This paper introduces a fault-tolerant asynchronous RISC microprocessor, called FTARM, which combines several error detection mechanisms to increase the fault coverage. The FTARM is implemented using the verilog. To evaluate the FTARM, different workloads were run on its implementation using the Verilog HDL. The evaluation is based on some thing about 2000 different transient and permanent single stuck-at-faults. The results show that more than 98% faults were detected. The Verilog model of FTARM is synthesized, where about 25% area overhead was observed.

In this paper a conceptual design for development of an e-research environment is proposed. In this environment services are proposed by several components such as virtual library ,data mining tool , frame based causal model , Hyper value & reference and report generator and a computer aided model analysis component. Prototype of this environment has been used to implement two different applied researches.

Explore/Exploit dilemma is one of the most challenging issues in reinforcement learning area as well as learning classifier systems such as XCS. In this paper, an intelligent method is proposed to control the exploration rate in XCS to improve its long-term performance. This method is called Intelligent Exploration Method (IEM) and is applied to some benchmark problems to show the advantages of adaptive exploration rate for XCS.

Due to the rapid growth of electronic environments (such as internet) much research is currently being performed on autonomous trading mechanisms. Also in the last few years there has been an increasing interest from the agent community in the use of techniques from decision theory and game theory. Our paper connects theses two fields. In real world, when two agents negotiate, it seems rational that they emphasize on their highest priorities first. We give a strategy based on the 7 types presented by Raymund J. Lin and Seng-cho T. Chou [7] in which an agent can gain more profit by sacrificing or delaying some high priority tasks. The focus of this paper is on negotiation of self interest agents.

Variability management is a major concern in successful exploitation of variabilities and commonalities of software product families which also affects different aspects of development activities. To use software product line approach in information systems context, it is necessary to bring in variability in different phases of the life cycle, including business modeling which is recognized as a key part of developing enterprise information systems. This paper presents a method for variability management at business process level which covers the activities of eliciting variability, representing variability in business process models, and also managing dependencies among different variabilities. The method supports traceability by mapping variabilities at business process level to assets of lower levels of abstraction, including feature and use case models. To model business processes, UML activity diagrams are exploited.

The assignment of natural language texts to two or more predefined categories based on their contents, is an important component in many information organization and management tasks. This paper presents an information theoretic approach for text classification problem that we call it ITTC. Here, we prove that ITTC is theoretically equivalent to Bayesian classifier. However, when classification task is performed over dynamic or noisy data, or when the training data do not represent all probable cases, ITTC outperforms Bayesian classifier. We also show that the complexity of ITTC over test set grows linearly by the size of input data .We use some news groups, to evaluate the superior performance of our approach.

سيستم اعداد ماندهای يک سيستم عددی بدون انتشار رقم نقلی است که انجام محاسبات را بصورت موازی و با سرعت زياد ممکن می سازد. انتخاب مجموعه پيمانه و تبديل عدد مانده ای به معادل دودوئی آن، دو مورد از مهمترين مسائل در طراحی يک سيستم اعداد ماندهای هستند. در اين مقاله، ما يک مبدل مانده ای به دودوئ ي کارا برای مجموعه پيمانه جديد{ 1- 2^(n-1) , ... } ارائه می کنيم.اين مجموعه پيمانه جديد شامل پيمانه هاي دوبه دو نسبت به هم اول و متعادل است که منجر به انجام سريع محاسبات در سيستم اعداد مانده ای و نيز پياده سازی کاراي مبدل ماندهای به دودوئی ميشود . ساختار سخت افزاری مبدل ماندهای به دودوئی پيشنهاد شده، از ي ک جمع کننده ذخيره رقم نقلي و يک جمع کننده پيمانهاي انتشار رقم نقلی تشکيل شده است. در مقايسه با ديگر مبدلها ی مانده اي به دودوئی براي مجموعه پيمانه هاي شبيه به مجموعه پيمانه جدی د پيشنهادی،مبدل ماندهای به دودوئی پيشنهاد شده دارای سرعت بيشتر و هزينه سخت افزاری کمتر است.

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

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

بخشبندي بافت با استفاده از روش كانتورهاي فعال، از موضوعات جديدي مي باشد كه اخيرا مورد توجه قرار گرفته است. اين روش ها وقتي كه كيفيت تصوير بافتي خوب نباشد و يا بافت هاي موجود در طرفين مرزهاي شي به هم شبيه باشند، دقت لازم براي بخشبندي مناسب را نخواهند داشت. ما در اين مقاله به منظور غلبه بر اين مشكل و جلوگيري از شكست و عبور مرزهاي كانتور از شي، به معادله ديفرانسيلي مربوط به تكامل منحني، تعميم يافته براي بافت در فضاي ويژگي گابور، ترم جديدي بر مبناي اطلاعات مربوط به يك مدلي شبيه به شي مورد نظر، اضافه مي كنيم. به منظور تطبيق بيشتر كانتور بدست آمده با شي، يك معادله سطوح همتراز پيشرفته تر، مبتني بر مدل چن وس -مامفردشاه، براي تكامل منحني ارائه مي كنيم كه در آن علاوه بر استفاده از اطلاعات بافتي براي بخشبندي، از اطلاعات مربوط به مدل شي نيز استفاده شده است. همچنين جهت برازش كانتور اوليه بدست آمده با مدلي كه از شي داريم از الگوريتم Levenberg Marquardt استفاده مي كنيم. لازم به ذكر است كه روش پيشنهادي حساسيت كمتري نسبت به نويز داشته و به صورت دقيق تري عمل مي كند.

تاثيرات همشنوايي دقت انتقال سيگنالها را در طول اتصالات كاهش مي دهد كه بايستي مورد توجه قرار گيرند . چون استفاده از آزماينده هاي خارجي جهت انجام يك آزمايش با سرعت عملكردي تراشه براي تاثيرات همشنوايي پر هزينه است، خود آزمون توكار يك روش بسيار مناسبي براي انجام چ نين آزمايشي است . زيرا در اين روش نيازي به آزماينده هاي خارجي با سرعت خيلي بالا نيست . در اين مقاله، ما اتصالات بين سويچها در شبكه - بر- تراشه را در يك روش كاملأ موازي مورد آزمايش قرار داده ايم . در اين روش كه مبتني بر خود آزمون توكار است، با بكارگيري مجدد بافر هاي FIFO هر يك از سويچها، آزمايش كليه اتصالات بين سويچها بصورت كاملأ موازي انجام مي پذيرد، كه نتنها زمان كاربرد آزمايش، بلكه سربار مساحتي در سراسر شبكه كاهش يافته است.

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

امروزه با افز ایش قدرت و کاهش هز ینۀ پردازشگره اي دیجیتال، استفاده از سیستمهاي پردازش گفتار براي ارتباطات صوتی و عملیات بازشناسی گفتار رواج یافته است. از آنجا که با حضور نویز کارایی این س یستمها تا حد ز یادي کاهش م ییابد، نیاز به سی ستم- هاي کاهش نو یز، هم به عنوان واحد پیشپردازش و هم به عنوان واحدي مستقل در پردازش گفت ار، محسوس است . روشهاي بهساز ي گفتار در دو حوزة فرکانس و زمان تدوین شدهاند. روشهاي مبتنی بر تبدیل موجک و تبد یل فور یه مثاله ایی از تکن یکهاي بهساز ي گفتار در حوزة فرکانس هستند . بهسازي گفتار بر مبن اي تبد یل موجک، از طریق آستانهبندي و یا با فیلتر کردن ضرایب نویزي، محقق میشود. در این مقاله ضمن معرف ی مجموعۀ ف یلترهاي قابل استفاده در حوزة موجک، از ترک یب دو ف یلتر با کار اییه اي متفاوت، ف یلتر ترک یب ی مناسبی حاصل شده است که نتیجۀ استفادة از آن، سیگنالی با میزان نویز باقیمانده و اعوجاج حداقل خواهد بود.

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