• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.655-671
• /
• 1996

본 연구에서는 객체관계성 테이블을 이용하여 객체지향 데이타베이스의 집단화 및 상속 계층을 접근하는데 효율적인 색인 기법을 제안하였다. 이 색인 기법은 클래스 간의 집단화와 상속 관계성에 관한 정보와 인스턴스간의 참조 정보를 메타 데이타로서 사용하였으며, 그결과 테이블 간의 탐색향해를 통해 다양한 질의들을 효과적으로 평가 할 수 있도록 하였다.본 연구에서는 제안된 기법을 기존의 痔涇기법들과 비교하고 그 효용성에 관해 논의하였으며, 또한 저장비용과 검색비용 측면에서 그 성능을 시뮬레 이션한 결과를 제시하였다.

• 경영과정보연구
• /
• 제38권4호
• /
• pp.61-78
• /
• 2019

현행 양도소득세법에서는 상속·증여받은 자산을 양도할 때 양도가액에서 차감되는 취득가액으로 상속개시일 또는 취득일 현재 시가로 평가한 가액을 취득당시의 실지거래가액으로 인정하고 있다. 하지만 시가를 어디까지 인정할 것인가에 대해 국세청 심사청구, 조세심판원의 심판청구 및 감사원의 심사청구결과와 행정법원이 일관된 판례를 보이지 않고 있다. 따라서 본 연구에서는 최근 10년간의 조세불복현황의 추이를 분석하고 실제 사례를 바탕으로 관련 조세심판례 및 행정법원 판례의 세법해석 및 적용상의 쟁점들을 검토한 후 개선방안을 제시하고자 한다. 분석 결과, 지난 10년간 과세전적부심사·이의신청·국세청 심사청구는 꾸준히 감소하고 있는 반면, 감사원 심사청구·조세심판원의 심판청구·행정소송은 꾸준히 증가하는 양상을 보이고 있으며 그중에서도 불복청구인들은 조세심판원의 심판청구를 가장 선호하는 것으로 나타났다. 또한 상속받은 자산의 불복청구인은 행정소송의 전단계에서 이루어진 국세기본법상의 조세불복의 처분에 불복하여 10년 평균 41.4%가 행정소송으로 진행되는 것을 발견하였다. 한편, 상속·증여받은 자산의 양도시 취득가액의 시가인정범위에 대해 과세당국 및 조세심판원 등은 세법규정의 엄격해석으로 소급감정가액을 시가로 인정하지 않지만 조세행정소송에서는 객관적이고 합리적인 방법으로 평가한 가액으로서 공신력 있는 감정기관의 소급감정가격도 포함하고 있어 법원은 과세당국이나 조세심판원보다 시가의 범위 적용에 있어 좀 더 확장된 개념으로 해석하고 있는 것으로 나타났다. 이렇게 다른 판결이 도출될 경우 납세자 입장에서는 과세관청이나 행정법원의 판결이 상충되어 동일한 사안에 대해서 예측가능성에 혼란을 받을 수밖에 없다. 이러한 해석의 차이에 대해 납세자 입장에서는 경정청구부터 시작하여 심사 또는 심판청구라는 전심절차를 경유하여 차후 행정소송까지 진행하게 되어 불필요한 납세협력비용이 발생하게 된다. 또한 상대적으로 소송비용에 대한 부담이 크고, 세무전문가의 조력을 받기 어려운 부담여력이 낮은 납세자는 결과적으로 상대적으로 높은 세부담을 하게 되는 결과를 초래할 수 있다. 또한 과세관청, 조세심판원 및 법원도 세법의 해석이나 세금 관련 분쟁 해결에 불필요한 조세행정비용(tax administration cost)이 소요된다. 따라서 법원판례에 따라 소급감정가액 인정에 대한 규정을 신설할 필요성이 있는 것으로 판단된다.

• 석유와에너지
• /
• 통권299호
• /
• pp.36-39
• /
• 2016

국회 본회의를 통과한 기업활력제고를 위한 특별법(일명 원샷법)은 실적 악화에 시달리고 있는 주요업종의 구조조정에 '단비'가 될 전망이다. 공급과잉에 시달리는 업종의 기업분할, 합병 등 사업재편관련 절차를 간소화하고, 세제 등 혜택을 주는 것이 이 법의 핵심이기 때문이다. 또 경영권 상속 등에 악용될 수 있다는 야당의 우려를 반영한 견제 장치가 대거 추가돼 대기업 특혜 시비도 빠른 시일 안에 가라앉을 것으로 전망된다. 그러나 야당의 주장이 많이 반영되면서 원래 기획됐던 원샷법에 비해 내용이 많이 약화됐다는 지적도 있다. 법 시행 이후 보완 등이 필요하다는 얘기가 나오는 이유다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
• /
• pp.855-859
• /
• 1998

