• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권1호
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2023년도 제35회 한글 및 한국어 정보처리 학술대회
• /
• pp.618-621
• /
• 2023

최근 거대언어모델(LLM)이 기계 번역 및 기계 독해를 포함한 다양한 문제들에서 높은 성능을 보이고 있다. 특히 프롬프트 기반의 대규모 언어 모델은 사고사슬 방식으로 적절한 프롬프팅을 통해 원하는 형식의 답변을 생성할 수 있으며 자연어 추론 단계에서도 높은 정확도를 보여주고 있다. 그러나 근본적으로 LLM의 매개변수에 질문에 관련된 지식이 없거나 최신 정보로 업데이트 되지 않은 경우 추론이 어렵다. 이를 해결하기 위해, 본 연구는 검색문서와 생성모델의 상호작용을 통해 답변하는 한국어 질의응답 모델을 제안한다. 검색이 어려운 경우 생성형 모델을 통해 질문과 관련된 문장을 생성하며, 이는 다시 검색모델과 추론 과정에서 활용된다. 추가로 "판단불가"라는 프롬프팅을 통해 모델이 답변할 수 없는 경우를 스스로 판단하게 한다. 본 연구결과에서 GPT3를 활용한 사고사슬 모델이 63.4의 F1 점수를 보여주며 생성형 모델과 검색모델의 융합이 적절한 프롬프팅을 통해 오픈-도메인 질의응답에서 성능의 향상을 보여준다.

• 한국엔터테인먼트산업학회논문지
• /
• 제14권4호
• /
• pp.67-75
• /
• 2020

환유는 투명한 인지효과를 얻기 위해 인간의 단일한 사상의 영역에서 존재하는 유일한 언어의 의미 전환 기법이라 할 수 있다. 이 연구는 인지 원리에 의해 구성된 광고콘텐츠 속 언어표현의 '서술적 환유'를 분석하여 대학생의 사회문화적 관심과 성찰을 위해 매체언어교육에 활용하는 방안을 모색하는데 목적을 두었다. 광고미디어에 쓰이는 환유는 은유의 '불투명하고 거리가 먼' 추론적 해석의 어려움과는 대조된다. 대부분 인간의 감성과 행동에 초점을 둔 스토리보드는 환유의 '투명하고 쉬운 의미 전환 기법'을 활용하고 있었다. 충분히 대학생 필자의 흥미성과 사회문화적 관심, 자아성찰, 미래 상상이 담긴 매체언어 교육의 효율성을 기대할 수 있음을 발견하였다. 이젠 모호한 은유적 기법이 적용된 광고에 대하여 인지적 추론을 행할 필요가 적다. 마지막으로 성공적인 광고콘텐츠 제작을 위해 인간의 따스한 감정이 담긴 '서술적 환유'의 언어기법이 활용되길 기대하며 양적연구의 부족함을 인정하고 다음 연구의 과제로 남기고자 한다. 본 논문의 완성도를 위해 세밀하게 지적해 주신 심사위원님께 깊은 감사를 드린다.