• Title/Summary/Keyword: statement

Search Result 1,564, Processing Time 0.024 seconds

Coverage metrics for high-level events in behavioral model verification (동작적 모델 검증의 상위 레벨 사건에 대한 검출률 측정법)

  • Kim, Kang-Chul;Im, Chang-Gyun;Ryu, Jae-Hung;Han, Suk-Bung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.10 no.3
    • /
    • pp.496-502
    • /
    • 2006
  • The complexity of IC has rapidly increased as VLSI fabrication technology has grown up quickly. This paper proposes verification methods for data conflicts and protocol between IPs for SoC with coverage metrics. The high-level events is defined to cooperation between blocks or process statement in HDL, or a sequence of performing a job compared to low-level event. They are classified into two categories, resource conflicts and protocol or specification-dependent conflicts. And two coverage metrics used for code coverage in low-level event are proposed to verify the hish-level events. The events of resource conflicts can be detected by using statement coverage metric if global signal or variable has flags in a testbench program, and protocol-dependent events can be checked by data flow metric or path metric.

Analysis on Educational Needs for Development of Principals' Strategic Leadership (학교장의 전략적 리더십 역량 강화를 위한 교육요구도 분석)

  • Yoon, So Hee
    • Journal of Practical Engineering Education
    • /
    • v.12 no.1
    • /
    • pp.231-242
    • /
    • 2020
  • The purpose of this study was to investigate educational needs for development of principals' strategic leadership. The researcher analyzed 128 responses from elementary and secondary school principals who participated in professional development programs in 2019. For data analyses, the researcher conducted t-test and Borich needs assessment and drew the Locus for Focus model. Results are as follows. First, all respondents and secondary school principals considered important competencies data collection and use for setting future directions, vision statement for educational community, preparation of essential values for educational activities in school, evaluation on school finance and utilization, effort for development of school system, and enhancement of positive communication climate. Second, elementary school principals regarded important competencies as vision statement for educational community, preparation of essential values for educational activities in school, analysis of school environment and use, evaluation on school finance and utilization, investigation of educational objectives and planning, effort for development of school system, and enhancement of positive communication climate.

The Use of Likert Scale in Community Nutrition Research: Analysis of the Articles Published in Korean Journal of Community Nutrition (지역사회영양학 연구에서의 리커트 척도 이용 현황: 대한지역사회영양학회지 게재 논문을 중심으로)

  • Ryu, Si-Hyun;Yoon, Ji-Hyun
    • Korean Journal of Community Nutrition
    • /
    • v.14 no.5
    • /
    • pp.600-607
    • /
    • 2009
  • The purpose of this study was to examine if Likert scales had been properly utilized in community nutrition research. A total of 527 research articles published in the 32 issues of Korean Journal of Community Nutrition from the volume 5, issue 1 in 2000 to the volume 10, issue 2 in 2005 were screened and 55 articles were found to have utilized one or more Likert scales for the studies. Therefore, 109 Likert scales used in the 55 studies were reviewed regarding the name, statement and response items, reliability and validity check, and analysis method. The scales were mostly referred as Likert scales (60%) or Likert-type scales (27%). Some scales were found to be referred as Likert scales although they were Likert-type scales when judged based on the information given in the respective articles. However some scales couldn't be judged for the rightness of the names because the information given for the scales in the articles was not enough. About 23% of the scales consisted of items less than 6 or more than 30, and therefore found to be inappropriate. The percentage of the scales listing all the statement items in the articles was only 25%. Most of the scales (85%) included 5 response items, and the rest included 4 (7%), 7 (6%), or 3 (2%). The percentages of the scales including appropriate center and end items were only 2% and 22%, respectively. Less than half of the scales (41%) were found to have been checked for reliability and only one scale was reported to have been checked for validity. In some scales (6%), the responses were scored improperly for analysis. The responses to the scales were frequently found to have been analyzed by parametric statistics such as mean, ANOVA, t-test, and Pearson's correlation, which might be a problem depending on the size and distribution of study samples. In conclusion, there is much room for improvement in the use of Likert scales in community nutrition research.

