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

در اين مقاله يك پروتكل كنترل دسترسي رسانه مناسب براي شبك ه هاي حسگر ارائه شده اس ت . شبكه هاي حسگر ب ي سيم خصوصيات خاصي دارد كه آ ن را از ساير شبك ه هاي بي سيم همچون شبكه هاي موردي متمايز م ي كند و پروتكل هايي كه براي اين نوع شبكه ها طراحي مي شود بايد شرايط آ ن را نيز در نظر بگيرن د . از مهم ترين اين خصوصيات م ي توان منبع توان محدود، تراكم بالاي شبكه و طبيعت ناپايدار بودن گر ه هاي شبكه را نام بر د . در گره هاي حسگر ارتباط بي سيم عمده مصرف انرژي را دار د . ما در اين مقاله يك پروتكل كنترل دسترسي رسانه با نام 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.

The visibility graph is a fundamental geometric structure which is useful in many applica- tions, including illumination and rendering, motion planning, pattern recognition, and sensor networks. While the concept of visibility graph is widely studied for 2D scenes, there is not any acceptable equivalence of visibility graph for 3D space. In this paper we explain some reason for this absence. Then we try to ¯nd a new way to de¯ne geometric structure in 3D space. Following our new way, we easily de¯ne a new structure called 3D visibility graph which we believe is the natural way to extend visibility graph in 3D scenes. We show how to compute it in an acceptable time. keywords: computational geometry, visibility graph, 3D visibility.

The Anticipatory Classifier System (ACS) employs the learning classifier system framework and the learning theory of anticipation behavioral control. The resulting evolutionary system can build an internal environmental model and then applies reinforcement learning techniques to develop an optimal set of classifiers. XCSF is another novel version of learning classifier systems (LCS) which introduced the concept of computable classifier prediction and successfully applied to function-approximation problems. In this paper, we apply ACS to function approximation. ACSF is a new version of ACS introduced to develop more accurate approximations.

The security of networked computers plays a strategic role in modern computer systems. This task is so complicated because the determination of normal and abnormal behaviors in computer networks is hard, as the boundaries cannot be well defined. This paper proposes a parallel genetic local search algorithm (PAGELS) to generate fuzzy rules capable of detecting intrusive behaviors in computer networks. The system uses the Michigan’s approach, where each individual represents a fuzzy rule which has the form “if condition then prediction”. In the presented algorithm the global population is divided into some subpopulations, each assigned to a distinct processor. Each subpopulation consists of the same class fuzzy rules. These rules evolve independently in the proposed parallel manner. Experimental results show that the presented algorithm produces fuzzy rules which can be used to construct a reliable intrusion detection system.

Given a subdivision of plane into convex polygon regions, a sequence of polygons to meet, a start point s, and a target point t, we are interested in determining the shortest weighted path on this plane which starts at s, visits each of the polygons in the given order, and ends at t. The length of a path in weighted regions is de¯ned as the sum of the lengths of the sub-paths within each region. We will present an approximation algorithm with maximum ± cost additive. Our algorithm is based on the shortest weighted path algorithm proposed by Mata and Mitchel [2]. The algorithm runs in O(((n3LW +RW) k ± )3) time, where n is the number of vertices of the region boundaries, L is the longest boundary, W is the maximum weight in the region, R is the sum of the perimeters of the regions, and k is the number of polygons. The main idea in the algorithm is to add Steiner points on the region boundaries and polygon edges. In addition, we will also present a solution to the query version of this problem. We will extend our result in unweighted version of the Touring a Sequence of Polygons" problem [3]. We will give an approximation algorithm to solve the general case of the problem (with non-convex intersecting polygons).

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

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

