Sharif Digital Repository

Taylor Expansion Diagram (TED) has been recently introduced as a compact and canonical representation for arithmetic functions with finite Taylor series. It can represent Boolean logic interacting with arithmetic functions canonically. One of the main disadvantages of TED is that relations must be bit expanded to be represented in TED. This paper represents a method for high-level symbolic simulation and property checking based on integer equations. Functionality of design is represented in Conditional TED (CTED), which is our enhancement of TED to represent relations without bit expansion. This way, a more compact structure is achieved for high-level designs, containing control path... 

Predicting seismic damage spectra, capturing both structural and earthquake features, is useful in performance-based seismic design and quantifying the potential seismic damage of structures. The objective of this paper is to accurately predict the seismic damage spectra using computational intelligence methods. For this purpose, an inelastic single-degree-of-freedom system subjected to a set of earthquake ground motion records is used to compute the (exact) spectral damage. The Park-Ang damage index is used to quantify the seismic damage. Both structural and earthquake features are involved in the prediction models where multi-gene genetic programming (MGGP) and artificial neural networks... 

In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The system-level assertions can be used to monitor the current state of system or flow of transactions. These assertions are automatically converted to "monitor hardware" or "monitor software" during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertions, and hence, can be reused to verify the... 

The viable closed-loop supply chain network (VCLSCND) is a new concept that integrates sustainability, resiliency, and agility into a circular economy. We suggest a hybrid robust stochastic optimization by minimizing the weighted expected, maximum, and entropic value at risk (EVaR) of the cost function for this problem. This form considers robustness against demand disruption. Finally, CLSC components are located, and quantity flows are determined in the automotive industry. The results show that the VCLSCND cost is less than not considering viability and has a − 0.44% gap. We analyze essential parameters. By increasing the conservative coefficient, confidence level, and the scale of the... 

In this paper, a 3D Superconvergent Patch Recovery (SPR) method is developed for data transferring in elasto-plasticity. The transfer operators are presented for mapping of the state and internal variables between different meshes. In order to transfer the history-dependent variables from old mesh to new one, the internal variables are firstly mapped from the Gauss points to nodal points of old mesh, the variables are then transferred from nodal points of old mesh to nodal points of new mesh, and the values are finally transferred from the nodal points to Gauss points of new mesh. As the solution procedure cannot be re-computed from the initial state, it is continued from the previously... 

In this paper, an h-adaptive mesh refinement is presented based on the gradient of deformation in the modeling of localization due to material instability. As the classical continuum models suffer from pathological mesh dependence in the strain-softening models, the governing equations are regularized by adding rotational degrees-of-freedom to the conventional degrees-of-freedom. Adaptive strategy using element elongation is applied to compute the distribution of required element size using the estimated error distribution. Once the new element size and its alignment have been indicated, an automated procedure is used to construct the mesh according to a predetermined size and elongation... 

In this paper, an infrastructure for debug of complex SoCs that employs assertions is introduced. The proposed infrastructure combines traditional off-chip analysis techniques with on-chip at-speed debug facilities. The main part of on-chip debug hardware consists of data and transaction monitors. The monitor hardware is automatically generated by synthesizing the assertions that were used for verification and validation before manufacturing. We have integrated the proposed method in a system-level design methodology. By synthesizing various assertions from different kinds in a case study we have studied the overhead of our method. © 2007 IEEE  

Using Renewable Energy (RE) is growing day by day. We need to locate RE in the best place to maximize energy production and supplier profit. As a result, we propose a novel method for RE location (REL). This model suggests a Data-Driven Robust Optimization (DDRO) for multi-objective REL by considering Risk (DDROMORELR). We consider risk by adding min function in energy and profit objectives (government and supplier objectives). A DDRO approach is added to the model to tackle uncertainty and be close to the real world. We utilize an improved Augmented ε-constraint (AUGEPS2) to solve objectives and produce a Pareto front. We compare problems with DDRO and without considering DDRO, and the... 

Blockchain Technology (BCT) is expanding day by day and is used in all pillars of life and projects. In this research, we survey applicable BCT in project management for the first time. We presented a Resource-Constrained Time–Cost-Quality-Energy-Environment Tradeoff Problem by considering BCT, Risk and Robustness (RCTCQEETPBCTRR) in project scheduling. We utilize hybrid robust stochastic programming, worst case, and Conditional Value at Risk (CVaR) to cope with uncertainty and risks. This type of robustification and risk-averse is presented in this research. A real case study is presented in a healthcare project. We utilize GAMS-CPLEX to solve the model. Finally, we analyze finish time,... 

In the present study, a novel theoretical model is developed, based on the energy method, to predict the equivalent mechanical properties of a new morphing structure with zero Poisson's ratio, which is composed of continuous fiber reinforced composite struts. Due to the employing glass fiber in fabricating the proposed cruciform honeycomb, higher strength than the structures made of pure isotropic materials is obtained. The use of cells with a zero Poisson's ratio also increases the flexural strength of the structure. In the continuation of the paper, by examining the geometric effects on the equivalent properties, a parametric study is performed. Then, using the appropriate failure... 

