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

با توجه به افزایش تعداد ورودی‌های جداول مسیر، مسأله‌ی جستجوی آدرس در اینترنت، مسأله‌ای چالش برانگیز می‌باشد. بدلیل سرعت زیاد، کم هزینه بودن و سادگی استفاده، حافظه‌های سه مقداری آدرس‌پذیر براساس محتوی (TCAM ها)، جهت طراحی موتورهای قويِ جستجوی آدرس در مسیریاب‌ها، مطلوب می‌باشند. با این وجود، TCAM ها اگرچه سریع‌ترین ابزار برای جستجوی مسیر هستند ولی دارای مصرف توان نسبتاً زیادی می‌باشند. در این مقاله، برای جستجوی آدرس در مسیریاب‌ها، روشی سخت‌افزاری مبتنی بر TCAM پیشنهاد شده است. معماری پیشنهاد شده، جهت کاهش توان مصرفی، از الگوریتم ساده‌سازی spresso و تكنیك فعال‌سازيِ چندسطحی (MLET)، که توسط ما ارائه شده است، استفاده می‌کند. ارزیابيِ کارایی و شبیه‌سازيِ نرم افزاريِ روش پیشنهادی، نشان می‌دهد که بکارگیری این روش می‌تواند به طور قابل توجه‌ای مصرف توان در جدول مسیر را بهبود ببخشد.

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

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

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

در اين تحقيق اساس كار طراحي يك سرويس نظير به نظير (Peer to Peer) جديد جهت اشتراك فايل در شبكه هاي بي سيم و سيار شهري از جمله پليس ، اورژانس ، آتش نشاني و اشتراك فايلهاي چند رسانه اي است. به همين منظور براي يافتن راه حل ي جهت ايجاد يك سيستم جدي د ، مسئله بايد به دو قسمت تقسيم شود ابتدا يافتن فايل مورد نظر سپس بازيابي كردن آن و اين دقيقا همان چيزي است كه امروزه در سرويسهاي اشتراك فايل فعلي وجود دارد ما اين سيستم جديد را از اين عبارت عمومي اقتباس كرده ايم كه "جهت خريد يك كالاي به خصوص و كمياب همين طور كه به سمت يك سوپر ماركت معتبر و شلوغ قدم برم ي داريد ميتوانيد از مغازه هاي بين راهي نيز در مورد آن كالا سوال كنيد !" به همين جه ت سيستمي طراحي ك رده ايم كه از مزيتهاي هر دو شبكه متمرك ز و نا متمركز سود برد و چون اين سيستم ادغامي از دو سرويس متمركز (Napster) و نا متمركز (Gnutella) است ، ما اين سيستم را به اختصار HFSS ميناميم كه به معناي سيستم اشتراك فايل دو رگه ميباشد . در اين تحقيق چنين سيستمي طراحي و شبيه سازي شده است .

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

در اين مقاله ي ك مدار XOR/XNOR شش ترانز يستوري جد يد پيشنهاد شده است که داراي مشخصه هاي بهتر ي نسبت به طرح XOR/XNOR شش ترانز يستوري متداول م ي باشد . طبق نتا يج بدست آمده از ش ب يه سازي ها، در بستر تست منفرد اين برتر ي نما يان نشده و لي با توجه به اين مهم که اکثر موارد استفاده و کاربرد اين رده از مدارات در مداره ا ي محاسبا تي و شبک ه ها ي جمع با ساختارهاي گسترده و چند طبقه م ي باشد، لذا با بيان نتا يج شب يه سازي ها در ا ين بستر تست که نشا ن دهنده رقابت مدارات در محيطي نزد يک به واقع يت است، شاهد بهبود قابل توجه ي در فاکتورها ي ميانگين توان مصرفي، تاخير و کميت توان در تا خير مي باشيم. در ا ين مقاله با معر في فاکتور Delta که ب يان کننده چگو نگي بالانس خروج ي ها م ي باشد، به مقا يسه مدارات از نظر ميزان بالانس بودن دو خرو جي XOR و XNOR پرداخته ايم. بهبودي بيش از ۴۰ ٪، در مقدار متوسط (mean) م ي انگين توان مصرفي، در حدود ۱۸ ٪ در تاخير بيشينه مدار، بيش از ۴۹% Delta ، و بهبود ي بالاتر از ۴۵ ٪ در کميت توان در تاخير مدار پيشنهاد شده از جمله امتيازات طرح ياد شده م ي باشند. تمامي شبيه سازي ها با تكنولوژي 0.18 ميكرومتر، بر اساس مدل BSIM3v ، با نرم افزارها ي شبيه ساز HSPICE، انجام شده است.

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

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

