• East Asian mathematical journal
• /
• v.35 no.4
• /
• pp.451-465
• /
• 2019

Textbooks are official materials so that these are the most frequently used teaching materials in school. The teacher constructs the lesson based on the contents of the textbook to achieve the learning goal. Thus, textbooks play an important role because the quality of the contents in textbooks affects the cognitive level of students. This study investigates the cognitive domain based on Bloom's Taxonomy of Educational Objectives(knowledge, understanding, application, analysis, synthesis and evaluation) of 'Values and Expression' in the mathematics textbook of the first grade of middle school reflecting the 2015 revised mathematics curriculum. We also looked at cognitive levels based on Bloom's Taxonomy of Educational Objectives. As a result, it was found that understanding was dominant in 'Values and Expression'. Also, although the problem of requiring a higher level of cognition is increasing as the unit finishes, there are still a high percentage of low level of problems.

• Journal of Aerospace System Engineering
• /
• v.10 no.3
• /
• pp.15-22
• /
• 2016

The on-board appendages of satellites with mechanical moving parts such as the fly-wheel, the control-moment gyro, the cryocooler, and the gimbal-type directional antenna can generate an undesirable micro-vibration disturbance, which is one of the main causes of the image-quality degradation that affects high-resolution observation satellites. Consequently, the isolation of the micro-vibration issue has always been considered as salient, and the micro-vibration is therefore the focus of this study wherein a complex system that can provide the dual functions of a guaranteed vibration-isolation performance and electrical energy harvesting is proposed. The vibration-isolation and energy-harvesting performances of the complex system are predicted through a numerical analysis based on the characteristics that are obtained from component-level tests. In addition, the effectiveness of the complex system that is proposed in this study is verified through an assembly-level functional-performance test.

• International Journal of Computer Science & Network Security
• /
• v.21 no.3
• /
• pp.304-310
• /
• 2021

The paper presents problems of optimization of the synthesis of embedded systems, in particular Pareto optimization. The model of such a system for its design for high-level of abstract is based on the classic approach known from the theory of task scheduling, but it is significantly extended, among others, by the characteristics of tasks and resources as well as additional criteria of optimal system in scope structure and operation. The metaheuristic algorithm operating according to this model introduces a new approach to system synthesis, in which parallelism of task scheduling and resources partition is applied. An algorithm based on a genetic approach with simulated annealing and Boltzmann tournaments, avoids local minima and generates optimized solutions. Such a synthesis is based on the implementation of task scheduling, resources identification and partition, allocation of tasks and resources and ultimately on the optimization of the designed system in accordance with the optimization criteria regarding cost of implementation, execution speed of processes and energy consumption by the system during operation. This paper presents examples and results for multi-criteria optimization, based on calculations for specifying non-dominated solutions and indicating a subset of Pareto solutions in the space of all solutions.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.5
• /
• pp.1-17
• /
• 1997

With the increasing performance and density of VLSI scircuits as well as the popularity of portable devices such as personal digital assitance, power consumption has emerged as an important issue in the design of electronic systems. Low power design techniqeus have been pursued at all design levels. However, it is more effective to attempt to reduce power dissipation at higher levels of abstraction which allow wider view. In this paper, we propose a simultaneous scheduling and binding scheme which increases the correlation between cosecutive inputs to an operation so that the switched capacitance of execution units is reduced in datapath-dominated circuits. The proposed method is implemented and integrated into the scheduling and assignment part of HYPER synthesis environment. Compared with original HYPER synthesis system, average power saving of 23.0% in execution units and 14.2% in the whole circuits, ar eobtained for a set of benchmark examples.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.4
• /
• pp.437-446
• /
• 2018

This paper describes the real-time logic implementation of orthogonal matching pursuit(OMP) algorithm for compressive sensing digital receiver. OMP contains various complex-valued linear algebra operations, such as matrix multiplication and matrix inversion, in an iterative manner. Xilinx Vivado high-level synthesis(HLS) is introduced to design the digital logic more efficiently. The real-time signal processing is realized by applying dataflow architecture allowing functions and loops to execute concurrently. Compared with the prior works, the proposed design requires 2.5 times more DSP resources, but 10 times less signal reconstruction time of $1.024{\mu}s$ with a vector of length 48 with 2 non-zero elements.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.4
• /
• pp.17-29
• /
• 1999

This paper presents a high level synthesis method targeting low power consumption for data-dominated CMOS circuits (e.g., DSP). The high level synthesis is divided into three basic tasks: scheduling, resource and register allocation. For lower power scheduling, we increase the possibility of reusing an input operand of functional units. For a scheduled data flow graph, a compatibility graph for register and resource allocation is formed, and then a special weighted network is then constructed from the compatibility graph and the minimum cost flow algorithm is performed on the network to obtain the minimum power consumption data path assignment. The formulated problem is then solved optimally in polynomial time. This method reduces both the switching activity and the capacitance in synthesized data path. Experimental results show 15% power reduction in benchmark circuits.

