Formal Verification of System Level Designs: A GSM Vocoder Case Study

2007 ◽  
Author(s):  
Ghiath Al Sammane ◽  
Otmane Ait Mohamed
Keyword(s):  
Formal Verification ◽  
System Level

Evaluating The Effectiveness Of Problem-Based Learning (Pbl) Implemented In The Textile Engineering Course - A Case Study On Ahsanullah University Of Science And Technology, Bangladesh

2014 ◽  
Vol 1 (1) ◽  
pp. 111-114
Author(s):  
Lal Mohan Baral ◽  
Ramzan Muhammad ◽  
Claudiu Vasile Kifor ◽  
Ioan Bondrea
Keyword(s):  
Engineering Students ◽  
Science And Technology ◽  
Problem Based Learning ◽  
Professional Life ◽  
System Level ◽  
Teaching Tool ◽  
Technical Problems ◽  
Empirical Survey ◽  
Undergraduate Programs

AbstractProblem-based learning as a teaching tool is now used globally in many areas of higher education. It provides an opportunity for students to explore technical problems from a system-level perspective and to be self-directed life-long learner which is mandatory for equipping engineering students with the skill and knowledge. This paper presents a case study illustrating the effectiveness of implemented Problem-based learning (PBL) during five semesters in the undergraduate programs of Textile Engineering in Ahsanullah University of Science and Technology (AUST). An assessment has been done on the basis of feedback from the students as well as their employers by conducting an empirical survey for the evaluation of PBL impact to enhance the student's competencies. The Evaluations indicate that students have achieved remarkable competencies through PBL practices which helped them to be competent in their professional life.

A Methodology for Characterizing System-Level ESD Sensitivity

2004 ◽  
Author(s):  
Marie-Pascale Chagny ◽  
John A. Naoum
Keyword(s):  
Electrostatic Discharge ◽  
Computer Systems ◽  
Electronic Equipment ◽  
Experimental Methodology ◽  
Computer Users ◽  
System Level ◽  
Permanent Damage ◽  
Design Improvement ◽  
Desktop Computers

Abstract Over the years, failures induced by an electrostatic discharge (ESD) have become a major concern for semiconductor manufacturers and electronic equipment makers. The ESD events that cause destructive failures have been studied extensively [1, 2]. However, not all ESD events cause permanent damage. Some events lead to recoverable failures that disrupt system functionality only temporarily (e.g. reboot, lockup, and loss of data). These recoverable failures are not as well understood as the ones causing permanent damage and tend to be ignored in the ESD literature [3, 4]. This paper analyzes and characterizes how these recoverable failures affect computer systems. An experimental methodology is developed to characterize the sensitivity of motherboards to ESD by simulating the systemlevel ESD events induced by computer users. The manuscript presents a case study where this methodology was used to evaluate the robustness of desktop computers to ESD. The method helped isolate several weak nets contributing to the failures and identified a design improvement. The result was that the robustness of the systems improved by a factor of 2.

A Case Study of FPGA Blokus Duo Solver by System-Level Design

2014 ◽  
Vol 42 (4) ◽  
pp. 57-62
Author(s):  
Yuki Ando ◽  
Masataka Ogawa ◽  
Yuya Mizoguchi ◽  
Kouta Kumagai ◽  
Miaw Torng-Der ◽  
...  
Keyword(s):  
System Level ◽  
System Level Design ◽  
Level Design

scholarly journals Who could be One Health Activist at the community level?: A case for India

2021 ◽  
Vol 19 (1) ◽  
Author(s):  
Sandul Yasobant ◽  
Walter Bruchhausen ◽  
Deepak Saxena ◽  
Farjana Zakir Memon ◽  
Timo Falkenberg
Keyword(s):  
Health System ◽  
Work Experience ◽  
Financial Incentives ◽  
One Health ◽  
Health Workers ◽  
Structured Interview ◽  
Communicable Diseases ◽  
Community Level ◽  
System Level

Abstract Background Community health workers (CHWs) are the mainstay of the public health system, serving for decades in low-resource countries. Their multi-dimensional work in various health care services, including the prevention of communicable diseases and health promotion of non-communicable diseases, makes CHWs, the frontline workers in their respective communities in India. As India is heading towards the development of One Health (OH), this study attempted to provide an insight into potential OH activists (OHA) at the community level. Thus, this case study in one of India’s western cities, Ahmedabad, targeted identifying OHA by exploring the feasibility and the motivation of CHWs in a local setting. Methods This case study explores two major CHWs, i.e., female (Accredited Social Health Activists/ASHA) health workers (FHWs) and male (multipurpose) health workers (MHWs), on their experience and motivation for becoming an OHA. The data were collected between September 2018 and August 2019 through a mixed design, i.e., quantitative data (cross-sectional structured questionnaire) followed by qualitative data (focus group discussion with a semi-structured interview guide). Results The motivation of the CHWs for liaisoning as OHA was found to be low; however, the FHWs have a higher mean motivation score [40 (36–43)] as compared to MHWs [37 (35–40)] out of a maximum score of 92. Although most CHWs have received zoonoses training or contributed to zoonoses prevention campaigns, their awareness level was found to be different among male and female health workers. Comparing the female and male health workers to act as OHA, higher motivational score, multidisciplinary collaborative work experience, and way for incentive generation documented among the female health workers. Conclusion ASHAs were willing to accept the additional new liaison role of OHAs if measures like financial incentives and improved recognition are provided. Although this study documented various systemic factors at the individual, community, and health system level, which might, directly and indirectly, impact the acceptance level to act as OHA, they need to be accounted for in the policy regime.

