scholarly journals THE FORMAL ANALYSIS IN THE CHANGOEOK-GUNG DETACHED PALACE : Layering of superimposed scenes in architectural form (Part II)

1983 ◽  
Vol 326 (0) ◽  
pp. 167-175
Author(s):  
KWANG HYUN KIM
Keyword(s):  
Formal Analysis ◽  
Architectural Form ◽  
Form Part

scholarly journals The Ethics of Human–Animal Relationships and Public Discourse: A Case Study of Lions Bred for Their Bones

Animals ◽  
2019 ◽  
Vol 9 (2) ◽  
pp. 52 ◽  
Author(s):  
Peter Coals ◽  
Dawn Burnham ◽  
Andrew Loveridge ◽  
David W. Macdonald ◽  
Michael ’t Sas-Rolfes ◽  
...  
Keyword(s):  
Public Discourse ◽  
Wildlife Conservation ◽  
Formal Analysis ◽  
Decision Makers ◽  
Ethical Considerations ◽  
Ethical Argument ◽  
Form Part ◽  
Decision Making Processes ◽  
Human Animal

Conservation and natural resource management are increasingly attending the ethical elements of public decisions. Ethical considerations are challenging, in part, because they typically require accounting for the moral consideration of various human and nonhuman forms of life, whose interests sometimes conflict (or seem to conflict). A valuable tool for such evaluations is the formal analysis of ethical arguments. An ethical argument is a collection of premises, logically interrelated, to yield a conclusion that can be expressed in the form, “We ought to…” According to the rules of logic, a conclusion is supported by an argument if all its premises are true or appropriate and when it contains no mistaken inferences. We showed how the formal analysis of ethical arguments can be used to engage stakeholders and decision-makers in decision-making processes. We summarised the method with ten specific guidelines that would be applicable to any case. We illustrated the technique using a case study focused on captive-bred lions, the skeletons of which form part of an international trade to supply traditional medicine markets in Southeast Asia with felid bones. As a matter of public policy, the practice is a complicated nexus of concerns for entrepreneurial freedom, wildlife conservation, and the fair treatment of animals.

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Using a Multisectoral Approach in Tackling Child Sexual Abuse: Lessons from a Zimbabwean Case Study

2020 ◽  
Vol 32 (1) ◽  
Author(s):  
Noel Muridzo ◽  
Victor Chikadzi
Keyword(s):  
Sexual Abuse ◽  
Child Sexual Abuse ◽  
Justice System ◽  
Child Survivors ◽  
Integrated Service Delivery ◽  
Improved Outcomes ◽  
Form Part ◽  
Role Players ◽  
Areas Of Concern

Child sexual abuse is one of the prevalent social ills that affect children in Zimbabwe. In response to the problem of child sexual abuse and the need to mitigate its adverse effects, Zimbabwe established the Victim Friendly System. The Victim Friendly System is a multisectoral forum made up of social workers, medical doctors, nurses, the police force and role players within the justice system such as magistrates, prosecutors, counsellors, educationists and psychologists. These professionals offer distinctive but complementary interventions to child survivors of child sexual abuse. This paper discusses the merits and lessons gleaned from using the Victim Friendly System as a multisectoral forum to tackle child sexual abuse. In researching this phenomenon, the study adopted a qualitative approach and data were collected from 38 participants and 4 key informants selected using theoretical and purposive sampling respectively. A total of 300 court files of child sexual abuse cases were also reviewed. The findings that emerged from the study show that a multisectoral approach to dealing with child sexual abuse provides the benefit of integrated service delivery. Improved outcomes for victims of sexual abuse as well as streamlined, effective and efficient operations for organisations that form part of the Victim Friendly System were also evident. This notwithstanding, the paper also discusses some areas of concern that could potentially affect how the Victim Friendly System multisectoral arrangement works. The lessons that emerged from the study provide some insights that are useful in informing guidelines for multisectoral arrangements.

Tshivenda Female Attire: A Socio-cultural Significance

2018 ◽  
Vol 28 (2) ◽  
Author(s):  
Matodzi Rebecca Raphalalani ◽  
Mashudu Churchill Mashige
Keyword(s):  
Higher Education ◽  
Literature Review ◽  
Indigenous Knowledge ◽  
Document Analysis ◽  
Age Group ◽  
Cultural Significance ◽  
Cultural Meanings ◽  
Form Part ◽  
Dress Codes ◽  
Verbal Meaning

This study investigated, through observation of the Tshivenḓa female dress codes, the socio-cultural significance of such dress codes as a means of non-verbal communication. The non-verbal meaning embedded in different items of dresses conveys messages from the wearers to observers. The study adopted  a qualitative  design, since it used  document analysis and literature review as a means to adduce evidence that Tshivenḓa dress codes not only communicate socio-cultural meanings to the observer, but also signify gender, age group, rank, authority, status, and identity, as well as power relations—including the supernatural and the sacred. The study also revealed that there are dress codes that are specifically worn during initiation ceremonies among the Vhavenḓa people. In conclusion, we recommend that knowledge of Tshivenḓa dress codes should form part of the overall indigenous knowledge that needs to be studied in institutions of basic and higher education, and that for the sake of preserving this valuable information, communities need to be proactive in disseminating it to the younger generation.

