Sharif Digital Repository

Multicore platforms are becoming the dominant trend in designing Mixed-Criticality Systems (MCSs), which integrate applications of different levels of criticality into the same platform. A well-known MCS is the dual-criticality system that is composed of low-criticality and high-criticality tasks. The availability of multiple cores on a single chip provides opportunities to employ fault-Tolerant techniques, such as N-Modular Redundancy (NMR), to ensure the reliability of MCSs. However, applying fault-Tolerant techniques will increase the power consumption on the chip, and thereby on-chip temperatures might increase beyond safe limits. To prevent thermal emergencies, urgent countermeasures,... 

ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR. To evaluate the resistance of an ARX cipher against differential and impossible-differential cryptanalysis, the recent automated methods employ constraint satisfaction solvers to search for optimal characteristics or impossible differentials. The main difficulty in formulating this search is finding the differential models of the non-linear operations. While an efficient bit-vector differential model was obtained for the modular addition with two variable inputs, no differential model for the modular addition by a constant has been proposed so far, preventing ARX ciphers including this... 

In this study, two novel biomimetic modular peptide motifs based on the alpha-2 subunit of type IV collagen (CO4A2) were designed and immobilized on a graphene platform to imitate integrin and heparan sulfate- (HS-) binding proteins. The in silico study was used to design 9-mer K[KGDRGD]AG and 10-mer KK[SGDRGD]AG for testing designed Integrin-Binding Peptide (dIBP) and HS-Binding Peptide (dHBP). The virtual docking technique was used to optimize the peptide motifs and their relevant receptors. Molecular dynamic (MD) simulation was used to evaluate the stability of peptide-receptor complexes. The effect of the platform on the differentiation of human mesenchymal stem cells (hMSCs) to... 

Public key cryptography lies among the most important bases of security protocols. The classic instances of these cryptosystems are no longer secure when a large-scale quantum computer emerges. These cryptosystems must be replaced by post-quantum ones, such as isogeny-based cryptographic schemes. Supersingular isogeny Diffie-Hellman (SIDH) and key encapsulation (SIKE) are two of the most important such schemes. To improve the performance of these protocols, we have designed several modular multipliers. These multipliers have been implemented for all the prime fields used in SIKE round 3, on a Virtex-7 FPGA, showing a time and area-time product improvement of up to 60.1% and 64.5%,... 

Lift path planning is a significant subtask in constructability analysis, sequencing, and scheduling of congested industrial modular projects, impacting project cost, and safety. Although intuitive lift planning is still prevalent among the practitioners, this manual process might be tedious and error-prone for hundreds of lifts. This research presents an automated lift path planning method for heavy crawler cranes in no-walk scenarios employing a robotics approach. This method treats the lifted object as a three-degree-of-freedom convex mobile robot with discretized rotational and continuous translational motions. The proposed resolution-complete method models the crane capacity chart,... 

Nowadays, energy supply is one of the most prominent demands of countries in the world. The enhancement in energy efficiency, flexibility for applications in various industrial processes, and the reduction in the environmental impacts of pollutant emissions can be accomplished by using sustainable energy sources. Alternative procedures for heat and electricity production have been developed in the commercial and industrial sectors and focusing on the cogeneration systems, and the contribution of nuclear energy has been increased for improving processes. Nuclear reactors play an essential role in nonelectric applications, and combined heat and energy at different operating temperatures can be... 

In this study, a real-time exible modular modeling approach to simulating the dynamic behavior of gas turbine engines based on nonlinear thermodynamic and dynamic laws is addressed. The introduced model, which is developed in the Matlab-Simulink environment, is an object-oriented high-speed real-time computer model and is capable of simulating the dynamic behavior of a broad group of gas turbine engines due to its modular structure. Moreover, a Kalman lter-based model tuning procedure is applied to decrease the modeling errors. Modeling errors are de ned as the mismatch between simulation results and available experimental data. This tuning procedure is an underdetermined estimation problem,... 

ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR, which achieve the best software performances in low-end microcontrollers. To evaluate the resistance of an ARX cipher against differential cryptanalysis and its variants, the recent automated methods employ constraint satisfaction solvers, such as SMT solvers, to search for optimal characteristics. The main difficulty to formulate this search as a constraint satisfaction problem is obtaining the differential models of the non-linear operations, that is, the constraints describing the differential probability of each non-linear operation of the cipher. While an efficient bit-vector differential... 

Multicore processors are becoming popular in safety-critical applications. A series of these applications comprises of kernels where inexact computations may produce results within the boundary of sufficient quality though, for which the reliability should stay at the maximum possible level. Intrinsic core-level redundancy in multicore processors can be leveraged to achieve the desired reliability level in form of N-modular redundancy (NMR). While NMR provides a proactive means of reliability for critical systems, it has two main drawbacks: Increase in the area and energy consumption that are both limiting factors in the embedded systems. This paper presents a software-based method to... 

Intense global competition, dynamic product variations, and rapid technological developments force manufacturing systems to adapt and respond quickly to various changes in the market. Such responsiveness could be achieved through new paradigms such as Reconfigurable manufacturing systems (RMS). In this paper, the problem of configuration design for a scalable reconfigurable RMS that produces different products of a part family is addressed. In order to handle demand fluctuations of products throughout their lifecycles with minimum cost, RMS configurations must change as well. Two different approaches are developed for addressing the system configuration design in different periods. Both... 

