• Title/Summary/Keyword: formal approach

Search Result 342, Processing Time 0.022 seconds

SDL-OPNET Co-Simulation Technique for the Development of Communication Protocols with an Integrated Approach to Functional Verification and Performance Evaluation (기능 검증 및 성능 평가 통합 접근 방법을 통한 통신 프로토콜 개발을 위한 SDL-OPNET 코-시뮬레이션 기법)

  • Yang, Qi-Ping;Kim, Tae-Hyong
    • Journal of the Korea Society for Simulation
    • /
    • v.19 no.2
    • /
    • pp.157-164
    • /
    • 2010
  • While both functional verification and performance evaluation of a system are necessary for the development of effective and reliable communication systems, they have been usually performed individually through functional modeling with formal language tools and performance modeling with professional network performance evaluation tools, respectively. However, separate and duplicated modeling of a system may cause increase of the cost and inconsistency between the models. In order to overcome this problem, this paper proposes an integrated design technique that estimates the performance of a communication protocol designed in SDL with SDL-OPNET co-simulation. The proposed technique presents how to design a co-simulation system with the environment functions of Tau and the external system module of OPNET. InRes protocol was used as an example to show the applicability and usefulness of the proposed technique.

Arabic Words Extraction and Character Recognition from Picturesque Image Macros with Enhanced VGG-16 based Model Functionality Using Neural Networks

  • Ayed Ahmad Hamdan Al-Radaideh;Mohd Shafry bin Mohd Rahim;Wad Ghaban;Majdi Bsoul;Shahid Kamal;Naveed Abbas
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.17 no.7
    • /
    • pp.1807-1822
    • /
    • 2023
  • Innovation and rapid increased functionality in user friendly smartphones has encouraged shutterbugs to have picturesque image macros while in work environment or during travel. Formal signboards are placed with marketing objectives and are enriched with text for attracting people. Extracting and recognition of the text from natural images is an emerging research issue and needs consideration. When compared to conventional optical character recognition (OCR), the complex background, implicit noise, lighting, and orientation of these scenic text photos make this problem more difficult. Arabic language text scene extraction and recognition adds a number of complications and difficulties. The method described in this paper uses a two-phase methodology to extract Arabic text and word boundaries awareness from scenic images with varying text orientations. The first stage uses a convolution autoencoder, and the second uses Arabic Character Segmentation (ACS), which is followed by traditional two-layer neural networks for recognition. This study presents the way that how can an Arabic training and synthetic dataset be created for exemplify the superimposed text in different scene images. For this purpose a dataset of size 10K of cropped images has been created in the detection phase wherein Arabic text was found and 127k Arabic character dataset for the recognition phase. The phase-1 labels were generated from an Arabic corpus of quotes and sentences, which consists of 15kquotes and sentences. This study ensures that Arabic Word Awareness Region Detection (AWARD) approach with high flexibility in identifying complex Arabic text scene images, such as texts that are arbitrarily oriented, curved, or deformed, is used to detect these texts. Our research after experimentations shows that the system has a 91.8% word segmentation accuracy and a 94.2% character recognition accuracy. We believe in the future that the researchers will excel in the field of image processing while treating text images to improve or reduce noise by processing scene images in any language by enhancing the functionality of VGG-16 based model using Neural Networks.

