• Title/Summary/Keyword: pre-logic

Search Result 131, Processing Time 0.02 seconds

Decomposition of fuzzy ideal continuity via fuzzy idealization

  • Zahran, Ahmed M.;El-Baki, S. Ahmed Abd;Saber, Yaser Mohammed
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.9 no.2
    • /
    • pp.83-93
    • /
    • 2009
  • Recently, El-Naschie has shown that the notion of fuzzy topology may be relevant to quantum paretical physics in connection with string theory and E-infinity space time theory. In this paper, we study the concepts of r-fuzzy semi-I-open, r-fuzzy pre-I-open, r-fuzzy $\alpha$-I-open and r-fuzzy $\beta$-I-open sets, which is properly placed between r-fuzzy openness and r-fuzzy $\alpha$-I-openness (r-fuzzy pre-I-openness) sets regardless the fuzzy ideal topological space in Sostak sense. Moreover, we give a decomposition of fuzzy continuity, fuzzy ideal continuity and fuzzy ideal $\alpha$-continuity, and obtain several characterization and some properties of these functions. Also, we investigate their relationship with other types of function.

The Development of Performance Analysis Code for Pre-Conceptual Design of VTOL UAV (수직이착륙/고속순항 무인기 초기개념설계를 위한 성능예측 프로그램 개발)

  • Jung, Won-Hyung;Lee, Kyung-Tae;Kim, Jung-Yub
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.32 no.5
    • /
    • pp.1-9
    • /
    • 2004
  • The performance analysis code has been developed for vertical take-off and landing(VTOL) UAV which can be utilized as a trade analysis tool in the pre-conceptual design phase. The UAV requires VTOL capability and high speed cruise performance. The main logic of this performance analysis code is to estimate performance parameters of each mission segment by mission fuel weight iteration. The reliability of this performance analysis code is discussed by comparing the data of existing dual flight mode VTOL UAVs such as Boeing CRW and Bell Tilt Rotor.

Study on Solution Processed Indium Zinc Oxide TFTs Using by Femtosecond Laser Annealing Technology (펨토초 레이저 어닐링 기술을 이용한 용액 공정 기반의 비정질 인듐 징크 산화물 트랜지스터에 관한 연구)

  • Kim, Han-Sang;Kim, Sung-Jin
    • Journal of the Korean Institute of Electrical and Electronic Material Engineers
    • /
    • v.31 no.1
    • /
    • pp.50-54
    • /
    • 2018
  • In this study, a femtosecond laser pre-annealing technology based on indium zinc oxide (IZO) thin-film transistors (TFTs) was investigated. We demonstrated a stable pre-annealing process to analyze the change in the surface structures of thin-films, and we improved the electrical performance. Furthermore, static and dynamic electrical characteristics of IZO TFTs with n-channel inverters were observed. To investigate the static and dynamic responses of our solution-processed IZO TFTs, simple resistor-load-type inverters were fabricated by connecting a $1-M{\Omega}$ resistor. The femtosecond laser pre-annealing process based on IZO TFTs showed good performance: a field-effect mobility of $3.75cm_2/Vs$, an $I_{on}/I_{off}$ ratio of $1.8{\times}10^5$, a threshold voltage of 1.13 V, and a subthreshold swing of 1.21 V/dec. Our IZO-TFT-based N-MOS inverter performed well at operating voltage, and therefore, is a good candidate for advanced logic circuits and display backplane.

