Sharif Digital Repository

The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2021 Taru Publications  

The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2022 Taru Publications  

The problem of compliance checking and assessment is to ensure that the design or implementation of a system meets some desired properties and complies with some rules or regularities. This problem is a key issue in several human and engineering application domains such as organizational management and e-governance, software and IT industries, and software and systems quality engineering. To deal with this problem, some different approaches and methods have been proposed. In addition to the approaches such as formal methods, mathematical proofs, and logical evaluations, benchmarking can be used for compliance assessment. Naturally, a set of benchmarks can shape an applied solution to... 

Objective: This study analyzes the effects of lifestyle, nutrition, and diets on the status and risks of apparent (symptomatic) COVID-19 infection in Iranian families. Materials and Methods: A relatively extensive questionnaire survey was conducted on more than 20,000 Iranian families (residing in more than 1000 different urban and rural areas in the Islamic Republic of Iran) to collect the big data of COVID-19 and develop a lifestyle dataset. The collected big data included the records of lifestyle effects (e.g. nutrition, water consumption resources, physical exercise, smoking, age, gender, health and disease factors, etc.) on the status of COVID-19 infection in families (i.e. residents of... 

Molecular dynamics (MD) simulations were used to study the mechanical behaviour of β-SiC at nano-scale under tensile loading. Effects of loading rate and tensile temperature on the mechanical properties and failure were studied. Modified embedded-atom method (MEAM) potential and Berendsen thermostat were utilized for modelling. Periodic boundary conditions were employed and the behaviour of material was analyzed under three-axial loading condition at which the stress–strain relation was acceptably size independent. It is shown that with increasing the loading rate from 5 m/s to 70 m/s, the failure strain increases without a remarkable change in the stress–strain relationship. The MD... 

An efficient algorithm for the design optimization of the compressible fluid flow problem through a flexible structure is presented. The methodology has three essential parts: first the behavior of compressible flow in a supersonic diffuser was studied numerically in quasi-one-dimensional form using a flux splitting method. Second, a fully coupled sequential iterative procedure was used to solve the steady state aeroelastic problem of a flexible wall diffuser. Finally, a robust Genetic Algorithm was implemented and used to calculate the optimum shape of the flexible wall diffuser for a prescribed pressure distribution. © 2006 Elsevier Ltd. All rights reserved  

The chromatic number of a Latin square is the least number of partial transversals which cover its cells. This is just the chromatic number of its associated Latin square graph. Although Latin square graphs have been widely studied as strongly regular graphs, their chromatic numbers appear to be unexplored. We determine the chromatic number of a circulant Latin square, and find bounds for some other classes of Latin squares. With a computer, we find the chromatic number for all main classes of Latin squares of order at most eight  

In this paper, recurrent neural networks are applied to language modeling of Persian, using word embedding as word representation. To this aim, unidirectional and bidirectional Long Short-Term Memory (LSTM) networks are used, and the perplexity of Persian language models on a 100-million-word data set is evaluated. The effect of various parameters, including number of hidden layers and size of LSTM units, on the performance of the networks in reducing the perplexity of the models are investigated. Among different LSTM language models, the best perplexity, which is equal to 59.05, is achieved from a 2-layer bidirectional LSTM model. Comparing this value with the perplexity of the classical... 

Molecular dynamics (MD) simulations were used to study the mechanical behaviour of β-SiC at nano-scale under tensile loading. Effects of loading rate and tensile temperature on the mechanical properties and failure were studied. Modified embedded-atom method (MEAM) potential and Berendsen thermostat were utilized for modelling. Periodic boundary conditions were employed and the behaviour of material was analyzed under three-axial loading condition at which the stress- strain relation was acceptably size independent. It is shown that with increasing the loading rate from 5 m/s to 70 m/s, the failure strain increases without a remarkable change in the stress-strain relationship. The MD... 

Previously, we have proposed a computational model for decision-making in crisis situations called C-RPD (Computational Recognition Primed Decision). In this paper, a software development process customized for Crisis Situations Decision-Making Systems (CSDMSs) is proposed. Agile processes can skillfully manage uncertainty in software requirements and some of their features like incremental development can solve some problems in developing CSDMSs. However, these processes do not provide comprehensive solutions for issues like the lack of enough knowledge about CSDMSs, very rapid changes, urgent need to overcome security challenges, high development unpredictability, and the performance test.... 

Nowadays, the number of digital images has increased so that the management of this volume of data needs an efficient system for browsing, categorising and searching. Automatic image annotation is designed for assigning tags to images for more accurate retrieval. Non-negative matrix factorisation (NMF) is a traditional machine learning technique for decomposing a matrix into a set of basis and coefficients under the non-negative constraints. In this study, the authors propose a two-step algorithm for designing an automatic image annotation system that employs the NMF framework for its first step and a variant of K-nearest neighbourhood as its second step. In the first step, a new multimodal...