در اين مقاله، رويه اي براي طراحي و مدلسازي يك ضر ب كننده سريال تپشي 1 براي اعداد بدون علامت با كمك زبان توصيف سخت افزار 2 بر روي تراشه FPGA ارائه مي گردد. در اين رو يه، حاصل ضرب ب ه صورت كامل بدون وارد كردن كلمه صفر بين دو داده متوالي، روي خطوط خروجي ظاهر م ي شود. ضرب كننده پيشنهادي بر اساس يك ضر ب كننده سري / موازي كه با بهر ه وري صددرصد كار مي كند، پايه گذاري شده اس ت. محاسبات مربوط به قسمت كم ارزش و قسمت پرارزش ح اصل ضرب در دو مرحله كه همپوشاني دارند، انجام مي شود. با حذف تعدادي از عناصر تأخير و نيز ادغام هر دو سلول مجاور در مدار مورد نظر، مدار ب ه صورت تپشي كار خواهد كرد و با اعمال تغييراتي در ورودي موازي، هر دو ورودي مدار ب ه صورت سري اعمال مي شوند. از جنبه ها ي مهم اين طرح اين است كه حاص ل ضرب به صورت كامل و بدون تأخير به دست مي آيد. در نتيجه ، براي ضرب اعداد طولاني ب ه صورت پيوسته و تپشي، بدون افزايش پيچيدگي سخت افزار، قابل بكارگيري مي باشد.

مکانيابي اوليه گره هاي شبکه، يعني تعيين موقعيت فيزيکي گره ها بعد از گسترش شبکه، براي بسياري از کاربردهاي شبک ه ها ي مانند مسيريا بي مبتن ي بر جهت و رديا بي لازم و ضروري اس ت . روش هاي متنوعي براي مکانيابی در شبکههاي حسگر مطرح شده است، که انتخاب روش مکانيابي باتوجه به کاربرد مورد نظر و امکانات در دسترس صورت ميگيرد. در اين مقاله الگوريتم مکانيابي جديدي تحت عنوان کشف مکان دقيق (ALD) مطرح شده است. اين روش براي کاربردهائي مناسب است که نيازمند تعيين مکان گره ها با دقت نسبتا بالا هستن د . ويژگيهاي اصلي اين روش محدود بود ن تعداد گره هاي مرجع ، سادگي شيوه حرکت گره هاي مرجع و همچنين سادگي پردازش اطلاعات مکانيابي دريافتي از گره هاي مرجع متحرک م يباشد. روش ،ALD براي هر دو ش بکه منظم و همچنين شبک ه هاي نامنظم کارايي خوبي دار د . نتايج بدست آمده از شبيه سازي توسط نرم افزار ،SensorSim نشان ميدهد که روش پيشنهادي در مقايسه با الگوريتمهاي مرجع mobile beacon و centroid [3و8] مکان گره ها را با دقت بالايي تخمين ميزند، همچنين اين روش س ر باره ارتباطی مکانيابي گره هاي حسگر را نسبت به روش ها ي ذکر شده کاهش زيادي ميدهد.

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

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

Nowadays users of the Web are encouraged to generate content on the Web by themselves. Weblogs are the most tools to do this. In fact Weblogs are one kind of social networks and they are one of the most important components in Web 2.0. The increasing growth of blogsphere implies that users need to know more popular blogs. This paper introduces a new algorithm for rankingWeblogs according to a link structure specific to the blogsphere. Our CRE-Rank algorithm tries to identify popular focal blogs. Popular blogs are those blogs which are more linked and commented, Focal blogs are those which users can access popular Weblogs from them.