Local implementation of accountability instruments in the French-speaking community of Belgium

2019 ◽  
Vol 19 (2) ◽  
pp. 94-108 ◽  
Author(s):  
Samir Barbana ◽  
Xavier Dumay ◽  
Vincent Dupriez
Keyword(s):  
System Level ◽  
The Political ◽  
Political Environment ◽  
Specific Nature ◽  
Local Contexts ◽  
Significant Process ◽  
French Speaking ◽  
Political Demand ◽  
Decentralised System

This article aims to understand how new accountability instruments in the context of the French-speaking Belgian educational system are appropriated by schools. After having characterised the specific nature of those instruments in the context of a traditionally highly decentralised system involved in a significant process of centralisation, we identify their effects through the case study of three schools. Using a new institutionalist lens, the analyses show that these instruments refer, in the French-speaking Belgian context, to a specific demand from the political environment of schools: developing and framing a common educational landscape, rather than to a logic of teacher evaluation. The data also indicate a reaffirmation, against this specific political demand, of three traditional ways of functioning tied up to the requests made by local educational communities. Thus, the analyses show a conflict between inherited institutions highly embedded in local contexts and the political signal associated with the new accountability instruments aiming to institutionalise common norms at the system level.

Effect of Manufacturing Variability on Turbine Engine Performance: A Probabilistic Study

2013 ◽  
Author(s):  
Michael Gorelik ◽  
Jacob Obayomi ◽  
Jack Slovisky ◽  
Dan Frias ◽  
Howie Swanson ◽  
...  
Keyword(s):  
Performance Metrics ◽  
Model Development ◽  
Engine Performance ◽  
Performance Model ◽  
Probabilistic Methods ◽  
System Level ◽  
Turbine Engine ◽  
Probabilistic Study ◽  
Blade Geometry

While turbine engine Original Equipment Manufacturers (OEMs) accumulated significant experience in the application of probabilistic methods (PM) and uncertainty quantification (UQ) methods to specific technical disciplines and engine components, experience with system-level PM applications has been limited. To demonstrate the feasibility and benefits of an integrated PM-based system, a numerical case study has been developed around the Honeywell turbine engine application. The case study uses experimental observations of engine performance such as horsepower and fuel flow from a population of engines. Due to manufacturing variability, there are unit-to-unit and supplier-to-supplier variations in compressor blade geometry. Blade inspection data are available for the characterization of these geometric variations, and CFD analysis can be linked to the engine performance model, so that the effect of blade geometry variation on system-level performance characteristics can be quantified. Other elements of the case study included the use of engine performance and blade geometry data to perform Bayesian updating of the model inputs, such as efficiency adders and turbine tip clearances. A probabilistic engine performance model was developed, system-level sensitivity analysis performed, and the predicted distribution of engine performance metrics was calibrated against the observed distributions. This paper describes the model development approach and key simulation results. The benefits of using PM and UQ methods in the system-level framework are discussed. This case study was developed under Defense Advanced Research Projects Agency (DARPA) funding which is gratefully acknowledged.

scholarly journals Formal Verification of Health Assessment Tools: a Case Study

2016 ◽  
Vol 324 ◽  
pp. 31-50 ◽  
Author(s):  
Jonas Santos Bezerra ◽  
Andrei Costa ◽  
Leila Ribeiro ◽  
Érika Cota
Keyword(s):  
Formal Verification ◽  
Health Assessment ◽  
Assessment Tools

Single-Event Transient Case Study for System-Level Radiation Effects Analysis

2021 ◽  
pp. 1-1
Author(s):  
Michael J. Campola ◽  
Rebekah A. Austin ◽  
Edward P. Wilcox ◽  
Hak S. Kim ◽  
Raymond L. Ladbury ◽  
...  
Keyword(s):  
Radiation Effects ◽  
System Level ◽  
Single Event ◽  
Single Event Transient ◽  
Transient Case

Verdict Pending: Understanding Leadership Role Identity for North Carolina Judges and Lawyers

2018 ◽  
Vol 48 (2) ◽  
pp. 252-279
Author(s):  
Willow S. Jacobson ◽  
Sharon R. Paynter
Keyword(s):  
North Carolina ◽  
Public Service ◽  
Role Identity ◽  
Leadership Role ◽  
Motivational Orientation ◽  
System Level ◽  
Leadership Practice ◽  
Primary Focus ◽  
State Case

This article examines precursors to leadership practice, specifically through the lens of role identity. The assumption explored is that people are unlikely to engage in the hard work of leadership if they do not see that challenge as part of who they are and what they do, especially collaborative or system-level leadership. Role identity is, then, a critical building block in developing a deeper understanding of leadership intentions and actions especially in collaborative settings. Multiple judicial players, termed here “public service lawyers,” are investigated in this single-state case study that examines individuals’ view of their role and primary focus. Factors are examined that contribute to the construction of role perception. Results reveal that leadership training, the position one holds, and motivational orientation all influence the extent to which public service lawyers develop a view of their role that includes a broader system or collaborative orientation.

Sign in / Sign up

Export Citation Format

Share Document