Sharif Digital Repository

Following the expansion of Internet, many software were produced that could launch through Internet without prior installation on computers. This included game software and software that deal with financial affairs. These softwares are mainly in Java language and can be found on web pages as Java Applets. Some software owners want that their products only able to execute through their own web pages so that no one could put them on other web pages. In this paper, a new method has been presented to protect Java Applets from copying by using "Steganography in HTML web pages" method. In this method, a special 8-character string is hidden in the HTML page by a secret key. The string and the... 

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several modeling tools. We have introduced object stochastic activity networks (OSANs) to overcome some restrictions of these models. OSANs integrate the concepts of object-orientation into SAN models. Elements of OSANs and their submodels are defined as classes. OSANs are more appropriate that most other objectoriented or high-level extensions of Petri nets for application on software systems. In this paper, we will present the definitions, behavior and an example of OSAN models. The objectorientation of OSANs and the... 

Salahi et al. [M. Salahi, J. Peng, T. Terlaky, On Mehrtora type predictor-corrector algorithms, Technical Report 2005/4, Advanced Optimization Lab, Department of Computing and Software, McMaster University, http://www.cas.mcmaster.ca/~oplab/publication, SIAM Journal on Optimization, submitted for publication] give a numerical example showing that Mehrotra's original predictor-corrector algorithm, which is the basis of interior point methods software packages, may be very inefficient in practice. This motivated Salahi et al. to come up with a safeguarded algorithm that enjoys a polynomial iteration complexity and is efficient in practice. Here we discuss a variation of Mehrotra's second order... 

Growing the need for long-life and high-available programs, dynamic reconfiguration is going to be an important research issue. Dynamic reconfiguration enables the software systems to change at runtime to decrease their down-time in case of any updating, upgrading or in any changes. Any invalid reconfiguration at runtime may lead programs into invalid states. In this paper, we investigate on validity of dynamic reconfiguration for component-based programs and propose validity conditions for it. We show that the problem of validity assurance in general is undecidable and there is no general-purpose algorithm to verify dynamic reconfiguration validity. To have a computable algorithm for... 

In this paper a new approach to dynamics optimization of rough terrain rovers is introduced. Since rover wheels traction has a significant role in rover mobility, optimization is based on the minimization of traction at rover wheel-ground interfaces. The method of optimization chosen is Genetic Algorithm (GA) which is a directed random search technique along with the usual optimization based on directional derivatives. GA is a suitable and efficient method of optimization for nonlinear problems. The procedure is applied on a specific rough terrain rover called CEDRA-I Shrimp Rover. Dynamical equations are obtained using Kane's method. Finally, the results are verified by modeling of the... 

Traditionally, flying and handling quality evaluation of an aircraft in various flight phases is aimed at pilot workload assessment to guarantee a successful mission. Subsequently, Different levels of acceptability are defined for the aircraft based on the additional work required by the pilot to achieve a desired performance level, feting scales are usually numerical, which pilots utilize as a mean to quantify their subjective opinion about an existing aircraft after hours of flying. Cornell aeronautical laboratory used their own scales in flying qualities research for many years and Cooper of NASA originated a ten-point numerical scale that was used more universally. When Harper of Cornell... 

This paper gives the results of simulation and experimental investigation on the effects of random signals on the accuracy of micro-stepping control positioning. For studying and simulation of the effect of random noise signals on performance of the accurate position control systems, such as Hybrid Stepper Motors (HSMs), a micro-step driver and controlling unit using PID controller has been designed and constructed. Several parametric studies have been carried out including different white noise power and micro-step per revolution. Tracking problem for a HSM model has been simulated, and the experimental study for similar cases has been carried out by implementing the designed controller in... 

We unify virtual-method despatch (polymorphism implementation) and network packet-routing operations; virtual-method calls correspond to network packets, and network addresses are allocated such that routing the packet corresponds to dispatching the call. As the run-time routing structure is inherent in Network-on-Chip platforms, this unification implements polymorphism/or free.1  

Application update at run-time remains a challenging issue in software engineering. There are many techniques with different evaluation metrics, resulting in different behaviours in the application being updated. In this paper, we provide an extensive review of research work on dynamic software updating. A framework for the evaluation of dynamic updating features is developed, and the articles are categorized and discussed based on the provided framework. Areas of online software maintenance requiring further research are also identified and highlighted. This information is deemed to not only assist practitioners in selecting appropriate dynamic updating techniques for their systems, but... 

Test Driven Development (TDD), as a quality promotion approach, suffers from some shortages that discourage its usage. One of the most challenging shortcomings of TDD is the low level of granularity and abstraction. This may lead to production of software that is not acceptable by the end users. Additionally, exploiting of TDD is not applicable in the enterprise systems development. To overcome this defect, we have merged TDD with Model Based Testing (MBT) and suggested a framework named Model Based Test Driven Development (MBTDD). According to TDD, writing test cases comes before programming, and based on our improved method of TDD, modeling precedes writing test cases. To validate the... 

This paper analytically determines the nondetection zone (NDZ) of an active islanding detection method, and proposes a solution to obviate the NDZ. The method actively injects a negative-sequence current through the interface voltage-sourced converter (VSC) of a distributed generation (DG) unit, as a disturbance signal for islanding detection. The estimated magnitude of the corresponding negative-sequence voltage at the PCC is used as the islanding detection signal. In this paper, based on a laboratory test system, the performance of the islanding detection method under UL1741 anti-islanding test conditions is evaluated. Then, determining the NDZ of the method and proposing the... 

Nowadays, product line, as an important topic in software development domain, has been paid attention by software engineering practitioners. Finding suitable components to construct an efficient and comprehensive product line with low costs is one of the critical problems in this domain which demands to be satisfied. In this paper a method is presented which can manage and control complexities of component selection problem, an NP problem, and result in creation of declared product line. By making use of this method, a product line will be constructed with suitably-adopted components to cover up requirements based on architecture; that's why software product line development process will... 

We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize restricted broadcast. It allows one to define an ad hoc network with respect to the underlying topologies. We give a sound and complete axiomatization for the recursion-free part of the term algebra CNT, modulo what we call rooted branching computed network bisimilarity  

Reo is a connector language for the exogenous composition and orchestration of components in a software system. An operational semantics of Reo connectors can be given in terms of Büchi automata over a suitable alphabet of records, capturing both synchronization and context dependency requirements. In this paper, we define an action based linear time temporal logic for expressing properties of Reo connectors. Formulas can be synthesized into Büchi automata representing Reo connectors, thus leading to an automata based model checking algorithm. By generalizing standard automata based model checking algorithms for linear time temporal logic, we give an efficient on-the-fly algorithm for the... 

Software product line (SPL) is an approach used to develop a range of software products with a high degree of similarity. In this approach, a feature model is usually used to keep track of similarities and differences. Over time, as modifications are made to the SPL, inconsistencies with the feature model could arise. The first approach to dealing with these inconsistencies is refactoring. Refactoring consists of small steps which, when accumulated, may lead to large-scale changes in the SPL, resulting in features being added to or eliminated from the SPL. In this paper, we propose a framework for refactoring SPLs, which helps keep SPLs consistent with the feature model. After some... 

Microservices architectures are becoming the defacto standard for building continuously deployed systems. At the same time, there is a substantial growth in the demand for migrating on-premise legacy applications to the cloud. In this context, organizations tend to migrate their traditional architectures into cloud-native architectures using microservices. This article reports a set of migration and rearchitecting design patterns that we have empirically identified and collected from industrial-scale software migration projects. These migration patterns can help information technology organizations plan their migration projects toward microservices more efficiently and effectively. In... 

Efficient synthesis of protected and unprotected chlorohydrins has been achieved by ring opening of epoxides with acetyl/benzoyl chloride and TMSCl using a catalytic amount of ZnO as a reusable catalyst. The applicability of ZnO is further extended by performing the cleavage of the natural product 5,6-epoxysitosterol with acetyl chloride. © 2009 Wiley Periodicals, Inc  

Due to the extreme use of method engineering and increasing attention to construct methods customized for a specific project, domain, organization or a generic method compatible with the team characteristics and needs, existence of suitable and formalized frameworks and guidelines is one of the challenges method engineers are encountered. In this area, considering method construction as the goal of method engineering brings to the mind the software development process in which the product is a method adapting the method users' needs. This paper, with a new approach of applying software architecture in method engineering and making use of architecture styles, tries to take advantage of... 

Much effort has been put in defining methods, techniques, and tools for software architecture reconstruction (SAR) Software Architecture Transformation (SAT), and Software Architecture-based Development, but much less attention has been paid to what lies at the heart of architecture-based development, software architectural styles. We argue that architecture-based software development could be much more productive if centered around the concept of software architecture styles, hence the need for style recovery in the process of software architecture reconstruction. The reason behind this is generally. Furthermore, with the coherence architectural styles can bring to the process of automated... 

One of the most important issues in planning the "reservoir" type of hydro-power plants (HPP) is to determine the installation capacity of the HPPs and estimate its annual energy value. In this paper, a method is presented. A computer program has been developed to analyze energy calculation and estimation of the most important economic indices of an HPP using the sensitivity analysis method. Another program, developed by Matlab software, calculates the reliability indices for a number of units of an HPP with a specified load duration curve using the Monte Carlo method. Ultimately, comparing the technical, economic and reliability indices will determine the installation capacity of an HPP. By...