Contributions of a Formal Analysis Metaprocess to Breakthrough Failure Analysis Results

2003 ◽  
Author(s):  
Steve Ferrier ◽  
Kevin D. Martin ◽  
Donald Schulte
Keyword(s):  
Failure Analysis ◽  
Formal Analysis ◽  
Photon Emission ◽  
Flow Analysis ◽  
Formal Structure ◽  
Ic Design ◽  
Analysis Process ◽  
Secondary Failure ◽  
Leakage Failure ◽  
Wafer Manufacturing

Abstract Application of a formal Failure Analysis metaprocess to a stubborn yield loss problem provided a framework that ultimately facilitated a solution. Absence of results from conventional failure analysis techniques such as PEM (Photon Emission Microscopy) and liquid crystal microthermography frustrated early attempts to analyze this low-level supply leakage failure mode. Subsequently, a reorganized analysis team attacked the problem using a specific toplevel metaprocess.(1,a) Using the metaprocess, analysts generated a specific unique step-by-step analysis process in real time. Along the way, this approach encouraged the creative identification of secondary failure effects that provided repeated breakthroughs in the analysis flow. Analysis proceeded steadily toward the failure cause in spite of its character as a three-way interaction among factors in the IC design, mask generation, and wafer manufacturing processes. The metaprocess also provided the formal structure that, at the conclusion of the analysis, permitted a one-sheet summary of the failure's cause-effect relationships and the analysis flow leading to discovery of the anomaly. As with every application of this metaprocess, the resulting analysis flow simply represented an effective version of good failure analysis. The formal and flexible codification of the analysis decision-making process, however, provided several specific benefits, not least of which was the ability to proceed with high confidence that the problem could and would be solved. This paper describes the application of the metaprocess, and also the key measurements and causeeffect relationships in the analysis.

Factores de éxito en las webs de contenidos audiovisuales. Análisis cualitativo comparado

2021 ◽  
Author(s):  
Susana Fernández-Lores ◽  
Gema Martínez-Navarro ◽  
Diana Gavilán
Keyword(s):  
Success Factors ◽  
Formal Analysis ◽  
Qualitative Comparative Analysis ◽  
Point Of View ◽  
Key Factors ◽  
Ticket Sales ◽  
Critical Success ◽  
Analysis Technique ◽  
Evolution Of Technology ◽  
Content Recommendation

The evolution of technology and the digital empowerment of society have led to the proliferation of Audiovisual Content Webs (ACWs) where users can share information and experiences, along with other commercial resources. ACWs have led to significant changes in the way users can select and access audiovisual content. The design of these websites combines various features, including a user community, streamed content, ticket sales, and recommendations, among others. Each ACW has a specific profile with respect to the mentioned variables. The aim of this study is to identify the critical success factors for a ACW, i.e., which features and the form they should take to attract followers, thus increasing the capacity to prescribe and broadcast content. Using qualitative comparative analysis (QCA), a formal analysis technique that allows the identification of combinations that produce a certain result, a sample of the 12 most representative cinema websites in Spain is analyzed. The results indicate that the incorporation of content recommendation systems and the connection with streaming platforms through which the content can be accessed are key factors in the success of these ACWs. This work contributes academically to the knowledge and explanation of audience behavior in the new audiovisual scenario. From a professional point of view, relevant design suggestions are offered to platform creators. Finally, the limitations of this work are described, and future lines of research are considered. Resumen La evolución de la tecnología y el empoderamiento digital de la sociedad ha dado lugar a la proliferación de webs de contenidos audiovisuales (WCA) donde los usuarios comparten información y experiencias, junto a otros recursos comerciales. Las WCA han provocado cambios significativos en la forma en la que los usuarios pueden seleccionar y acceder a los contenidos audiovisuales. En su diseño, estas webs combinan varias prestaciones: comunidad de usuarios, contenidos en streaming, venta de entradas o recomendaciones, entre otros. Cada WCA presenta un perfil específico respecto a las variables descritas. El objetivo del presente trabajo es identificar los factores críticos de éxito de una WCA, es decir las prestaciones y la forma que deben adoptar para captar seguidores, aumentando con ello capacidad de prescripción y difusión de contenidos. Mediante el análisis cualitativo comparado (QCA), técnica formal de análisis que permite la identificación de combinaciones que producen un determinado resultado, se analiza una muestra de las 12 webs de cine más representativas en España. Los resultados indican que la incorporación de sistemas de recomendación de contenidos y la conexión con plataformas en streaming desde las que poder acceder a los contenidos son factores claves del éxito. El trabajo contribuye académicamente al conocimiento y la explicación de la conducta de la audiencia en el nuevo escenario audiovisual. Desde el punto de vista profesional se ofrecen sugerencias relevantes de diseño para los creadores de plataformas. Por último, se describen las limitaciones del trabajo y se plantean futuras líneas de investigación.

Sign in / Sign up

Export Citation Format

Share Document