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

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

با توجه به افزایش تعداد ورودی‌های جداول مسیر، مسأله‌ی جستجوی آدرس در اینترنت، مسأله‌ای چالش برانگیز می‌باشد. بدلیل سرعت زیاد، کم هزینه بودن و سادگی استفاده، حافظه‌های سه مقداری آدرس‌پذیر براساس محتوی (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، انجام شده است.

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

از بافرها برا ي کاهش تأخیر مسیرهاي بحرانی استفاده می شود. با پیشرفت تکنولوژي به نانومتر، تأخیر اتصالات بخش مهمی از تأخیر مدارهاي مجتمع شده است و تعداد بافرهاي درج شده به شدت در حال افزایش است. تعداد بسیار زیاد بافرها داراي اثرات جانبی مثل افزایش توان مصرفی تراشه و افزایش مساحت آن اس ت. در الگوریتم هاي درج بافر قبلی، یا به مصرف توان توجه نشده است و صرفاً جنبۀ کاهش تأخیر آن مد نظر بوده است و یا ا لگوریتم مورد استفاده مبتنی بر مسیر نیست که در این صورت به دلیل تمرکز بر روي یک نت، نمی تواند توان مصرفی بافرها را به درستی کاهش دهد. در این مقاله، یک روش تحلیلی مبتنی بر مسیر براي درج بافر ارائه شده و بوسیلۀ مدارهاي نمونۀ ISCAS آزمایش شده است. نتایج آزمایش ها حاکی از کاهش 46/69 درصدي توان مصرفی بافرها در عین رعایت محدودیت هاي زمانی مدار است.

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

در اين مقاله الگوريتمی جهت طراحی XOR های با تعداد ورودی متغير CMOS با استفاده از مدلی نوين در طراحی که "پل" ناميده ايم، ارائه شده است . مدل پل به طراح اين امکان را مي دهد که انواع مدارات را با نظم و به صورت فشرده تری نسبت به طراحی های متعارف CMOS پياده سازی نمايد . در اين مدل تعدادی ترانزيستور نقش پل را بازی مي کنند که به مدل نظم خاصی مي بخشن د. تعداد ترانزيستور های به کار رفته در اين مدل از تعداد n * 2 برای ساخت XOR با تعداد n ورودی با روش متعار ف، به تعداد 12 + کاهش مي يابد . همچنين مدل پيشنهادی بر خلاف روش ساخت (n - 2) * 2n- XOR های با تعداد ورودی بالا با استفاده از زنجيره هايي از XOR های با تعداد ورودی کم، از معايبی همچون هازارد و تاخير بسيار زياد مستثنی مي باشد.

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

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

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.