• 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.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.3
• /
• pp.322-330
• /
• 2014

New effective techniques to repair "small" design errors in integrated circuits are presented. As semiconductor chip complexity increases and the design period becomes tight, errors frequently remain in a fabricated chip making revisions required. Full mask revision significantly increases the cost and time-to-market. However, since many "small" errors can be repaired by modifying several connections among the circuit blocks and spare cells, errors can frequently be repaired by revising metal layers. Metal only revision takes significantly less time and involves less cost when compared to full mask revision, since mask revision costs multi-million dollars while metal revision costs tens of thousand dollars. In our research, new techniques are developed to further reduce the number of metal layers to be revised. Specifically, we partition the circuit blocks with higher error probabilities and extend the terminals of the signals crossing the partition boundaries to the preselected metal repair layers. Our partitioning and pin extension to repair layers can significantly improve the repairability by revising only the metal repair layers. Since pin extension may increase delay slightly, this method can be used for non-timing-critical parts of circuits. Experimental results by using academia and industrial circuits show that the revision of the two metal layers can repair many "small" errors at low-cost and with short revision time. On the average, when 11.64% of the spare cell area and 24.72% of the extended pins are added to the original circuits, 83.74% of the single errors (and 72.22% of the double errors) can be corrected by using two metal revision. We also suggest methods to use our repair techniques with normal commercial vender tools.

• Membrane and Water Treatment
• /
• v.2 no.3
• /
• pp.187-205
• /
• 2011

The electric transport of the mixture of hydrochloric and phosphoric acids through strong base (Neosepta ACM) and weak base (Selemion AAV) anion-exchange membranes was investigated. The instantaneous efficiency of HCl removal from the cathode solution, $CE_{Cl}$, with and without $H_3PO_4$ was determined. It was found that $CE_{Cl}$ was 0.8-0.9 if the number of moles of elementary charge passed through the system, $n_F$, did not exceed ca. 80% of the initial number of HCl moles in the cathode solution, $n_{Cl,ca,0}$. The retention efficiency of $H_3PO_4$ in that range was close to one. The transport of acid mixtures was satisfactorily described by a model based on the extended Nernst-Planck and Donnan equations for $n_F$ not exceeding $n_{Cl,ca,0}$. Among the tested model parameters, most important were: concentration of fixed charges, the porosity-tortuosity coefficient, and the partition coefficient of an undissociated form of $H_3PO_4$. For the both membranes, the obtained optimal values of fixed charge concentration, $\bar{c}_m$, were up to 40% lower than the literature values of $\bar{c}_m$ obtained from the equilibrium measurements. Regarding the $H_3PO_4$ equilibria, it was sufficient to consider $H_3PO_4$ as a monoprotic acid.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.5A
• /
• pp.861-872
• /
• 2006

The element free Galerkin method is extended by the local partition of unity method to model the cohesive cracks in two dimensional continuum. The shape function of a particle whose domain of influence is completely cut by a crack is enriched by the step enrichment function. If the domain of influence contains a crack tip inside, it is enriched by a branch enrichment function which does not have the LEFM stress singularity. The discrete equations are obtained directly from the standard Galerkin method since the enrichment is only for the displacement field, which satisfies the local partition of unity. Because only particles whose domains of influence are influenced by a crack are enriched, the system matrix is still sparse so that the increase of the computational cost is minimized. The condition for crack growth in dynamic problems is obtained from the material instability; when the acoustic tensor loses the positive definiteness, a cohesive crack is inserted to the point so as to change the continuum to a discontiuum. The crack speed is naturally obtained from the criterion. It is found that this method is more accurate and converges faster than the classical meshless methods which are based on the visibility concept. In this paper, several well-known static and dynamic problems were solved to verify the method.

• Journal of the Korea Convergence Society
• /
• v.6 no.3
• /
• pp.51-57
• /
• 2015

