Sharif Digital Repository

Pretrained representations have recently gained attention in various machine learning applications. Nonetheless, the high computational costs associated with training these models have motivated alternative approaches for representation learning. Herein we introduce TripletProt, a new approach for protein representation learning based on the Siamese neural networks. Representation learning of biological entities which capture essential features can alleviate many of the challenges associated with supervised learning in bioinformatics. The most important distinction of our proposed method is relying on the protein-protein interaction (PPI) network. The computational cost of the generated... 

Horizontal Ground Heat Exchangers (HGHE) as a means of exploiting geothermal energy has come to the fore for a few decades. Various analytical and Computational Fluid Dynamics (CFD) methods have been proposed to predict the performance of the HGHEs. The available analytical approaches are fast; however, they are based on various simplifications and assumptions, affecting their accuracy. On the other hand, CFD methods are more accurate, but their computational cost is a burden. Therefore there is an acute need for an accurate and fast method for predicting the long-term performance of HGHEs. To this aim, this study puts forward a novel hybrid analytical-numerical model for predicting the... 

A novel functional form for approximating the conditional scalars in turbulent reacting flows is introduced based on the Bernstein polynomial. Multi-scalar measurement data of turbulent premixed and non-premixed flames are used to demonstrate that the new functional form provides an excellent reduced-order model for the conditional scalars. This model order reduction technique can be used to improve the accuracy, reduce the computational cost and enhance the spatial localization of the Conditional Source-term Estimation (CSE) model. CSE is a turbulence-chemistry interaction model similar to the Conditional Moment Closure (CMC) model, except that the conditional scalars are estimated from the... 

In the last decade various crypto-currencies opened new doors to a decentralized electronic monetary system. Emergence of new Blockchain platforms, such as Ethereum, introduced new features for the implementation of decentralized software or smart contracts. The applications of blockchain technology for secure and efficient information systems is rapidly increasing. However, due to the limitations of this platform including high computational and storage cost, it is not possible to run sophisticated and computationally expensive software on the blockchain. In this paper, a new framework for execution of smart programs on blockchain called the Smart Program Runner Framework (SPRF) is... 

Smart grid plays an important role in managing demand response management in modern smart city using Information and Communication Technologies (ICTs). In smart grid environment, sensors are widely used for surveillance. These are deployed on the high tension power supply lines which help to share the information to control center about line breakage or any other flaw. Besides the cyber-attacks, sensors may also experience physical attacks as they are deployed on high-tension power lines in an open environment. Moreover, an attacker can also impersonate the information exchanged between sensors, gateways and control centers. Therefore, the most indispensable requirement is to prevent these... 

UF6 gas flow in the total regions of a rotor with the radius of 0.1 m and the length of 1 m in axisymmetric and steady states was simulated using a new hybrid CFD-DSMC method in the OpenFOAM framework. Implicit coupled density-based scheme was performed for CFD method, and Variable Hard Sphere (VHS) and diffuse model were employed in DSMC method. Also, as an initial estimation, the local Knudsen number was applied to determine the interface location between the continuum-rarefied regions (r = 0.0855 m). Then it was modified (r = 0.084 m) to reduce the computational cost. The comparison results of pure CFD and CFD-DSMC methods illustrated that there were large differences between the flow... 

The purpose of the present study is to develop the neutron diffusion solver and neutron noise simulator based on the Boundary Element Method (BEM). The 2-D, 2-G neutron/adjoint diffusion equation and corresponding neutron/adjoint noise equation were solved using the mentioned method. The developed neutron static and noise simulator based on the finite element method gives accurate results when the more number of the elements is used. The motivation of the present research is to use the boundary element method to reduce the computational cost. The boundary element method attempts to use the given boundary conditions to fit boundary values into the integral equation, rather than values... 

The value-based seismic design framework is a new design method that efficiently balances the construction resources and the seismic consequences, through reliable evaluation of the building performance at an affordable computational cost. This paper employs the value-based design approach to optimize the cross-section proportions of the steel wide-flange members. An optimization problem is proposed within the framework of value-based design. Construction cost and seismic consequences are selected as the value components. Moreover, the minimum code requirements are formulated as the design constraints. FEMA-P58 framework is exploited for the prediction of the seismic consequences including... 

Recent studies have indicated the need of considering aftershocks in the seismic design/assessment of structures. This article investigates the effect of sequential mainshock and aftershock earthquakes on eccentrically braced steel frames with vertical energy-absorbing links. To achieve this, 4, 8 and 12-storey frame buildings are modelled in Perform3D® software considering non-linear behaviour of materials and components. The frames are subjected to a set of 12 main earthquake records corresponding to the required hazard level, and then subsequent aftershocks are applied using incremental dynamic analysis (IDA). To reduce the computational cost, an alternative approach is also adopted by... 

Peridynamics is a nonlocal theory of solid mechanics which is suitable for modeling discontinuities and fractures without requiring external theories. In the original peridynamic equation of motion, the internal forces are integrated over the entire domain of the body. Although this equation complies perfectly with physical principles, its heavy calculations make it practically impossible to use. To avoid this difficulty, we can benefit from a special case of the peridynamic equation of motion in which the integration domain of the internal forces is limited to the family of particles. A limitation of this special equation, which is the most common equation in the peridynamic literature, is... 

