• Safety and Health at Work
• /
• v.15 no.3
• /
• pp.327-337
• /
• 2024

Background: As the tremendous impact of extreme workloads, arduous working conditions, and disorganization disrupt humane job definitions in some industries, the need for workplace re-articulation was interfered to ameliorate psycho-social factors and suggest organizational intervention strategies. Especially for colossally wounded health-care (HC) systems, today it is now even more unrealizable to retain workforce resilience considering the immense impact of overwhelming working conditions. Methods: This study introduces employment of concurrent engineering tools to re-design humane workplaces annihilating abatement over devoured resources. The study handles HC-workforce resilience in a pioneering motive to introduce transformation of well-known motivators and proposes solutions for retention and resilience issues grounding on HC workers' own voice. Results: The proposed adjustable approach introduces integral use of focus group studies, SWARA, and QFD methods, and was practiced on a real-world case regarding Turkish HC workforce. The paper also presents widespread effects of findings by tendering generalized psycho-social rehabilitation strategies. Results confirmed the modifications of the most potent incessant motivators. Conclusion: "Burn out issues" and "Challenging work" were found as the most important motivator and satisfier, respectively, to be exigently fulfilled. Corrective interventions, required resolutions, and workplace articulation connotations were arbitrated in terms of entire outcomes on four dimensions in three different planning periods considering the current status, repercussions of pandemic, and contingency of similar catastrophes. Descriptive illustrations were additionally presented to support deducted interpretations.

• Journal of KIISE:Software and Applications
• /
• v.28 no.10
• /
• pp.706-719
• /
• 2001

In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.2
• /
• pp.9-19
• /
• 2017

Useful continuous sensing applications are increasingly emerging as a new class of mobile applications. Meanwhile, open, multi-use sensor devices are newly adopted beyond smartphones, and provide huge opportunities to expand potential application categories. In this upcoming environment, uncoordinated use of sensor devices would cause severe imbalance in power consumption of devices, and thus result in early shutdown of some sensing applications depending on power-hungry devices. In this paper, we propose EnergyCordy, a novel inter-device energy use coordination system; with a system-wide holistic view, it coordinates the energy use of concurrent sensing applications over multiple sensor devices. As its key approach, we propose a relaxed sensor association; it decouples the energy use of an application from specific sensor devices leveraging multiple context inference alternatives, allowing flexible energy coordination at runtime. We demonstrated the effectiveness of EnergyCordy by developing multiple example applications over custom-designed wearable senor devices. We show that EnergyCordy effectively coordinates the power usage of concurrent sensing applications over multiple devices and prevent undesired early shutdown of applications.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.573-575
• /
• 2000

COncurrent Design Approach for Real-Time System(CODARTS) 방법론은 Gomaa에 의해 제안된 실시간 소프트웨어 설계 방법론으로서 분석 단계에서 CORBA 방법을 사용하여 시스템의 객체와 함수들을 식별하고 행동 모델을 개발한다. 그리고 설계 단계에서는 병렬 태스크 구조화 지침 및 정보 은닉 모듈 구조화 지침을 적용하여 해동 모델의 객체와 함수들을 병렬 태스크와 정보 은닉 모듈들로 구조화한다. 마지막으로 병렬 태스크와 저오 은닉 모듈을 결합하여 소프트웨어 구조를 개발하고 구현 단계를 수행한다. 소프트웨어 구조를 개발하고 구현 단계를 수행하기 위해서는 병렬 태스크의 행동 특성이나 태스크간의 인터페이스가 정확히 명시되어야 한다. 이는 분석 단계에서 식별된 객체와 함수들에서 태스크에 대한 정보를 추출함으로써 이루어질수 있다. 본 논문에서는 행동 모델의 객체와 함수들로부터 병렬 태스크에 대한 행동 특성 정보 추출방법을 제안하고 태스크 사이의 인터페이스를 결정하는 방법을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.463-465
• /
• 1998

COncurrent Design Approach for Real-Time System(이하 COSATRS) 방법론은 Gomaa가 제안한 실시간 설계 방법론으로서 Real-Time Structured Analysis(이하 RTSA)또는 Concurrent Object-Based Real-Time Analysis(이하 COBRA)방법론을 이용하여 Control and Data Flow Diagram(이하 C&DFD)를 구성하고 이것에 병렬 태스크 구조화 지침, 정보 은닉 모듈 구조화 지침을 적용하여 Task Architecture Diagram (이하 TDA), Information Hiding Module(이하 IHM)을 구성하고 나서 이 둘을 결합하여 Software Architecture Diagram(이하 SAD)를 구성하게 된다. 본 논문에서는 CODARTS 방법론의 적용과정을 테이블을 구성하여 적용함으로써 실시간 S/W 설계 지원 시스템을 설계하였다.

