• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.364-364
• /
• 2000

Timed Petri Net(TPN) is one of methods to model and to analyze Discrete Event Dynamic Systems(DEDSs) with real time values. It has two time values, earliest firing time ($\alpha$$_{i}$) and latest firing time ($\beta$$_{I}$) for the each transition. A transition of TPN is fired at arbitrary time of time interval ($\alpha$$_{I}$, $\beta$$_{i}$). Uncertainty of firing time gives difficulty to analyze and estimate a modeled system. In this paper, we proposed the Fuzzy Transition Timed Petri Net(FTTPN) with fuzzy theory to determine the optimal transition time (${\gamma}$$_{i}$). The transition firing time (${\gamma}$$_{i}$) of FTTPN is determined from fuzzy controller which is modeled with information of state transition. Each of the traffic signal controllers are modeled using the proposed method and timed petri net. And its Performance is evaluated by simulation of traffic signal controller. controller.

• Smart Structures and Systems
• /
• v.29 no.1
• /
• pp.1-16
• /
• 2022

Despite recent breakthroughs in deep learning and computer vision fields, the pixel-wise identification of tiny objects in high-resolution images with complex disturbances remains challenging. This study proposes a modified U-net for tiny crack segmentation in real-world steel-box-girder bridges. The modified U-net adopts the common U-net framework and a novel Self-Attention-Self-Adaption (SASA) neuron as the fundamental computing element. The Self-Attention module applies softmax and gate operations to obtain the attention vector. It enables the neuron to focus on the most significant receptive fields when processing large-scale feature maps. The Self-Adaption module consists of a multiplayer perceptron subnet and achieves deeper feature extraction inside a single neuron. For data augmentation, a grid-based crack random elastic deformation (CRED) algorithm is designed to enrich the diversities and irregular shapes of distributed cracks. Grid-based uniform control nodes are first set on both input images and binary labels, random offsets are then employed on these control nodes, and bilinear interpolation is performed for the rest pixels. The proposed SASA neuron and CRED algorithm are simultaneously deployed to train the modified U-net. 200 raw images with a high resolution of 4928 × 3264 are collected, 160 for training and the rest 40 for the test. 512 × 512 patches are generated from the original images by a sliding window with an overlap of 256 as inputs. Results show that the average IoU between the recognized and ground-truth cracks reaches 0.409, which is 29.8% higher than the regular U-net. A five-fold cross-validation study is performed to verify that the proposed method is robust to different training and test images. Ablation experiments further demonstrate the effectiveness of the proposed SASA neuron and CRED algorithm. Promotions of the average IoU individually utilizing the SASA and CRED module add up to the final promotion of the full model, indicating that the SASA and CRED modules contribute to the different stages of model and data in the training process.

• Journal of Korea Multimedia Society
• /
• v.10 no.6
• /
• pp.745-753
• /
• 2007

The wireless medium is known to be time-varying which could affect and result to a poor network's performance. As a solution, an opportunistic scheduling and power control algorithm based on IEEE 802.11 MAC protocol is proposed in this paper. The algorithm opportunistically exploits the channel condition for better network performance. Convex optimization problems were also formulated i.e. the overall transmission power of the system is minimized and the "net-utility" of he system is maximized. We have proven that an optimal transmission power vector may exist, satisfying the maximum power and SINR constraints at all receivers, thereby minimizing overall transmission power and maximizing net-utility of the system.

• Journal of Advanced Navigation Technology
• /
• v.21 no.2
• /
• pp.187-192
• /
• 2017

The compensation characteristics of the distorted WDM channels compensated for by dispersion management (DM) and optical phase conjugation in the long-haul (50 fiber spans ${\times}80km$) transmission link with the randomly distributed single mode fiber (SMF) length and residual dispersion per spans (RDPS) are investigated as a function of the arrangement of SMF and dispersion compensating fiber (DCF) and the control position of net residual dispersion (NRD). It is confirmed that the compensation effect of the distorted WDM channels strongly depends on the arragement of SMF and DCF, rather than the control position of NRD.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Journal of Satellite, Information and Communications
• /
• v.12 no.2
• /
• pp.71-78
• /
• 2017