• Journal of IKEEE
• /
• v.7 no.2 s.13
• /
• pp.166-171
• /
• 2003

In this paper, we propose a minimal power data path allocation algorithm for low power circuit design. The proposed algorithm minimizes switching activity for input variables in scheduled CDFG. Allocations are further divided into the tasks of register allocation and module allocation. The register allocation algorithm execute that it eliminate spurious switching activity in functional unit and minimize the numbers of multiplexer. Also, resource allocation method selects a sequence of operations for a module such that the switching activity is reduced. Therefore, the algorithm executes to minimize the switching activity of input values, sequence of operations and number of multiplexer. Experimental results using benchmarks show that power is reduction effect from 13% to 17% power consumption, when compared with the Genesis-lp high-level synthesis system.

• Journal of Microbiology and Biotechnology
• /
• v.22 no.9
• /
• pp.1202-1207
• /
• 2012

A gene, ClCDA, encoding chitin deacetylase from Colletotrichum lindemuthianum, was optimized according to the codon usage bias of Pichia pastoris and synthesized in vitro by overlap extension PCR. It was secretorily expressed in P. pastoris GS115 using the constitutive expression vector pHMB905A. The expression level reached the highest with 110 mg/l culture supernatant after 72 h of methanol induction, which comprised 77.27 U/mg chitin deacetylase activity. SDS-PAGE, mass spectrometry, and deglycosylation assays demonstrated that partial recombinant protein was glycosylated with an apparent molecular mass of 33 kDa. The amino acid sequences of recombinant proteins were confirmed by mass spectrometry.

• Journal of Microbiology
• /
• v.38 no.3
• /
• pp.145-149
• /
• 2000

GroEL is a typical molecular chaperone. GroEL synthesis patterns at various culture temperatures in Escherichia coli were investigated in this study. No significant differences in the amount of GroEL produced from the chromosome were found at 30 and 37$^{\circ}C$. However, GroEL production increased 3.4-fold at 42$^{\circ}C$. GroEL synthesis was not transient but continuous at 42$^{\circ}C$, although most heat shock gene expression is known to be transient. To understand the role of the groEL structural gene, a groE promoter-lacZ fusion was constructed. Interestingly , while transcriptional fusion is not thermally inducible, it is inducible by ethanol, suggesting that the secondary structure of the groEL transcript is involved in thermal regulation of the groEL gene. Secondary structures of groE mRNA at 37 and 42$^{\circ}C$ were compared using the computer program RNAdraw. Distinct structures at the two temperatures were found, and these structures may be related to a high level of GroEL expression at 42$^{\circ}C$.

• Asian-Australasian Journal of Animal Sciences
• /
• v.21 no.7
• /
• pp.1003-1010
• /
• 2008

The objective of the present study was to identify differences in the expression levels of liver proteins between healthy and ketotic cows, establish a liver metabolic interrelationship of ketosis and elucidate the metabolic characteristics of the liver during ketosis. Liver samples from 8 healthy multiparous Hostein cows and 8 ketotic cows were pooled by health status and the proteins were separated by two-dimensional-electrophoresis (2D-E). Statistical analysis of gels was performed using PDQuest software 8.0. The differences in the expression levels of liver proteins (p<0.05) between ketotic and healthy cows were identified by matrix-assisted laser desorption/ionization time-of-flight (MALDI-TOF-TOF) tandem mass spectrometry. Five enzymes/proteins were identified as being differentially expressed in the livers of ketotic cows: expression of 3-hydroxyacyl-CoA dehydrogenase type-2 (HCDH), acetyl-coenzyme A acetyltransferase 2 (ACAT) and elongation factor Tu (EF-Tu) were down-regulated, whereas that of alpha-enolase and creatine kinase were up-regulated. On the basis of this evidence, it could be presumed that the decreased expression of HCDH, which is caused by high concentrations of acetyl-CoA in hepatic cells, in the livers of ketotic cows, implies reduced fatty acid ??oxidation. The resultant high concentrations of acetyl-CoA and acetoacetyl CoA would depress the level of ACAT and generate more ??hydroxybutyric acid; high concentrations of acetyl-CoA would also accelerate the Krebs Cycle and produce more ATP, which is stored as phosphocreatine, as a consequence of increased expression of creatine kinase. The low expression level of elongation factor Tu in the livers of ketotic cows indicates decreased levels of protein synthesis due to the limited availability of amino acids, because the most glucogenic amino acids sustain the glyconeogenesis pathway; thus increasing the level of alpha-enolase. Decreased protein synthesis also promotes the conversion of amino acids to oxaloacetate, which drives the Krebs Cycle under conditions of high levels of acetyl-CoA. It is concluded that the livers of ketotic cows possess high concentrations of acetyl-CoA, which through negative feedback inhibited fatty acid oxidation; show decreased fatty acid oxidation, ketogenesis and protein synthesis; and increased gluconeogenesis and energy production.