• 제목/요약/키워드: Software Test Process

Search Result 588, Processing Time 0.026 seconds

Experimental Study for the Development of Steel-Confined Prestressed Concrete Girder (강재로 구속된 프리스트레스트 콘크리트 합성거더의 개발을 위한 실험연구)

  • Kim, Jung Ho;Park, Kyung Hoon;Hwang, Yoon Koog;Choi, Young Min;Cho, Hyo Nam
    • Journal of Korean Society of Steel Construction
    • /
    • v.14 no.5 s.60
    • /
    • pp.593-602
    • /
    • 2002
  • A new type of bridge superstructures referred to as Steel-Confined Prestressed Concrete Girder (SCP Girder) was developed, which is composed of concrete, steel plate, and prestressing tendon. The girder may maximize structural advantages of these components; thus, long span bridges with low height girder may be constructed. For the effective design and fabrication of the gilder, the design software program was developed and the process of fabrication established. The experimental girder designed using the program was manufactured in actual size to confirm the fabric ability of the girder. Propriety of design, structural safety, and applicability of the gilder were verified through the load test.

An I-V Circuit with Combined Compensation for Infrared Receiver Chip

  • Tian, Lei;Li, Qin-qin;Chang, Shu-juan
    • Journal of Electrical Engineering and Technology
    • /
    • v.13 no.2
    • /
    • pp.875-880
    • /
    • 2018
  • This paper proposes a novel combined compensation structure in the infrared receiver chip. For the infrared communication chip, the current-voltage (I-V) convert circuit is crucial and important. The circuit is composed by the transimpedance amplifier (TIA) and the combined compensation structures. The TIA converts the incited photons into photocurrent. In order to amplify the photocurrent and avoid the saturation, the TIA uses the combined compensation circuit. This novel compensation structure has the low frequency compensation and high frequency compensation circuit. The low frequency compensation circuit rejects the low frequency photocurrent in the ambient light preventing the saturation. The high frequency compensation circuit raises the high frequency input impedance preserving the sensitivity to the signal of interest. This circuit was implemented in a $0.6{\mu}m$ BiCMOS process. Simulation of the proposed circuit is carried out in the Cadence software, with the 3V power supply, it achieves a low frequency photocurrent rejection and the gain keeps 109dB ranging from 10nA to $300{\mu}A$. The test result fits the simulation and all the results exploit the validity of the circuit.