제 7차 교육과정 개정을 위한 가정계 고등학교 교육과정 체제 및 구조 개선 연구

  • 김경애;윤인경;장명희
    • Journal of Korean Home Economics Education Association
    • /
    • v.8 no.2
    • /
    • pp.65-79
    • /
    • 1996
  • This study proposes a model curriculum for Vocational Home Economics High School in the 7th Curriculum Revision. The model in the study is first drawn from the assumptions that reflect ever changing demands of industrial society for Home Economics education. Another perspective employed in the study is historical analysis that focuses on the evolution of the Vocational Home Economics Curricula from the 1st through the 6th revision. This study also employes comparative research tools for the national level comparison such as USA, Japan, Taiwan, and Korea. The proposed model curriculum in this study is concluded from those step-by-step studies as follows:1) Problem definition and design in current curriculum for Vocational Home Economics high school; 2) Needs and roles analysis of Vocational Home Economics high school for the future; and 3)Historical analysis of our curriculum revisions in the past and coparative analysis with other countries. Authors conducted this research project for 3 month period from June 15, 1996 to September 15, 1996. During this period, authors collected the data and information through those method as an extensive literature review, survey and interview, and curriculum specialist conference. The key and critical features of the proposed curriculum in the study are as follows:1) In the numbers of department, a proposed model curriculum offers 8 as opposed to 6 in the 6th revision, reflecting two additional departments of “Elderly Welfare”and “Cosmotology”. 2) In the statement of educational objectives, a model curriculum emphasizes a more concrete statement to each specific skills according to the changing societal needs. 3) In the numbers of total subject matters, there would be 40 in the new as opposed to 23 in the current curriculum. Among these changes, 17 would occurr in the newly introduced subject matters, while 11 would simply change the subject matter name. Among 40 subject matter, “Introduction to Computer” and “Home Economics in Vocational Education”would be required subject matter. 4) In the total numbers of required unit for graduation in three years, a model offers 86∼132 unit. A maximum unit for each subject matter would be 12.

  • PDF

A Study on the Accumulative Evaluation of Qualified Quantified Values in Industrial Design (정성적/정성적 디자인 가치의 누적평가방법에 관한 기초 연구)

  • 박대순;우흥룡
    • Archives of design research
    • /
    • v.3 no.1
    • /
    • pp.17-33
    • /
    • 1990
  • Evaluation plays an essential role in design activity. Many theorist have agreed that designing involves problem solving or decision making. In evaluation, designers attempt to determine the value of a particular proposal arrived at by synthesis. And the results of designing, the product, is evaluated twice, objectively and subjectively.Alternatives in $$\mu$ti-objective decision problems generally possess numerous attributes by which they can be described and compared. The evaluation factors include all attributes that have levels specified by quantitative and qualitative objectives. However since qualitiative factors are difficult to quantify as $$\mu$eral estmates, these factors have tended to be ignored without regard for their importance to human content. Therefore we need some study that convert qualitative attributes into quantitative scale values. Following to Thurstone' s Psychological scaling methods (The method of successive intervals), attribute values of TV set are assigned by rating scale methods. The method of successive intervals, like the method of equal-appearing intervals, requires but a single judgement from each subject for each statement to be scaled. It is, therefore, a convinient method to use when the number of to be scaled is large. We make the assumtion that those cu$$\mu$ative proportion distributions are normal for each statement when they are projected on the unknown psychological continuum. In this study, we have determined the scale values of 42 statements of TV set by the method of successive intervals. Then we can apply a test of internal consistency similar to that used with the method of paired comparisons. We have as our absolute average deviation, -1.748/252= -0.0069. We have reason to believe that our scale values are consistent with the empirical data, because these discrepanicies are very small.

  • PDF

A Study on the Composition and Operating Trend of Arboreta in Korea (국내수목원 조성 및 운영경향에 관한 연구)

  • Kim, Jong Ik;Kang, Cheol Gi;Shin, Hyun Tak;Seng, Jung Won
    • Journal of the Korean Society of Environmental Restoration Technology
    • /
    • v.14 no.5
    • /
    • pp.37-51
    • /
    • 2011
  • Research and conservation of plant species for the nation arboretum, collection and securing of the plant species for both public and private arboreta and education for the arboreta which is affiliated to the university are overall management goal of the arboreta in Korea. Most of the arboreta in Korea run the programs and events for guide and interpretation of forest, but the programs and events are not well specified by the arboreta. Regarding the reasonable level of entrance fee should be discussed further as the lack of information and understanding. But the specified entrance fee between public and private arboreta should be considered. An eighty three percent of arboreta in Korea has been properly managed the species information. The reasonable management should be considered in case of unusual management of collected plant genetic resources. Although the overall impending difficulties for the management of arboreta in Korea is the lack of trained or qualified staffs, securing tasks independently for the public arboreta and relatively low salary for the private arboreta are main difficulties. Most of the difficulties are derived from the lack of its mission of the arboreta. The management of arboreta by the mission statement is one of the core targets including the characters such as climate or region should be considered. The securing qualified or trained staffs should be considered in the development of arboreta in Korea including the modification of relevant regulations or law.

