• 전자공학회논문지CI
• /
• 제42권5호
• /
• pp.1-8
• /
• 2005

SPEC CPU2000은 CPU의 성능 측정에 중점을 둔 벤치마크 프로그램으로서 표준화에 대한 노력을 바탕으로 산학계에 널리 사용되고 있으나, 하드웨어 측면에서의 특성 분석은 미비하였다. 본 논문에서는 컴퓨터 시스템의 중요한 구성 요소 중 하나인 CPU 주파수 속도의 변화에 따른 SPEC CPU2000 벤치마크의 성능 변화를 고찰하였다. x86 구조 기반의 단일 프로세서 시스템에서 CPU 주파수 속도를 제외한 다른 구성요소를 일정하게 유지하면서 SPEC CPU2000 벤치마크 프로그램의 성능을 측정함으로써 SPEC CPU2000 벤치마크 프로그램의 특성을 시스템적 측면에서 해석하였다. 실험을 통하여 SPEC CPU2000은 CPU 주파수 속도의 변화에 대하여 유연한 성능분석이 가능하도록 개별 벤치마크 프로그램의 CPU 주파수 의존도가 고르게 분포되어 있음을 알 수 있었으며, SPEC CPU2000에 대한 시스템적 측면의 해석을 제공함으로써 SPEC CPU2000을 사용하는 연구, 개발에 있어서 기반 자료로 사용될 것으로 기대된다.

• 한국멀티미디어학회논문지
• /
• 제3권6호
• /
• pp.661-673
• /
• 2000

본 논문에서는 분산 구조를 갖는 웹 기 반 HW/SW 통합설계 환경(WebCEDA)을 제안하고, HW/SW 통합설계 절차중에서 시스템 기술에 사용할 SpecCharts 기술 환경(ScSE)을 구현한다. WebCEDA는 기존의 통합설계 도구가 갖는 플랫폼 제한, 새로운 기술 추가의 어려움, 공동 작업 환경의 부재와 같은 단점을 해결할 수 있는 3층 클라이언트/서버 구조를 가진다. ScSE는 웹 인터페이스, SpecChars 에디터, HW/SW 통합설계응용 서버, SpecCharts 변환키로 구성된다. 다양한 예제를 SpecCharts 에디터사에서 기술하고, SpecCharts 변환기를 통해 CHDL로 변환시킨 후 Synopsys 상에서 시뮬레이션을 수행함으로써 구현된 ScSE가 정확하게 동작함을 확인하였다. 위의 실험 결과를 통해 ScSE는 시스템 기술의 복잡도 감소, 시스템 설계자의 자연스런 추상화된 설계 유도 등의 장점이 있음을 보였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅲ
• /
• pp.1351-1354
• /
• 2003

본 논문에서는 시스템 성능 향상에 상대적으로 많은 영향을 미치는 CPU 주파수 속도의 변화에 따른 SPEC CPU2000 벤치마크 프로그램의 성능의 변화를 고찰한다. x86 기반의 단일 프로세서 시스템에서 서로 다른 주파수의 CPU를 사용하여 SPEC CPU2000 벤치마크 프로그램의 성능을 측정함으로써 SPEC CPU2000벤치마크 프로그램의 특성을 시스템 적 측면에서 해석하였다. 실험을 통하여 SPEC CPU2000 벤치마크 프로그램의 성능은 CPU 주파수 속도의 변화를 유연하게 반영할 수 있도록 그 의존도가 고르게 분포되어 있음을 알 수 있다.

• 한국의류학회지
• /
• 제23권4호
• /
• pp.575-583
• /
• 1999

Abstract The purpose of this study was to propose a new size-spec. which was applied to four frontal bodytype -X, Y, A and H type-of adult women. Control dimensions of the upper garments were stature bust girth and hip girth. And those of lower garments were waist girth and hip girth. To establish the interval of the control dimensions means and standard deviations were used. By distributing the data of 486 subjects a new size-spec. was proposed. According to the new size-spec. in case of upper garments about 45.7% of subjects were covered by 37 size-speces. and lower garments about 85.9% were covered by 36 The strong point of new size-spec. is to consider the formal feature of each bodytypes. So by trying to apply the new size-spec. to rady-made garments comfort and fitness of those are satisfied.

• Korean Journal of Mathematics
• /
• 제22권3호
• /
• pp.455-462
• /
• 2014

Let D be an integral domain with Spec(D) finite, K the quotient field of D, [D,K] the set of rings between D and K, and SFc(D) the set of semistar operations of finite character on D. It is well known that |Spec(D)| ${\leq}$ |SFc(D)|. In this paper, we prove that |Spec(D)| = |SFc(D)| if and only if D is a valuation domain, if and only if |Spec(D)| = |[D,K]|. We also study integral domains D such that |Spec(D)|+1 = |SFc(D)|.

• 한국기계가공학회지
• /
• 제19권9호
• /
• pp.59-70
• /
• 2020

Three-dimensional (3D) design data is used for various purposes throughout the life cycle of a plant construction project. Plant 3D CAD systems support 3D modeling based on specs-catalogs, which contain data that are used for different purposes such as design, procurement, production, and handover. Therefore, it is important to share the spec-catalog data in the 3D design model with other application systems. Sharing this data thus requires a system that extracts spec-catalog data from plant 3D CAD systems and converts them into neutral model data. In this paper, we analyze equipment spec-catalog data of plant 3D CAD systems and, based on these analyses, define the data structure for neutral spec-catalog data. We subsequently propose a procedure that translates native spec-catalog data to neutral model data and develop a prototype system that performs this operation. The proposed method is then experimentally validated for the test spec-catalog data.

