• Title/Summary/Keyword: Control Transition

Search Result 961, Processing Time 0.029 seconds

Social security aimed disaster response policy based on Big Data application (사회안전을 위한 빅데이터 활용의 재난대응 정책)

  • Choung, Young-chul;Choy, Ik-su;Bae, Yong-guen
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.20 no.4
    • /
    • pp.683-690
    • /
    • 2016
  • In modern society, disasters frequently occur, and the effect is getting more massive. Also, unpredictable future increases anxiety about social security. Accordingly, in order to prevent national-scale emergency from happening, it is highly required governments' role as ICT power nation and transition to disaster management system using big data applied service. Thus, e-gov necessarily acquires disaster response system in order to predict and manage disasters. Disasters are linked with some attributes of modern society in diversity, complexity and unpredictability, so various approach and remedies of them will appease the nation's anxiety upon them. For this reason, this manuscript suggests epidemics preactive warning algorithm model as a mean of reduce national anxiety on disaster using big data for social security. Also, by recognizing the importance of e-gov and analyzing problems in weak disaster management system, it suggests political implication for disaster response.

Logical Analysis of Real-time Discrete Event Control Systems Using Communicating DEVS Formalism (C-DEVS형식론을 이용한 실시간 이산사건 제어시스템의 논리 해석 기법)

  • Song, Hae Sang;Kim, Tag Gon
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.4
    • /
    • pp.35-46
    • /
    • 2012
  • As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

S100A4 Expression is Closely Linked to Genesis and Progression of Glioma by Regulating Proliferation, Apoptosis, Migration and Invasion

  • Jin, Ting;Zhang, Zhuo;Yang, Xue-Feng;Luo, Jun-Sheng
    • Asian Pacific Journal of Cancer Prevention
    • /
    • v.16 no.7
    • /
    • pp.2883-2887
    • /
    • 2015
  • Background: The calcium-binding S100A4 protein is involved in epithelial to mesenchymal transition, oncogenic transformation, angiogenesis, cytoskeletal integrity, mobility and metastasis of cancer cells. This study aimed to clarify the roles of S100A4 in genesis and progression of glioma. Materials and Methods: S100A4 expression was examined by real-time RT-CPR and Western blot in glioma and paired normal brain tissue (n=69), and compared with clinicopathological parameters of tumors. In addition, glioma U251 cells transfected with an S100A4-expressing plasmid were examined for proliferation by MTT, apoptosis by Annexin V-FITC, and migration and invasion with Transwell chambers. Results: Increased S100A4 mRNA expression was found in gliomas, compared with paired non-tumor tissue (p<0.001). Gradual elevation of overexpression of S100A4 was observed with increasing glioma grade (p<0.001). Astrocytoma showed lower S100A4 mRNA expression than oligodendrogliomas, with glioblastomas having highest values (p<0.001). Similar results were obtained for S100A4 protein, a positive link being found between mRNA and protein expression in gliomas (p<0.001). There was higher growth, lower apoptosis, stronger migration and invasion of S100A4 transfectants than control and mock transfected cells (p<0.001). Conclusions: These findings indicate that up-regulated S100A4 expression is positively linked to pathogenesis, progression and histogenesis of glioma by modulating proliferation, apoptosis, migration and invasion.

A Study on 8kbps FBD-MPC Method Considering Low Bit Rate (Low Bit Rate을 고려한 8kbps FBD-MPC 방식에 관한 연구)

  • Lee, See-Woo
    • Journal of Digital Convergence
    • /
    • v.12 no.6
    • /
    • pp.271-276
    • /
    • 2014
  • In a speech coding system using excitation source of voiced and unvoiced, it would be involved a distortion of speech quality in case coexist with a voiced and unvoiced consonants in a frame. In this paper, I propose a method of 8kbps Multi-Pulse Speech Coding(FBD-MPC: Frequency Band Division MPC) by using TSIUVC(Transition Segment Including Unvoiced Consonant) searching, extraction and approximation-synthesis method in a frequency domain. I evaluate the 8kbps MPC and FBD-MPC. As a result, SNRseg of FBD-MPC was improved 0.5dB for female voice and 0.2dB for male voice respectively. Compared to the MPC, SNRseg of FBD-MPC has been improved that I was able to control the distortion of the speech waveform finally. And so, I expect to be able to this method for cellular phone and smart phone using excitation source of low bit rate.