• Journal of Korean Institute of Industrial Engineers
• /
• v.22 no.3
• /
• pp.427-440
• /
• 1996

Constraint networks are a major approach to knowledge representation in Concurrent Engineering (CE) systems. The networks model various factors in CE as constraints linked by shared variables. Many systems have been developed to assist constraint network processing. While these systems can be useful, their underlying assumption that a solution must simultaneously satisfy all the constraints is often unrealistic and hard to achieve. Proposed in this paper is a hierarchical representation of constraint networks using priorities, namely Prioritized Constraint Network (PCN). A mechanism to propagate priorities is developed, and a new satisfiability definition taking into account the priorities is described. Strength of constraint supporters can be derived from the propagated priorities. Several properties useful for investigating PCN's and finding effective solving strategies ore developed.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.241-250
• /
• 1999

Gomaa에 의해 제안된 CODARTS(Concurrent Design Approach for Real-Time System)방법론은 COBRA(Concurrent Object-based Real-Time Analysis)을 사용하여 실시간 시스템의 행동 모델을 개발하고 행동 모델에서 병렬 태스크 구조로 변환하는 데 도움을 주는 태스크 구성 지침을 제공한다. CODARTS에서는 태스크 구성 지침을 RTSA(Real-Time System Analysis)표기법으로 표현된 행동 모델에 적용하여 태스크를 구성한다. 그러나 RTSA 표기법에는 태스크를 구성하는데 필요한 실행 성질 및 주기, 이벤트의 병렬성 및 순서와 같은 정보들을 기술하지 않기 때문에 직접 태스크 구성 지침을 적용하는 것은 어렵다. 본 논문에서는 CODARTS 방법론의 분석단게에서 태스크 구성에 필요한 정보를 통합적으로 나타낼 수 있는 STS (Specification for Task Structuring)를 제안한고 이를 이용하여 태스크를 자동적으로 구성할 수 있는 알고리즘과 적용 예제를 보인다.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.2
• /
• pp.899-904
• /
• 2014

Concurrent chemo-radiation (CRT) has been established as the standard of care for non-metastatic loco-regionally advanced nasopharyngeal carcinoma (NPC) but recently the addition of induction chemotherapy in the already established regimen has presented an attractive multidisciplinary approach. This retrospective study was carried out to evaluate the efficacy of induction chemotherapy (IC) followed by CRT for the management of loco-regionally advanced NPC. Between July 2005 and September 2010, 99 patients were treated with cisplatin based IC followed by CRT. Induction chemotherapy included a 2 drug combination; intravenous gemcitabine $1000mg/m^2$ on day 1 and 8 and cisplatin $75mg/m^2$ on day 1 only. Radiotherapy (RT) was given as a phase treatment to a total dose of 70 Gy in 35 fractions. Concurrent cisplatin ($75mg/m^2$) was administered to all patients on days 1, 22 and 43. All patients were evaluated for tumor response and adverse effects after IC and 6 weeks after the completion of the treatment protocol. Statistical analysis was performed using SPSS version 17 and Kaplan Meier estimates were applied to project survival. Median follow-up duration was 20 months. The 5-year overall survival (OS), loco regional control (LRC) and relapse free survival (RFS) rates were 71%, 73% and 50%respectively. Acute grade 4 toxicity related to induction chemotherapy and concurrent chemo-radiation was 4% and 2% respectively, with only 3 toxicity-related hospital admissions. We conclude that induction gemcitabine and cisplatin followed by chemo-radiation is a safe and effective regimen in management of nasopharyngeal carcinoma, meriting further investigation in randomized clinical trials.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.34 no.2
• /
• pp.112-120
• /
• 2011

The early phase of design intrinsically contains multiple sources of uncertainty in describing design, and nevertheless the decision-making process at this phase exerts a critical effect upon drawing a successful design. This paper proposes a set-based design approach for multi-objective design problem under uncertainty. The proposed design approach consists of four design processes including set representation, set propagation, set modification, and set narrowing. This approach enables the flexible and robust design while incorporating designer's preference structure. In contrast to existing optimization techniques, this approach generates a ranged set of design solutions that satisfy changing sets of performance requirements.