Sharif Digital Repository

As product complexity increases and economic constraints result in a demand for greater efficiency, industry must invest in new innovative ways to assist design and manufacture. As a first step in the long-term development of such a system, a computer software environment has been developed for pre- and post-processing for unstructured grid-based computational simulation. This paper describes the powder compaction software (PCS_SUT), which is designed for pre- and post-processing for computational simulation of the compaction of powder. Pre-processing software is used to create the model, generate an appropriate finite element grid, apply the appropriate boundary conditions, and view the... 

Nowadays, security evaluation of software is a substantial matter in software world. Security level of software will be determined by wealth of data and operation which it provides for us. The security level is usually evaluated by a third party, named Software Security Certification Issuance Centers. It is important for software security evaluators to perform a sound and complete evaluation, which is a complicated process considering the increasing number of emerging threats. In this paper we propose a Threatened-based Software Security Evaluation method to improve the security evaluation process of software. In this method, we focus on existing threatened entities of software which in turn... 

Existing sight distance models are applicable only to two-dimensional (2-D) separate horizontal and vertical alignments or simple elements of these separate alignments (vertical curve, horizontal curve). A new model is presented for determining the available sight distance on 3-D combined horizontal and vertical alignments. The model is based on the curved parametric elements that have been used in the finite element method. The elements presented are rectangular (4-node, 6-node, and 8-node elements) and triangular. These elements are used to represent various features of the highway surface and sight obstructions, including tangents (grades), horizontal curves, vertical curves, traveled... 

Today there are many Internet sites which require only the entry by human users but unfortunately some computer softwares called bots are designed by some hackers to enter these sites and use their resources through false registration. As a result some systems named CAPTCHA have been introduced to tell apart human users and computer software. This paper introduces a new CAPTCHA method. In this method a simple mathematical problem is generated according to a predefined pattern but instead of some object's name, we put their images. Then the whole problem is saved and shown to the user inform of an image to be answered by him. But since answering this problem requires four abilities of... 

Vulnerabilities are now part of all software systems. To handle vulnerabilities, many approaches have been proposed till now. Many of these approaches try to analyze vulnerabilities based on model checking techniques. However, the models used in these approaches handle authorized and unauthorized rules separately. This basically cause in weaker modeling abilities and consequently weaker vulnerability analysis. From authorized and unauthorized rules, we mean those emanated from access control model and those originated from vulnerabilities respectively. Currently, a new general graph-based protection system concentrating on vulnerabilities called VGBPS is proposed to overcome the mentioned... 

With the increasing use of pervasive computing environments (PCEs), developing dynamic reconfigurable software in such environments becomes an important issue. The ability to change software components in running systems has advantages such as building adaptive, long-life, and self-reconfigurable software as well as increasing invisibility in PCEs. As dynamic reconfiguration is performed in error-prone wireless mobile systems frequently, it can threaten system safety. Therefore, a mechanism to support assured dynamic reconfiguration at run-time for PCEs is required. In this paper, we propose an Assured Dynamic Reconfiguration Framework (ADRF) with emphasis on assurance analysis. The... 

The ability and how to use a microwave life-detection system to search for the humans buried under earthquake rubble or laid behind various barriers has been investigated. Based on the behavior of a human under multiple layers of barriers and the detection capability of the microwave tools a system has been proposed. This system operating at 1150 MHz can remotely detect the movement of the heart of the trapped alive people. The operation principle is based on detection of the Doppler frequency shift of the electromagnetic wave reflected from the periodic moving part of a living human body such as the heart. In this paper, various parts of a microwave life-detection system such as patch... 

In this Paper, a software-based control flow checking technique called SWTES (Software-based error detection Technique using Encoded Signatures) is presented and evaluated. This technique is processor independent and can be applied to any kind of processors and microcontrollers. To implement this technique, the program is partitioned to a set of blocks and the encoded signatures are assigned during the compile time. In the run-time, the signatures are compared with the expected ones by a monitoring routine. The proposed technique is experimentally evaluated on an ATMEL MCS51 microcontroller using Software Implemented Fault Injection (SWIFI). The results show that this technique detects about... 

Due to variety of industrial dryers and also importance of selecting appropriate dryer to achieve the required quality of product as well as considering economical aspects, using methods and algorithms which take all effective factors into account and present the best selection is regarded by engineers and researchers. In this paper selection of dryer applying fuzzy logic is presented and the advantages of this method are investigated. For this a program is written using MATLAB programming software and its result compared with real cases. It has been found that there is a good agreement between the prepared program results and industrial experiences. Selection of dryer for a specific... 

