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

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

Lack of global clock for synchronization in asynchronous circuits decreases the controllability of these circuits and thus makes asynchronous circuits hard to test. Delay Insensitive (DI) circuits exclusively use C-elements and inverters, provided that only single output gates are used. In this paper we present a new method to conceptually change this class of asynchronous circuits. The main idea is to change C-elements into other elements which can be modeled by synchronous tools. Then we use HOPE, a synchronous sequential circuits fault simulator, and apply it to DI class of asynchronous circuits. The stuck-at model is used for fault simulation. Our observations show that we can achieve considerable fault coverage, mainly 92.5%, in DI circuits by this method. To the best of our knowledge, this is the first effort in using synchronous tool to achieve fault simulation for asynchronous circuit class.

In recent years, optimization problems are considered as complex problems which require accurate and fast search methods. Traditional search methods such as iterative search and evolutionary algorithms are not efficient since they are not complete and their convergence rate is slow. A lot of efforts have been carried out to improve the performance of genetic algorithms as a special class of evolutionary algorithms. The most considerable ones are related to using the idea of cellular automata due to its nature of local operation. However, a genetic cellular automaton considers the relationship between chromosomes, but sometimes is not efficient enough due to the early convergence problem. Also, the tradeoff between fast convergence and optimum exploration is unavoidable. In this paper, we propose a new genetic-based search method using cellular automata. In this method, in contrast to the traditional genetic cellular automata, the transition rule of cellular automata is utilized to promote the individuals before genetic operations have been accomplished globally. The experimental results have shown better convergence rate and also exploration accuracy compared to the traditional search methods.

The design of a pattern classifier includes an attempt to select, among a set of possible features, a minimum subset of weakly correlated features that better discriminate the pattern classes. This is usually a difficult task in practice, normally requiring the application of heuristic knowledge about the specific problem domain. The selection and quality of the features representing each pattern have a considerable bearing on the success of subsequent pattern classification. Feature extraction is the process of deriving new features from the original features in order to reduce the cost of feature measurement, increase classifier efficiency, and allow higher classification accuracy. Many current feature extraction techniques involve linear transformations of the original pattern vectors to new vectors of lower dimensionality. While this is useful for data visualization and increasing classification efficiency, it does not necessarily reduce the number of features that must be measured since each new feature may be a linear combination of all of the features in the original pattern vector. In this paper a new approach is presented to feature extraction in which feature selection, feature extraction, and classifier training are performed simultaneously using a genetic algorithm. The genetic algorithm optimizes a vector of feature weights, which are used to scale the individual features in the original pattern vectors in either a linear or a nonlinear fashion.

This research addresses a new iterative geometrical noise cancellation method for closed-form camera pose estimation based on collinearity theory. We first explain how to estimate camera position and it’s orientation by employing extra nonsingular point of the edge line of the landmark’s corner through a closed-form geometrical pose estimation algorithm. Then, we propose a new iterative noise cancellation algorithm to reduce the estimation error of camera transaction matrix, which has the most portion in camera pose estimation errors. To validate our proposed method, we test it as a computer simulation. The results show that this method is efficient, accurate and robustness. But the drawback is that the camera rotation matrix, which used in noise cancellation algorithm, may not always be inverseable.

Many real world problems have iterative behaviors, so planners should be able to tackle such problems and generate iterative plans. Iterative actions have been considered by a few of planners, and most of the efforts have been based on linear planning. In this paper, we show how SAT-Plan, which is one of the fastest existing planners, can be extended to generate recursive plans. Generated recursive plans are similar to those that are generated by humans for iterative problems. The main idea in this work is based on the mathematical induction, and has been implemented. Results obtained from testing the extended SAT-Plan on several examples from the blocks-world domain, confirms the success of the proposed idea.

In our paper, a new approach for critical success factors of Business to Business (B2B) electronic commerce is presented. Important aspects of this approach can be classified into three main groups; environmental, internal and inter-organizational factors. The first group pertains to the factors that change the conditions equally for all companies in the business space and are out of influence of firms. Internal factors comprise individual features of companies, such as business strategies, culture, resources and etc. The Inter-organizational dimension is included the factors that are related to organization ability to set up Inter-organizational relationships electronically. Experimental results showed promising in evaluating the quality of business enterprises.

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

از مهمترین مسائل مطرح در تولید سیستم های موبایل، حسگرهای بی سیم و سایر پردازنده های نهفته، میزان مصرف انرژی در تراشهی پردازنده و در حافظه ی نهان آن است این درحالی است که بسیاری از تلاشهایی که تاکنون برای غلبه بر اتلاف توان در این حافظه انجام شدهاند، منجر به کاهشکارایی آن گردیده اند. در این مقاله، با به کار بردن یکی از روشهای کاهش نشتی توان در حافظه ی نهان، در کناراعمال تغییر اندک در کاربری ساختارLSQ ، هم میزان مصرف انرژی پویا و ایستا در حافظه ی نهان کم شده است و هم کاهش کارایی ناشی از روش اول، توسط روش دوم جبران گردیده برای است. نتایج حاصل از آزمایشات روی شبیه ساز HotLeakage حافظه ی نهان داده، نشان دهنده کاهش ۴,۵ % زمان اجرا در کنار کاهش ۷۲,۵ % درصدی نشتی انرژی در این حافظه بوده اند.

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

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

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