본 연구는 RC 공정을 대상으로 하여 핵물질 계량을 위한 실시간 정보관리 시스템 모형을 설계하였으며 개발기구는 PC상에서 C언어를 이용한 Nexpert Object를 이용하였다. 전문가 시스템을 이용한 계량관리 시스템은 다중 상속성을 갖는 규칙과 임의 객체를 포함한 객체들로써 Nexpert Object의 개발 환경에서 지식 기반이 설계되었다. 설계된 지식 기반은 Nexpert Object Protected Mode의 운영 환경에서 무한한 양의 정보관리가 신속 정확히 이루어질 수있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.564-566
• /
• 1998

어플리케이션 프레임워크는 객체 지향의 상속과 동적 바인딩의 특성을 기반으로 어플리케이션 전체 설계 개념의 재사용을 가능하게 한다. 어플리케이션 프레임워크에는 어느 특정 어플리케이션 도메인에 일반적인 비즈니스 객체, 사용자 인터페이스 객체, 저장소 객체 등의 다양한 객체들을 포함한다. 프레임워크를 기반으로한 어플리케이션의 개발을 프레임워크가 제공하는 이들 객체들에 대한 메타 저장소를 기반으로 해야 한다. 본 연구에서는 프레임 워크를 구성하는 이들 객체들을 정의하거나 재정의하는 데 필요한 환경을 제공하고자 한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.118-123
• /
• 1998

정형방법들은 명세와 설계 문제들에서 모호성, 불완전성, 그리고 불일치성을 보다 쉽게 발견하고 수정하기 위해 사용된다. Z 저형 명세 언어를 객체 지향 패러다임으로 기술하기 위하여, 클래스 기술에 대한 명확한 정의가 필요하다. 그리고 이를 증명할 수 있는 프로토타입이 필수적이다. Z 스키마의 숨김 연산자와 그의 확장인 논리 한정 연산자와 투사 연산자를 이용하여 클래스의 원리를 가지는 클래스 스키마를 유도하여 정의한다. 유도된 클래스 스키마가 상속성, 다형성, 캡슐화 등의 객체 지향 원리를 가지는가에 대한 증명하기 위한 프로토타입을 설계한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.383-388
• /
• 1998

자바는 객체 지향 프로그래밍언어로써 클래스 파일내에 자바 소스코드에 나타나지 않는 여러 가지 정보를 내포하고 있다. 비주얼 자바 클래스 파일 브라우저는 가상 머신에 의해 실행되는 자바 프로그램내의 클래스들 사이의 호출관계와 상속관계, 각 클래스 파일의 내용을 브라우저를 통해 시각적으로 표시함으로써 하부 구조인 자바 가상 머신에서 동작하는 자바 클래스 파일의 다양한 분석을 수행한다.

• 한국의사학회지
• /
• 제21권1호
• /
• pp.77-81
• /
• 2008

상과, also called 정골과 in Korea, was a subclass of External Medicine. Of the many sub-fields belonging to Traditional Korean Medicine, 상과 specializes in technological aspects: therefore its preservation and accedence is emphasized. Traditional 상과학 primarily bases clinical diagnosis and treatment on 수기법. Tang dynasty 藺道人's "仙授理傷續斷秘方, the first medical text specializing in 상과, includes detailed description of the 復位, 夾板固定, training, and medicinal treatment stages of treating bone fracture. Jin dynasty 葛洪's "肘後備急方" introduces a fracture treatment method through 竹夾板固定.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.418-420
• /
• 2000

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.109-111
• /
• 2002

객체기술의 확장, 분산처리기술의 발전과 더불어 주목받는 컴포넌트 기반 소프트웨어 구축기술은 기존의 프로그래밍 기술을 대체하는 효율적인 기법으로 평가받고 있다. 소프트웨어의 재사용 측면에서 이러한 컴포넌트들은 프로그램 개발의 생산성 증대에 기여하는 것은 사실이지만 이러한 효과가 현실화되기 위해서는 기본적인 제반요소 -검색 및 저장소, 효과적인 컴포넌트 서술- 가 해결되어야 한다. 이에 본 논문에서는 컴포넌트의 명세를 기반으로 한 컴포넌트 저장소 모델을 제안한다. 이러한 컴포넌트의 명세는 인터페이스 기술에 대만 명세, 상속등과 같은 재사용에 대한 정보, 인터페이스들을 포함하는 컴포넌트 명세들 간의 상호작용에 관만 정보를 포함한다.