• Title/Summary/Keyword: order completeness

Search Result 109, Processing Time 0.032 seconds

ITERATED ENTIRE FUNCTIONS AND THEIR GROWTH PROPERTIES ON THE BASIS OF (p, q)-TH ORDER

  • Biswas, Tanmay;Choi, Junesang;Das, Pranab;Datta, Sanjib Kumar
    • Honam Mathematical Journal
    • /
    • v.38 no.1
    • /
    • pp.169-212
    • /
    • 2016
  • Entire functions have been investigated so popularly to have been divided into a large number of specialized subjects. Even the limited subject of entire functions is too vast to be dealt with in a single volume with any approach to completeness. Here, in this paper, we choose to investigate certain interesting results associated with the comparative growth properties of iterated entire functions using (p, q)-th order and (p, q)-th lower order, in a rather comprehensive and systematic manner.

A design of a tool to verify completeness and consistency of object - oriented analysis (객체지향 분석의 완전성과 일관성 검증을 위한 툴의설계)

  • Kim, Chi-Su;Jin, Young-Jin
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.10
    • /
    • pp.2453-2460
    • /
    • 1997
  • Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.

  • PDF

Algebraic semantics for some weak Boolean logics

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.9 no.2
    • /
    • pp.1-30
    • /
    • 2006
  • This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

  • PDF

FEYNMAN-KAC SEMIGROUPS, MARTINGALES AND WAVE OPERATORS

  • Van Casteren, Jan A.
    • Journal of the Korean Mathematical Society
    • /
    • v.38 no.2
    • /
    • pp.227-274
    • /
    • 2001
  • In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.

  • PDF

The Study on User's Continuance Intention of Traceability System between Agricultural and Marine Products (식품 유형간 이력추적시스템의 지속사용의도에 미치는 영향에 관한 연구)

  • Lee, Seung-Yook;Park, Hyeon-Suk
    • Journal of Distribution Science
    • /
    • v.14 no.4
    • /
    • pp.67-79
    • /
    • 2016
  • Purpose - Over recent years, we have concerned about safety and quality on food products because of delivery complexity. The dependence of foreign food products escalate supply of products. And there are often negligent accident of marine and agricultural products. Therefore, the complexity increases the importance of safety on food and information quality for consumers. In spite of the interest augmentation of various interested parties, there is decrease in reliability and effectiveness, if it would be established without the right directivity. For the study, we tried to examine the first considerations the point of - view in service environment and information quality with accepting and diffusing the Traceability System. Then, we tried to verify the relationships between the factors of TS and the determinants of behavior decision. Next, we made efforts to find the mutual relationship among distributors, producers, consumers and the other prerequisite factors from the point of view in service environment and information quality in order to operate effectively the information perspective and system. Research design, data, and methodology - For the purpose of this study, the samples of consumers were targeted to Traceability System, and 661 people have been investigated. Through theoretical discussion of previous research, nine hypotheses were established, the influence of Continuous User Intention in TS. In order to test the hypotheses, a survey had conducted for 661 consumers as opinion leaders in their 20s-60s as data, and structural equation modeling was used. The difference analysis between Agricultural and Marine Products in TS; SPSS 22.0 and AMOS 22.0 were used for statistical analysis. Results - The major findings from this study were as follow; all factors of information quality excluding completeness and a social-impact had effects on the ease of use; all factors excluding understand ability in information quality and a social-impact had effects on the usefulness; completeness and social-impact had effects on perceived value; the ease of use had effects on usefulness and perceived value; usefulness had effects on perceived value and the intention of continuous use. From the results of different analysis, the CPLT(Completeness) factor has positive effects on Easy of USE and PV(Perceived Value) strongly in agricultural products. On the other hand, Social Duty has positive effects on Easy of Use strongly in marine products. Conclusion - In the age of information overflowing, TS will be a burden for users if it places too much emphasis upon accessibility. To accept and diffuse TS safely, therefore, Information System should be settled first into initial market formation. In addition, if TS elements are considered in conjunction with information factors and user environment, the acceptance and diffusion of TS would make synergy effect, even better. That is, this study contributes to the acceptance and diffusion of Traceability System. Accordingly, information quality will be settled into initial market formation. Also, social-impact element will be considered in conjunction with information quality's factors, and it will make synergy effect.

Adaptive High-order Variation De-noising Method for Edge Detection with Wavelet Coefficients

  • Chenghua Liu;Anhong Wang
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.17 no.2
    • /
    • pp.412-434
    • /
    • 2023
  • This study discusses the high-order diffusion method in the wavelet domain. It aims to improve the edge protection capability of the high-order diffusion method using wavelet coefficients that can reflect image information. During the first step of the proposed diffusion method, the wavelet packet decomposition is a more refined decomposition method that can extract the texture and structure information of the image at different resolution levels. The high-frequency wavelet coefficients are then used to construct the edge detection function. Subsequently, because accurate wavelet coefficients can more accurately reflect the edges and details of the image information, by introducing the idea of state weight, a scheme for recovering wavelet coefficients is proposed. Finally, the edge detection function is constructed by the module of the wavelet coefficients to guide high-order diffusion, the denoised image is obtained. The experimental results showed that the method presented in this study improves the denoising ability of the high-order diffusion model, and the edge protection index (SSIM) outperforms the main methods, including the block matching and 3D collaborative filtering (BM3D) and the deep learning-based image processing methods. For images with rich textural details, the present method improves the clarity of the obtained images and the completeness of the edges, demonstrating its advantages in denoising and edge protection.

Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS

  • Koo, Seo-Ryong;Son, Han-Seong;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • v.31 no.2
    • /
    • pp.157-171
    • /
    • 1999
  • In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

  • PDF

