Showing 1–20 of 20 results for author: Mohammadi, K

Investigating Mixing Efficiency in Droplets: A Comprehensive Study of Numerical Modeling and Experimental Testing in 3D-Printed Microfluidic Devices

Authors: Ali Kheirkhah Barzoki, Alireza Mohseni, Mohammad Mehdi Bazyar, Kaivan Mohammadi

Abstract: Effective mixing is essential for biochemical reactions. In droplet-based microfluidics, immediate mixing of substances upon contact in the droplet formation stage can greatly enhance the uniformity of chemical reactions. Furthermore, it eliminates the need for implementing micromixers in the chip. In our research, we conducted a comprehensive study by first employing a series of two-dimensional (… ▽ More Effective mixing is essential for biochemical reactions. In droplet-based microfluidics, immediate mixing of substances upon contact in the droplet formation stage can greatly enhance the uniformity of chemical reactions. Furthermore, it eliminates the need for implementing micromixers in the chip. In our research, we conducted a comprehensive study by first employing a series of two-dimensional (2D) numerical simulations, followed by experimental investigations using three-dimensional-printed (3D-printed) microfluidic chips. Our primary focus was on assessing the mixing efficiency within droplets. Specifically, we compared the performance of three different types of droplet generators: T-junction, cross-junction, and a novel asymmetric design with various angles. Our evaluation criteria encompassed mixing efficiency, droplet diameter, and droplet eccentricity. Our findings indicate that 2D numerical simulations can serve as a valuable tool for qualitatively analyzing two-phase flows and the droplet generation process, particularly in quasi-two-dimensional devices. The relative simplicity of such simulations renders them readily applicable, specifically in complex microfluidic geometries. Regarding mixing efficiency, we observed that the asymmetric droplet generators outperformed the cross-junction configuration but fell slightly short of the mixing efficiency achieved by the T-junction. Additionally, while the mixing index in the asymmetric generators closely matched that of the T-junction, these asymmetric generators produced smaller droplets. Our study suggests that the novel asymmetric droplet generators offer a significant advantage by simplifying the design of microfluidic devices. This is achieved by facilitating both droplet formation and rapid reagent mixing within the droplets while concurrently maintaining a small droplet diameter. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 21 pages, 5 figures

Causal Adversarial Perturbations for Individual Fairness and Robustness in Heterogeneous Data Spaces

Authors: Ahmad-Reza Ehyaei, Kiarash Mohammadi, Amir-Hossein Karimi, Samira Samadi, Golnoosh Farnadi

Abstract: As responsible AI gains importance in machine learning algorithms, properties such as fairness, adversarial robustness, and causality have received considerable attention in recent years. However, despite their individual significance, there remains a critical gap in simultaneously exploring and integrating these properties. In this paper, we propose a novel approach that examines the relationship… ▽ More As responsible AI gains importance in machine learning algorithms, properties such as fairness, adversarial robustness, and causality have received considerable attention in recent years. However, despite their individual significance, there remains a critical gap in simultaneously exploring and integrating these properties. In this paper, we propose a novel approach that examines the relationship between individual fairness, adversarial robustness, and structural causal models in heterogeneous data spaces, particularly when dealing with discrete sensitive attributes. We use causal structural models and sensitive attributes to create a fair metric and apply it to measure semantic similarity among individuals. By introducing a novel causal adversarial perturbation and applying adversarial training, we create a new regularizer that combines individual fairness, causality, and robustness in the classifier. Our method is evaluated on both real-world and synthetic datasets, demonstrating its effectiveness in achieving an accurate classifier that simultaneously exhibits fairness, adversarial robustness, and causal awareness. △ Less

Submitted 17 August, 2023; originally announced August 2023.

QEYSSat 2.0 -- White Paper on Satellite-based Quantum Communication Missions in Canada

Authors: Thomas Jennewein, Christoph Simon, Andre Fougeres, Francois Babin, Faezeh Kimiaee Asadi, Katanya B. Kuntz, Mathieu Maisonneuve, Brian Moffat, Kimia Mohammadi, Denis Panneton

Abstract: We present the white paper developed during the QEYSSat 2.0 study, which was undertaken between June 2021 and March 2022. The study objective was to establish a technology road-map for a Canada-wide quantum network enabled by satellites. We survey the state-of-art in quantum communication technologies, identify the main applications and architectures, review the technical readiness levels and tech… ▽ More We present the white paper developed during the QEYSSat 2.0 study, which was undertaken between June 2021 and March 2022. The study objective was to establish a technology road-map for a Canada-wide quantum network enabled by satellites. We survey the state-of-art in quantum communication technologies, identify the main applications and architectures, review the technical readiness levels and technology bottlenecks and identify a future mission scenario. We report the findings of a dedicated one-day workshop that included Canadian stakeholders from government, industry and academia to gather inputs and insights for the applications and technical road-map. We also provide an overview of the Quantum EncrYption and Science Satellite (QEYSSat) mission expected to launch in 2024-2025 and its anticipated outcomes. One of the main outcomes of this study is that develo** the main elements for a Canada-wide quantum internet will have the highest level of impact, which includes Canada-wide entanglement distribution and teleportation. We present and analyze a possible future mission ('QEYSSat 2.0') that would enable a long range quantum teleportation across Canada as an important step towards this vision. △ Less

Submitted 22 January, 2024; v1 submitted 4 June, 2023; originally announced June 2023.

Comments: 108 pages, 38 figures, white paper to be submitted to CJP

Pentamodes: the role of unit cell base topology on mechanical properties

Authors: Moein Shafia, Kaivan Mohammadi, Javad Akbari, Reza Hedayati

Abstract: Pentamodes (first conceived theoretically by Milton and Cherkaev) are a very interesting class of mechanical metamaterials where the bulk and shear moduli are decoupled. The pentamodes usually are composed of double cone-shaped struts with the middle diameter being large and the end diameters being tiny (ideally approaching zero). The cubic diamond geometry was proposed by Milton and Cherkaev as a… ▽ More Pentamodes (first conceived theoretically by Milton and Cherkaev) are a very interesting class of mechanical metamaterials where the bulk and shear moduli are decoupled. The pentamodes usually are composed of double cone-shaped struts with the middle diameter being large and the end diameters being tiny (ideally approaching zero). The cubic diamond geometry was proposed by Milton and Cherkaev as a suitable geometry for the unit cell and has since been used in the majority of the works on pentamodes. In this work, we aim to evaluate the degree to which the main unit cell design is contributing to high bulk to shear modulus ratio (known as FOM). In addition to the diamond unit cell, three other well-known unit cell designs are considered, and the effect of small diameter radius and the ratio of large-to-small diameter ratio, α, on the FOM is evaluated. The results showed that regardless of the primitive unit cell shape, the FOM value is highly dependent on the d value, but its dependence on the D value is very weak. For d/h around 0.05 (h representing the linkage length), figures of merit in the range of 10^3 could be reached for all the studied topologies. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Comments: 14 pages, 5 figures

JDNN: Jacobi Deep Neural Network for Solving Telegraph Equation

Authors: Maryam Babaei, Kimia Mohammadi Mohammadi, Zeinab Hajimohammadi, Kourosh Parand

Abstract: In this article, a new deep learning architecture, named JDNN, has been proposed to approximate a numerical solution to Partial Differential Equations (PDEs). The JDNN is capable of solving high-dimensional equations. Here, Jacobi Deep Neural Network (JDNN) has demonstrated various types of telegraph equations. This model utilizes the orthogonal Jacobi polynomials as the activation function to inc… ▽ More In this article, a new deep learning architecture, named JDNN, has been proposed to approximate a numerical solution to Partial Differential Equations (PDEs). The JDNN is capable of solving high-dimensional equations. Here, Jacobi Deep Neural Network (JDNN) has demonstrated various types of telegraph equations. This model utilizes the orthogonal Jacobi polynomials as the activation function to increase the accuracy and stability of the method for solving partial differential equations. The finite difference time discretization technique is used to overcome the computational complexity of the given equation. The proposed scheme utilizes a Graphics Processing Unit (GPU) to accelerate the learning process by taking advantage of the neural network platforms. Comparing the existing methods, the numerical experiments show that the proposed approach can efficiently learn the dynamics of the physical problem. △ Less

Submitted 28 December, 2022; v1 submitted 24 December, 2022; originally announced December 2022.

The Fast and Accurate Approach to Detection and Segmentation of Melanoma Skin Cancer using Fine-tuned Yolov3 and SegNet Based on Deep Transfer Learning

Authors: Mohamad Taghizadeh, Karim Mohammadi

Abstract: Melanoma is one of the most serious skin cancers that can occur in any part of the human skin. Early diagnosis of melanoma lesions will significantly increase their chances of being cured. Improving melanoma segmentation will help doctors or surgical robots remove the lesion more accurately from body parts. Recently, the learning-based segmentation methods achieved desired results in image segment… ▽ More Melanoma is one of the most serious skin cancers that can occur in any part of the human skin. Early diagnosis of melanoma lesions will significantly increase their chances of being cured. Improving melanoma segmentation will help doctors or surgical robots remove the lesion more accurately from body parts. Recently, the learning-based segmentation methods achieved desired results in image segmentation compared to traditional algorithms. This study proposes a new approach to improve melanoma skin lesions detection and segmentation by defining a two-step pipeline based on deep learning models. Our methods were evaluated on ISIC 2018 (Skin Lesion Analysis Towards Melanoma Detection Challenge Dataset) well-known dataset. The proposed methods consist of two main parts for real-time detection of lesion location and segmentation. In the detection section, the location of the skin lesion is precisely detected by the fine-tuned You Only Look Once version 3 (F-YOLOv3) and then fed into the fine-tuned Segmentation Network (F-SegNet). Skin lesion localization helps to reduce the unnecessary calculation of whole images for segmentation. The results show that our proposed F-YOLOv3 performs better at 96% in mean Average Precision (mAP). Compared to state-of-the-art segmentation approaches, our F-SegNet achieves higher performance with 95.16% accuracy. △ Less

Submitted 11 January, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks

Authors: Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi

Abstract: Algorithmic decision making driven by neural networks has become very prominent in applications that directly affect people's quality of life. In this paper, we study the problem of verifying, training, and guaranteeing individual fairness of neural network models. A popular approach for enforcing fairness is to translate a fairness notion into constraints over the parameters of the model. However… ▽ More Algorithmic decision making driven by neural networks has become very prominent in applications that directly affect people's quality of life. In this paper, we study the problem of verifying, training, and guaranteeing individual fairness of neural network models. A popular approach for enforcing fairness is to translate a fairness notion into constraints over the parameters of the model. However, such a translation does not always guarantee fair predictions of the trained neural network model. To address this challenge, we develop a counterexample-guided post-processing technique to provably enforce fairness constraints at prediction time. Contrary to prior work that enforces fairness only on points around test or train data, we are able to enforce and guarantee fairness on all points in the input domain. Additionally, we propose an in-processing technique to use fairness as an inductive bias by iteratively incorporating fairness counterexamples in the learning process. We have implemented these techniques in a tool called FETA. Empirical evaluation on real-world datasets indicates that FETA is not only able to guarantee fairness on-the-fly at prediction time but also is able to train accurate models exhibiting a much higher degree of individual fairness. △ Less

Submitted 30 January, 2023; v1 submitted 1 June, 2022; originally announced June 2022.

Characterization of optical aberrations with scanning pentaprism for large collimators

Authors: Youn Seok Lee, Kimia Mohammadi, Thomas Jennewein

Abstract: We present a practical apparatus for characterizing optical aberrations of large collimation mirrors and lenses, and give a detailed analysis of wavefront-detection errors. We utilize a scanning pentaprism technique for precise measurements of local wavefront slopes, and reconstruct transmitted wavefronts via a conventional least-squares method. Our proof-of-principle experiment demonstrates trans… ▽ More We present a practical apparatus for characterizing optical aberrations of large collimation mirrors and lenses, and give a detailed analysis of wavefront-detection errors. We utilize a scanning pentaprism technique for precise measurements of local wavefront slopes, and reconstruct transmitted wavefronts via a conventional least-squares method. Our proof-of-principle experiment demonstrates transverse linear measurements of transmitted wavefronts for a 20.3 cm lens developed for Canada's Quantum Encryption and Science Satellite (QEYSSat) mission. Our demonstration shows the wavefront-detection precision better than 0.01λ and the divergence-angle resolution less than 20μrad over the range of 40 cm. We model our optical setup using three-dimensional raytracing and find good quantitative agreement between experimental results and theoretical predictions which validates our methodology. △ Less

Submitted 12 May, 2022; originally announced May 2022.

A least squares support vector regression for anisotropic diffusion filtering

Authors: Arsham Gholamzadeh Khoee, Kimia Mohammadi Mohammadi, Mostafa Jani, Kourosh Parand

Abstract: Anisotropic diffusion filtering for signal smoothing as a low-pass filter has the advantage of the edge-preserving, i.e., it does not affect the edges that contain more critical data than the other parts of the signal. In this paper, we present a numerical algorithm based on least squares support vector regression by using Legendre orthogonal kernel with the discretization of the nonlinear diffusi… ▽ More Anisotropic diffusion filtering for signal smoothing as a low-pass filter has the advantage of the edge-preserving, i.e., it does not affect the edges that contain more critical data than the other parts of the signal. In this paper, we present a numerical algorithm based on least squares support vector regression by using Legendre orthogonal kernel with the discretization of the nonlinear diffusion problem in time by the Crank-Nicolson method. This method transforms the signal smoothing process into solving an optimization problem that can be solved by efficient numerical algorithms. In the final analysis, we have reported some numerical experiments to show the effectiveness of the proposed machine learning based approach for signal smoothing. △ Less

Submitted 30 January, 2022; originally announced February 2022.

Robotized polarization characterization platform for free-space quantum communication optics

Authors: Youn Seok Lee, Kimia Mohammadi, Lindsay Babcock, Brendon L. Higgins, Hugh Podmore, Thomas Jennewein

Abstract: We develop a polarization characterization platform for optical devices in free-space quantum communications. We demonstrate an imaging polarimeter, which analyzes both incident polarization states and the angle of incidence, attached to a six-axis collaborative robot arm, enabling polarization characterization at any position and direction with consistent precision. We present a detailed descript… ▽ More We develop a polarization characterization platform for optical devices in free-space quantum communications. We demonstrate an imaging polarimeter, which analyzes both incident polarization states and the angle of incidence, attached to a six-axis collaborative robot arm, enabling polarization characterization at any position and direction with consistent precision. We present a detailed description of each subsystem including the calibration and polarization-test procedure, and analyze polarization-measurement errors caused by imperfect orientations of the robot arm using a Mueller-matrix model of polarimeters at tilt incidence. We perform a proof-of-principle experiment for an angle-dependent polarization test for a commercial silver-coated mirror for which the polarization states of the reflected light can be accurately calculated. Quantitative agreement between the theory and experiment validates our methodology. We demonstrate the polarization test for a 20.3 cm lens designed for a quantum optical transmitter in Canada's Quantum Encryption and Science Satellite (QEYSSat) mission. △ Less

Submitted 12 April, 2022; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: 10 pages, 7 figures, 1 table

Journal ref: Review of Scientific Instruments 93, 033101 (2022)

Scaling Guarantees for Nearest Counterfactual Explanations

Authors: Kiarash Mohammadi, Amir-Hossein Karimi, Gilles Barthe, Isabel Valera

Abstract: Counterfactual explanations (CFE) are being widely used to explain algorithmic decisions, especially in consequential decision-making contexts (e.g., loan approval or pretrial bail). In this context, CFEs aim to provide individuals affected by an algorithmic decision with the most similar individual (i.e., nearest individual) with a different outcome. However, while an increasing number of works p… ▽ More Counterfactual explanations (CFE) are being widely used to explain algorithmic decisions, especially in consequential decision-making contexts (e.g., loan approval or pretrial bail). In this context, CFEs aim to provide individuals affected by an algorithmic decision with the most similar individual (i.e., nearest individual) with a different outcome. However, while an increasing number of works propose algorithms to compute CFEs, such approaches either lack in optimality of distance (i.e., they do not return the nearest individual) and perfect coverage (i.e., they do not provide a CFE for all individuals); or they cannot handle complex models, such as neural networks. In this work, we provide a framework based on Mixed-Integer Programming (MIP) to compute nearest counterfactual explanations with provable guarantees and with runtimes comparable to gradient-based approaches. Our experiments on the Adult, COMPAS, and Credit datasets show that, in contrast with previous methods, our approach allows for efficiently computing diverse CFEs with both distance guarantees and perfect coverage. △ Less

Submitted 8 February, 2021; v1 submitted 10 October, 2020; originally announced October 2020.

Asynchronous Periodic Distributed Event-Triggered Frequency Control of Microgrids

Authors: Keywan Mohammadi, Elnaz Azizi, Mohammad-Taghi Hamidi-Beheshti, Ali Bidram, Sadegh Bolouki

Abstract: In this paper, we introduce a distributed secondary frequency control scheme for an islanded ac microgrid under event-triggered communication. An integral type event-triggered mechanism is proposed by which each distributed generator (DG) asynchronously and periodically checks its triggering condition and determines whether to update its control inputs and broadcast its states to neighboring DGs.… ▽ More In this paper, we introduce a distributed secondary frequency control scheme for an islanded ac microgrid under event-triggered communication. An integral type event-triggered mechanism is proposed by which each distributed generator (DG) asynchronously and periodically checks its triggering condition and determines whether to update its control inputs and broadcast its states to neighboring DGs. In contrast to existing event-triggered strategies on secondary control of microgrids, under the proposed sampled-data based event-triggered mechanism, DGs need not be synchronized to a common clock and each individual DG checks its triggering condition periodically, relying on its own clock. Furthermore, the proposed method efficiently reduces communication and computation complexity. We provide sufficient conditions under which all DGs' frequencies asymptotically converge to the common reference frequency value. Finally, effectiveness of our proposed method is verified by simulating different scenarios on a well-established islanded ac microgrid benchmark in the MATLAB/Simulink environment. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 8 pages

Additively manufactured hybrid anisotropic pentamode metamaterials

Authors: Kaivan Mohammadi, Mohammad R. Movahhedy, Igor Shishkovsky, Reza Hedayati

Abstract: Pentamode metamaterials are a type of extremal designer metamaterials which are able to demonstrate high rigidity in one direction and extremely high compliance in other directions. Pentamodes can, therefore, be considered as building blocks of exotic materials with any arbitrarily selected thermodynamically admissible elasticity tensor. The pentamode lattices can then be envisioned to be combined… ▽ More Pentamode metamaterials are a type of extremal designer metamaterials which are able to demonstrate high rigidity in one direction and extremely high compliance in other directions. Pentamodes can, therefore, be considered as building blocks of exotic materials with any arbitrarily selected thermodynamically admissible elasticity tensor. The pentamode lattices can then be envisioned to be combined to construct intermediate extremal materials such as quadramodes, trimodes, and bimodes. In this study, we constructed several primary types of anisotropic pentamode lattices (with midpoint positioning of 10%, 15%, 20%, 25%, 30%, 35%, and 42% of the main unit cell diagonal) and then combined them mutually to explore the dependence of elastic properties of hybrid pentamodes on those of individual constructing lattices. Several anisotropic individual and hybrid pentamode lattice structures were produced using MultiJet Additive Manufacturing technique and then mechanically tested under compression. Finite element models were also created using COMSOL Multiphysics package. Two-component hybrid pentamode lattices composed of individual lattices with extensively different (as large as of 2 order of magnitudes) FOM ratios were constructed and analysed. It was demonstrated that it is possible to design and construct composite intermediate extremal materials with arbitrary eigen values in the elastic tensor. It is concluded that the elastic E, shear G, and bulk moduli B of the hybrid structure are the superpositions of the corresponding moduli of the individual lattice structures. The Poisson's ratio of the hybrid pentamode structure equals that of individual structure with higher Poisson's ratio. The yield stress of the hybrid pentamode lattice structure depends on the elastic moduli of the constructing lattice structures as well as yield stress of the weaker lattice structure. △ Less

Submitted 12 October, 2020; v1 submitted 17 May, 2020; originally announced May 2020.

Journal ref: Applied Physics Letters, 2020

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth

Authors: Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis

Abstract: Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly… ▽ More Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with $n$ states and $m$ transitions, we show that each of the classical quantitative objectives can be computed in $O((n+m)\cdot t^2)$ time, given a tree decomposition of the MC that has width $t$. Our results also imply a bound of $O(κ\cdot (n+m)\cdot t^2)$ for each objective on MDPs, where $κ$ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experimental results show that on MCs and MDPs with small treewidth, our algorithms outperform existing well-established methods by one or more orders of magnitude. △ Less

Submitted 19 April, 2020; originally announced April 2020.

Attention-Guided Version of 2D UNet for Automatic Brain Tumor Segmentation

Authors: Mehrdad Noori, Ali Bahri, Karim Mohammadi

Abstract: Gliomas are the most common and aggressive among brain tumors, which cause a short life expectancy in their highest grade. Therefore, treatment assessment is a key stage to enhance the quality of the patients' lives. Recently, deep convolutional neural networks (DCNNs) have achieved a remarkable performance in brain tumor segmentation, but this task is still difficult owing to high varying intensi… ▽ More Gliomas are the most common and aggressive among brain tumors, which cause a short life expectancy in their highest grade. Therefore, treatment assessment is a key stage to enhance the quality of the patients' lives. Recently, deep convolutional neural networks (DCNNs) have achieved a remarkable performance in brain tumor segmentation, but this task is still difficult owing to high varying intensity and appearance of gliomas. Most of the existing methods, especially UNet-based networks, integrate low-level and high-level features in a naive way, which may result in confusion for the model. Moreover, most approaches employ 3D architectures to benefit from 3D contextual information of input images. These architectures contain more parameters and computational complexity than 2D architectures. On the other hand, using 2D models causes not to benefit from 3D contextual information of input images. In order to address the mentioned issues, we design a low-parameter network based on 2D UNet in which we employ two techniques. The first technique is an attention mechanism, which is adopted after concatenation of low-level and high-level features. This technique prevents confusion for the model by weighting each of the channels adaptively. The second technique is the Multi-View Fusion. By adopting this technique, we can benefit from 3D contextual information of input images despite using a 2D model. Experimental results demonstrate that our method performs favorably against 2017 and 2018 state-of-the-art methods. △ Less

Submitted 4 April, 2020; originally announced April 2020.

Comments: 7 pages, 5 figures, 4 tables, Accepted by ICCKE 2019

Journal ref: 2019 9th International Conference on Computer and Knowledge Engineering (ICCKE), Mashhad, Iran, 2019, pp. 269-275

A new method for compactification with the help of order topology and limit point

Authors: Kaveh Mohammadi, Assad Rashidi

Abstract: In this paper, we introduce a new method for compactification of a topological space by order topology and through ordinal numbers. The idea behind our approach originates from the definition of a limit point, and then we try to find an intuition for this concept. Finally, we utilise the Homotopy concept for separation Axiom In this paper, we introduce a new method for compactification of a topological space by order topology and through ordinal numbers. The idea behind our approach originates from the definition of a limit point, and then we try to find an intuition for this concept. Finally, we utilise the Homotopy concept for separation Axiom △ Less

Submitted 25 August, 2019; originally announced August 2019.

Triple extension of Tietze theorem and Baer criterion

Authors: Assad Rashidi, Kaveh Mohammadi

Abstract: In this paper, through the combination of Tietze extension theorem and Baer criteria, we build a new mathematical structure which is similar to a triangular pyramid, and then we prove that the topological space which we call it Tb appeared as a result of the combination and sat at the apex of the pyramid is a tychonof space. Finally, we obtain three new extension theorems In this paper, through the combination of Tietze extension theorem and Baer criteria, we build a new mathematical structure which is similar to a triangular pyramid, and then we prove that the topological space which we call it Tb appeared as a result of the combination and sat at the apex of the pyramid is a tychonof space. Finally, we obtain three new extension theorems △ Less

Submitted 6 June, 2019; originally announced June 2019.

On nontrivially knotted closed trajectories and positive lower bound for the energy

Authors: Kaveh Mohammadi

Abstract: In this paper we suggest a soluiton to this question Does the existence of any nontrivially knotted closed trajectory for a field presents a positive lower bound for the energy and hence blocks the relaxation of the field into arbitrarily small energies In this paper we suggest a soluiton to this question Does the existence of any nontrivially knotted closed trajectory for a field presents a positive lower bound for the energy and hence blocks the relaxation of the field into arbitrarily small energies △ Less

Submitted 19 November, 2018; originally announced November 2018.

Basin Effects in Strong Ground Motion: A Case Study from the 2015 Gorkha, Nepal Earthquake

Authors: Peyman Ayoubi, Domniki Asimaki, Kami Mohammadi

Abstract: The term "basin effects" refers to entrapment and reverberation of earthquake waves in soft sedimentary deposits underlain by concave basement rock structures. Basin effects can significantly affect the amplitude, frequency and duration of strong ground motion, while the cone-like geometry of the basin edges gives rise to large amplitude surface waves through seismic wave diffraction and energy fo… ▽ More The term "basin effects" refers to entrapment and reverberation of earthquake waves in soft sedimentary deposits underlain by concave basement rock structures. Basin effects can significantly affect the amplitude, frequency and duration of strong ground motion, while the cone-like geometry of the basin edges gives rise to large amplitude surface waves through seismic wave diffraction and energy focusing, a well-known characteristic of basin effects. In this research, we study the role of basin effects in the mainshock ground motion data recorded at the Kathmandu basin, Nepal during the 2015 Mw7.8 Gorkha earthquake sequence. We specifically try to understand the source of the unusual low frequency reverberating pulse that appeared systematically across the basin, and the unexpected depletion of the ground surface motions from high frequency components, especially away from the basin edges. In order to do that we study the response of a 2D cross section of Kathmandu basin subjected to vertically propagating plane SV waves. Despite the scarcity of geotechnical information and of strong ground motion recordings, we show that an idealized plane-strain elastic model with a simplified layered velocity structure can capture surprisingly well the low frequency components of the basin ground response. We finally couple the 2D elastic simulation with a 1D nonlinear analysis of the shallow basin sediments. The 1D nonlinear approximation shows improved performance over a larger frequency range relative to the first order approximation of a 2D elastic layered basin response. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: Geotechnical Earthquake Engineering and Soil Dynamics V, Austin, Texas (2018)

DG-Embedded Radial Distribution System Planning Using Binary-Selective PSO

Authors: Ahvand Jalali, S K. Mohammadi, H. Sangrody, A. Rahim-Zadegan

Abstract: With the increasing rate of power consumption, many new distribution systems need to be constructed to accommodate connecting the new consumers to the power grid. On the other hand, the increasing penetration of renewable distributed generation (DG) resources into the distribution systems and the necessity of optimally place them in the network can dramatically change the problem of distribution s… ▽ More With the increasing rate of power consumption, many new distribution systems need to be constructed to accommodate connecting the new consumers to the power grid. On the other hand, the increasing penetration of renewable distributed generation (DG) resources into the distribution systems and the necessity of optimally place them in the network can dramatically change the problem of distribution system planning and design. In this paper, the problem of optimal distribution system planning including conductor sizing, DG placement, alongside with placement and sizing of shunt capacitors is studied. A new Binary-Selective Particle Swarm Optimization (PSO) approach which is capable of handling all types of continuous, binary and selective variables, simultaneously, is proposed to solve the optimization problem of distribution system planning. The objective of the problem is to minimize the system costs. Load growth rate, cost of energy, cost of power, and inflation rate are all taken into account. The efficacy of the proposed method is tested on a 26-bus distribution system. △ Less

Submitted 19 March, 2017; originally announced March 2017.