The low-cycle fatigue performance of shear panel damper (SPD) highly depends on the geometry of its shape and the criterion considered for its design. The main contribution of the current study is to find the optimum shape of the SPD subjected to cyclic loading by considering two different objective functions. The maximum equivalent plastic strain and the ratio of energy dissipation through plastic deformation to the maximum equivalent plastic strain are selected as the first and second objective functions, respectively. Since the optimization procedure requires high computational efforts, a hybrid computational approach is used to perform two paramount phases of estimating the inelastic... 

Medical waste management (MWM) is an important and necessary problem in the COVID-19 situation for treatment staff. When the number of infectious patients grows up, the amount of MWMs increases day by day. We present medical waste chain network design (MWCND) that contains health center (HC), waste segregation (WS), waste purchase contractor (WPC), and landfill. We propose to locate WS to decrease waste and recover them and send them to the WPC. Recovering medical waste like metal and plastic can help the environment and return to the production cycle. Therefore, we proposed a novel viable MWCND by a novel two-stage robust stochastic programming that considers resiliency (flexibility and... 

Medical waste management (MWM) is an important and necessary problem in the COVID-19 situation for treatment staff. When the number of infectious patients grows up, the amount of MWMs increases day by day. We present medical waste chain network design (MWCND) that contains health center (HC), waste segregation (WS), waste purchase contractor (WPC), and landfill. We propose to locate WS to decrease waste and recover them and send them to the WPC. Recovering medical waste like metal and plastic can help the environment and return to the production cycle. Therefore, we proposed a novel viable MWCND by a novel two-stage robust stochastic programming that considers resiliency (flexibility and... 

In this paper, the seismic design parameters of steel special truss moment frames (STMFs), including the response modification factor (R), over-strength factor (Ω) and displacement modification factor (C d) are evaluated for two performance levels, namely life safety (LS) and collapse prevention (CP). The effects of geometrical dimensions of the special segment located at the middle part of truss girder and the number of stories are investigated. Twelve steel STMFs with 3, 5, 7, and 9 stories with three bays are considered to evaluate the parameters. In addition, three special segment lengths are considered for each STMF. The truss-girder members are made of hollow structural sections (HSSs)... 

The cryptocurrency industry has changed the human life and accelerated financial exchange in this decade. Many investors want to invest in this industry and establish cryptocurrency farms. This research sets up a CryptoCurrency Farm Location (CCFL) as a facility location that supplies energy by Renewable Energy (RE). We presented a new robust optimization with the stochastic approach for tackling uncertainty in CCFL and compared it with stochastic CCFL. Our objective function includes maximizing the mean and minimum profits coefficient under different scenarios by adding an energy-aware constraint. Our model enables us to select supply energy by RE or power network country. The results show... 

In this paper, the energy absorption capacity of continuous fiber-reinforced thermoplastic auxetic structures is examined experimentally and the results compared with both numerical and analytical methods. To this extent, a 3 D printing technology of Fused Deposition Modeling (FDM) is implemented for fabricating the auxetic honeycombs and quasi-static compression test is conducted to extract the load-displacement behavior of the structure. Both hollow and foam filled lattice structures are tested, and the results revealed that the absorbed energy increased by 20% for PLA and 70% for PA specimens, when using foam. Finite element analysis is also performed using the explicit solver. The onset... 

Nowadays, using Blockchain Technology (BCT) is growing faster in each country. It is essential to apply BCT in Supply Chain Network Design (SCND) and is considered by the designer and manager of SC. This research indicates Viable Supply Chain Network Design (VSCND) by applying BCT. A new form of two-stage robust optimization is suggested. Facility locations and activation BCT for VSCND is the first stage of decisions; finally, we determine flow transshipment between components in the next stage. The GAMS-CPLEX is used for solving the model. The results show that running BCT will decrease 0.99% in costs. There is an economic justification for using BCT when demand is high. A fix-and-optimize... 

In this paper, we study theoretically the generation of high repetition rate short pulses using fiber optical parametric amplification. We show that the pulse shape and duration depend on the signal location relatively to the pump frequency. We demonstrate that in order to get the shortest pulse width, the signal must be located at one of the extremities of the gain spectrum associated with the pump peak power. We derive the analytical expression of the pulse shape in this case and compare it to the exponential gain regime case. Using numerical simulations, we also analyze the impact of walk-off and pump phase modulation that is required to suppress Stimulated Brillouin Scattering and derive... 

This paper reports a polarization controllable and angle-insensitive perfect metamaterial absorber (PMA). The proposed PMA consists of periodically arranged asymmetric omega-shaped resonators made of metallic copper. The absorptivity was analyzed considering the microwave C-band from 4 GHz to 8 GHz. The proposed PMA shows an absorption peak with almost 100% absorptivity at 6.2 GHz. Also, wideband negative index of refraction is observed. Further, the absorber is inspected for the different rotation angles of the top metasurface (omega-shaped ring) along the optical axis, and obliquity of incidence angle for both TE and TM polarized waves. Moreover, surface electric field and surface current...