Meta's Metaverse Platform Design in the Pre-launch and Ignition Life Stage

  • Song, Minzheong
    • International Journal of Internet, Broadcasting and Communication
    • /
    • v.14 no.4
    • /
    • pp.121-131
    • /
    • 2022
  • We look at the initial stage of Meta (previous Facebook)'s new metaverse platform and investigate its platform design in pre-launch and ignition life stage. From the Rocket Model (RM)'s theoretical logic, the results reveal that Meta firstly focuses on investing in key content developers by acquiring virtual reality (VR), video, music content firms and offering production support platform of the augmented reality (AR) content, 'Spark AR' last three years (2019~2021) for attracting high-potential developers and users. In terms of three matching criteria, Meta develops an Artificial Intelligence (AI) powered translation software, partners with Microsoft (MS) for cloud computing and AI, and develops an AI platform for realistic avatar, MyoSuite. In 'connect' function, Meta curates the game concept submitted by game developers, welcomes other game and SNS based metaverse apps, and expands Horizon Worlds (HW) on VR devices to PCs and mobile devices. In 'transact' function, Meta offers 'HW Creator Funding' program for metaverse, launches the first commercialized Meta Avatar Store on Meta's conventional SNS and Messaging apps by inviting all fashion creators to design and sell clothing in this store. Mata also launches an initial test of non-fungible token (NFT) display on Instagram and expands it to Facebook in the US. Lastly, regarding optimization, especially in the face of recent data privacy issues that have adversely affected corporate key performance indicators (KPIs), Meta assures not to collect any new data and to make its privacy policy easier to understand and update its terms of service more user friendly.

Full CMOS PLC SoC ASIC with Integrated AFE (Analog Frond-End 내장형 전력선 통신용 CMOS SoC ASIC)

  • Nam, Chul;Pu, Young-Gun;Park, Joon-Sung;Hur, Jeong;Lee, Kang-Yoon
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.10
    • /
    • pp.31-39
    • /
    • 2009
  • This paper presents the single supply power line communication(PLC) SoC ASIC with built-in analog frond-end circuit. To achieve the low power consumption along with low chip cost, this PLC SoC ASIC employs fully CMOS analog front-end(AFE) and several built-in Regulators(LDOs) powering for Core logic, ADC, DAC and IP Pad driver. The AFE includes RX of pre-amplifier, Programmable gain amplifier and 10 bit ADC and TX of 10bit Digital Analog Converter and Line driver. This PLC Soc was implemented with 0.18um 1 Poly 5 Metal CMOS process. The single power supply of 3.3V is required for the internal LDOs. The total power consumption is below 30mA at standby and 300mA at active which meets the eco-design requirement. The chips size is $3.686\;{\times}\;2.633\;mm^2$.

Plat-Based Key Pre-Distribution Scheme in Sensor Network (센서네트워크에서 평면 그리드 기반의 키 선 분배 기법)

  • Maeng, Young-Jae;Mohaisen, Abedelaziz;Lee, Kyung-Hee;Nyang, Dae-Hun
    • The KIPS Transactions:PartC
    • /
    • v.15C no.1
    • /
    • pp.1-8
    • /
    • 2008
  • The security of wireless sensor networks is a challenging research area where the resources constraints are a bottleneck for any successful security design. Due to their computational feasibility, symmetric key algorithms that require key pre-distribution are more desirable for use in these networks. In the pre-distribution scheme, keys or keying materials are assigned to each node prior deployment to guarantee a secure communication within the entire network. Though several works are introduced on this issue, yet the connectivity and resiliency are imperfectly handled. In this paper, we revisit the grid based key pre-distribution scheme aiming to improve the connectivity, introduce a higher resiliency level, simplify the logic of key establishment and maintain same level of used of resources usage. The core of our modification relies on introducing the novel plat-based polynomial assignment and key establishment mechanism. To demonstrate the advantageous properties of our scheme over the revisited one, details of consumed resources, resulting connectivity, security and comparisons with relevant works are introduced.