In a two player game, the choices of our player can be modeled by angelic nondeterminism and those of our opponent by demonic nondeterminism. In this paper, we introduce some notations and semantics to Martin- Löf's theory of types which facilitate the use of angelic and demonic interpretations of nondeterminism in type theoretical specifications. Using the proposed, nondeterministic constructs, we can formally specify two player games and derive them from correctness proofs of their formal specifications.

Ensemble based methods have successfully been used in a variety of application. Recently using these methods in clustering algorithms has attracted a great deal of interest. Voting and averaging are two effective combining methods that are frequently used in multiple classifier systems. To use these methods in an unsupervised scenario (to combine multiple partitioning of data) the partitions must be relabeled first, i.e. similar partitions in different partitioning gets the same label. This phase has a great influence on the ensemble performance. In this paper a new heuristic label assignment method is proposed. The result of the Monte Carlo simulation and experimental results on real data show that the performance of ensemble method could be significantly improved using this method.

The goal of network topological design is to find a minimum cost configuration of network components. Design of access network is discussed here. The objective is minimizing the access network cost by means of finding optimal number and location of concentrators. The network cost consists of the concentrators cost and cost of access links, that connecting terminals to the concentrators. Here, contrary to most of other methods, which use candidate locations for concentrators, the search space is continuous. Solution to the problem is improved in this article. The problem is solved using a type of self organizing neural network called Growing Neural Network. In this method, terminal locations are used as input of neural network and self organizing feature leads to optimal solution. Furthermore, an improved version of the COM algorithm is proposed. Improvement is achieved by means of applying cost constraint in cluster merging phase. The simulation results for different networks with various cost parameters show the new methods achieve the better performance than that of previous methods.

This paper presents a computationally effective trajectory generation algorithm for omni-directional mobile robots. In this algorithm we use the Voronoi diagram to find a sketchy path that keeps away from obstacles and then we smooth this path with a novel use of Bezier curves. This algorithm defines velocity magnitude of a robot along the curved path to satisfy optimality conditions and dynamic constrains. The algorithm has been implemented on real robots, and we present experimental results in different environments.

Gaussian Mixture Model (GMM) models feature space using mean vector and covariance matrix of probability density functions of feature vectors. In this paper, improved Vector Quantization and Covariance Matrix methods were compared to GMM. Covariance Matrix model considers shape of probability density functions, while Vector quantization method models position of probability density functions in feature space. In this paper different methods of Covariance matrix model including Arithmetic-harmonic sphericity measure and Divergence Shape measure were examined to evaluate scores in speaker verification task.. Experimental results show that Arithmetic-harmonic sphericity measure outperforms Divergence shape measure. A novel vector quantization approach was also presented in this paper. This approach is based on comparing codebook obtained from training data to codebook obtained from test data. Results show that recent approach has a better performance compared to traditional vector quantization approach. Also, the results show that Covariance matrix model outperforms improved Vector Quantization and GMM.

در اين مقاله، روش جديدی براي افزايش كيفيت تصاويری كه با استفاده از تكنيك فشرده سازی فراكتالی كد شده اند ارائه شده است. استفاده از روش فراكتالی براي فشرده سازی تصاوير مانند بسياری از روشهای فشرده سازی سبب ايجاد پديده بلوكی و اثرات مصنوعی در تصوير می شود كه برای نرخهای مختلف فشرده سازی متفاوت می باشد. در اين مقاله با استفاده از معادلات نفوذ و اعمال آن به اين تصاوير باعث افزايش كيفيت تصوير وكاهش پديده بلوكی و اثرات مصنوعی شده ايم . روش پيشنهادی بر ر و ي چندين تصوير از تصاوير استاندارد كه با روش فراكتالی و با نرخ بيت های متفاوت فشرده شده اند آزمايش شده است . نتايج نشان داده است كه روش پيشنهادی كارايی روش فراكتالی را بهبود داده است.