The relationship between factuality, the Influence of rumors and types of public via social media: A network analysis of rumor diffusion on THAAD (루머의 사실성·파급력과 소셜 미디어를 통해 형성된 공중의 관계: 사드배치 관련 루머의 확산 네트워크 분석)

  • Hong, Juhyun
    • Journal of Internet Computing and Services
    • /
    • v.18 no.6
    • /
    • pp.113-125
    • /
    • 2017
  • This study focused on the difference between the volume of rumors and types of rumors via social media based on case studies and network analysis. Rumors are classified into core statement, peripheral statement, core gossip, and peripheral gossip based on their factuality and influence. The diffusion of opinions via social media is classified into dispersive mob, solid mob, dispersive minority, and solid minority based on the volume of node and its interactivity. The results of this study show that, core gossip is actively dispersed. Users are more interested in the influence of rumor than in rumors that appear the be factual. This study highlighted what the role of government when rumor is diffusing and in the aspect of message what the characteristic of rumor.

A Low-Complexity ML Detector for Generalized Spatial Modulation Based on Priority (GSM을 위한 우선순위 기반 저복잡도 ML 검출 기법)

  • Lee, Man Hee;Shin, Soo Young
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.42 no.4
    • /
    • pp.731-738
    • /
    • 2017
  • In this paper, we proposed a modified ML detector for generalized spatial modulation which is a method among Multiple-input Multiple-output. This proposed method detects signal applying modified channel statement information based on priority. Complexity in conventional methods increases as increasing the number of active antennas. To solve this problem, we proposed a new ML method using static channel information decided by the number of transmit antennas and the number of receive antennas. This method detects active antennas one by one through priority. The proposed method has proved benefit on complexity compared with conventional method through simulations. When the number of transmit antennas is equal to 10, there is approximately 45% complexity reduction.

A Review of Declarations on Appropriate Research Evaluation for Exploring Their Applications to Research Evaluation System of Korea (연구성과평가 지침 리뷰 및 국내 적용 제안을 위한 고찰)

  • Yu, So-Young;Lee, Jae Yun;Chung, EunKyung;Lee, Boram
    • Journal of the Korean Society for information Management
    • /
    • v.32 no.4
    • /
    • pp.249-272
    • /
    • 2015
  • Inappropriate applications of bibliometric approach and misinterpretation on the analysis in research evaluation have been found and recognized nationally and internationally as the use of the approach has been rapidly adopted in various sectors in research evaluation systems and research funding agencies. The flood of misuse led to several numbers of declarations and statements on appropriate research evaluation, including Leiden Manifesto, DORA, IEEE Statement, etc. The similar recommendations from five different declarations, Leiden Manifest, IEEE Statement, DORA, Institut de France, and Thomson Reuters White paper were reviewed and meta-analyzed in this study and it is revealed that most of them emphasize evaluation on quality in various aspects with multiple indicators. Research evaluation with assessing multiple aspects of individual research based on the understandings of its purpose and pertinent subject area was revealed as being mostly advised in the declarations, and this recommendation can be regarded as being mostly requested in national research evaluation system. For future study, interviews with relevant stakeholders of national research evaluation system in order to explore its application are needed to confirm the findings of this review.

A Study on the Usefulness of Price - Level Change Accounting Information (물가변동회계정보의 유용성에 관한 고찰)

  • 정영관
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.6 no.9
    • /
    • pp.81-95
    • /
    • 1983
  • The author has intended to seek for the usefulness of price-level change accounting information through financial statements of general price level. The accounting information obtained from financial statements of general price level, must be useful to the reasonable judgment of financial statement users or to the economic decision making, This thesis may be summarized as follows : 1. Financial statements arranged by historical cost accompany many problems as accounting information. In other words, at the time of inflation, they have little usefulness as accounting information. 2. In order to correct the little usefulness of the financial statements arranged by historical cost, the author examined this matter centering around FASB statement No. 33. 3. The price level change accounting eliminates the contradiction of the accounting information obtained from the financial statements arranged by historical cost. 4. In the general price level change accounting, money value is presumed to change according to the level of general price and, then, the money value for goods must be revised. 5. In the general price level change accounting, the division between monetary items of asset and debt, and non-monetary items, is important. 6. The general price level change accounting based upon historical cost accounting, has objectivity as accounting information like the cost basis accounting and larger usefulness than the cost basis accounting. In conclusion, the price level change accounting increases its usefulness as accounting information and, therefore. (1) the information on the general price level change accounting is desirable to be disclosed as supplementary information for the traditional financial statements, and (2) the general price level change accounting should be induced to the listed Companies in Korea under continuing inflation for improving the usefulness of financial statements as accounting information.

  • PDF