Sharif Digital Repository

An integrated hydrogen and power co-generation system with CO2 capture has been proposed and evaluated techno-economically. The proposed system is an alternative low cost clean power generation while supplying hydrogen for process plants. The baseline configuration has been designed based on the literature. Different cases are simulated in Aspen Plus and are evaluated economically. Thermodynamic models have been validated against the results of previous publications. The co-generation system with different product shares of hydrogen and power has been compared with CO2 captured and CO2-vented hydrogen plants by means of defined techno-economic-environmental indicators. Sensitivity analysis... 

In order to achieve the international climate goals and to keep the global temperature increase below 2 °C, carbon capture and storage in large point sources of CO2 emissions has received considerable attention. In recent years, mitigation of CO2 emissions from the power sector has been studied extensively whereas other industrial point source emitters such as hydrogen industry have also great potential for CO2 abatement. This study aims to draw an updated comparison between different hydrogen and power cogeneration systems using natural gas and coal as feedstock. The goal is to show the relative advantage of cogeneration systems with respect to CO2 emission reduction costs. Accordingly, the... 

Dependability evaluation of embedded systems due to the integration of hardware and software parts is difficult to analyze. In this paper, we have proposed an experimental method to determine sensitivity to soft errors in an embedded system exploiting Altera SRAM-based FPGAs. The evaluation is performed using both the hardware and software parts of the embedded system in a single framework. To do this, the HDL hardware model of the target system as well as the C-written software codes of the target system, are required. Both permanent and transient faults are injected into the partially- or fully-synthesizable hardware of the target system and this can be performed during the design cycle of... 

System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems such as embedded systems that include both hardware and software, the integration of hardware and software fault trees has proved problematic. In this paper, we present a method for reliability and safety analysis of embedded systems modeled by SystemC language. The evaluation is based on the fault trees generated from both hardware and software parts of the embedded systems described in the unified language. The unified modeling of both hardware and software of embedded systems using SystemC enables designers to be early aware from the safety and reliability of their designs more... 

In this paper the main goal is to evaluate the vertical and slant bolted endplate connections performance in steel moment frame structures under thermal effect in elastic field, and by a finite element software. the connections are simulated to complete and verify simple modeling of analytical and numerical analysis of the behavior of vertical and slant bolted endplate connections due to increase in temperature. The results that are obtained from performance of a vertical bolted endplate connection and a slant bolted endplate connection due to increase in temperature will be compared  

Design and manufacturing of a high performance micro-hydro-kinetic turbine is discussed in the present paper. The main goal is manufacturing an equipped experimental model of hydro-kinetic turbine with highest energy absorption from water current. A multi-shape ducted turbine comprised of a multi-part diffuser was manufactured that can be converted to many experimental models for studying various diffuser enhancing effects. Turbine's rotor included a three-blade axial propeller and a mixed six-blade propeller with high power coefficient. Simple experiments on propeller were performed for flow visualization, torque measurement and illustrating dynamic balance at high speed rotation in air and... 

In the present paper, conceptual duct shape design for kinetic energy extraction with hydrokinetic turbines is discussed. The goal is to find a single-passage axisymmetric geometry that holds stable flow with maximum kinetic energy flux at duct throat. For finding the optimum duct shape, the fluid flow was numerically simulated in a wedge shaped space with Flow-Simulation Software. In a multi-stage conceptual design, tabulated configurations were employed to study each geometrical characteristic separately. These include curvature of profile camber, trailing edge shape, profile tip shape, and duct exit cross sectional area. The revolved profile of each duct consists of a well constrained... 

Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, while in others, the real world is only considered as a preliminary source of insight into the physical business domain. Real-world modeling was pushed to the sidelines due to anomalies in real-world modeling approaches; however, with the advent of the Model-Driven Architecture (MDA), real-world conceptual modeling is likely to regain its importance. We propose a method for using Design Patterns in the context of model transformation, where real-world models are refactored through application of these patterns.... 