This paper proposes an efficient method such as Extended Three Region Partitioning Method for nested loops with irregular dependences for maximizing parallelism. Our approach is based on the Convex Hull theory, and also based on minimum dependence distance tiling, the unique set oriented partitioning, and three region partitioning methods. In the proposed method, we eliminate anti dependences from the nested loop by variable renaming. After variable renaming, we present algorithm to select one or more appropriate lines among given four lines such as LMLH, RMLH, LMLT and RMLT. If only one line is selected, the method divides the iteration space into two parallel regions by the selected line. Otherwise, we present another algorithm to find a serial region. The selected lines divide the iteration space into two parallel regions as large as possible and one or less serial region as small as possible. Our proposed method gives much better speedup and extracts more parallelism than other existing three region partitioning methods.

• Proceedings of the Korean Statistical Society Conference
• /
• 2004.11a
• /
• pp.1-8
• /
• 2004

We address the problem of parameter estimation in multivariate distributions under ignorable non-monotone missing data. The factoring likelihood method for monotone missing data, termed by Robin (1974), is extended to a more general case of non-monotone missing data. The proposed method is algebraically equivalent to the Newton-Raphson method for the observed likelihood, but avoids the burden of computing the first and the second partial derivatives of the observed likelihood Instead, the maximum likelihood estimates and their information matrices for each partition of the data set are computed separately and combined naturally using the generalized least squares method. A numerical example is also presented to illustrate the method.

• Journal of computational fluids engineering
• /
• v.3 no.2
• /
• pp.1-8
• /
• 1998

We make use of cubic B-spline interpolation function in two cases: heat conduction and fluid flow problems. Cubic B-spline test function is employed because it is superior to approximation of linear and non-linear problems. We investigated the accuracy of the numerical formulation and focused on the position of the breakpoints within the computational domain. When the domain is divided by partitions of equal space, the results show poor accuracy. For the case of a heat conduction problem this partition can not reflect the temperature gradient which is rapidly changed near the wall. To correct the problem, we have more grid points near the wall or the region which has a rapid change of variables. When we applied the unequally spaced breakpoints, the results show high accuracy. Based on the comparison of the linear problem, we extended to the highly non-linear fluid flow problems.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.6
• /
• pp.675-685
• /
• 1989

The interconnection network is an integral part of parallel processing system. The multistage interconnection networks(MINs) have been the objects of intense research in recent years. In this paper, simulation techniques for circuit switchign MIN are extended to allow the performance evaluation of partitioned ADM/IADM network. Based on simulation data, the relationship between the netwrok performance, the partitioning scheme employed, and the conflict resolution strategies used within the network is enumerated. It is shown that IADM network coupled with the use of the hold strategy produces the best network operation in terms of RST (Request Service Time).

• Journal of the Korean Chemical Society
• /
• v.10 no.3
• /
• pp.136-142
• /
• 1966

The Transient State Theory of Significant Liquid Structure has been successfully extended to binary mixture, benzene-cyclohexane system, which gives positive deviation from Raoult's law. The partition function has been derived, and from it various thermodynamic properties, such as total and partial vapor pressures, molar volumes, and excess entropies have been calculated at the temperatures $303.15^{\circ},\;\313.15^{\circ},\;and\;343.15^{\circ}K$. The calculated values agree satisfactorily with the experimental data.

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.1-14
• /
• 1998

In this short note we study the torsion theories over a commutative ring R and discuss a relative dimension related to such theories for R-modules. Let ${\sigma}$ be a torsion functor and (T, F) be its corresponding partition of Spec(R). The concept of ${\sigma}$-Cohen Macaulay (abbr. ${\sigma}$-CM) module is defined and some of the main points concerning the usual Cohen-Macaulay modules are extended. In particular it is shown that if M is a non-zero ${\sigma}$-CM module over R and S is a multiplicatively closed subset of R such that, for all minimal element of T, $S{\cap}p={\emptyset}$, then $S^{-1}M$ is a $S^{-1}{\sigma}$-CM module over $S^{-1}$R, where $S^{-1}{\sigma}$ is the direct image of ${\sigma}$ under the natural ring homomorphism $R{\longrightarrow}S^{-1}R$.