Sharif Digital Repository

In this paper we define topological segment visibility, and show how to compute and maintain it as the observer moves in the plane. There are n non-intersecting line segment objects in the plane, and we have a segment observer among them. As the topological visibility of a line segment has not been studied before, we first consider static case of the problem, in which the observer and objects are static, and then we study dynamic case of the problem, in which the observer can move among obstacles  

Currently, there are no studies investigating the issue of speed optimization of Gain-Boosted Cascode Amplifier in low voltage applications. This is mainly because of the complicated transfer function of high-swing Gain-Boosted Cascode Amplifier structures. This paper proposes a novel and generic model for this amplifier and presents a thorough analysis of its behavior. The aim of this optimization is to eliminate the well-known slow timing component in the step response and obtain the minimum achievable settling time. An ultra high-speed amplifier is presented finally  

SRAM-based FPGAs are currently utilized in applications such as industrial and space applications where high availability and reliability and low cost are important constraints. The technology of such devices is sensible to Single Event Upsets (SEUs) that may be originated mainly from heavy ion radiation. This paper presents a fault injection method that is based on emulated SEU on the configuration bitstrearn file of commercial SRAM-based FPGA devices to study the error propagation in these devices. To demonstrate the method, an Altera FPGA, i.e. the Flex10K200, and the ITC'99 benchmark circuits are used. A fault injection tool is developed to inject emulated SEU faults into the circuits.... 

Holding companies are one of the most important structures that fulfil goals related to stable economic development. Managerial processes are among the most important functions of a holding company's headquarters. The aim of this study is to present a comprehensive framework for management technologies in holding companies. The presence of an appropriate framework can assist holding companies confronted with existing complexities in various supporting tools of managerial processes which are continuously expanding. The presented framework can be an initial stage for formulating a management technology strategy in holding companies. This framework has been applied in the processes of... 

Agent-oriented software methodologies have found their way to become one of the most important issues of software development. The diversity of existing methodologies and the variety of newly arriving ones have arisen the question of which methodology is best in the context of a special problem, so the need for evaluating and comparing methodologies is becoming more important everyday. On the other hand evaluating methodologies can reveal their strengths and shortcomings which lead to an improvement in development of the next generation of agent-oriented methodologies. In this paper, we are going to introduce an approach for evaluating methodologies via the evaluation of their lifecycle... 

The technology of SRAM-based devices is sensible to Single Event Upsets (SEUs) that may be induced mainly by high energy heavy ions and neutrons. This paper presents a framework for the evaluation of fault-tolerant designs implemented on SRAM-based FPGAs using emulated SEUs. The SEU injection process is performed by inserting emulated SEUs in the device using its configuration bitstream file. An Altera FPGA, i.e. the Flex10K200, and the ITC'99 benchmark circuits are used to experimentally evaluate the method. The results show that between 32 to 45 percent of SEUs injected to the device propagate to the output terminals of the device  

It is now a common approach pursued by programmers to develop new software systems using Object-Oriented Application Frameworks such as Spring, Struts and, Eclipse. This improves the quality and the maintainability of the code. Furthermore, it reduces development cost and time. However, the main problem is that these frameworks usually have a complicated Application Programming Interface (API), and typically suffer from the lack of enough documentation and appropriate user manuals. To solve these problems, programmers often refer to existing sample applications of those frameworks to learn how to implement the desired functionality in their own code. This is called the Monkey See, Monkey Do... 

Emergence of instrumentation frameworks has vastly contributed to the software engineering practices. As the instrumentation use cases become more complex, complexity of instrumenting programs also increases, leading to a higher risk of software defects, increased development time, and decreased maintainability. In security applications such as symbolic execution and taint analysis, which need to instrument a large number of instruction types, this complexity is prominent. This paper presents an architecture based on the Pin binary instrumentation framework to abstract the low-level OS and hardware-dependent implementation details, facilitate code reuse in heavyweight instrumentation use... 

This paper proposes a new technique called CFEDC to detect and correct control flow errors (CFEs) without program interruption. The proposed technique is based on the modification of application software and minor changes in the underlying hardware. To demonstrate the effectiveness of CFEDC, it has been implemented on an OpenRISC 1200 as a case study. Analytical results for three workload programs show that this technique detects all CFEs and corrects on average about 81.6% of CFEs. These figures are achieved with zero error detection /correction latency. According to the experimental results, the overheads are generally low as compared to other techniques; the performance overhead and the... 

Context Event-Driven Software (EDS) is a class of software whose behavior is driven by incoming events. Web and desktop applications that respond to user-initiated events on their Graphical User Interface (GUI), or embedded software responding to events and signals received from the equipment in its operating environment are examples of EDS. Testing EDS poses great challenges to software testers. One of these challenges is the need to generate a huge number of possible event sequences that could sufficiently cover the EDS's state space. Objective In this paper, we introduce a new six-stage testing procedure for event-driven web applications to overcome EDS testing challenges. Method The... 

Today's information technology capabilities enable the enterprises to increase the manufacturing collaboration and interoperability among their different departments. These departments are engaged in different product development processes from design to manufacturing. INFELT STEP is a three-layered platform. These layers have functions and structures that enable the INFELT STEP platform to manage the product development collaboration among different CAD/CAM application software with an integrated product data structure. INFELT STEP has structures and functions in its interoperability layer that enable different CAD/CAM application software and CNC post processors to use their own data... 

One of the challenges a transformer designer is faced with is to correctly model the different types of transformer windings for transient study. For a precise insulation design, determination of transformer transient responses is unavoidable. The basis of these studies is calculation of transient responses due to application of standard switching and lightning impulse wave to the transformer winding. In a previous work, a computer program was developed for determination of the layer and disk type windings transient model parameters based on design data. This program has all of the necessary capabilities for a detailed transient study. As a continuation of that work, in this paper a method...