%EC%95%88%EC%A0%95%EC%84%B1
-
자바스크립트 안정성을 책임지다
전 세계에서 가장 널리 사용되는 프로그래밍 언어 중 하나인 자바스크립트*는 컴퓨터 뿐 아니라 스마트폰, 스마트시계 등 다양한 기기에서 동작하기 때문에, 자바스크립트 실행기를 올바르게 구현하는 것이 매우 중요하다. 또한 프로그램 개발 및 배포 과정에서 사용되는 소프트웨어의 안정성 보장이 중요하다.
*자바스크립트: C나 Java와 같이 컴파일 후 사용해야하는 프로그래밍 언어와 달리 코드를 작성하고 바로 실행해 볼 수 있음
우리 대학 전산학부 류석영 교수 연구팀이 고려대 박지혁 교수와 공동연구를 통해 인간 친화적인 형태인 영어로 작성한 자연어 명세에서 컴퓨터에 친화적인 형태인 기계화 명세를 자동으로 추출해 이를 기반으로 자바스크립트 생태계 안정성을 보장하는 기술을 개발하는데 성공했다고 7일 밝혔다.
현재 자바스크립트는 2015년부터 매년 새로운 기능이 추가될 정도로 급성장에 따른 부작용으로 프로그램 실행 중 작동이 되지 않거나 개인 정보 유출 등 언어 생태계의 안정성을 보장하기가 상당히 어려운 상황이다.
연구팀은 이번 기술을 활용하여 크롬 및 엣지와 같은 웹 브라우저에 내장된 자바스크립트 엔진 및 코드 변환 도구에서 수많은 결함을 검출해 내는 데 성공했다. 또한, 자바스크립트용 정적 분석기*를 결함 없이 자동으로 생성하는 데 성공해, 기존 수동으로 개발돼오던 정적 분석기보다 우수한 안정성을 제공했다.
*정적 분석기: 주어진 프로그램을 실행하지 않고 자동으로 분석하는 도구
이러한 장점을 인정받아, 자바스크립트 언어의 명세를 관리하는 위원회에서는 자바스크립트에 새로운 기능을 추가할 때마다 이 기술을 필수적으로 사용하도록 했다. 이 기술은 자바스크립트 언어의 명세를 작성하는 도중에도 결함을 검출할 수 있어서, 자바스크립트 언어의 설계 초기 단계에서 발생할 수 있는 결함을 줄이는 효과를 보였다.
연구팀은 이번 연구를 통해 수년간 논문으로 발표한 결과물들을 산업계에서 널리 사용되는 자바스크립트에 성공적으로 적용, 자바스크립트뿐 아니라 다양한 프로그래밍 언어에도 적용할 수 있는 기틀을 마련했다. 연구팀은 이번 연구를 기반으로, 자바스크립트 후속 언어로 빠르게 성장하고 있는 웹어셈블리 언어에도 관련연구를 적용하고, 네트워크 소프트웨어용 프로그래밍 언어인 P4에 적용하는 연구를 코넬대학 연구팀과 공동으로 진행하고 있다.
연구팀은 모든 연구 결과물을 오픈 소스 SW로 개발해, 누구나 활용할 수 있도록 공개했다. 여러 기기가 스마트 기능을 갖게 되면서 개인 정보 유출 등 심각한 문제가 많이 발생하는 상황에서, 브라우저만 있으면 어느 기기에서나 동작하는 자바스크립트 코드가 올바르게 동작하도록 돕는 데 기여했다.
류석영 교수는 "10년이 넘는 동안 뚝심 있게 자바스크립트를 연구한 학생들의 노력이 만들어 낸 획기적인 기법”이라며, "더 많은 프로그래밍 언어에 적용해, 일상생활에서 더 안전하고 올바르게 동작하는 소프트웨어를 사용할 수 있기를 기대한다”고 말했다.
이번 연구는 컴퓨팅 분야 최고 학술지인 'Communications of the ACM' 2024년 5월호에 게재되고 온라인으로는 4월 24일 발표됐다.
(논문 제목: JavaScript Language Design and Implementation in Tandem,
https://cacm.acm.org/research/javascript-language-design-and-implementation-in-tandem/
https://www.youtube.com/watch?v=JGxc-KIUnQY)
한편 이번 연구는 한국연구재단 중견연구자지원사업 및 선도연구센터와 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.
2024.05.07 조회수 3410 -
천조분의 일 안정성 가진 6G 테라헤르츠파 생성 기술 개발
차세대 6G 무선통신, 양자 분광 기술, 나아가 군용 레이더 기술을 실현하고, 6G 통신 기기 간 주파수 표준으로 이용될 수 있는 넓은 대역의 테라헤르츠파* 응용 기술이 개발되어 획기적인 성능 향상을 가져올 것으로 예상된다.
*테라헤르츠파(THz): 밀리미터파와 광파 사이(100기가헤르츠(GHz) ~ 3테라헤르츠(THz))에 해당하는 전자기파
우리 대학 기계공학과 김승우, 김영진 교수 공동연구팀이 차세대 6G 이동통신 대역으로 알려진 테라헤르츠 대역에서 세계 최고 수준의 안정도를 가지는 초안정 테라헤르츠파 생성 원천기술을 개발했다고 3일 밝혔다.
차세대 테라헤르츠파 기술을 선점/선도하기 위해서는, 핵심 테라헤르츠 소자들에 대한 개발, 평가 및 선점이 필수적이다. 하지만, 테라헤르츠 전송, 변조 및 검출 소자들에 대한 평가를 수행할 수 있는, 초안정 표준급 테라헤르츠 신호 생성에 어려움이 있어, 이러한 핵심 소자들에 대한 접근에 지금까지 제한이 존재해 왔다.
기존의 테라헤르츠파 생성 방식은 상대적으로 낮은 주파수 안정도를 가지는 마이크로파 원자시계에 기반한 것으로, 최근 개발된 광 시계와 비교하여서는 수천 배 이상 낮은 안정도를 보여 왔다.
이를 극복하기 위해, 연구팀에서는 천조분의 일(1/1,000,000,000,000,000)의 안정도를 가지는 매우 정밀한 광주파수 대역의 시간 표준을 안정화하는 펨토초 레이저 광빗*으로부터 두 개의 레이저를 추출/합성해 테라헤르츠파를 생성했다. 이 과정에서 연구팀은 다양한 잡음을 면밀히 분석하고, 광빗의 우수한 안정도를 유지하기 위해 잡음 보상/제어 기술을 개발했다. 이후, 광빗의 넓은 대역폭 특성을 활용하여 테라헤르츠파를 생성했으며, 전대역에서 시간 표준 수준의 안정도(천조분의 일)를 가지는 것을 실험적으로 검증했다. 이는 세계 최고 수준의 광 시계 안정도를 테라헤르츠 대역에서도 새로이 실현할 수 있음을 의미한다.
*펨토초 레이저 광 빗: 시간/주파수 표준으로 활용할 수 있는 광대역(수백만 개의 주파수의 중첩) 레이저, 빛의 스펙트럼이 머리빗과 닮았다 하여 붙여진 이름이다.
우리 대학 기계공학과 졸업생 신동철 박사가 제1 저자로 참여한 이번 연구는 국제 학술지 `네이처 커뮤니케이션즈(Nature Communications)'에 2월 11일 게재됐다. (논문명: Photonic comb-rooted synthesis of ultra-stable terahertz frequencies)
이 기술은 광 시간 표준에 기반한 세계 최고 수준의 초안정 테라헤르츠파를 생성할 수 있어, 차세대 6G 통신 대역에서 초고속 통신을 실현하고, 6G 통신 기기 간 주파수 표준으로 이용될 수 있다. 또한, 생성한 테라헤르츠파는 밀리헤르츠(mHz) 수준의 정확도로 실시간 변조 가능하다는 것을 검증했다.
주저자인 신동철 박사는 "펨토초 레이저 광빗을 매개로 한 테라헤르츠 생성 기술 개발을 통해 세계 최고 수준의 광 시계 안정도를 테라헤르츠 영역으로 확장할 수 있음을 실험적으로 검증했다ˮ며 "차세대 6G 무선통신 대역에서 가장 우수한 안정도를 선점한 것에 의미가 있고 테라헤르츠 핵심 소자 평가 등에 응용돼 테라헤르츠 대역 표준 확립에 도움될 것이다ˮ라고 말했다.
한편 이번 연구는 한국연구재단의 과학기술분야 기초연구사업-개인연구사업- 리더연구(국가과학자)지원을 받아 수행됐다.
2023.03.03 조회수 5557 -
차세대 정보전달 핵심 기술, 위상학적 솔리톤의 형성과정 실시간 관찰 성공
우리 대학 화학과 윤동기 교수 연구팀이 카이랄(비대칭성) 액정 물질의 자발적 조립으로 위상학적 솔리톤의 형성을 규칙적으로 대면적에서 제어하고 형성과정을 실시간으로 관찰하는 데 성공했다고 11일 밝혔다.
솔리톤은 특정한 파동이 주변과 상호작용을 통해 사라지지 않고 계속 유지하는 현상을 말한다. 특히 파동이 멀리까지 전달될 때도 그 고유의 정보를 잃지 않고 끝까지 원하는 지점까지 도달하는 특성을 갖는다. 따라서, 최근 해킹에 자유로울 수 없는 디지털 사회에서 솔리톤은 고유의 높은 안정성으로 인해 미래 통신의 핵심이 되리란 기대가 크다. 더 나아가 유기 액정 분자를 이용해 만들어진 위상학적 솔리톤은 스핀(spin)이라는 특별한 방향성을 갖고 있기에 차세대 복제 방지 장치 및 메모리 소자로 이용될 수 있을 것으로 기대된다.
윤 교수팀은 특별히 이번 연구를 통해 지금까지는 상온과 같은 온화한 조건에서 실시간으로 관찰할 수 없었던 위상학적 솔리톤의 형성과정을 밝혔다. 이는 공기기둥으로 만들어진 한정된 공간에서의 자기조립 카이랄 액정 물질을 이용했기에 가능한 일이다.
화학과 박건형 박사과정 학생, 서아람 박사가 제1 저자로 참여하고 같은 그룹 최윤석 박사, 이창재 박사과정이 참여한 이번 연구는 국제 학술지 `어드밴스드 머터리얼스 (Advanced Materials)' 온라인판에 지난 6월 5일자에 게재되고, 7월호에 뒤 속표지로 선정될 예정이다. (논문명 : Fabrications of Topological Solitons Array in Patterned Chiral Liquid Crystals for Real-time Observation of Morphogenesis)
윤 교수팀은 이번 연구에서 기존에 널리 사용되는 액정영상표시장치(liquid crystal display; LCD)의 핵심 재료로 사용되는 일반형 액정분자가 아닌 카이랄(비대칭성) 액정 물질을 이용해 상온과 유사한 섭씨 30도 정도에서 위상학적 솔리톤 구조를 구현했다. 일반적으로 위상학적 솔리톤의 형성을 제어하기 위해서는 복잡한 장비가 필요하고, 이들의 형성되는 시간이 매우 짧아 형성과정에 관한 연구가 그동안 진행되지 못했다.
윤 교수팀은 카이랄 액정분자들의 이루는 위상학적 솔리톤의 규칙적 형성과 제어를 위해, 분자들을 수직 방향으로 세울 수 있는 수직 배향막과 공기기둥 조합을 정밀하게 조절했다. 자세히는 수직 배향막이 코팅된 수 마이크론(백만분의 1미터) 크기의 동그란 실리콘 물질 기반의 음각 패턴과 유리 기판을 준비하고 간격을 수 마이크론으로 조절해 카이랄 액정 물질을 주입했을 때 음각 패턴 위로 공기기둥이 자발적으로 형성하게 했다. 그 후 모든 기판에서 액정분자들이 수직으로 배향하게 되고 기판과 기판, 기판과 공기기둥 사이 부분에서는 어쩔 수 없이 규칙적으로 뒤틀림(distortion) 현상을 유발할 수밖에 없어 카이랄 분자체, 즉 위상학적 솔리톤이 형성될 수 있는 시스템을 개발했다.
위상학적 솔리톤의 형성 및 제어에 있어 핵심은 등방상(isotropic) 온도(약 섭씨 40도)에서 액정상 온도(약 섭씨 30도)로 냉각시킬 때 공기기둥 근처에 있는 액정 물질이 유리 기판과 실리콘 패턴 부분 사이의 액정 물질보다 온도가 더 낮아 열적 상전이를 원하는 대로 규칙적으로 일어나게 제어하는 데 있다. 이는 뚝배기에 요리된 계란찜을 먹을 때 뜨거운 뚝배기 부분(실리콘 혹은 유리기판 부분)보다 공기에 노출되어 상대적으로 식은 부분(공기 기둥 근처)부터 떠먹는 일상생활의 지혜와 일맥상통한다.
연구팀은 이렇게 자연스럽게 형성된 공기기둥에 의해 제어된 열적 상전이를 통해 위상학적 결함이 형성되고 결함이 있는 위치에서만 위상학적 솔리톤이 형성된다는 사실을 실시간 분석을 통해 규명했다. 이 분석기술은 전자기학의 스커미온 입자와 같은 다른 물리현상에서 발견되는 위상학적 솔리톤 형성의 해석 등 다양한 분야에서 응용될 수 있는 잠재성을 가진다.
윤동기 교수는 "일반적인 위상학적 솔리톤이 생성이나 소멸만 가능한 것으로 알려질 만큼 안정성이 높은데, 이번 연구 결과를 통해 솔리톤의 형성과정을 더욱 자세히 이해하고 정보를 저장하고 기록하는 등, 차세대 반도체 소자로 손꼽히는 스핀트로닉스 응용기술로써 사용될 수 있을 것ˮ이라고 견해를 밝혔다.
한편 이번 연구는 콜로라도 대학 물리학과의 이반 스말륙((Ivan Smalyukh) 연구실과 공동연구로 진행됐으며, 과학기술정보통신부 한국연구재단의 멀티스케일 카이랄 구조체 연구센터, 전략과제 등의 지원을 받아 수행됐다.
2022.07.11 조회수 6404 -
플라즈마 제트 기초 기술 개발
우리 대학 원자력및양자공학과 최원호 교수 연구팀이 기체를 이온화시킨 *플라즈마가 기체와 액체 사이 경계면의 유체역학적 안정성을 증가시키는 것을 최초로 발견하고 이를 규명하는 데 성공했다고 2일 밝혔다.
☞ 플라즈마(Plasma): 기체가 높은 에너지로 가열돼 전하를 띄는 전자와 이온으로 분리된 상태를 말한다. 반도체와 디스플레이 제조공정에 핵심적인 역할을 하며, 형광등 내부나 네온사인, 공기청정기 등에서 접할 수 있다.
최 교수 연구팀은 헬륨 기체 제트를 고전압으로 이온화시켜 얻은 플라즈마를 물 표면에 분사시켰을 때, 일반적인 기체와 액체 사이의 경계면에서보다 경계면이 훨씬 안정적으로 유지되는 것을 발견했다. 이는 자연에 존재하는 약하게 이온화된 기체와 액체 사이의 상호작용에 관한 이해를 넓히고, 플라즈마 제트를 활용하는 기초과학․응용 분야에 크게 도움이 될 것으로 기대된다.
한국핵융합에너지연구원 박상후 박사(우리 대학 물리학과 박사졸업)가 제1 저자로, 최 교수가 교신저자로 참여한 이번 연구 결과는 국제 학술지 `네이처(Nature)' 4월 1일 字에 게재됐다. (논문명: Stabilization of liquid instabilities with ionized gas jets)
가정에서 사용하는 샤워기의 물줄기, 와인의 눈물, 갯벌 바닥의 물결무늬 등 불규칙한 패턴들에서 우리는 유체 경계면에서 나타나는 유체역학적 불안정성을 흔히 볼 수 있다.
컵에 담긴 주스의 표면 위에 빨대를 두고 숨을 약하게 불면 주스 표면이 보조개 형태로 오목하게 들어가는데, 이때 빨대를 더 강하게 불면 주스에 거품이 일고 물방울이 튀어 오르는 현상도 공기와 주스 사이 경계면의 불안정성 때문이다.
한편 제트 형태의 기체를 액체 표면에 분사시키는 구조는 여러 과학 및 산업 기술에서 활발히 쓰이고 있으며, 여러 흥미로운 물리화학적 현상이 발생해 학문적으로도 지속적인 관심을 받고 있다.
그러나 앞서 예를 든 것과 같이, 기체 제트가 분사되는 액체 표면에서 유체역학적 불안정성이 증가하는 현상과 이를 안정화하는 방법에 대한 이해가 부족해, 관심은 높은데도 불구하고 활용성을 높이는 데 한계가 있었다.
최원호 교수 연구팀은 기체 제트를 강한 전기장으로 이온화시켜 만든 플라즈마의 특성을 이용하면 기체와 액체 사이 경계면의 안정성을 향상시킬 수 있다는 것을 실험과 이론으로 밝혀냈다.
일반적으로, 번개구름인 뇌운(雷雲) 속의 빗방울처럼 강한 전기장 환경에 놓인 액체에서는 표면의 불안정성이 증가한다. 불안정화의 대표적인 예로 전기방사(electrospinning)에서 전기 유체역학적 불안정성(electrohydrodynamic instability)의 결과로 나타나는 테일러 원뿔(Taylor cone) 현상이 있다.
최 교수 연구팀이 이번 실험에 활용한 플라즈마 제트에서는 `플라즈마 총알(plasma bullet)'로 불리는 고속의 이온화 파동과 전기바람(electric wind)이 발생하는데, 연구팀은 이들의 특성을 이용해 물 표면의 불안정성을 줄일 수 있었다.
기체 제트 내에 플라즈마를 발생시키면 생성되는 1초당 수십 미터 속력의 전기바람으로 인해 물 표면에 가해지는 힘이 증가해서 물 표면이 더 깊이 파이게 되고, 이에 따라 물 표면이 불안정해져야 하는 조건임에도 불구하고 안정적으로 유지되는 것을 연구팀은 실험적으로 확인했다.
연구팀은 플라즈마-물 이론 모델을 정립해, 물의 표면을 따라 1초당 수십 킬로미터 속력으로 이동하는 플라즈마 총알이 물 표면에 나란한 방향으로 일으키는 강한 전기장으로 인해 물 표면이 안정적으로 유지됨을 최초로 규명했다.
연구팀이 활용한 플라즈마 제트는 최근 여러 학제간 연구 분야에 다양한 목적으로 활용되고 있다.
최원호 교수는 "이번 연구의 결과는 플라즈마에 대한 과학적 이해를 높이는 동시에, 경제적이고 산업적 활용이 가능한 플라즈마 유체 제어 분야를 확대할 것ˮ이라며, "플라즈마 의료, 생명, 농업, 식품, 화학 등 여러 분야의 기술 개발에 크게 기여할 것이다ˮ 라고 말했다.
한편 이번 연구는 한국연구재단 개인연구지원사업(우수신진연구)과 KAIST High-Risk and High-Return 프로젝트의 지원을 받아 수행됐다. 또한, 우리 대학 기계공학과 김형수 교수와 배충식 교수의 학술적인 지원을 받아 진행됐다.
2021.04.02 조회수 89424