• 한국언어정보학회지:언어와정보
• /
• 제6권2호
• /
• pp.1-14
• /
• 2002

This paper discusses so called the non-DP subject constructions in English. In general, a subject is a DP that bears Nominative case and that occupies 〔Spec, IP〕. However, in some examples under investigation, it looks as if non-DP categories such as Prepositional Phrases(PP), Adjectival Phrases(AP), Adverbial Phrases (AdvP), Small Clauses (PreP or SC), and VP occupy the canonical subject position, 〔Spec, IP〕. Under the framework of Chomsky's (1993, 1995) along with his previous works (Chomsky 1981, 1986), the Case Checking mechanism undoubtedly assumes that only DPs can have Case Therefore, the Case Checking/Agree mechanism is stated such that the strong uninterpretable feature, in this case Case feature (D or NP) feature must be checked off in a certain manner. Therefore, any phrasal categories other than DPs are not included in the considerations. Nonetheless, there are many instances of non-DP categories in English that occupy the seemingly canonical subject position, 〔spec, IP〕. In this paper, it is proposed that the actual position of these non-DP subjects in English is not in Spec of IP. Rather, they occupy 〔Spec, TopP〕 under CP in the sense of Lasnik & Stowell (1991), Rizzi (1997), and Haegeman & Gueron (1999). In its effect, therefore, this paper extends the idea of Stowell (1981) who argues that the clausal subjects in English is not in 〔Spec, IP〕, but in 〔Spec, TopP〕. We further argue that Stowell's version of Case Resistance Principle must be extended in order to accomodate many more occurrences of so called non-DP subjects.

• 전기학회논문지
• /
• 제61권5호
• /
• pp.770-776
• /
• 2012

For a few recent years, KECA(Korea Electrical Contractor Association) has promoted a project to establish an electrical construction specification called Master Spec. This paper analyses the characteristics of standards-making process of the Master Spec. as an umbrella technical standard in electrical construction industry in Korea. This paper argues that even if the Master Spec. is recognized to be technical standards, the standards-making process involves both technical and social practices when viewed from social construction theory and governance perspective. This aspect of social practices in technical standards making should be well understood because various stakeholders in terms of interests, resources, and motives try to influence the process positively and negatively. KECA in responsible for enactment of the Mater Spec. should be very thoughtful in building consensus first of all among electrical contractors, managing relationship with concerned government officials, and dealing with potential deviant groups as well as in pooling expertises and developing technical knowledge needed for designing technical specification.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권1호
• /
• pp.1-11
• /
• 2005

군집 질의는 사용자에 의해 명시된 질의 영역 내에서 큐브상의 군집 정보를 계산한다. 프리픽스-섬 기법에 기초한 기존의 방법론은 데이타의 누적된 합을 저장하기 위해 프리픽스-섬 큐브(PC)로 불리는 부가적인 큐브를 사용하므로 높은 저장공간 오버헤드를 초래한다. 이러한 저장공간 오버헤드는 기억장치의 추가적인 비용뿐만 아니라 업데이트의 부가적인 증식(propagation)과 더 많은 물리적 장치로의 접근시간을 유발시킨다. 본 논문에서는 대용량 데이타 웨어하우스에서 PC의 저장공간을 획기적으로 감소시킬 수 있는 'SPEC'으로 불리는 새로운 프리픽스-섬 큐브를 제안한다. SPEC은 PC내 셀들간의 종속에 의한 업데이트 증식을 감소시킨다. 이를 위해 대용량 데이타 큐브로부터 조밀한 서브큐브들을 발견하는 효과적인 알고리즘을 개발한다 다양한 차원의 데이타 큐브와 여러 가지 크기의 질의에 대해 폭 넓은 실험을 행하여 본 논문에서 제안한 방법의 효과와 성능을 조사한다. 실험적인 결과는 SPEC이 적절한 질의 성능을 유지하면서도 PC 저장공간을 상당히 감소시킴을 보여준다.

• Journal of Veterinary Science
• /
• 제25권3호
• /
• pp.48.1-48.12
• /
• 2024

Importance: Early diagnosis of canine pancreatitis is challenging due to non-specific clinical signs. Currently, abdominal ultrasonography and measurement of canine pancreatic lipase (cPL) have been employed for the diagnosis of pancreatitis. Objective: Many qualitative and quantitative commercial cPL tests have been developed and used in veterinary clinics. This study aimed to compare three different methodologies SNAP cPL, Spec cPL, and Vcheck cPL tests to assess the concordance of these assays. Methods: Fifty serum samples were collected from 36 dogs with or without pancreatitis and subjected to SNAP cPL, Spec cPL, and Vcheck cPL tests. Agreement and correlation coefficients were calculated between the test results, and correlations were determined during the management of the patients. Results: The results of the three cPL assays were strongly correlated in 47/50 serum samples (94%). Cohen's kappa analysis between the Spec cPL and Vcheck cPL showed near perfect agreement (κ = 0.960, p < 0.001), SNAP cPL and Vcheck cPL (κ = 0.920, p < 0.001), and Spec cPL and SNAP cPL (κ = 0.880, p < 0.001). The correlation coefficients (r) between data from Spec cPL and Vcheck cPL tests was calculated by Spearman's correlation test (r = 0.958, p < 0.001). Furthermore, the patterns of change in serum cPL concentrations determined using Spec cPL and Vcheck cPL were significantly consistent during the monitoring period in 11 patients. Conclusions and Relevance: Our data illustrated that Spec cPL and Vcheck cPL tests are compatible for clinical use in the diagnosis and monitoring of canine pancreatitis.