The passive cooling effects of a courtyard of a small building were determined numerically, employing an energy-analysis software developed for that purpose. The passive cooling features considered were the shading effects of courtyard walls and two large trees (of various shapes) planted immediately next to the south wall of the building, the presence of a pool, a lawn and flowers in the yard, and the wind shading effects of the walls and trees. It was found that these features alone cannot maintain thermal comfort during the hot summer hours in Tehran, but reduce the cooling energy requirements of the building to some extent. They have an adverse effect of increasing the heating energy... 

In this paper, we present an MPEG-2 video decoder implemented in our ODYSSEY design methodology. We start with an ASIP tailored to the JPEG decompression algorithm. We extend that ASIP by required software routines such that the extended ASIP can now perform MPEG2 decoding while still benefiting from hardware units common between JPEG and MPEG2. This demonstrates the ability of our approach in extending an already manufactured ASIP, which was tailored to a given application, such that it implements new, yet related applications. The implementation platform is a VirtexII-Pro FPGA. The hardware part is implemented in VHDL, and the software runs on a PowerPC processor. Experimental results show... 

The human being in the environments of modern technology has to endure stresses of many and varied kinds of vibrations. Measuring vibration is an important tool in rehabilitation and biomechanical fields of research. We have proposed image processing as a new method to record and determine the frequency response of human body. The subjects were exposed to whole body periodical vibration while standing on a shaking table. Two digital camcorders were used to capture the motion of colored pencil-dot markers on the skin of human body (forehead) and on the edge of the shaking table. After color spotting each frame, the binary image results were processed using new circle factor criteria proposed... 

Arvand is the name of robots specially designed and con-structed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots. Two different types of robots are made, players and the goal keeper. A player robot consists of three main parts: mechanics (motion mechanism and kicker), hard-ware (image acquisition, processing unit and control unit) and software (image processing, wireless communication, motion control and decision making). The motion mechanism is based on two drive unit, two steer units and a castor wheel. We designed a special control board which uses two microcontrollers to carry out the software system decisions and transfers them... 

Object-oriented application frameworks, such as Java Swing, provide reusable code and design for implementing domain-specific concepts, such as Context Menu, in software applications. Hence, use of such frameworks not only can decrease the time and the cost of developing new software applications, but also can increase their maintainability. However, the main problems of using object-oriented application frameworks are their large and complex APIs, and often incomplete user manuals. To mitigate these problems, developers often try to learn how to implement their desired concepts from available sample applications. Nonetheless, this introduces another hard and time-consuming challenge which... 

The use of Computer Science in order to categorize and store information, improve diagnostic and therapeutic procedures, patient education and the training of a skilled labor force, has taken important steps and there are constantly new developments in this area  

In recent years Open Source Software programs have caused great changes in software world. Open Source software development is something beyond a method of software development or technology. As a result, using open source software development has diverse aspects. In this article the open source software development has been studied and investigated through reviewing some of the carried out works. © 2008 IEEE  

We provide a detailed review of existing object-oriented software development methodologies, focusing on their development processes. The review aims at laying bare their core philosophies, processes, and internal activities. This is done by using a process-centered template for summarizing the methodologies, highlighting the activities prescribed in the methodology while describing the modeling languages used (mainly diagrams and tables) as secondary to the activities. The descriptions produced using this template aim not to offer a critique on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for... 

Several methodologies with their own characteristics have been proposed in the area of agent-oriented software engineering. Consequently, deciding which methodology to select in a specific case is an important issue and it can lead to decrease software development cost and effort. Thus, importance of evaluation of methodologies will be highlighted in choosing the appropriate methodology in the development process of an application. It can also help in developing new methodologies and improving existing ones. In this paper, we are going to provide an evaluation framework of agent oriented methodologies. To demonstrate the usage of the suggested framework, it is applied to evaluate two... 

Grid infrastructures that have provided wide integrated use of resources are becoming the de facto computing platform for solving large-scale problems in science, engineering and commerce. In this evolution, desktop grid technologies allow the grid communities to exploit the idle cycles of pervasive desktop PC systems to increase the available computing power. In this paper we present DotGrid, a cross-platform grid software. DotGrid is the first comprehensive desktop grid software utilising Microsoft's .NET Framework in Windows-based environments and MONO .NET in Unix-class operating systems to operate. Using DotGrid services and APIs, grid desktop middleware and applications can be... 

One of the most important capabilities expected from an autonomous vehicle is avoiding collision with obstacles in its path. For this purpose, autonomous vehicle must be able to perform an emergency maneuver as soon as the obstacle is detected. This paper presents a method for designing and performing an emergency maneuver in order to avoid collision with a fixed or moving obstacle in the path. A sinusoidal or exponential trajectory, which is a function of the relative distance between vehicle and obstacle, is designed as the desired trajectory for lateral motion of the vehicle. A sliding mode controller is designed in order to guarantee that the vehicle tracks that desired trajectory. The...