Analysis Simultaneously Switching Density Using Ring Oscillator (Ring Oscillator를 이용한 신호의 동시 스위칭 밀도 분석)

  • Jeong, Sang-Nam;Baeg, Sang-Hyeon
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.45 no.9
    • /
    • pp.79-84
    • /
    • 2008
  • Switching speeds increase in both frequency and the transition rate of edges. Inadequate forecast for simultaneous switching signals may cause designing the power planes without sufficient current capability. The delay of critical signals in a chip can be therefore inadvertently increased and the situation makes it hard to debug issues. It is important to find the degree of increased switching during the debugging or chip characterization phases. This paper proposes the interpolation method to predict the switching density in a design. The interpolation was achieved by utilizing the dependencies between switching frequency and the delay appeared in a ring oscillator. The ring oscillator was primarily used to accumulate the effects of the ground bounce by higher switching. The result of interpolation was demonstrated using DongBu Hitec 0.18um CMOS technology.

Design of a Timing Error Detector Using Built-In current Sensor (내장형 전류 감지회로를 이용한 타이밍 오류 검출기 설계)

  • Kang, Jang-Hee;Jeong, Han-Chul;Kwak, Chol-Ho;Kim, Jeong-Beom
    • Journal of IKEEE
    • /
    • v.8 no.1 s.14
    • /
    • pp.12-21
    • /
    • 2004
  • Error control is one of major concerns in many electronic systems. Experience shows that most malfunctions during system operation are caused by transient faults, which often mean abnormal signal delays that may result in violations of circuit element timing constraints. This paper presents a novel CMOS-based concurrent timing error detector that makes a flip-flop to sense and then signal whether its data has been potentially corrupted or not by a setup or hold timing violation. Designed circuit performs a quiescent supply current evaluation to determine timing violation from the input changes in relation to a clock edge. If the input is too close to the clock time, the resulting switching transient current in the detection circuit exceeds a reference threshold at the instant of the clock transition and an error is flagged. The circuit is designed with a $0.25{\mu}m$ standard CMOS technology at a 2.5 V supply voltage. The validity and effectiveness are verified through the HSPICE simulation. The simulation results in this paper shows that designed circuit can be used to detect setup and hold time violations effectively in clocked circuit element.

  • PDF

Interpretation of Korean Housing in the Period of Opening the Country to the West and its Modernity Focussed on the Civilization Theory (문명화이론을 통해 본 개항기의 주거와 그 근대성의 재조명)

  • 전남일
    • Journal of Families and Better Life
    • /
    • v.21 no.5
    • /
    • pp.25-40
    • /
    • 2003
  • Since Korea open her ports to the West, she had undergone a great change under the alien influences both on the macro-social and micro-social aspects. This study aims to review the korean housing, corresponding with the everyday life, during the period of transition between the 1876 - 1910 and to interpret its process of modernization and the meaning of modernity. With regards to understand the holistic human relationship and place pf living through history, this study takes the Nobert Elias' Civilization Theory as a theoretical basis. References were therefore, made to various records of foreign missionary at the time, with respect not only to macro sociological changes but also to changes of everyday life. It is of course to take physical and structural aspects of housing architecture into consideration. These works, thus, led to presuming the housing culture of said period. In order to investigate modern character of korean housing, distinctively represented by spatial structure, considerations were made to various architectural examples according to the social and residential status both in urban and rural area. As a results, this paper came to the remarks as follows; 1. It is understood, that the process of modernization is a part of the process of civilization as synthetic process. It is integrated with the change of socio-cultural aspects and everyday life. 2. Korean housing in the said period shows various different residential status and grade of civilization according to the social status as well as economical status. Modern housing was not in general yet. 3. Housing for high classes and middle classes in Seoul shows a tendency of assimilation and imitation after western model. But some examples within the housing of high classes represent its own modernity, that is based on the rationalism and equalization 4. In the housing of lower classes, it was very far from the benefits of civilization. It could analogize from the immature control of disgrace, from undevelopment of individual territory and from uncultivation of rationality in the housing space.