With the advent of cloud computing and Internet of Things and delegation of data collection and aggregation to third parties, the results of the computations should be verified. In distributed models, there are multiple sources. Each source creates authenticators for the values and sends them to the aggregator. The aggregator combines the authenticated values and creates a verification object for verifying the computation/aggregation results. In this paper, we propose two constructions for verifying the results of countable and window-based countable functions. These constructions are useful for aggregate functions such as median, max/min, top-k/first-k, and range queries, where the... 

Constructing an accurate geological model of the reservoir is a preliminary to make any reliable prediction of a reservoir's performance. Afterward, one needs to simulate the flow to predict the reservoir's dynamic behaviour. This process usually is associated with high computational costs. Therefore, alternative methods such as the percolation approach for rapid estimation of reservoir efficiency are quite desirable. This study tries to address the Well Testing (WT) interpretation of heterogeneous reservoirs, constructed from two extreme permeabilities, 0 and K. In particular, we simulated a drawdown test on typical site percolation mediums, occupied to fraction "p"at a constant rate Q/h,... 

Given a social network modeled as a weighted graph GG, the influence maximization problem seeks kk vertices to become initially influenced, to maximize the expected number of influenced nodes under a particular diffusion model. The influence maximization problem has been proven to be NP-hard, and most proposed solutions to the problem are approximate greedy algorithms, which can guarantee a tunable approximation ratio for their results with respect to the optimal solution. The state-of-the-art algorithms are based on Reverse Influence Sampling (RIS) technique, which can offer both computational efficiency and non-trivial (1-1/e-ϵ)-approximation ratio guarantee for any epsilon >0ϵ>0.... 

One of the main issues in colour image processing is changing objects' colour due to colour of illumination source. Colour constancy methods tend to modify overall image colour as if it was captured under natural light illumination. Without colour constancy, the colour would be an unreliable cue to object identity. Till now, many methods in colour constancy domain are presented. They are in two categories; statistical methods and learning-based methods. This paper presents a new statistical weighted algorithm for illuminant estimation. Weights are adjusted to highlight two key factors in the image for illuminant estimation, that is contrast and brightness. The focus was on the convex part of... 

One of the main issues in colour image processing is changing objects' colour due to colour of illumination source. Colour constancy methods tend to modify overall image colour as if it was captured under natural light illumination. Without colour constancy, the colour would be an unreliable cue to object identity. Till now, many methods in colour constancy domain are presented. They are in two categories; statistical methods and learning-based methods. This paper presents a new statistical weighted algorithm for illuminant estimation. Weights are adjusted to highlight two key factors in the image for illuminant estimation, that is contrast and brightness. The focus was on the convex part of... 

Today, cloud computing has developed as one of the important emergent technologies in communication and Internet. It offers on demand, pay per use access to infrastructure, platforms, and applications. Due to the increase in its popularity, the huge number of requests need to be handled in an efficient manner. Task scheduling as one of the challenges in the cloud computing supports the requests for assigning a particular resource so as to perform effectively. In the resource management, task scheduling is performed where there is the dependency between tasks. Many approaches and case studies have been developed for the scheduling of these tasks. Up to now, a systematic literature review... 

Isogeny-based cryptography is one of the promising post-quantum candidates mainly because of its smaller public key length. Due to its high computational cost, efficient implementations are significantly important. In this paper, we have proposed a high-speed FPGA implementation of the supersingular isogeny Diffie-Hellman (SIDH) and key encapsulation (SIKE). To this end, we have adapted the algorithm of finding optimal large-degree isogeny computation strategy for hardware implementations. Using this algorithm, hardware-suited strategies (HSSs) can be devised. We have also developed a tool to schedule field arithmetic operations efficiently using constraint programming. This tool enables... 

Code-based digital signatures suffer from two main drawbacks: Large public key size and slow signature generation. Large public key size is inherent in almost all the code-based cryptosystems and other post-quantum alternatives; however, slow signature generation is due to their specific structure. Most of the current code-based signature schemes are constructed based on Courtois, Finiasz, and Sendrier (CFS) signature. CFS uses a counter to produce decodable syndromes or the complete decoding technique that imposes some extra computational cost to the signing algorithm for many choices of codes. In this study, the authors propose an efficient digital signature, PolarSig, which can reduce... 

UF6 gas flow in the total regions of a rotor with the radius of 0.1 m and the length of 1 m in axisymmetric and steady states was simulated using a new hybrid CFD-DSMC method in the OpenFOAM framework. Implicit coupled density-based scheme was performed for CFD method, and Variable Hard Sphere (VHS) and diffuse model were employed in DSMC method. Also, as an initial estimation, the local Knudsen number was applied to determine the interface location between the continuum-rarefied regions (r = 0.0855 m). Then it was modified (r = 0.084 m) to reduce the computational cost. The comparison results of pure CFD and CFD-DSMC methods illustrated that there were large differences between the flow... 

Attitude control of a satellite having only two reaction wheels is a challenging issue. To address this problem, previously published researches considered some simplifying assumptions on the satellites such as diagonality of the moment of the inertia matrix. On the other hand, in some works, the total angular momentum of the satellite is assumed to be zero. In this paper, a linear time-variant model predictive control (LTV MPC) is designed to control a satellite with two reaction wheels. This control method can be applied to a satellite with a non-diagonal inertial matrix in the presence of external torques, to rotate the satellite toward the desired directions in the space and orbit. The...