• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.501-508
• /
• 2003

In this paper A new theory of linear loop transformation called Elimination of Data Dependency(BDD) is presented. The current framework of linear loop transformation cannot identify a significant fraction of parallelism. For this reason, a method to extract the maximum loop parallelism in perfect nested loops is presented. This technique is applicable to general loop nests where the dependence include both distance and directions.

• Asian Journal of Business Environment
• /
• v.2 no.2
• /
• pp.27-33
• /
• 2012

Purpose - The article studies aims to construct the center of economy in the upriver area of Chang Jiang, and has realistic significance probing into the contribution of insurance essential factor market to economic development on the contribution role of essential factor market of insurance in financial industry development to economic growth in Chongqing in both aspects of direct and indirect contribution by the way of demonstration analysis. Research data and methodology - The data are from Statistic Yearbook in Chongqing in 1997-2008.The conclusion shows that essential factor market of insurance development falls behind of economic growth in direct aspect; BBD, BLD and FIR could pull economic growth, but ID just restrain economic growth in Chongqing. Results -The estimate coefficient sigh of BDD, BLD, FIR are plus but ID is not, it is to say the increase of bank deposit dump could impel economic growth, which is accord with general thought. Conclusions - At last, the article Having Studied on the contribution role of essential factor market of insurance in financial industry development to economic growth in Chongqing by the way of demonstration analysis.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.49 no.6
• /
• pp.316-321
• /
• 2000

In this paper, we proposed MBDD(Modified Binary Decision Diagram) as a multi-level logic synthesis method and a vertex of MBDD to NMOS transistors matching. A vertex in MBDD is matched to a set of NMOS transistors. MBDD structure can be achieved through transformation steps from BDD structure. MBDD can represent the same function with less vertices less number of NMOS transistors, consequently capacitance of the circuit can be reduced. Thus the power dissipation can be reduced. We applied MBDD to a full odder and a 4-2compressor. Comparing the 4-2compressor block with other synthesis logic, 31.2% reduction and 19.9% reduction was achieved in numbers of transistors and power dissipation respectively. In this simulation we used 0.8 ${\mu}{\textrm}{m}$ fabrication parameters.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.473-476
• /
• 2000

The network reliability is to be computed in terms of the terminal reliability. The computation of a termini reliability is started with a Boolean sum of products expression corresponding to simple paths of the pair of nodes. This expression is then transformed into another equivalent expression to be a Disjoint Sum of Products form. But this computaion of the terminal reliability obviously does not consider the communication between any other nodes but for the source and the sink. In this paper, we derive the overall network reliability which is the probability of communication that each node in the network communicates with all other remaining nodes. For this, we propose a method to make the SOP disjoint for deriving the network reliability expression from the system success expression using the modified Sheinman's method and modified BDD method.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.3
• /
• pp.11-22
• /
• 1997

This paper presents the design and implementation of an efficient algorithm for detecting untestable paths in multi-level circuits. Transforming multi-level circuit into a multiplexor-based one through BDD(binary decision diagram)construction, the proposed algorithm detects untestable paths in the transformed circuits. By constructing ENF (equivalent normal form) only for reconvergent paths, the proposed system detects and removes untestable paths efficiently in terms of the run-time and memory usage. Experimental results for MCNC/ISCAS benchmark circuits show that the system efficiently detects and removes untestable paths. The run-time and memory usage have been reduced by 37.7% and 60/9%, respectively, comapred to the previous methods.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.11b
• /
• pp.569-572
• /
• 2001

Selective. highly stable determination of epinephrine(adrenalin) was achieved in cyclic voltammetric measurement carried out at electrochemically treated conductive boron-doped diamond electrode. Boron-doped diamond electrodes were prepared on single crystal Si wafers by microwave plasma chemical vapor deposition and $B_{2}O_{3}$ was dissolved in acetone/methanol(9:1) mixture solution so that the B/C weight ratio ca. $10^{4}ppm$. Epinephrine is a kind of catecholamines, which secreted from adrenal marrow cells. The serious problem to detection of epinephrine is the interference phenomena of electroactive constituent. including AA. In this study. electrochemical treatment of BDD was carried out to discriminate between epinephrine and AA responses. Experimental results showed that the peak potential of AA oxidation shift to the positive direction and the oxidation peak of epinephrine was unchanged. The effect of electrochemical treatment was maintained up to 40hrs.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.359-362
• /
• 2000

In this paper, we propose a test pattern generation algorithm on the basis of the identification of undetectable faults for Speed-Independent(SI) asynchronous control circuits. The proposed methodology generates tests from the specification of a target circuit, which describes the behavior of the circuit in the form of Signal Transition Graph (STG). The proposed identification method uses only topological information of a target circuit and reachability information of a fault-free circuit, which is generated in the form of Binary Decision Diagram(BDD) during pre-processing. Experimental results show that high fault coverage over single input stuck-at fault model is obtained for several synthesized SI circuits and the use of the identification process as a preprocessing decreases execution time of the proposed test generation with negligible costs.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.3
• /
• pp.69-78
• /
• 1998

This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently using in constructing the digital logic systems based on the graph theory. We discussed the function minimization method of the n-variables multiple-valued functions and showed that the algorithm had the regularity with module by which the same blocks were made concerning about the schematic property of the proposed algorithm. We showed the EMVDD of Full Adder by module construction and verified the proposed algorithm by examples. The proposed method has the visible, schematical and regular properties.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.11a
• /
• pp.569-572
• /
• 2001

Selective, highly stable determination of epinephrine(adrenalin) was achieved in cyclic voltammetric measurement carried out at electrochemically treated conductive boron-doped diamond electrode. Boron-doped diamond electrodes were prepared on single crystal Si wafers by microwave plasma chemical vapor deposition and B$_2$O$_3$ was dissolved in acetone/methanol(1:1) mixture solution so that the B/C weight ratio ca. 10$^3$ppm.. Epinephrine is a kind of catecholamines, which secreted from adrenal marrow cells. The serious problem to detection of epinephrine is the interference phenomena of electroactive constituent, including AA. In this study, electrochemical treatment of BDD was carried out to discriminate between epinephrine and AA responses. Experimental results showed that the peak potential of AA oxidation shift to the positive direction and the oxidation peak of epinephrine was unchanged. The effect of electrochemical treatment was maintained up to 40hrs.

• Journal of the Korean Society of Safety
• /
• v.36 no.5
• /
• pp.86-91
• /
• 2021

Calculating the scrutable core damage frequency (CDF) of nuclear power plants is an important component of the seismic probabilistic safety assessment (SPSA). In this work, a simple approach is developed to calculate CDF from minimal cut sets (MCSs) with non-rare events. When conventional calculation methods based on rare event approximations are employed, the CDF of industry SPSA models is significantly overestimated by non-rare events in the MCSs. Recently, quantification algorithms using binary decision diagrams (BDDs) have been introduced to prevent CDF overestimation in the SPSA. However, BDD structures are generated from a small part of whole MCSs due to limited computational memory, and they cannot be reviewed due to their complicated logic structure. This study suggests a simple approach for scrutinizing the CDF calculation based on whole MCSs in the SPSA system analysis model. The proposed approach compares the new results to outputs from existing algorithms, which helps in avoiding CDF overestimation.