DYNAMIC ANALYSIS OF ATTENDANCE BEHAVIOR WITHIN CONSTRUCTION CREWS

  • Seungjun Ahn;Sungjoo Hwang;SangHyun Lee;Ian R. Gellatly;Moonseo Park
    • International conference on construction engineering and project management
    • /
    • 2013.01a
    • /
    • pp.539-545
    • /
    • 2013
  • Although individual-level factors (e.g., attitudes, personality) have long been associated with day-to-day attendance decisions, increasingly researchers have recognized "the social nature of attendance dynamics and their susceptibility to social control (Johns, 2008)." Implications of this social approach for research would be to focus attention on the causes and effects of absence culture (i.e., absence-related perceptions, beliefs, values), and the effects of absence culture on individual and group attendance within social units. Construction projects typically require workers to work in teams or crews on highly interdependent projects, and, thus, are particularly relevant contexts to study absence culture. In this paper we apply a system dynamics (SD) model to study absence culture by utilizing the advantages of SD in capturing a feedback process and state changes. We were particularly interested in: (a) the awareness of social norms within construction crews that pertained to attendance, (b) the interplay between formal attendance rules (policy) and these social norms, and (c) how these sources of influence affected the decision-making process of construction crew members. We expect that the results of this work will help construction organizations evaluate (or re-consider) the effects of their attendance control policies (e.g., timing, strength, and frequency) within a social context. Moreover, our findings suggest that the key to reducing excessive absences might be to invest time in influencing absence culture directly rather than imposing frequent and strict regulations - which, in turn, may inadvertently fortify a culture that works against the organization's interests.

  • PDF

Quantitative risk analysis of industial incidents occurring in trap boats (통발어선에서 발생하는 산업재해에 대한 정량적 위험성 분석)

  • Seung-Hyun LEE;Su-Hyung KIM;Kyung-Jin RYU;Yoo-Won LEE
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.60 no.2
    • /
    • pp.161-169
    • /
    • 2024
  • This study employs Bayesian network analysis to quantitatively evaluate the risk of incidents in trap boats, utilizing accident compensation approval data spanning from 2018 to 2022. With a dataset comprising 1,635 incidents, the analysis reveals a mortality risk of approximately 0.011 across the entire trap boat. The study significantly identifies variations in incident risks contingent upon fishing area and fishing processes. Specifically, incidents are approximately 1.22 times more likely to occur in coastal compared to offshore, and the risk during fishing processes outweighs that during maintenance operations by a factor of approximately 23.20. Furthermore, a detailed examination of incident types reveals varying incidence rates. Trip/slip incidents, for instance, are approximately 1.36 times more prevalent than bump/hit incidents, 1.58 times more than stuck incidents, and a substantial 5.17 times more than fall incidents. The study concludes by providing inferred mortality risks for 16 distinct scenarios, incorporating fishing areas, processes, and incident types. This foundational data offers a tailored approach to risk mitigation, enabling proactive measures suited to specific circumstances and occurrence types in the trap boat industry.

An exploratory study on fashion criticism in social media using text mining - Focusing on panel discussion of fashion show in YouTube - (텍스트 마이닝을 이용한 소셜 미디어의 패션 비평에 관한 탐색적 연구 - 유튜브의 패션쇼 Panel discussion을 중심으로 -)

  • Dawool Jung;Se Jin Kim
    • The Research Journal of the Costume Culture
    • /
    • v.32 no.2
    • /
    • pp.215-231
    • /
    • 2024
  • The changing media landscape has diversified how and what is discussed about fashion. This study aims to examine expert discussions about fashion shows on social media from the perspective of fashion criticism. To achieve this goal objectively, a text mining program, Leximancer, was used. In total, 58 videos were collected from the panel discussion section of Showstudio from S/S 21 to S/S 24, and the results of text mining on 24,080 collected texts after refinement are detailed here. First, the researchers examined the frequency of keywords by season. This revealed that in 2021-2022, digital transformation, diversity, and fashion films are now commonly used to promote fashion collections, often replacing traditional catwalk shows. From 2023, sustainability and virtuality appeared more frequently, and fashion brands focused on storytelling to communicate seasonal concepts. In S/S 2024, the rise of luxury brand keywords and an increased focus on consumption has been evident. This suggests that it is influenced by social and cultural phenomena. Second, the overall keywords were analyzed and categorized into five concepts: formal descriptions and explanations of the collection's outfits, sociocultural evaluations of fashion shows and designers, assessments of the commerciality and sustainability of the current fashion industry, interpretations of fashion presentations, and discussions of the role of fashion shows in the future. The significance of this study lies in its identification of the specificity of contemporary fashion criticism and its objective approach to critical research.