Nowadays, data outsourcing has become a solution for many organizations especially large scale enterprises due to the high costs of in-house management of the rapidly growing data. Among all security requirements in this context, user access control and its following dynamic changes are of interest. In this paper, we propose an efficient and reliable mechanism to solve this problem in owner-write-users-read applications. A novel solution is introduced to enforce access control on outsourced data using the Chinese Remainder Theorem. The solution allows updating policy changes at a limited cost in terms of both computational power and the number of users' secret keys. Although the server, on... 

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... 

The effectiveness of the application of CFD to vapour cloud explosion (VCE) modelling depends on the accuracy with which geometrical details of the obstacles likely to be encountered by the vapour cloud are represented and the correctness with which turbulence is predicted. This is because the severity of a VCE strongly depends on the types of obstacles encountered by the cloud undergoing combustion; the turbulence generated by the obstacles influences flame speed and feeds the process of explosion through enhanced mixing of fuel and oxidant. In this paper a CFD-based method is proposed on the basis of the author's finding that among the various models available for assessing turbulence, the... 

A multicomponent analysis method based on principal component analysis-artificial neural network model (PC-ANN) is proposed for the simultaneous determination of levodopa (LD) and benserazide hydrochloride (BH). The method is based on the reaction of levodopa and benserazide hydrochloride with silver nitrate as an oxidizing agent in the presence of PVP and formation of silver nanoparticles. The reaction monitored at analytical wavelength 440 nm related to surface plasmon resonance band of silver nanoparticles. Differences in the kinetic behavior of the levodopa and benserazide hydrochloride were exploited by using principal component analysis, an artificial neural network (PC-ANN) to resolve... 

Agile Software Development is regarded as an effective and efficient approach, mainly due to its ability to accommodate rapidly changing requirements, and to cope with modern software development challenges. There is therefore a strong tendency to use agile software development methodologies where applicable; however, the sheer number of existing agile methodologies and their variants hinders the selection of an appropriate agile methodology or method chunk. Methodology evaluation tools address this problem through providing detailed evaluations, yet no comprehensive evaluation framework is available for agile methodologies. We introduce the Comprehensive Evaluation Framework for Agile... 

Nowadays, software product line is an approach to reduce costs of software development, decrease time to market, and increase capabilities of reuse in designing and exploiting software development processes. Moreover, other quality attributes of the project domain should be considered to enhance quality of the product. Meanwhile, taking advantage of software product line makes developers capable of estimating development costs and time to market in a more realistic way. However, old approaches to estimate cost of development and foresee time to market are not suitable enough for software product line. In this paper, some important business parameters and a way to calculate cost and time to... 

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... 

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... 

Software development nowadays is heavily based on libraries, frameworks and their proposed Application Programming Interfaces (APIs). However, due to challenges such as the complexity and the lack of documentation, these APIs may introduce various obstacles for developers and common defects in software systems. To resolve these issues, developers usually utilize Question and Answer (Q&A) websites such as Stack Overflow by asking their questions and finding proper solutions for their problems on APIs. Therefore, these websites have become inevitable sources of knowledge for developers, which is also known as the crowd knowledge. However, the relation of this knowledge to the software quality... 

This paper presents a new method to analyze the bidding strategies of Generating Companies (GENCOs) with regard to demand elasticity. It is assumed that the available information of each GENCO about its opponents is incomplete and only the minimum and maximum generation levels of their opponents, as well as their fuel type, are known. In the proposed methodology, GENCOs prepare their strategic bids according to a Supply Function Equilibrium (SFE) model. GENCOs will change their bidding strategies until Nash equilibrium points are obtained. The general Algebraic Modeling System (GAMS) has been used to solve the maximization modules using the MINOS optimization software with non Linear... 

This paper describes a new method for analyzing the bidding strategies of Generating Companies (GENCOs) in the Independent System Operator (ISO) point of view. ISO uses these results to detect the participants that have the potential for market power or actual exercise of market power. ISO models all GENCOs with perfect information. The proposed methodology uses the marginal cost of GENCOs as an initial point for bidding strategies of GENCOs and improves bidding strategies based on the objective function of GENCOs, the state of them in each hour of the day and with regard to ISO's market clearing problem. ISO tries to maximize the social welfare or minimize consumer's payments. The model... 

Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed