scholarly journals A Systematic Method to Minimize Freshwater Utilization by Multiple Contaminants Network

2019 ◽  
Vol 9 (1) ◽  
pp. 1499-1505
Keyword(s):  
Computational Time ◽  
Second Step ◽  
Design Technique ◽  
Systematic Method ◽  
Systematic Procedure ◽  
High Level ◽  
Multiple Contaminants

A systematic procedure is developed to design and evaluate water by using networks with multiple contaminants. The proposed algorithm contain two sequential steps, in the first step the total, the total possibilities of matching source flows to demand flows were evaluated and a heuristic design technique is proposed based on the results. In the second step, three strategies are suggested to reach high level of operability, two source shift, path relaxation and loop breakage are applied in order to improve the network and minimize interconnections. The proposed approach was evaluated and assessed through a case study. The results are in match with the available data in the literature. In the meantime the computational time to reach confluence was significantly reduced

scholarly journals Curriculum Redesign Process for an Industrial Engineering Program Seeking ABET Accreditation

2015 ◽  
Vol 5 (3) ◽  
pp. 45 ◽  
Author(s):  
Mouloud Aoudia ◽  
Deya Al-Deen Abu-Alqahsi
Keyword(s):  
Student Outcomes ◽  
Industrial Engineering ◽  
Second Step ◽  
Assessment And Evaluation ◽  
Curriculum Redesign ◽  
Northern Border ◽  
Engineering Department ◽  
Medium Level ◽  
High Level

The objective of this paper is to describe the process to follow by a program seeking ABET accreditation for the redesign of its curriculum. The first step in this process is to clearly identify the reasons behind the need for redesigning the curriculum. These reasons should be originated from three levels of analysis. The high level deals with the review of the Program Educational Objectives. The medium level concerns the assessment and Evaluation of the Student Outcomes. The low level interests the Assessment and Evaluation of the course learning outcomes. The second step is to define all the requirements and constraints that will be used as inputs to the development of concentrations, area of study and courses. The case study presented and discussed in this paper to illustrate the curriculum redesign process is drawn from the Industrial Engineering Department at the Northern Border University (Saudi Arabia).

Work Life Balance Of Female Crew In The Aviation Industry: A Case Study

GIS Business ◽  
2019 ◽  
Vol 14 (6) ◽  
pp. 206-212
Author(s):  
Dr. D. Shoba ◽  
Dr. G. Suganthi
Keyword(s):  
Family Life ◽  
Work Life ◽  
Work Life Balance ◽  
Aviation Industry ◽  
Life Balance ◽  
International Airport ◽  
Work Pressure ◽  
Women Employees ◽  
High Level

Employees and employers are facing issues in work life balance. It has become a difficult domain now, because the work needs have increased due to an increase in work pressure and complexities in handling the technology. As there are drastic changes in the rules and regulations in the work scenario of the aviation industry, it makes work life balance of employees difficult and set more hurdles. Hence there are many distractions and imbalances in the life of women employees in the aviation industry working across all levels. This work pressure is creating high level of hurdles in maintaining a harmonious job and family life, especially for female aviation employees. Data is collected from 50 female crew members working at Cochin International Airport. The objective of this study is to analyze the work life balance of working females of Cochin International Airport and its influence on their personal and specialized lives. The result of the study shows that the management should frame certain policies which will help employees to have the balance among their personal and expert lives.

scholarly journals Spatial Analysis of the Drivers, Characteristics, and Effects of Forest Fragmentation

2021 ◽  
Vol 13 (6) ◽  
pp. 3246
Author(s):  
Zoe Slattery ◽  
Richard Fenner
Keyword(s):  
Forest Fragmentation ◽  
Forest Fires ◽  
Geographical Information ◽  
Agricultural Expansion ◽  
Forest Patches ◽  
Mato Grosso ◽  
Remote Imaging ◽  
Landscape Characteristics ◽  
High Level

Building on the existing literature, this study examines whether specific drivers of forest fragmentation cause particular fragmentation characteristics, and how these characteristics can be linked to their effects on forest-dwelling species. This research uses Landsat remote imaging to examine the changing patterns of forests. It focuses on areas which have undergone a high level of a specific fragmentation driver, in particular either agricultural expansion or commodity-driven deforestation. Seven municipalities in the states of Rondônia and Mato Grosso in Brazil are selected as case study areas, as these states experienced a high level of commodity-driven deforestation and agricultural expansion respectively. Land cover maps of each municipality are created using the Geographical Information System software ArcGIS Spatial Analyst extension. The resulting categorical maps are input into Fragstats fragmentation software to calculate quantifiable fragmentation metrics for each municipality. To determine the effects that these characteristics are likely to cause, this study uses a literature review to determine how species traits affect their responses to forest fragmentation. Results indicate that, in areas that underwent agricultural expansion, the remaining forest patches became more complex in shape with longer edges and lost a large amount of core area. This negatively affects species which are either highly dispersive or specialist to core forest habitat. In areas that underwent commodity-driven deforestation, it was more likely that forest patches would become less aggregated and create disjunct core areas. This negatively affects smaller, sedentary animals which do not naturally travel long distances. This study is significant in that it links individual fragmentation drivers to their landscape characteristics, and in turn uses these to predict effects on species with particular traits. This information will prove useful for forest managers, particularly in the case study municipalities examined in this study, in deciding which species require further protection measures. The methodology could be applied to other drivers of forest fragmentation such as forest fires.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