Transaxillary Capsulorrhaphy with Reimplantation to Correct Bottoming-Out Deformity in Breast Mycobacterial Periprosthetic Infection: A Case Report with Literature Review

  • Tsung-Chun Huang;Jian-Jr Lee;Kuo-Hui Yang;Chia-Huei Chou;Yu-Chen Chang
    • Archives of Plastic Surgery
    • /
    • v.50 no.6
    • /
    • pp.557-562
    • /
    • 2023
  • Augmentation mammoplasty is one of the most popular cosmetic surgeries, but there is a high reoperation rate (29.7%) commonly due to capsular contracture, implant malpositioning, infection, and unsatisfactory size. Although infection only accounts for 2% of cases, its management is very challenging, especially with nontuberculous mycobacteria (NTM) infection. Breast prosthetic NTM infection is a rare but is a disastrous condition with an incidence of approximately 0.013%. Immediate salvage reimplantation is usually not suggested, and most studies recommend a gap of 3 to 6 months after combination antibiotics therapy before reimplantation. However, delayed reimplantation often leads to great psychological stress and struggle between the doctor and patient. We present the case report of successful reimplantation in treating prosthetic NTM infections in a 28-year-old female. We discuss a novel technique "transaxillary capsulorrhaphy" to correct the bottoming-out deformity. One year after the combination of antibiotics and surgery, the follow-up computed tomography scan showed complete remission of NTM without recurrence. We discuss the surgical technique in detail. The 1-year follow-up assessment (photos and dynamic video) revealed good cosmesis and reliable correction using the new technique. This report is the first formal description and discussion of one-stage reimplantation following NTM infections. Transaxillary capsulorrhaphy allows for a successful salvage operation when an implant is displaced. This approach provides highly favorable result in eastern women undergoing revision augmentation mammoplasty. This study reflects level of evidence V, considering opinions of respected authorities based on clinical experience, descriptive studies, or reports of expert committees.

Endoscopic Management of Pineal Region Tumors with Associated Hydrocephalus (수두증을 동반한 송과체 부위 종양에 대한 내시경적 치료)

  • Kim, Jeong Hoon;Ra, Young Shin;Kim, Joon Soo;Ahn, Jae Sung;Kim, Chang Jin;Kwun, Byung Duk
    • Journal of Korean Neurosurgical Society
    • /
    • v.30 no.5
    • /
    • pp.575-580
    • /
    • 2001
  • Purpose : In general, pineal region tumors are managed by using microsurgical approach or stereoctactic biopsy. However, in selected cases endoscopic approach to pineal lesions might prove to be as effective as microsurgery and less invasive. We report an alternative surgical strategy for managing certain patients with pineal neoplasms that allows treatment of the symptomatic hydrocephalus as well as tumor biopsy under direct vision in the same sitting. Materials and Methods : Twenty-two patients with pineal region tumors with associated hydrocephalus were treated in one session by endoscopic third ventriculostomy and endoscopic tumor biopsy at our institution from October 1996 to January 2000. All patients were retrospectively evaluated. Results : There was no operative mortality. There was one cause of significant bleeding during biopsy, but was controlled endoscopically, and the patient recovered completely without neurologic deficit resulting from intra-operative bleeding. The symptoms related to increased intracranial pressure(ICP) have resolved in all patients, and the need for a shunt is completely eliminated. Histological diagnosis was achieved in 21 of the 22 patients by this procedure. A biopsy was not obtained in one patient. Although this pineal region tumor was seen endoscopically, this could not be biopsied because of technical difficulties in working around an enlarged massa intermedia. The lesions included fourteen germinomas, three mixed germ cell tumors, and one each of the followings: pineocytoma, pineoblastoma, pineocytoma/pineoblastoma(intermediate type), meningioma, and low grade glioma. Five of the 22 patients subsequently underwent formal microsurgical tumor removal. Additional chemotherapy or radiotherapy could then be initiated according to the histological diagnosis. Conclusion : We consider that endoscopy affords a minimally invasive way of reaching three objectives by one-step surgery in the management of pineal region tumors with associated hydrocephalus : 1) cerebrospinal fluid(CSF) sample for analysis of tumour markers and cytology, 2) treatment of hydrocephalus by third ventriculostomy, and 3) several biopsy specimens can be obtained identifying tumors which will require further open surgery or adjuvant radiation and/or chemotherapy. However, complications and morbidities should be emphasized so as to be avoided with further technical experience.

  • PDF

