• Title/Summary/Keyword: Application technique

Search Result 6,187, Processing Time 0.028 seconds

Verifying Active Network Applications (액티브 네트워크 응용의 검증)

  • Park, Jun-Cheol
    • Journal of KIISE:Information Networking
    • /
    • v.29 no.5
    • /
    • pp.510-523
    • /
    • 2002
  • The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.

A Study on Current Issues Related to Application Areas based on Ubiquitous Sensor Network (USN 기반 적용사례 현황 연구)

  • Leem, Young-Moon;Park, Pan-Jong
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2009.04a
    • /
    • pp.445-449
    • /
    • 2009
  • Nowadays ubiquitous sensor network (USN) has been considered as a key technique in all kinds of industrial area. The main purpose of this study is to search and analyze systems in real industrial fields based on USN. USN technique has been applied into various industrial fields such as ground/underground management system, visitor counter system, monitoring system, unmanned vehicles system and so on. The result of this study will be fruitful not only for researches but also for practices in industrial fields related to USN.

  • PDF

Study of Soil Nailing Application as a Reinforcement Method for Slided Slope (붕괴사면보강을 위한 Soil Nailing의 적용성에 관한 연구)

  • 이성철;김명학
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2000.11a
    • /
    • pp.127-134
    • /
    • 2000
  • Soil nailing is in-situ ground improvement technique of reinforcing soils using passive inclusions for the purpose of slope stability. Also soil nailing, in general, was used and studied as a reinforcement technique at cut slope, but this paper presents the results of study for soil nailing application as a reinforcement technique at the banking over slided slope. In-situ pull-out tests of nails, instrumented with strain gauges, were performed to investigate the maximum pull-out load and to calculate the unit side resistance in each different layer. And the apparent average unit side resistance of this study was compared with that of other sites installed at cut slope.

  • PDF

Optimizing Fsync Performance with Dynamic Queue Depth Adaptation

  • Park, Daejun;Kim, Min Ji;Shin, Dongkun
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • v.15 no.5
    • /
    • pp.570-576
    • /
    • 2015
  • Existing flash storage devices such as universal flash storage and solid state disk support command queuing to improve storage I/O bandwidth. Command queuing allows multiple read/write requests to be pending in a device queue. Because multi-channel and multi-way architecture of flash storage devices can handle multiple requests simultaneously, command queuing is an indispensable technique for utilizing parallel architecture. However, command queuing can be harmful to the latency of fsync system call, which is critical to application responsiveness. We propose a dynamic queue depth adaptation technique, which reduces the queue depth if user application is expected to send fsync calls. Experiments show that the proposed technique reduces the fsync latency by 79% on average compared to the original scheme.

Self-Power Gating Technique For Low Power Asynchronous Circuit

  • Mai, Kim-Ngan Thi;Vo, Huan Minh
    • Journal of IKEEE
    • /
    • v.22 no.3
    • /
    • pp.548-557
    • /
    • 2018
  • In this paper, Asynchronous Self-Power Gating technique (ASPG) is used to reduce consumption power in asynchronous digital watch application. The power gating control signal is automatically generated by internal system operation characteristics instead of using replica circuit delay or four-phase handshaking protocol. Isolation cell is designed to insert it between power gating domain and normal operation domain. By using self-power gating circuit, asynchronous digital watch application consumes very low power and maintains data during sleep mode. The comparison results show the proposed ASPG technique saves leakage power up to 40.47% and delay time is reduced to 71% compared to the conventional circuit.

Application Possibility of Parallax Scrolling Technique for Website Users' Emotional Experience (웹사이트 이용자의 감성적 경험을 위한 Parallax Scrolling 기법 활용 가능성)

  • Ko, Hye-Young;Kim, Cheeyong
    • Journal of Korea Multimedia Society
    • /
    • v.18 no.2
    • /
    • pp.277-286
    • /
    • 2015
  • Recently, to draw the web users' attention and stay in the website for a long time to transmit information efficiently, the website designing is focused on providing emotional experience. Emotional experience is possible through the use of interactive storytelling and multimedia. Users immersion, pleasurable experience and synesthesia satisfaction is connected to the emotional experience due to the interaction operation and multimedia feedback. In this study, application of the parallax scrolling technique's possibility has been studied to induce the emotional experience of the web users that appeared in the technical development of the web. Realizing characteristics of the elements that effect emotional experience through web cases are studied and the possibility of effective emotional experience is proposed as using parallax scrolling technique on web.

A technique for creating remote objects by local semantics (로컬 의미에 의한 원격객체 설계 기법)

  • 김윤호
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2003.10a
    • /
    • pp.829-832
    • /
    • 2003
  • This paper presents a technique that allows objects written with local semantics to be made remote. It works by creating interfaces that have roughly the same method signatures as the local interfaces but are remote. These generated interfaces form a layer between the application server interfaces and the RMI runtime. This technique results in the coding of tediously repeated try/catch blocks for the RMI remote interface.

  • PDF

Development Technique of Application Software for Open Distributed EMS (분산 개방형 EMS 응용 소프트웨어의 개발 기술)

  • Lee, J.Y.;Shin, C.G.;Lee, S.J.;Choi, Y.S.;Lee, J.H.;Kim, S.C.;Moon, Y.H.;Park, J.D.;Ryu, H.S.;Kook, H.J.
    • Proceedings of the KIEE Conference
    • /
    • 1997.07c
    • /
    • pp.854-856
    • /
    • 1997
  • This paper presents a software development and management technique for open distributed EMS applications. The definite client-server configuration is proposed, and programming languages, software tools, application MMI and database are analyzed to make considerations to determine the development technique. This paper contains specific software management techniques for the development of EMS applications.

  • PDF

Analysis of Electromagnetic Interference of a Parallel Plate with Apertures using the SDDI Technique (SDDI 기법을 이용하는 개구를 가지는 평행평판 구조의 전자파 간섭 해석)

  • 강승택;최재훈
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.11 no.1
    • /
    • pp.63-67
    • /
    • 2000
  • In this paper, the electromagnetic interference of a parallel plate with apertures is characterized by the method of moment(MoM), using the Spline-type Divided-Difference Interpolation(SDDI) technique. Particularly, for the solution of the problem, the application of the SDDI technique is extended to the calculation of the summation-type Green's functions. It improves numerical efficiency, having accuracy and saving the overall computational time required in the MoM application. For validating the proposed method, the electric fields on the apertures are calculated and compared to those of the literature. The numerical results show good agreement with them.

  • PDF

Application of Forced Oscillation Technique for Pitch Dynamic Stability Derivatives of a Missile Model (미사일 모델의 피치 동안정미계수 측정을 위한 강제진동기법의 적용)

  • 김승필;조환기;백승욱
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.3 no.2
    • /
    • pp.81-87
    • /
    • 2000
  • This paper presents an application of forced oscillation technique to measure pitch dynamic stability derivatives of a missile model in the low speed wind tunnel. The missile model is oscillated by D.C. electric servomotor with constant amplitudes and frequencies. Phase shift is determined as the difference of peak values between input and output signals from the dynamic stability balance installed at the center of gravity of the model. Stability derivatives were calculated by using phase shifts, amplitudes, forcing moments and input frequencies. Test results show the proper usage of the force oscillation technique with good damping effects.

  • PDF