A network neutrality is the concept that ISP assures users non-discrimination, interconnection, accessibility for ensuring users without control or interference of equal services in the network. But today a network traffic is growing rapidly in sensitive buffering services as P2P service diffusion and mass video stream service. To manage this problem, ISP violates a net neutrality by control, change and interfere with service. And then the debate about net neutrality is happening. Therefore in this paper, we compare and analyze net neutrality principles, concepts, and legislative policy in the native and foreign. Based on this, we suggested the issues and improvement plan of net neutrality guard line.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.227-230
• /
• 2006

인터넷이라는 물리적 네트워크 인프라가 점차 안정화된 후, 인터넷 서비스 사용자의 기하급수적 확대로 인한 서비스되는 콘텐츠의 양의 빅뱅 속에서 관련된 콘텐츠와 서비스의 효율적인 관리의 필요성이 절실히 대두되었다. 이에 IT 전반에 걸쳐 화두로 등장한 이슈가 바로 CMS의 도입이다. 이에 본 논문에서는 CMS의 정의와 그 필요성과 도입효과에 대해서 살펴보고, 다른 일반적인 시스템과 비교하여.Net Framework 환경에서의 CMS 구현의 특징과 장점에 대해서 살펴보고 실제로 한국형 환경에 걸맞게 구현한 K-Contents Pathfinder System에서 커스터마이즈된 Control, Placeholder, Work flow들의 기능에 대해서 요약 설명한다.

• The Journal of Society for e-Business Studies
• /
• v.1 no.1
• /
• pp.227-247
• /
• 1996

Presented in this paper is a control model for developing virtual factory simulator, which is being operated under the distributed environment. The control model consists of production activity plan and information flows. To incorporate elements of the characteristics of the distributed control system, we suggested a collaboration model. This model is working under the client/server architecture, and also designed for cooperative-distributed shop control(CDSC) system in order to exploit several advantages of client/server architecture. Collaboration among each agent(or client) is done through negotiation and task sharing. Based on a contract net model, the CDSC system has three kinds of agents-order agent, resource agent, and communication forwarding agent. Each agent performs shop scheduling and control through negotiation on contract net. No node in CDSC system can have authority over other node. A bidding scheme is employed far negotiation between order agent and resource agents. The CDSC system can support re-negotiation among resource agents and an algorithm for re-negotiation is also developed. Experimental results are shown to advocate the effectiveness of the CDSC system for CIM environments.

• Journal of Internet Computing and Services
• /
• v.3 no.4
• /
• pp.19-26
• /
• 2002

Workflow Management Systems(WFMSs) is a software system that supports that specification and execution of business processes. In this paper, we proposed Multi Agent Based Workflow Modeling System which was implemented by Java application. The proposed workflow modeling system is divided into four agents; Session, Organization, Relevant Data. Invoked Application. We adapted ICN(Information Control Net) to check workflow model syntax, And the proposed modeling system provide the function to import/export WPDL which was defined in WfMC.

• Journal of Information Technology Services
• /
• v.14 no.4
• /
• pp.221-236
• /
• 2015

Application software is delivered to customers as a form of service at cloud environment. A cloud service provider is a marketplace between supply side (application providers) and demand side (customers). Cloud service providers have to validate applications to be included in their service portfolio. Not only performance, security, networking, compliances should be checked but also business contract, authentication should be provided. Organization customers are more sensitive to these validation criteria and process. We study the Internet2 NET+, which is a successful cloud marketplace of applications for research and education organizations. This case study shows us three things : (i) a cloud marketplace's application management process : selection, validation, transition to service, customization of applications (ii) what a cloud marketplace has for its infrastructure like authentication, security, access control etc. (iii) what a cloud marketplace has as its governance structure. This case study will provide informative analysis of Internet2 NET, a profit-making vertical and buyer's marketplace (education industry). And we will get some strategic implications for planning and implementing cloud marketplaces.