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

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

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

در دو دهه قبل توانايي هاي فني بشر براي توليد و جمع آوري داده ها به سرعت افزايش يافته است.بطور كلي استفاده همگاني از وب و اينترنت ما را مواجه با حجم زيادي از داده و اطلاعات مي كند. اين رشد انفجاري در داد ههاي ذخيره شده، نياز مبرم وجود تكنولوژي هاي جديد و ابزارهاي خودكاري را ايجاد كرده كه به انسان ياري رسانند تا اين حجم زياد داده را به اطلاعات و دانش تبديل كند. داده كاوي به عنوان يك راه حل براي اين مسائل مطرح مي باشد. داده كاوي را مي توان عمل استخراج اطلاعات پنهان در يك پايگاه داده ي بزرگ تعريف كرد. داده كاوي به تحليلگران براي پيدا كردن الگوها و روابط بين داده ها كمك مي كند. يكي از مهمترين زمينه هاي داده كاوي كشف قوانين وابستگي يا Association Rules mining مي باشد كه هدف از آن يافتن قوانين والگوهاي پنهان در بين حجم زيادي از داده ها است.همچنين چگونگي كاوش در بين داده هايي كه حاوي اطلاعات زماني هستند به عنوان يك مساله مهم در امر داده كاوي مطرح است.

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

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

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