می توان نشان داد كه اگر الگوریتم های كوانتومی بر روی كامپیوترهای كوانتومی اجرا شوند، سرعت انجام محاسبات در آنها نسبت به كامپیوترهای كلاسیك مرسوم به صورت نمایی افزایش می یابد . اما به دلیل در دسترس نبودن كامپیوترهای كوانتومی، در حال حاضر از شبیه سازی مدل مداری الگوریتم های كوانتومی بر روی كامپیوترهای كلاسیك به منظور ارزیابی عملكرد آنها استفاده می شود. این در حالی است كه شبیه ساز نرم افزاری قادر نیست به صور ت كارآمد از قابلیت موازی سازی موجود در الگوریتم های كوانتومی برای شبیه سازی استفاده نماید. بر همین اساس و به منظور شبیه سازی الگوریتم های كوانتومی بر روی FPGA این مقاله به ارائة یك نمایش جدید برای بیت های كوانتومی می پردازد كه ضمن استفاده از آن، سرعت شبیه سازی مدارهای كوانتومی به صورت قابل ملاحظه ای بهبود می یابد. این نمایش جدید در هر دو حالت بیت های كوانتومی مجزا و درهم تنیده شده كاربرد دارد.

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

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

امروزه با رشد سريع اطلاعات و دادهها، يافتن اطلاعات مناسب و كارا از اهميت خاصي برخوردار است. هدف خلاصهسازي خودكار متن، فراهم كردن خلاصهاي از محتويات مطابق با اطلاعات مورد ني از كاربر است. در اين مقاله، نگارندگان ابتدا مفاه يم خلاصه ساز ي و انواع آن، سپس سيستمهاي خلاصهساز موجود، و در نهاي ت روش خلاصه ساز ي خودكار متنهاي فارسي پيشنهادي را بررسي نمودهاند. روش پيشنهادي، تركيبي از روشهاي مبتني بر گراف TF-IDF و الگور يتم ژنتي ك (Genetic Algorithm) است. در اي ن روش كلمات قبل از امتيازدهي جملات، ريشهيابي م يشوند . پس از امت ي ازدهي، جملات خلاصه با استفاده از الگور يتم ژنتي ك (GA) انتخاب م يشوند . تابع برازندگي الگوريتم ژنتيك مبتني بر سه فاكتور شباهت با عنوان، قابلي ت خوانايي و پيوستگي است. ارزيابي خلاصه ه اي حاصل از پي ادهساز ي سيستم پيشنهادي در انتهاي مقاله آورده شده است.

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

وب در گذاري از مجموعهاي از صفحات به سمت مجموعه اي از سرويسها که از طريق اينترنت باهم تعامل دارند ميباشد [ ١]. در اين مقاله يک رهيافت در انطباق ساز خودکار وب سرويس معنايي که استدلالگر مبتني بر منطق را ب ا يک انطباق ساز تقريبي مبتني بر فرهنگ لغت WordNet بهبود ميبخشد را ارائه ميکنيم. نتايج ارزيابي اندازهگيري کارايي اين رهيافت نشان ميدهد که رهيافتهايي که تنها مبتني بر منطق و براساس انطباقسازي I/O سرويس هاي مبتني بر OWLS هستند، ميتواند به طور موثري بوسيله نوع مبتني بر فرهنگ لغت WordNet بهبود يابد که ما در اين مقاله اين موضوع را بررسي و نشان ميدهيم.

در اين مقاله روشي برا پنهان شكني يک ي از روش ه ا پنهاننگار برمبن ا اختلاف مقاد ير پيکسلها ارائه شده است و نشان داده شده است علي رغم ادعا ارائه كنندگان روش مزبور مبني بر امن بودن روش فوق اين روش قابل شكست بوده است . اي ن روش پنهان - نگار نيز مانند د يگر روش ها پنهان نگار برمبن ا اختلاف مقاد ير پيکسلها، جاساز را در مقدار تفاوت پيکسلها بلاک ه ا دوت ايي انجام م يدهد. بنابراين هيستوگرام تفاوت پيکسل ها در تصوير حاصل از اين روش دارا توزيعي متفاوت از تصاوير نرمال است . برا تشخيص و تمايز اين دو گروه از تصاو ير، تعداد پارامتر از هيستوگرام تفاوت تصوير استخراج شده است که در اثر جاساز به طور محسوس ي تغيي ر م ي- کنند. يک شبکه عصب ي پرسپترون چندلا يه بر ا رده بند اين تصاو ير با استفاده از پارامتره ا استخراج شده پي شنهاد شده است . در پياده ساز انجام شده شبکه پيشنهاد با دقت 98/6 % موفق به رده بندی تصاوير مجموعه تست شده است.

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