scholarly journals An Experimental Study on the Sources of Strontium in Mineral Water and General Rules of Its Dissolution—A Case Study of Chengde, Hebei

Water ◽  
2021 ◽  
Vol 13 (5) ◽  
pp. 699
Author(s):  
Ruifeng Wang ◽  
Xiong Wu ◽  
Yanliang Zhai ◽  
Yuxuan Su ◽  
Chenhui Liu
Keyword(s):  
Experimental Study ◽  
Mineral Water ◽  
Surrounding Rock ◽  
Mechanism Of Formation ◽  
High Quality ◽  
General Rules ◽  
Leaching Experiment ◽  
High Level ◽  
Impact Experiments

Chengde City boasts a wealth of high-quality mineral water resources characterized by a high level of strontium (Sr), a low level of sodium, and low alkalinity. In order to study the mechanism of formation of Sr-bearing mineral water in Chengde and to scientifically guide future mineral water exploration, taking three typical mineral water exploration areas in Chengde as examples, this paper studies the sources of Sr in mineral water and the general rules of its dissolution via a laboratory static leaching experiment and impact experiments, and it provides an analysis of the characteristics of typical rock samples. The research results indicate that the content of Sr in surrounding rock and the characteristics of minerals existing in surrounding rock jointly control the dissolution of Sr in water; that CO2 can promote the formation of mineral water containing Sr; and that temperature increases may boost the dissolution of Sr from carbonate minerals but also inhibit the dissolution of Sr from silicate minerals.

scholarly journals A Modified KNN Algorithm for High-Performance Computing on FPGA of Real-Time m-QAM Demodulators

Electronics ◽  
2021 ◽  
Vol 10 (5) ◽  
pp. 627
Author(s):  
David Marquez-Viloria ◽  
Luis Castano-Londono ◽  
Neil Guerrero-Gonzalez
Keyword(s):  
Real Time ◽  
High Performance ◽  
Interference Mitigation ◽  
Parallel Implementation ◽  
Computational Time ◽  
Successful Implementation ◽  
Interchannel Interference ◽  
The Difference ◽  
High Level ◽  
Performance Computing

A methodology for scalable and concurrent real-time implementation of highly recurrent algorithms is presented and experimentally validated using the AWS-FPGA. This paper presents a parallel implementation of a KNN algorithm focused on the m-QAM demodulators using high-level synthesis for fast prototyping, parameterization, and scalability of the design. The proposed design shows the successful implementation of the KNN algorithm for interchannel interference mitigation in a 3 × 16 Gbaud 16-QAM Nyquist WDM system. Additionally, we present a modified version of the KNN algorithm in which comparisons among data symbols are reduced by identifying the closest neighbor using the rule of the 8-connected clusters used for image processing. Real-time implementation of the modified KNN on a Xilinx Virtex UltraScale+ VU9P AWS-FPGA board was compared with the results obtained in previous work using the same data from the same experimental setup but offline DSP using Matlab. The results show that the difference is negligible below FEC limit. Additionally, the modified KNN shows a reduction of operations from 43 percent to 75 percent, depending on the symbol’s position in the constellation, achieving a reduction 47.25% reduction in total computational time for 100 K input symbols processed on 20 parallel cores compared to the KNN algorithm.

scholarly journals E-learning-Oriented Software Architecture Design and Case Study

2015 ◽  
Vol 10 (4) ◽  
pp. 59
Author(s):  
Peng Lu ◽  
Xiao Cong ◽  
Dongdai Zhou
Keyword(s):  
Software Architecture ◽  
Building Blocks ◽  
Domain Model ◽  
Learning System ◽  
Application Framework ◽  
Component Library ◽  
E Learning ◽  
The Difference ◽  
High Level

Nowadays, E-learning system has been widely applied to practical teaching. It was favored by people for its characterized course arrangement and flexible learning schedule. However, the system does have some problems in the process of application such as the functions of single software are not diversified enough to satisfy the requirements in teaching completely. In order to cater more applications in the teaching process, it is necessary to integrate functions from different systems. But the difference in developing techniques and the inflexibility in design makes it difficult to implement. The major reason of these problems is the lack of fine software architecture. In this article, we build domain model and component model of E-learning system and components integration method on the basis of WebService. And we proposed an abstract framework of E-learning which could express the semantic relationship among components and realize high level reusable on the basis of informationized teaching mode. On this foundation, we form an E-learning oriented layering software architecture contain component library layer, application framework layer and application layer. Moreover, the system contains layer division multiplexing and was not built upon developing language and tools. Under the help of the software architecture, we could build characterized E-learning system flexibly like building blocks through framework selection, component assembling and replacement. In addition, we exemplify how to build concrete E-learning system on the basis of this software architecture.

Sign in / Sign up

Export Citation Format

Share Document