Variables Affecting Chinese University Students' Selection Factors for Korean Drama (중국 대학생의 한국 드라마 선택요인에 영향을 미치는 변인)

  • Liu, Li;Baek, Jongnam
    • Journal of the Korea Convergence Society
    • /
    • v.12 no.5
    • /
    • pp.267-274
    • /
    • 2021
  • This study was designed to investigate the variables affecting Chinese university students' selection factors for Korean drama. Participants in this study were 379 university students from Hunan Province, China. An online survey program(www.wjx.cn) was used to collect data for this study. The tool of this study was 'a tool for measuring the selection factors of Korean Dramas', and it was composed of two areas: completeness of work and recognition. The results of this study are as follows: First, the completeness of work factor are higher than the recognition of Korean dramas by Chinese university students. Second, there are differences in the factors for selection Korean dramas according to the gender, grade, age, major, and Korean Drama watching frequency of Chinese university students. Third, when Chinese university students select Korean Dramas, their preferred genre influences the selection factors for the level of work completion and recognition. Finally, it was discussed according to the results of this study, and suggested for the qualitative re-leap of Korean Dramas in the global era. In order to expand the Korean Wave market in China, cultural contents must be developed to embrace the sentiment of Chinese university students, a propagation strategy that reflects the latest consumption trends of Chinese youth must be established, and the sophisticated visual beauty of Korean Dramas must be realized.

Automatic Quality Evaluation with Completeness and Succinctness for Text Summarization (완전성과 간결성을 고려한 텍스트 요약 품질의 자동 평가 기법)

  • Ko, Eunjung;Kim, Namgyu
    • Journal of Intelligence and Information Systems
    • /
    • v.24 no.2
    • /
    • pp.125-148
    • /
    • 2018
  • Recently, as the demand for big data analysis increases, cases of analyzing unstructured data and using the results are also increasing. Among the various types of unstructured data, text is used as a means of communicating information in almost all fields. In addition, many analysts are interested in the amount of data is very large and relatively easy to collect compared to other unstructured and structured data. Among the various text analysis applications, document classification which classifies documents into predetermined categories, topic modeling which extracts major topics from a large number of documents, sentimental analysis or opinion mining that identifies emotions or opinions contained in texts, and Text Summarization which summarize the main contents from one document or several documents have been actively studied. Especially, the text summarization technique is actively applied in the business through the news summary service, the privacy policy summary service, ect. In addition, much research has been done in academia in accordance with the extraction approach which provides the main elements of the document selectively and the abstraction approach which extracts the elements of the document and composes new sentences by combining them. However, the technique of evaluating the quality of automatically summarized documents has not made much progress compared to the technique of automatic text summarization. Most of existing studies dealing with the quality evaluation of summarization were carried out manual summarization of document, using them as reference documents, and measuring the similarity between the automatic summary and reference document. Specifically, automatic summarization is performed through various techniques from full text, and comparison with reference document, which is an ideal summary document, is performed for measuring the quality of automatic summarization. Reference documents are provided in two major ways, the most common way is manual summarization, in which a person creates an ideal summary by hand. Since this method requires human intervention in the process of preparing the summary, it takes a lot of time and cost to write the summary, and there is a limitation that the evaluation result may be different depending on the subject of the summarizer. Therefore, in order to overcome these limitations, attempts have been made to measure the quality of summary documents without human intervention. On the other hand, as a representative attempt to overcome these limitations, a method has been recently devised to reduce the size of the full text and to measure the similarity of the reduced full text and the automatic summary. In this method, the more frequent term in the full text appears in the summary, the better the quality of the summary. However, since summarization essentially means minimizing a lot of content while minimizing content omissions, it is unreasonable to say that a "good summary" based on only frequency always means a "good summary" in its essential meaning. In order to overcome the limitations of this previous study of summarization evaluation, this study proposes an automatic quality evaluation for text summarization method based on the essential meaning of summarization. Specifically, the concept of succinctness is defined as an element indicating how few duplicated contents among the sentences of the summary, and completeness is defined as an element that indicating how few of the contents are not included in the summary. In this paper, we propose a method for automatic quality evaluation of text summarization based on the concepts of succinctness and completeness. In order to evaluate the practical applicability of the proposed methodology, 29,671 sentences were extracted from TripAdvisor 's hotel reviews, summarized the reviews by each hotel and presented the results of the experiments conducted on evaluation of the quality of summaries in accordance to the proposed methodology. It also provides a way to integrate the completeness and succinctness in the trade-off relationship into the F-Score, and propose a method to perform the optimal summarization by changing the threshold of the sentence similarity.

Manufacturing Information Calculation System for Production Automation of 3-dimensional Template Used to Evaluate Shell Plate Completeness (선체 곡판 완성도 평가용 3차원 곡형의 제작 자동화를 위한 생산 정보 산출 시스템)

  • Ryu, Cheolho;Son, Seunghyeok;Shen, Huiqiang;Kim, Youngmin;Kim, Byeongseop;Jung, ChangHwan;Hwang, InHyuck;Shin, Jong-Gye
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.55 no.2
    • /
    • pp.136-143
    • /
    • 2018
  • 3-D templates are produced to evaluate completeness of the shell plates during the forming process, which is an essential step for the ship production. They are mostly produced in advance during the detail/production design stage, but occasionally they are requested by the shell plate forming department, because it is impossible to predict accurately the necessities of them at the design stage. This results in a huge loss of man-hour and a bottleneck. In order to resolve this issue while reducing the dependence on other department, the process of manufacturing the 3-D templates needs to be automated. Therefore, this study proposes an automatic system that calculates the manufacturing information of the 3-D templates with only geometric information of the shell plates. The system considers the thickness and the cutting method of the parts of the 3-D templates and some options are provided to reflect the intention of the worker.