8090 research outputs found
Sort by
Hierarchical Market Structures on Internet Search Portal
Full text linkInternet search services hold the key to helping consumers to access and sort the wealth of information. As new search Providers enter successively, they are trying to take a competitive advantage in search service market. We estimated the structure of search service market to regard the degree of overlap among search engines' results as a similarity measure.
This study identified a market structure in the level of the whole URLs and different structures in the level of search keywords. In conclusion, these models could be a useful tool to aid in developing tool to in developing search service strategy formulation.목차
제1장 서론 = 1
제2장 검색포탈의 정의 = 4
제3장 이론적 고찰 = 6
3.1. 인터넷 검색포탈에 관한 선행연구 = 6
3.2. 시장구조분석에 관한 선행연구 = 8
제4장 연구모형 = 10
4.1. 검색포탈의 시장구조분석모형 = 10
4.2. 예제 모형 = 14
4.3. 모형의 확장 = 18
4.4. 분석절차 = 20
제5장 실증분석 = 21
5.1. 키워드(Key-Word)와 검색포탈의 선정 = 22
5.2. 자료 수집 및 데이터베이스구축 = 23
제6장 결론 및 미래 연구 방향 = 31
참고문헌 = 3
A Study on the Standard of Deciding the Calculation of Laytime and Demurrage
Full text linkThe purpose of this paper is to describe the legal problems on the standard of deciding the calculation of laytime and demurrage under the voyage charter.
In the Charterparty Laytime Definitions 1980, Laytime means the period of time agreed between the parties during which the owner will make and keep the ship available for loading/discharging without payment to the freight.
If loading or discharging is not completed within the time allowed, then the shipowner is entitled to be compensated for the extra time taken. In the Charterparty Laytime Definitions 1980, demurrage means the money payable to the owner for delay for which the owner is not responsible in loading and/or discharging after the laytime has expired. The difference between demurrage and damages of detention, which is distinguished in maritime affairs in the United Kingdom. In this paper, both concepts are considered as a demurrage comprehensively. If loading or discharging is completed within the laytime allowed, then if so provided for in the charter, despatch will be usually payable in respect of all time saved. Where despatch money is payable, it almost always is at half the demurrage rate.
To commence laytime, normally three conditions must be satisfied before the charterer can be required to start loading or discharging. First, the ship must have arrived at the destination specified in the charter. Voyage charters are divided into berth, dock and port charters. Berth and dock charters on the whole create few problems, since it is comparatively easy to say whether a vessel has reached its berth or dock. The port charter, however, is more difficult. Until the decision of the Court of Appeal in Leonis Steamship Co v. Rank, the law was in some confusion, but in that case the court held that in a port charter, the specified destination was reached when the vessel arrived in the commercial area of the port and not as some of the earlier cases had suggested when the vessel actually arrived in berth. Later, difficulties arose in deciding what the Court of Appeal had meant and what factors had to be taken into account before it could be decided whether the usual waiting place was within the commercial area of the port. These were resolved by the House of Lords in The Johanna Oldendorff, where Lord Reid laid down.
"Before a ship can be said to have arrived at a port she must, if she cannot proceed immediately to a berth, have reached a position within the port where she is at the immediate and effective disposition of the charterer."
The presumption is that if the vessel concerned is at a place where waiting ships of that type usually lie and this is within the port, then she is at the 'immediate and effective disposition of the charterer'.
Second, the ship must be ready and in a fit condition to receive or discharge her cargo. It is decided on the basis of commercial sense whether the ship is ready in the aspects. Third, where required, notice of her readiness must have been given to the charterer. In the absence of an express provision to the contrary, however, this last requirement only applies at the first load port under English Common law. Where these conditions have been met the vessel is an Arrived ship and subject to the expiry of any period prescribed in the charter laytime begins to run.
It is, however, open to the parties to advance the time when laytime commences or to provide in some other way for time to count earlier than would be the case under the normal rules. In the case of a berth charter, the parties may agree that time should count "whether in berth or not", thus advancing commencement of time when the delay is due to congestion. Similarly, the parties may wish to allow time to start as soon as the vessel ceases to be underway, even if still outside the port limits.
Once laytime commences, it will not be interrupted unless otherwise agreed. But it is possible that actual loading or discharging operation would be interrupted due to owners' fault or the third's action which is beyond the control of the contractual parties. If charterers commit a fault and cargo operation is interrupted, then laytime is continued on behalf of owners and contrarily owners commit a fault and cargo operation is interrupted, then laytime is interrupted on behalf of charterers. A difficult problem to solve is that the interruption of cargo operation is caused by the action of the third party or force majeure. To settle this kind of problem, some specific clauses have been usually incorporated into the relevant charterparty.
Once commenced, laytime will continue to run until loading(or discharging) has been completed, or until it expires, if these operations are not finished earlier. The laytime allowed may be a single period covering both loading and discharging, or the charter may provide for separate calculations for each. In the event of the latter, provision may be made for the transfer of unused laytime from loading to the time allowed for discharge, or vice versa. The different methods by which this can be achieved are referred to as averaging and reversing.
A charter may either provide a specific duration for demurrage or more commonly just provide for a demurrage rate, leaving the period unspecified.
A phrase much used with regard to demurrage is "once on demurrage, always on demurrage". What this is intended to signify is that demurrage is payable on a running day basis, and that laytime exceptions do not apply once demurrage commences. Liability for demurrage rests with the charterer and even if the terms of the charter are effectively incorporated into the bills of lading issued under the charter. But it is contravercial about the relationship among receivers and holders of bill of lading when they are more than one person. However, one way in which the receiver may be made liable for demurrage, particularly demurrage at the discharging port, is by the grant of an express lien on the cargo in favour of the shipowner. Lien has two kinds - contractual lien which admitted under special contract between two parties and legal lien which is prescribed by the law for the auction.
Because there are just a few relevant articles for this field in Korea, it is insufficient to settle a dispute on laytime and demurrage. Considering the shipping power of Korea in the world, it is necessary to legislate more detailed articles목차
Abstract
第1章 序論 = 1
第1節 硏究의 目的 = 1
第2節 硏究의 方法 및 範圍 = 3
第2章 碇泊期間과 滯船料의 槪念 = 4
第1節 碇泊期間의 槪念 = 4
1. 碇泊期間의 意義 = 4
2. 碇泊期間의 設定方法 = 5
第2節 滯船料의 槪念 = 7
1. 滯船料의 意義 및 法的 性質 = 7
(1) 滯船料의 意義 = 7
(2) 滯船料의 法的 性質 = 8
2. 滯船料와 滯泊賠償金 = 9
3. 滯船料와 早出料 = 11
第3章 碇泊期間의 算定基準 = 13
第1節 碇泊期間의 開始要件 = 13
1. 目的地에 到達(着船) = 13
(1) 船席傭船契約(Berth Charter)= 14
(2) 도크傭船契約(Dock Charter)= 15
(3) 港傭船契約(Port Charter) = 15
2. 船積·揚陸 準備의 完了 = 21
(1) 法的 準備完了(Legal readiness) = 21
(2) 物理的 準備完了(Physical readiness) = 22
3. 準備完了通知(Notice or readiness) = 23
(1) 通知의 目的 = 24
(2) 通知의 內容 = 25
(3) 通知의 ？幢？ = 26
(4) 通知의 方法 = 26
(5) 通知의 時期 및 場所 = 27
(6) 通知의 送達 = 27
(7) 通知의 效果 = 28
4. 猶豫期間의 經過 = 28
第2節 碇泊期間 開始의 變更 = 30
1. "Whether in berth or not" 約款 = 31
2. "Time lost in waiting for berth" 約款 = 33
3. "Whether in port or not" 約款 = 35
4. "In regular turn" 約款 = 35
第3節 碇泊期間의 中斷 = 36
1. 不可抗力에 의한 中斷 = 36
2. 當事者의 特約에 의한 中斷 = 37
3. 港의 慣習에 의한 中斷 = 39
4. 海上運送人의 過失에 의한 中斷 = 39
第4節 碇泊期間의 算定 = 40
1. 確定 碇泊期間의 算定 = 40
(1) 船積·揚陸期間을 分離하여 計算하는 경우 = 40
(2) 船積·揚陸期間을 平均 또는 通算하는 경우 = 49
2. 不確定 碇泊期間의 算定 = 51
(1) 慣習的 빠른 荷役(Customary quik despatch) = 52
(2) 船舶이 受領/引渡할 수 있는 만큼 빨리(As fast as vessel can recieve/deliver) = 53
第4章 滯船料의 算定基準 = 55
第1節 滯船料의 發生要件 = 55
1. 전혀 船積 또는 揚陸하지 않은 경우 = 55
2. 運送物의 一部만 船積 또는 揚陸된 경우 = 56
3. 不可抗力으로 船積 또는 揚陸이 不可能한 경우 = 57
第2節 滯船料의 算定 = 57
1. 滯船期間의 開始 = 57
2. 滯船期間의 길이 = 57
3. 滯船期間의 算定 = 58
4. 滯船料의 算定 = 60
第3節 滯船料의 支給 = 62
1. 滯船料의 支給時期 = 62
2. 滯船料의 支給債務者 = 62
(1) 船積港에서의 支給債務者 = 63
(2) 揚陸港에서의 支給債務者 = 63
第4節 滯船料 債權의 擔保 = 67
1. 法定 留置權 = 67
2. 約定 留置權 = 69
第5章 結論 = 71
參考文獻 = 7
Evaluation of Container Terminal Types
Full text linkThis study aims at evaluating the existing three different container terminal types, the conventional, the unmaned and the indented terminal, so called 'ship-in-slip', with respect to productivity and costs. For this the Pusan Newport under construction, ECT Delta Terminal and Ceres Paragon Amsterdam Terminal are taken as examples.
Particular features of the three terminal types are analysed with respect to the layout of terminal, the equipment type and fleet and operational aspects. Then, the productivity is evaluated and compared with respect to the area of terminal, length of berth, number of quay crane and number of yard equipment. Cost evaluation is also followed including infrastructure costs, labour costs and operation costs. Based on these the adaptability of each terminal type is evaluated with respect to the terminal environment such as labour availability, level of labor cost and level of lease.목차
1장 서론
1.1 연구의 배경 및 목적 = 1
1.2 연구의 수행 방법 및 구성 = 1
2장 터미널 유형별 특성
2.1 부산신항만 = 4
2.1.1 계획터미널 규모 = 4
2.1.2 도입 장비 = 5
2.2 ECT = 7
2.2.1 ECT DSL Terminal 규모 = 7
2.2.2 ECT DSL Terminal의 도입 장비 = 8
2.3 Ceres Paragon Terminal = 10
2.3.1 Ceres Paragon Terminal의 규모 = 10
2.3.2 Ceres Paragon Terminal 장비 = 12
3장 터미널 유형별 생산성 평가 및 비용 분석
3.1 터미널 유형별 생산성 평가 = 14
3.1.1 부산신항만의 생산성 = 14
3.1.2 ECT DSL Terminal의 생산성 = 14
3.1.3 Ceres Paragon Terminal의 생산성 = 15
3.1.4 생산성 비교 = 16
3.2 터미널 유형별 비용 분석 = 17
3.2.1 유형의 분류 및 분석 방법 = 17
3.2.2 장비 비용 = 17
3.2.3 Infrastructure 비용 = 21
3.2.4 인건비 = 26
3.2.5 운영비 = 28
3.2.6 총 비용분석 = 29
3.2.7 TEU당 항목별 소요비용 = 30
4장 터미널 유형 선정을 위한 ？청瑩？
4.1 터미널 유형 선정 모형 = 31
4.1.1 고려점 = 31
4.1.2 터미널 유형 평가모델 = 32
4.2 터미널 유형별 적합성 평가 = 34
4.2.1 터미널 비용 구조 측면 = 34
4.2.2 터미널 제약 요인 = 36
4.3 우리나라의 터미널 유형 도입 방안 = 38
5장 결론 = 4
Speed Predictive Modeling on the Diverge Sections of Urban Freeway Interchange with the Speed Surveillance Devices installed
Full text linkUrban freeway plays a key role in the urban transportation system and also takes a lot of share in the urban traffic generated in the big city. However, most of the urban freeways are experiencing the transportation problems including severe traffic congestion regardless of the peak periods because the new travel demands keep increasing. Thus, the purpose of this study is to investigate the traffic characteristics, analyze the relationships between the traffic characteristics and finally construct the speed predictive models on the merge sections in the congested urban freeway interchange with the speed surveillance devices installed in city of Busan.
From the analyses of traffic characteristics, and construction and verification for the delay predictive models on the merge sections of the urban freeway interchange under the study, the following conclusions were drawni) Traffic flow showed a big difference depending on the time periods in the urban freeway interchange. Particularly more traffic were concentrated on the urban freeway interchange in the daytime period when compared with the nighttime period.
ii) Traffic flow also showed a quite difference depending on the travel directions in the urban freeway interchange. Particularly more traffic were concentrated on the urban freeway interchange in the inbound direction when compared with the outbound direction.
iv) The Urban freeway traffic management system(UFTMS) measures like the variable message sign(VMS), ramp metering system, or both were shown to be more effective on the inbound entrance ramp in the morning rush hour.목차
ABSTRACT = i
NOMENCLATURE = v
LIST OF FIGURES = vi
LIST OF TABLES = vii
1. 서론 = 1
1.1 연구 배경 = 1
1.2 연구 목적 및 필요성 = 1
1.3 문헌조사 = 2
1.4 연구내용 및 방법 = 4
2. 교통 특성 분석 = 5
2.1 교통류율 = 6
2.2 점유율 = 11
2.3 속도 = 14
2.4 교통류율과 속도 = 18
3. 모형 구축 = 20
3.1 구축 방법 = 20
3.2 모형 구축 = 21
4. 모형 검증 = 23
4.1 검증 방법 = 23
4.2 모형 검증 = 23
5. 결론 및 향후 연구과제 = 27
참고문헌 = 2
Preparation of Fine BaTiO₃ Powder by the Hydrothermal Process
Full text linkBaTiO₃ powders of nanometer-sized were synthesized at the temperature range of 110℃~180℃ in various pH range, and the hydrothermal process, one of the wet-chemical methods, that can make the morphology of powers more homogeneous and finer than solid-state reactions. BaCl₂ and TiCl₄ were used as starting materials, and NH₄OH was a precipitating agent.
The synthesized powders were analysed by the XRD, TG-DTA, SEM, TEM and BET. And then, the dielectric and electronic properties of BaTiO₃ ceramics sintered at the temperature range of 1150~1350℃ were evaluated.
Homogeneous and fine BaTiO₃ powders were obtained at the reaction temperature over 110℃ and the powders synthesized at 130℃ shows that the properties of powders were almost the same regardless of the reaction time.
TEM investigation showed that the size of the BaTiO₃ powder synthesized at 130℃ for 2h was 25~35nm and the result of BET revealed that the surface area of powders was about 77.43㎡/g. The dielectric constant of the ceramic sintered at 1270℃ for 2h was as high as 3000.목차
1. 서론 = 1
2. 이론적 배경 = 3
2.1 BaTiO₃의 유전적 특징 = 3
2.2 MLCC = 8
2.3 BaTiO3의 합성방법 = 10
2.4 수열합성법(Hydrothermal Method) = 13
3. 실험방법 = 15
4. 실험결과 및 고찰 = 19
5. 결론 = 37
6. 참고 문헌 = 3
A Study on the Forecast of Container Volume using Neural Network
Full text linkThe forecast of a container traffic has been very important for port plan and development. Generally, Statistic methods, such as moving average method, exponential smoothing, regression analysis, have been much used for traffic forecasting. But, by considering various factors related to the port affect the forecasting of container volume, neural network of parallel processing system can be effective to forecast container volume based on various factors.목차
List of Tables = iii
List of Figures = iv
Abstract = v
1. 서론 = 1
1. 1 연구의 배경 및 목적 = 1
1. 2 연구의 범위 = 2
2. 예측 방법의 종류 = 4
2. 1 정성적 예측 방법 = 4
2. 1. 1 델파이법 = 4
2. 1. 2 시장조사법 = 5
2. 1. 3 패널조사법 = 5
2. 2 정량적 예측 방법 = 6
2. 2. 1 단순이동평균법 = 6
2. 2. 2 가중이동평균법 = 7
2. 2. 3 지수평활법 = 8
2. 2. 4 회귀분석 = 9
3. 신경망 이론 = 11
3. 1 신경망의 개요 = 11
3. 1. 1 신경망의 정의 = 11
3. 1. 2 신경망의 특징 = 12
3. 1. 3 신경망의 종류 = 13
3. 2 신경망의 모형 = 14
3. 2. 1 신경망의 구조 = 14
3. 2. 2 전달함수 = 15
3. 3 신경망의 학습알고리즘 = 16
3. 4 예측모형의 설계 = 18
3. 4. 1 데이터 변환 = 18
3. 4. 2 예측모형의 구조 = 19
4. 실험 및 평가 = 23
4. 1 입력벡터분석 = 24
4. 2 신경망을 이용한 물동량 예측 = 26
4. 2. 1 모델 1 = 26
4. 2. 2 모델 2 = 30
4. 3 일반적인 예측방법과의 비교 = 34
4. 3. 1 이동평균법을 이용한 예측 = 34
4. 3. 2 지수평활법을 이용한 예측 = 35
4. 3. 3 추세분석법을 이용한 예측 = 37
4. 3. 4 예측방법의 비교 = 38
5. 결론 = 41
참고문헌 = 4
A Study on the Fingerprint Recognition Method Directional Feature Detection using Neural Networks
Full text linkFingerprint-based identification is known to be used for a very long time. Owing to their uniqueness and immutability, fingerprints are today the most widely used biometric features. Therefore, recognition using fingerprints is one of the safest methods as a way of personal identification.
In this paper, a fingerprint identification method using neural networks and the direction feature vectors based on the directional image extracted from gray-scale fingerprint image without binarization and thinning is proposed.
The basic idea of the above mentioned method is to track the ridge lines on the gray-scale image, by ？ailing according to the local orientation of the ridge pattern. A set of starting points are determined by superimposing a grid on the gray-scale image. A labeling strategy is adopted to examine each ridge line only once and locate the intersections between ridge lines. After the direction feature vectors are consisted of vectors by four direction labeling. Matching method used in this paper is four direction feature vectors based matching.
The experiment are used total 124 feature patterns of four fingerprints, and One fingerprint image is consisted of 31 feature patterns. The results is presented excellent recognition capability of learned fingerprint images.Abstract(Korean) = 2
Abstract(English) = 3
Chapter 1 Introduction = 4
Chapter 2 Neural networks = 6
2.1 Introduction of neural networks = 6
2.2 Investigation between biological and artificial neuron = 7
2.3 Learning and structure of multilayer neural network = 10
2.4 Multilayered neural networks used experimental = 14
Chapter 3 Fingerprint recognition = 15
3.1 Direction feature vector detection = 15
3.2 Tangent direction computation = 18
3.3 Four direction labeling and pattern detection = 20
Chapter 4 Experimental results = 25
4.1 Experimental environment and method = 25
4.2 Experimental results = 29
Chapter 5 Conclusion = 40
References = 4
A Study on Control and Monitoring of Artificial Intelligent Processing System using Neural Networks
Full text linkThe purpose of this paper is realized the intelligent processing system using the neural networks and based on the IBM-PC interface. Generally, many of the factories have newer automation facilities. for example, the mobile factories, clothing manufactories, food processing factories, and the manufacturing process line of semiconductor etc.. In these places, the FA(Factory Automation) are activated. But the field of a primary industry is slowly going on automation. Specially, fish processing industry is required this change.
So in this paper, we propose the intelligent fish head and tail cutting processing system for the automation of fish industry. Neural network is used to predict cutting point of fish head with data of fish length and width. And the output of neural networks is controlled precisely the position of fish cutter. Then this intelligent fish cutting processing system is inspected by IBM-PC interface I/O board, so the operating data (the position of cutter, cutting operation, conveyor of movement, detecting fish) of processing system are monitoring on IBM-PC monitor during the processing time.
This paper shows that the prediction result of cutting point of fish head by neural networks has good performance. And We proposes new monitoring method and control method by the neural networks. This system can be also controlled in remote area or control room by the operator through IBM-PC interface.
We conformed that our study had better performance than conventional one.Abstract = 3
제 1 장 서론 = 4
제 2 장 신경회로망 = 6
2.1 신경회로망의 모델 = 6
2.2 다층 신경회로망의 학습과 구조 = 10
제 3 장 지능형 가공 시스템의 제어 = 19
3.1 지능형 가공 시스템 구성 = 19
3.2 지능형 가공 시스템 기능 = 21
3.2.1 센서기능 = 21
3.2.2 모터 위치 제어 기능 = 22
3.2.3 시？스 기반의 공압 밸브 제어 기능 = 25
제 4 장 지능형 가공 시스템의 실시간 모니터링 = 28
4.1 IBM-PC 인터페이스 기반의 지능형 가공 시스템의 모니터링 구조 = 28
4.2 IBM-PC 인터페이스 기반의 가공 시스템 모니터기능 = 30
제 5 장 시뮬레이션 및 실험결과 = 33
5.1 시뮬레이션 = 33
5.2 실험결과 및 고찰 = 39
제 6 장 결론 = 41
부록 = 42
참고 문헌 = 5
Finite Element Analysis of Flow and Water Quality in the New Harbor Site
Full text linkWater flow simulations for environmental problems often require local detailed analyses for better understanding and accurate prediction of the fate of pollutant in water bodies. This study deals with the development and application of a two-dimensional flow and dispersion model to the coastal water area to find out possible changes due to the wide port development plan. The model uses finite element theory and the Galerkin weighted-residual approach as its basis. As far as the spatial discretization is concerned, the finite element method is attractive because of its flexibility and ability to naturally treat complex coastal geometries.
The water area is discretized into linear, triangular elements. Boundary conditions of the Dirichlet and Neumann type are applied. A third type(Robin) boundary condition can be applied where river flow exits along the coastline. In order to describe long and relatively slow transients, such as those related to pollutant dispersion, the use of explicit two-step time stepping methods is introduced into the model formulation.
Two submodels, the flow induced circulation model and pollutant dispersion model, are tested by comparing with the analytical solution in a rectangular harbor where its analytical solutions are known. The tested results are of well agreement with the analytical solutions. The model is applied to Busan New Harbor area to simulate circulation and pollutant dispersion in terms of construction steps for coastal dikes. Effects of the sequential construction coastal dikes which change coastline configurations and separation of water bodies are necessary to be investigated and predicted in terms of flow and water quality.
Results from the model were compared with the measured water level and flows in four stations. The flow pattern by the model shows to be similar to the observed data away from the construction site where the flow is not affected. From the simulation results, it is concluded that the model may be useful for numerous other studies for planning and management purposes, especially flow and pollution dispersion in the coastal water bodies where the flow is so complicated.목차
ABSTRACT = i
LIST OF TABLES = v
LIST OF FIGURES = vi
NOMENCLATURE = xiii
1. 서론 = 1
1.1 연구의 배경 = 1
1.2 연구의 목적 = 2
1.3 연구의 내용 및 방법 = 3
2. 천수역에서의 흐름해석 = 5
2.1 흐름의 지배방정식 = 5
2.2 경계 조건 = 10
2.3 테일러법에 의한 이산화 = 13
2.4 유한요소법에 의한 이산화 = 17
2.5 계산 해법 = 23
3. 흐름에 의한 오염확산의 해석 = 28
3.1 이류확산의 지배방정식 = 28
3.2 경계조건 = 29
3.3 테일러법에 의한 이산화 = 29
3.4 유한요소법에 의한 이산화 = 32
3.5 계산 해법 = 34
4. 모델의 수렴 및 검증 = 37
4.1 장방형 모델의 구성 = 37
4.2 장방형 모델의 수치실험 및 분석 = 38
5. 모델의 현장 적용 = 44
5.1 대상영역의 특성 = 44
5.2 모델의 구성 = 46
5.3 수치실험 및 분석 = 50
5.3.1 해수유동 시뮬레이션 = 50
5.3.2 오염물 확산 시뮬레이션 = 72
6. 결론 = 118
참고문헌 = 12
Identification of Numerical Expressions using Finite-State Automata
Full text linkThere have been many trials to parse sentences in text to search complete and exact parses, but it is very hard because of unavoidable incompleteness of lexicon and grammar. Recently, to alleviate these difficulties, partial parsing appears as an alternative in the field. Partial parsing aims to recover syntactic information efficiently and reliably from unrestricted text, by sacrificing completeness and depth of analysis.
As a part of partial parsing, the identification of Korean numerical expressions in text is described in this paper. Numerical expressions are required in several systems such as information extraction systems and question-answering systems. One of desired characteristics of these systems is the fastness. To achieve this goal, we use a finite-state automaton, for which we could use a tool like lex. So that we could rapidly implement the system. We observed that the system is fast and correct through several experiments. To evaluate our system, we used newspaper as test collection. We achieved the recall of 90.8%, and the precision of 86.9%. Experiments show that our system is comparatively correct.목차
제1장 서론 = 1
제2장 관련 연구 = 3
2.1 정규표현과 유한상태 오토마타 = 3
2.2 유한상태 오토마타를 이용한 자연어 처리 방법 = 6
2.3 수식 표현 인식 시스템의 응용 = 9
제3장 한국어 수식 표현의 형식 = 11
3.1 한국어 수사 = 11
3.2 수식 표현의 형식 = 12
3.3 수식 표현의 분류 = 14
제4장 유한상태 오토마타를 이용한 수식 표현 인식 시스템 = 18
4.1 시스템 구성 = 18
4.2 수식 표현의 상태 전이도 = 19
4.3 정규표현 : 한국어 수사 인식을 위한 문법 = 20
4.4 우회 방법 = 21
4.5 어절 단위 인식 = 22
4.6 최장 구절 인식 = 22
4.7 수사와 단위성 의존명사의 연접가능성 = 23
제5장 실험 및 평가 = 26
5.1 실험 환경 = 26
5.2 평가 방법 = 26
5.3 성능 평가 = 27
5.4 오류 분석 = 30
제6장 결론 = 33
참고문헌 = 3