دسته بندي داده هاي ميكروآرايه براي تشخيص نمونه هاي سالم از سرطاني، به علت تعداد بالاي ويژگ يها (ژن ها) و تعداد كم نمونه ها هميشه با چالش مواجه بوده است. در اين تحقيق كاربردنمونه ها هميشه با چالش مواجه بوده است. در اين تحقيق كاربرد PSO در انتخاب ويژگي داده هاي ميكروآرايه ( مربوط به ٦ مجموعه دادة لوكمي، سرطان رودة بزرگ، سرطان سينه، سرطان ريه، سرطان تخمدان و سرطان پروستات) بررسي شده است. دقت دسته بند ِ ي يك دسته بندي كنندة SVM نيز به عنوان تابع برازش PSO درنظر گرفته شده است. در اين ديدگاه از الگوريتم Adatron به عنوان كرنل SVM استفاده شده است. الگوريتم Adatron نه تنها رسيدن به راه حل بهينه را تضمين مي كند بلكه سرعت همگرايي را در هر تكرار آموزش به صورت نمايي افزايش مي دهد. در اين ديدگاه براي بالا بردن كارايي، از يك روش پيش پردازش فازي استفاده شده است و ارزيابي دسته بندي كننده با استفاده از روش K-Fold Cross Validation صورت گرفته است.

در اين مقاله به فرآيند توصيه، به عنوان يك مسئلة تصميم گيري چند معياره نگريسته و استفاده از متد PROMETHEE به عنوان يك روش پركاربرد در ميان روشهاي تصميم گيري چند معياره- براي سيستم هاي توصيه گر مورد بررسي قرار گرفته است. غالب سيستم هاي توصيه گر به توصية يك نوع كالا، آن هم از انواع با تواتر خريد بالا (مانند: موسيقي، فيلم، كتاب و ...) پرداخته اند [ 27 ] اما توصيه اقلام گوناگون و با تواتر (تكرار) خريد پايين از مسائلي است كه امروزه توجه محققين تجارت الكترونيك را بيش از پيش به خود جلب كرده است. اين مقاله با بكارگيري روش PROMETHEE II به توصيه از دسته كالاهاي مختلف با تكرار خريد پايين پرداخته است. عملكرد سيستم طراحي شده با داده هاي واقعي و بر اساس معيارهاي ارزيابي سيستمهاي توصيه گر مورد ارزيابي قرار گرفته و زمان پاسخگويي سيستم نيز با متد مشابه مقايسه شده است. نتايج آزمايشات حكايت از دقت و صحت خروجي هاي سيستم داشته و نيز عملي بودن توصيه از دسته هاي متفاوت ولي مرتبط كالاهاي با تواتر خريد پايين را در زمان پاسخگويي مناسب نشان مي دهد.

در اين مقاله يك ايده براي آشكارسازي چهره هاي طبيعي موجود در تصاوير رنگي با استفاده از تركيب طبقه بندها طرح گرديده است. بدين منظور از تركيب متوالي طبقه بندهاي مدل رنگ پوست و AdaBoost استفاده شده است . در روش پيشنهادي ابتدا با استفاده از تخمين مدل رنگ پوست، نواحي هم رنگ با پوست از پس زمينه قطعه - بندي مي گردند. سپس با استفاده از تحليل اجزاء به هم پيوسته، نواحي كانديدا براي يافتن چهره هاي طبيعي شناسايي ميگردند. در مرحلة بعد براي تخمين چرخش دو بعدي سر، بر روي نواحي كانديدا PCA اعمال شده است . در مرحلة چهارم، مقدار زاوي ة چرخش سر جبران سازي گرديده است . براي آشكارسازي نهايي چهره هاي طبيعي ، تصاوير كانديداي جبرانسازي شده به عنوان ورودي مطلوبِ طبقه بند AdaBoost در نظر گرفته مي شوند. نتايج تجربي نشان مي دهند كه روش ارائه شده قادر به آشكارسازي چهره هاي طبيعي در تصاوير تا 360 درجه چرخش دو بعدي است . نرخ آشكارسازي چهره بر روي مجموعه دادههاي آزمايش شده بيش از 96 درصد گزارش شده است.

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

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

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

Recent studies have shown in which extent peerto- peer file sharing traffic occurs in the global Internet. Mobile users want the same type of service, thus supporting them with peer-to-peer applications is naturally the next step. The main goal in the design of proposed architecture was to provide searching for shared files not only among vehicles during opportunistic meetings, but also among all vehicles in the Vehiclular Ad Hoc Networks. In this architecture new roles to access points are attributed. A key point in this plan is to build clusters and choose supernodes. An important criterion for any choice making no doubt is the minimization of message overhead. In this Paper the influence of incorporating vehicles traffic in the organization of access points, add to connection of distant vehicles has been studied. I have built a stable architecture providing support for a high dynamic environment beside conceiving a protocol supporting for this architecture. In addition to traditional services of indexing and searching, strategies for a cost effective car-positions management, synchronization of requests and deliveries have been developed.

Multiprocessor scheduling belongs to a special category of NP-complete computational problems. The purpose of scheduling is to scatter tasks among the processors in such a way that the precedence constraints between tasks are kept, and the total execution time is minimized. Cellular automata (CA) can be used for multiprocessor scheduling, but one of the difficulties in using CA is the exponentially increasing number of rules with increasing number of processor and neighborhood radius. Here, we propose a combined use of ant colony and evolutionary meta-heuristics to search the rule’s feasible space in order to find optimal rule base. Also we introduce a two dimensional cellular automata structure based on the important task attributes in the precedence task graph. The proposed scheduler that uses evolving cellular automata based on ant colony can find optimal response time for some of well known precedence task graph in the multiprocessor scheduling area.