The Interface Test between LEO Satellite and Ground Station (저궤도위성과 지상국 간 접속 검증 시험)

  • Kwon, Dong-Young;Jung, Ok-Chul;Kim, HeeSub
    • Aerospace Engineering and Technology
    • /
    • v.11 no.2
    • /
    • pp.49-56
    • /
    • 2012
  • LEO Satellite performs the operations and missions by FSW(Flight Software) after separation from a launch vehicle. Many of the operations by FSW are automatically conducted by the algorithms of FSW. In the case of the IAC(Initial Activation and Checkout) operations, a mission scheduling, an orbit transition, etc, however, a decision and a control of the satellite operators or manufacturers are required in order to operate the satellite safely. For this, the wireless communication channel between a satellite and a ground station should be prepared to receive telemetries and to transmit tele-commands for controlling FSW properly. Therefore, the verification of the interface between KOMPSAT-3 and a ground station is essential. This verification test is named the satellite end-to-end test. In this paper, we show the design process of the satellite end-to-end test and test results.

System Design and Application of External Feature Extraction for Quality Maintenance of Yukwa (유과의 품질규격 유지를 위한 외형 정보 측정 시스템 설계 및 적용 연구)

  • Cho, Sung Ho;Kim, Tae Jung;Hwang, Heon
    • The Korean Journal of Community Living Science
    • /
    • v.24 no.2
    • /
    • pp.251-258
    • /
    • 2013
  • Korean oil and honey Yukwa has been paid attention as formal cake for traditional national seasons' holiday and religious service. Quality of Yukwa, however, has been maintained arbitrarily by each Yukwa manufacturer. Since even same Yukwa had severe differences in size, weight, and pattern, it has given the negative effect to the consumer. Yukwa industries need to setup the quantitative quality specifications instead of qualitative ones to maintain the uniformity of Yukwa quality. Efficient and economical inspection and process control system should be developed. In developing quality standards of Yukwa, features which can measure quality quantitatively in real time should be properly chosen. Existing quality features such as acidity, oxidization, hardness, viscosity, and texture were measured by the chemical or physical base destructive methods. Many research and developments have been performed in investigating and analyzing chemical transition states of those quality features as environment or storage condition changes. Most methods, however, require either off-line or complex treatment or time consuming process of analysis in evaluating quality features. Consumer, however, selects products mostly based on the external features such as shape, size, and color. Therefore, critical visual quality features should be chosen and the efficient real time measurement system must be developed. In this paper, computer image acquisition and processing system were developed and software modules were developed to extract the quantitative data of those features in real-time. Computer image processing system will promote in maintaining uniform quality of Yukwa and establishing quality standards of Yukwa.

Functional Underwear Development for Elderly Woman from 3D Body Model applying PCM treatment (PCM 가공과 3차원 인체 모델링 기술을 적용한 노년 여성용 기능성 언더웨어 설계)

  • Choi, Sin-Ae;Kim, Tae-gyou;Park, Youong-Min;Shin, Ji-Young;Park, Soonjee
    • Fashion & Textile Research Journal
    • /
    • v.18 no.4
    • /
    • pp.457-467
    • /
    • 2016
  • This study aimed to develop functional underwear for elderly women in their sixties in terms of good fit, wear comfort and body temperature regulation. To satisfy elderly women's physical and metabolical needs, an automatic temperature control system via PCM treatment was applied. Underwear pattern was produced by producing body surface replica, which was derived from 3D body parametric model. Differential ratios of outline length and area between 3D surface and 2D plane were 1.4% and 0.5%, respectively. The reduction rate was determined as 10% through the expert's evaluation. PCM treated fabric showed higher Q-max, meaning that it can facilitate the thermal transition in hot situation. Moreover, it also showed higher insulation to preserve heat and keep warm microclimate in a cold weather. Heat distribution measurements on various body parts revealed that the temperature after PCM treatment was significantly higher. The clothing pressure after 10% pattern reduction showed higher before reduction, at the same time, even lower than the comfort clothing pressure range of $5{\sim}10gf/cm^2$, implying that experimental garment of this research is acceptable in terms of clothing pressure. Evaluation results on the comfort to move in various motions proved that adequate clothing pressure improved the wear comfort in various motions.