Relationship between the Management Accounting Information Usage, Market Orientation and Performance: Evidence from Vietnamese Tourism Firms

  • DO, Trang Huyen;LE, Huyen Mong;LUONG, Diem Thuy Thi;TRAN, Quanh Thi
    • The Journal of Asian Finance, Economics and Business
    • /
    • v.7 no.10
    • /
    • pp.707-716
    • /
    • 2020
  • The study investigates the relationship between broad-scope management accounting information usage, market orientation, and the firm performance. This study employs a survey data of 149 top-level and mid-level managers working in Vietnamese tourism enterprises. To analyze research data, we employ SmartPLS 3 software. The analytical process include measurement model evaluation (evaluate the scale's validity and reliability) and structural model evaluation (test research hypotheses). The results reveal that broad-scope management accounting information usage has a positive direct effect on market orientation dimensions (include information generation, information dissemination, and responsiveness). Then, market orientation dimensions also have positive direct effects on the performance of Vietnamese tourism firms, excluding information dissemination. Moreover, this study also reveals that the market orientation dimensions mediate the relationship between broad-scope management accounting information usage and firm performance. The findings of this study suggest that tourism firms should pay more attention to the use of management accounting information in decision-making. With the increasingly fierce competition of the tourism firms today, capturing and meeting the needs of the market is a prerequisite to help firms enhance their competitiveness and improve their performance. To do that, Vietnamese tourism firms need to consider pursuing market orientation and enhancing broad-scope management accounting information usage.

Nonlinear collision analysis of heavy trucks onto steel highway guard fences

  • Itoh, Yoshito;Liu, Chunlu;Usami, Koichi
    • Structural Engineering and Mechanics
    • /
    • v.12 no.5
    • /
    • pp.541-558
    • /
    • 2001
  • The design specifications of guard fences in Japan were reexamined and the revised specifications were implemented from April 1999. Because of the huge consumption in time and cost to test the performances of full-scale guard fences in the field, some assumptions are adopted while modifying the design specifications, and numerical analyses are necessary to confirm the impact performance and safety level of new types of steel highway guard fences. In this study, the finite element models are developed for the heavy trucks and steel highway guard fences to reenact their behaviors, and the solution approach is carried out using nonlinear dynamic analysis software of structures in three dimensions (LS-DYNA). The numerical simulation results are compared with the full-scale on-site testing results to verify the proposed analysis procedure. The collision process is simulated and it is also made possible to visualize the movement of the truck and the performances of guard fences. In addition, the energy shift of the truck kinetic energy to the truck and guard fence Internal energy, and the energy absorption of each guard fence component are studied for the development of a new design methodology of steel highway guard fences based on the energy absorption capacity.

Formal Validation Method and Tools for French Computerized Railway Interlocking Systems

  • Antoni, Marc
    • International Journal of Railway
    • /
    • v.2 no.3
    • /
    • pp.99-106
    • /
    • 2009
  • Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

  • PDF

Precision evaluation of impression surface of lower complete dentures reinforced with glass fiber (유리섬유 보강재를 삽입한 하악 레진의치 인상면의 정밀성 평가)

  • Kim, Dong-Yeon;Yang, Cheon-Seung;Lee, Gwang-Young;Kim, Ji-Hwan
    • Journal of Technologic Dentistry
    • /
    • v.42 no.1
    • /
    • pp.27-33
    • /
    • 2020
  • Purpose: This study is to compare and analyze the precision of glass fiber resin dentures. Methods: A lower edentulous model was prepared. Ten study models were produced using Type IV stone. Ten wax lower resin dentures containing artificial teeth were prepared. The lower wax denture was buried with plaster and deflasking was performed to remove the wax. Five conventional lower resin dentures and five glass fiber lower resin dentures were produced. The scanning spray was coated on the impression surface and then scanned. Independent sample t-test were performed using statistical software. Results: In the color different map, which is a qualitative evaluation, the green area of the precision of the conventional lower resin denture occupied the whole. The glass fiber conventional resin dentures had many negative and positive area. In quantitative evaluation, the RMS of conventional lower resin was 89.83 ㎛ and that of fiberglass resin was 224.92 ㎛. The two groups showed statistically significant differences (p<0.05). Conclusion: Conventional lower resin dentures were superior in precision, and glass fiber resin dentures would have to improve the process.

Embedded Web Server Implementation for Building Sensor Network Design (빌딩 센서 네트워크 설계를 위한 임베디드 웹서버 구축)

  • Kim, Yong-Ho;Nam, Soung-Youl;Kim, Hyeong-Gyun;Choi, Gwang-Mi
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.2
    • /
    • pp.1015-1018
    • /
    • 2005
  • This study intended to demonstrate a general system as an web server implemented by pure software solution and focused on collecting data by remote control through Internet and constructing its' control frame. To achieve these, this study suggested an optimized, low-power, ultra tiny embedded web server. When unpredictable accidents, such as heat sensor or industrial disasters, happen, it will connect sensors collecting building information each other by network and obtain final results via web porting, web hardware control or porting, or hardware test process in a boot loader on the basis of StrongARM SA-1110 processor.

  • PDF

Implementation of 4-Channel Electrolyte Analyzer using ISFET Microsensors (ISFET 마이크로센서를 이용한 4-채널 전해질 분석기의 구현)

  • Bae, S.K.;Kim, K.Y.;Won, C.H.;Cho, B.W.;Kim, C.S.;Sohn, B.K.;Cho, J.H.
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1996 no.05
    • /
    • pp.22-26
    • /
    • 1996
  • In this paper, we designed 4-channel electrolyte analyzer that can measure simultaneousely the 4 electrolytes - pH, $pNa^{+}$, $pCa^{2+}$, and $pK^{+}-$ using 2-point calibration and implemented it. Developed electrolyte analyzer consists of singal processing part, actuator part and control unit for sample flow system. To implement reliable instrument, design considerations are emphasized on flow system and sample chamber that requires small sample volume and prevent air contact with sample solution. In addition to the hardware design, we developed system software which controls full measuring process. After system developed, we verified the system performance by the test measurement for pH, $pNa^{+}$, $pCa^{2+}$, and $pK^{+}$ value.

  • PDF

Finite element model updating of in-filled RC frames with low strength concrete using ambient vibration test

  • Arslan, Mehmet Emin;Durmus, Ahmet
    • Earthquakes and Structures
    • /
    • v.5 no.1
    • /
    • pp.111-127
    • /
    • 2013
  • This paper describes effects of infill walls on behavior of RC frame with low strength, including numerical modeling, modal testing and finite-element model updating. For this purpose full scaled, one bay and one story RC frame is produced and tested for plane and brick in-filled conditions. Ambient-vibration testis applied to identify dynamic characteristics under natural excitations. Enhanced Frequency Domain Decomposition and Stochastic Subspace Identification methods are used to obtain experimental dynamic characteristics. A numerical modal analysis is performed on the developed two-dimensional finite element model of the frames using SAP2000 software to provide numerical frequencies and mode shapes. Dynamic characteristics obtained by numerical and experimental are compared with each other and finite element model of the frames are updated by changing some uncertain modeling parameters such as material properties and boundary conditions to reduce the differences between the results. At the end of the study, maximum differences in the natural frequencies are reduced on average from 34% to 9% and a good agreement is found between numerical and experimental dynamic characteristics after finite-element model updating. In addition, it is seen material properties are more effective parameters in the finite element model updating of plane frame. However, for brick in-filled frame changes in boundary conditions determine the model updating process.

The Effect of Bias in Data Set for Conceptual Clustering Algorithms

  • Lee, Gye Sung
    • International journal of advanced smart convergence
    • /
    • v.8 no.3
    • /
    • pp.46-53
    • /
    • 2019
  • When a partitioned structure is derived from a data set using a clustering algorithm, it is not unusual to have a different set of outcomes when it runs with a different order of data. This problem is known as the order bias problem. Many algorithms in machine learning fields try to achieve optimized result from available training and test data. Optimization is determined by an evaluation function which has also a tendency toward a certain goal. It is inevitable to have a tendency in the evaluation function both for efficiency and for consistency in the result. But its preference for a specific goal in the evaluation function may sometimes lead to unfavorable consequences in the final result of the clustering. To overcome this bias problems, the first clustering process proceeds to construct an initial partition. The initial partition is expected to imply the possible range in the number of final clusters. We apply the data centric sorting to the data objects in the clusters of the partition to rearrange them in a new order. The same clustering procedure is reapplied to the newly arranged data set to build a new partition. We have developed an algorithm that reduces bias effect resulting from how data is fed into the algorithm. Experiment results have been presented to show that the algorithm helps minimize the order bias effects. We have also shown that the current evaluation measure used for the clustering algorithm is biased toward favoring a smaller number of clusters and a larger size of clusters as a result.