Background: Lower limb amputation is a major public health issue globally, and its prevalence is increasing significantly around the world. Previous studies on lower limb amputees showed analogous complexity implemented by the neurological system which does not depend on the level of amputation. Research question: What are the differences in muscle synergies between healthy subjects (HS) and transfemoral amputees (TFA) during self-selected normal transient-state walking speed? Methods: thirteen male HS and eleven male TFA participated in this study. Surface electromyography (sEMG) data were collected from HS dominant leg and TFA intact limb. Concatenated non-negative matrix factorization... 

Given the importance and complexity of the three-dimensional (3D) neutron transport equation solution, in the current research, a new Modular Ray Tracing (MRT) Algorithm and 3D characteristic kernel for heterogeneous structures are presented. Improvement of memory management and cache coherency are achieved to some acceptable level. Also, parallel implementation of transport algorithm utilizing OpenMP, cause significant reduction in runtime. To validate our Algorithm, first, a self-constituted pin cell and a lattice arrangement are modeled and results are compared with Monte-Carlo simulation. Second, the well-known 3D benchmark, Takeda model one and two, are investigated and results compared... 

Let p be a prime not dividing the integer n. By an Ihara result, we mean existence of a cokernel torsion-free injection from a full lattice in the space of p-old modular forms into a full lattice in the space of all modular forms of level pn. In this paper, we will prove an Ihara result in the number field case, for Siegel modular forms. The case of elliptic modular forms is discussed in Ihara (Discrete subgroups of Lie groups and applications to moduli, Oxford University Press, Bombay, 1975). We will use a geometric formulation for the notion of p-old Siegel modular forms (Rastegar in BIMS 43(7):1–23, 2017). Then, we apply an argument by Pappas, and prove the Ihara result using density of... 

Nowadays, energy supply is one of the most prominent demands of countries in the world. The enhancement in energy efficiency, flexibility for applications in various industrial processes, and the reduction in the environmental impacts of pollutant emissions can be accomplished by using sustainable energy sources. Alternative procedures for heat and electricity production have been developed in the commercial and industrial sectors and focusing on the cogeneration systems, and the contribution of nuclear energy has been increased for improving processes. Nuclear reactors play an essential role in nonelectric applications, and combined heat and energy at different operating temperatures can be... 

In recent years, confrontation with hardware Trojans has become a major concern due to various reasons including outsourcing. Such a growing threat is more pronounced in reconfigurable devices as they are used in widespread applications due to low design cost and short time-to-market. Besides their vulnerability to hardware Trojan attacks, SRAM-based reconfigurable devices are also significantly susceptible to faults originated by particle strikes. There have been various methods to mitigate either hardware Trojan attacks or faults. To our knowledge, however, no method has been presented that can integrate detecting, distinguishing, and mitigating faults and Trojans. In this paper, we... 

This paper proposes an enhanced hybrid modular multilevel converter (MMC), which utilizes a combination of half-bridge submodules (HBSM) and at least one full-bridge submodule (FBSM). In the proposed structure, FBSMs work with half of the HBSMs nominal voltage in each arm. Due to the presence of FBSMs, HBSMs switching frequency drops significantly, which reduces the converter power loss compared to half-bridge based MMCs. Furthermore, because of redundant FBSMs, (2N + 1)-modulation can be employed to generate the output voltage without increasing the circulating current, thus, the converter performance is improved notably. Besides, with the redundant FBSMs, the converter can continue its... 

Triple Modular Redundancy (TMR) is a historical and long-time-used approach for masking various kinds of faults. By employing redundancy and analyzing the results of three separate executions of the same program, TMR is able to attain excellent levels of reliability. While TMR provides a desirable level of reliability, it suffers from the high power consumption of the redundant hardware, a severe detriment to its broad adoption. The energy consumption of TMR can be mitigated if its operations are divided into two stages, and one stage is dropped in the absence of fault. Such an approach, which is evaluated in recent research, however, quickly fails in the presence of permanent faults, as we... 

Intense global competition, dynamic product variations, and rapid technological developments force manufacturing systems to adapt and respond quickly to various changes in the market. Such responsiveness could be achieved through new paradigms such as Reconfigurable manufacturing systems (RMS). In this paper, the problem of configuration design for a scalable reconfigurable RMS that produces different products of a part family is addressed. In order to handle demand fluctuations of products throughout their lifecycles with minimum cost, RMS configurations must change as well. Two different approaches are developed for addressing the system configuration design in different periods. Both... 

Triple Modular Redundancy (TMR) is a historical and long-time-used approach for masking various kinds of faults. By employing redundancy and analyzing the results of three separate executions of the same program, TMR is able to attain excellent levels of reliability. While TMR provides a desirable level of reliability, it suffers from the high power consumption of the redundant hardware, a severe detriment to its broad adoption. The energy consumption of TMR can be mitigated if its operations are divided into two stages, and one stage is dropped in the absence of fault. Such an approach, which is evaluated in recent research, however, quickly fails in the presence of permanent faults, as we... 

Intense global competition, dynamic product variations, and rapid technological developments force manufacturing systems to adapt and respond quickly to various changes in the market. Such responsiveness could be achieved through new paradigms such as Reconfigurable manufacturing systems (RMS). In this paper, the problem of configuration design for a scalable reconfigurable RMS that produces different products of a part family is addressed. In order to handle demand fluctuations of products throughout their lifecycles with minimum cost, RMS configurations must change as well. Two different approaches are developed for addressing the system configuration design in different periods. Both...