Design and Implementation of Parabolic Speed Pattern Generation Pulse Motor Control Chip (포물선 가감속 패턴을 가지는 정밀 펄스 모터 콘트롤러 칩의 설계 및 제작)

  • Won, Jong-Baek;Choi, Sung-Hyuk;Kim, Jong-Eun;Park, Jone-Sik
    • Proceedings of the KIEE Conference
    • /
    • 2001.11c
    • /
    • pp.284-287
    • /
    • 2001
  • In this paper, we designed and implemented a precise pulse motor control chip that generates the parabolic speed pattern. This chip can control step motor[1], DC servo[2] and AC servo motors at high speed and precisely. It can reduce the mechanical vibration to the minimum at the change point of a degree of acceleration. Because the parabolic speed pattern has the continuous acceleration change. In this paper, we present the pulse generation algorithm and the parabolic pattern speed generation. We verify these algorithm using visual C++. We designed this chip with VHDL(Very High Speed Integrated Circuit Hardware Description Language) and executed a logic simulation and synthesis using Synopsys synthesis tool. We executed the pre-layout simulation and post-layout simulation with Verilog-XL simulation tool. This chip was produced with 100 pins, PQFP package by 0.35 um CMOS process and implemented by completely digital logic. We developed the hardware test board and test program using visual C++. We verify the performance of this chip by driving the servo motor and the function by GUI(Graphic User Interface) environment.

  • PDF

The Traffic Signal control System Applying Fuzzy Reasoning (퍼지추론을 적용한 교통 신호 제어 시스템)

  • Kim, Mi-Gyeong;Lee, Yun-Bae
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.4
    • /
    • pp.977-987
    • /
    • 1999
  • The current traffic signal control systems are operated depending on the pre-planned control scheme or the selected control scheme according to a period of time. The problem with these types of traffic control systems is that they can not cope with variant traffic flows appropriately. Such a problem can be difficult to solve by using binary logic. Therefore, in this 0paper, we propose a traffic signal control system which can deal wit various traffic flows quickly and effectively. The proposed controller is operated under uncertainty and in a fuzzy environment. It show the congestion of road traffic by using fuzzy logic, and it determines the length of green signal by means of a fuzzy inference engine. It modeled using petri-net to verify its validation.

  • PDF

A Study on the Analysis of R&D Trends and the Development of Logic Models for Autonomous Vehicles (자율주행자동차 R&D 동향분석과 논리모형 개발에 대한 연구)

  • Kim, Gil-Lae
    • Journal of Digital Convergence
    • /
    • v.19 no.5
    • /
    • pp.31-39
    • /
    • 2021
  • This study collected 1,870 English news articles related to research and development of autonomous vehicles in order to identify various issues emerging in the research and development process of autonomous vehicles at home and abroad, and conducted topic modeling after data pre-processing. As a result of topic modeling, we extracted 20 topics, and we performed naming operations for topics and interpreted their meanings. A logical model for autonomous vehicle research and development projects was presented in response to the R&D process of input, activity, output, and outcome of derived topics. The analysis results of this study will be used as basic data to accurately determine the progress of domestic and foreign self-driving car research and development projects and prepare for the rapidly changing technology development.

A Study on the Iconological Approach of the Korean Traditional Space Design - Focusing on Regional Prototype and Creative Fantasy - (한국 전통공간디자인의 도상해석학적 접근에 관한 연구 - 지역적 원형과 창조적 환상의 개념을 중심으로 -)

  • Park, Kyung-Ae
    • Korean Institute of Interior Design Journal
    • /
    • v.17 no.6
    • /
    • pp.120-127
    • /
    • 2008
  • Korean space design image is a kind of writing as well as one of the sign that dissembles itself as a direct transcript of what it represents. Moreover it is pictorial representation and notions such as mental and perceptual imaginary. Significance of Iconology lies in how we transform image and the imagination that produces it into power of trust and respect. From this point of view, the process of this study is illustrated as follows: At first, this study search out concept of archetype, collective unconsciousness and collective representation that found principles on basic theory for interpretation of korean space icon. Secondly, it mentions theoretical background of iconological contents and structure. And it clarifies Iconology as a method that is applicable logic for Korean space design. Finally, as an analysis of korean space design, this study analyse in three steps that are pre-iconological description, iconological analysis, iconological interpretation each in terms of modernization at regional korean space design. In the step of the pre-iconological description, it describe visual representative style based on era and place. In the step of the iconological analysis, the typical structure is classified in status, vernacular, ethnic, traditional. In the step of the iconological interpretation, connotation is categorized into allegory, multivalence, potential. Through this process, this study suggest that iconology is an appropriate analysis system of Korean space design images that represent symbols combined with our collective emotion.