Integrating market chain assessments with zoonoses risk analysis in two cross-border pig value chains in Lao PDR

  • Okello, Anna L;Tiemann, Tassilo T;Inthavong, Phouth;Khamlome, Boualam;Phengvilaysouk, Ammaly;Keonouchanh, Soukanh;Keokhamphet, Chattouphone;Somoulay, Virasack;Blaszak, Kate;Blacksell, Stuart D;Okello, Walter O;Allen, John
    • Asian-Australasian Journal of Animal Sciences
    • /
    • v.30 no.11
    • /
    • pp.1651-1659
    • /
    • 2017
  • Objective: Lao PDR's recent accession to the World Trade Organization necessitates a greater understanding of the patterns and risk of livestock production in order to better align national policy with the Agreement on the Application of Sanitary and Phytosanitary Measures. This eco-health study was conducted to improve understanding of the interrelations between market chains and zoonotic infection risks at two strategic cross border points between Lao PDR, Thailand and Viet Nam. Methods: Information gained from smallholder farmer/trader interviews was integrated with serological surveys for pig-associated zoonoses-including hepatitis E virus (HEV), Taenia solium (T. solium) and trichinella-to identify potential linkages between disease risk and pig production and slaughter in low input systems common across the country. Results: Trichinella and HEV exposure was high in both humans and pigs in both study areas, significantly associated with pig slaughter and the subsequent consumption and handling of raw pork products. T. solium demonstrated a strong geographical and ethnic association with the northern study area bordering Vietnam. With the right knowledge and accessible, affordable inputs, the majority of smallholder farmers indicated a willingness to invest more in pig production, which could simultaneously improve livelihoods and decrease exposure to HEV, Trichinella, and T. solium through increased access to formal markets and an improved slaughter processes. Conclusion: The linkages identified when assessing disease risk in the context of potential economic and cultural drivers of transmission highlight the importance of a systems-based approach for the detection and control of zoonotic disease, and contributes to an improved understanding of the Lao PDR livestock sector.

Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming (선형 계획법을 이용한 Timing Diagram의 테스트 입력 시퀀스 자동 생성 전략)

  • Lee, Hong-Seok;Chung, Ki-Hyun;Choi, Kyung-Hee
    • The KIPS Transactions:PartD
    • /
    • v.17D no.5
    • /
    • pp.337-346
    • /
    • 2010
  • Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

A Study on the Social Welfare Countermeasures against the Abuse of the Elderly (노인학대에 대한 사회복지적 대응방안에 관한 연구)

  • Bae, Na-Rae;So, Kwon-Seob
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.20 no.12
    • /
    • pp.333-339
    • /
    • 2019
  • Our country has become an aging society with unparalleled speed, compared to other advanced countries. Many of the elderly are physically, economically, and psychologically dependent; this dependence is a factor that increases the cost burden not only on the children and relatives of the elderly, but also at the social level. Under the prevailing environment of the family-oriented informal support system, the burden of support for elderly parents who rely on limited resources is highly likely to lead to abuse. Until now, dealing with the abuse of senior citizens has been mostly a one-off approach through media rather than academics. Therefore, this study attempts to take an objective approach to the elder abuse problem (which has so far been dealt with in the media as a form of domestic violence) in order to grasp the specificity and factors of elder abuse and to present the Korean situation with regard to elder abuse. In addition, this study seeks to find ways to prevent elder abuse in formal and informal ways.