http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기
( Lingjun Liu ),지은경 ( Eunkyoung Jee ),배두환 ( Doo-hwan Bae ) 한국정보처리학회 2021 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.10 No.4
Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.
Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software
( Lingjun Liu ),최우영 ( Wooyoung Choi ),지은경 ( Eunkyoung Jee ),류덕산 ( Duksan Ryu ) 한국정보처리학회 2024 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.13 No.5
Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법
은형석,Lingjun Liu,지은경,배두환 한국정보과학회 2023 정보과학회 컴퓨팅의 실제 논문지 Vol.29 No.3
PLC(Programmable Logic Controller)는 안전이 중요한 시스템에서 제어 작업을 수행하는 데 적용된다. 이 논문에서는 PLC 프로그램을 테스트하기 위해 자동으로 생성한 테스트 시퀀스들을 PLC 상에서 실행시키고 테스트를 자동화시키기 위한 테스트 시퀀스의 체계적 실행 제어 방법을 제안하고, PC 시뮬레이터를 구축하여 PLC 결과값을 확보하는 체계적인 방안도 제안한다. 또한 제안한 방법이 테스트 케이스를 확장할 수 있음을 보이고 실제 PLC 시스템에 적용할 수 있음을 보인다.
Limei Zhang,Lingjun Meng,Chuanwei Guo,Meixiang Gao,Dong Liu,Xueping Zhang 보안공학연구지원센터 2015 International Journal of Smart Home Vol.9 No.12
Maoer Mountain National Forest Ecological Station is located in Heilongjiang Province. By using the statistical spatial analysis method, which showed that the soil mites community and species richness of mites spatial heterogeneity. Also, which is illustrated that the spatial effect relationship with the environmental factors. The results of crossvariogram and simple Mantel test showed that positive relationships between soil mite communities, specific mite species and environmental factors were detected. Among the environmental factors, soil pH showed significant affects on spatial heterogeneity of soil mite species in both years. When considering the relationships between soil mite species, positive correlations and specific mite species were also observed. Spatial heterogeneities of soil mite communities and most of the soil mite species were regulated by structured factors, in which environmental variables might be important drivers. Thus, it is implied that abundances of soil mite community and most of the soil mite species showed aggregated spatially heterogeneity, and significant relationship between such heterogeneity and environmental factors were detected.
Di Wang,Lili Tong,Luguo Liu,XUEWU CAO,Zhiqiang Zou,Lingjun Wu,Xiaowei Jiang 한국원자력학회 2019 Nuclear Engineering and Technology Vol.51 No.6
Hydrogen-steam gas mixture may be injected into containment with flow regime varying both spatiallyand transiently due to wall effect and pressure difference between primary loop and containment insevere accidents induced by loss of coolant accident. Preliminary CFD analysis is conducted to gain informationabout the helium flow regime transition process from jet to buoyancy plume for forthcomingexperimental study. Physical models of impinging jet and wall condensation are validated using separatedeffect experimental data, firstly. Then helium transportation is analyzed with the effect of jetmomentum, buoyancy and wall cooling discussed. Result shows that helium distribution is totallydominated by impinging jet in the beginning, high concentration appears near gas source and wallwhere jet momentum is strong. With the jet weakening, stable light gas layer without recirculating eddyis established by buoyancy. Transient reversed helium distribution appears due to natural convectionresulted from wall cooling, which delays the stratification. It is necessary to concern about hydrogenaccumulation in lower space under the containment external cooling strategy. From the perspective ofexperiment design, measurement point should be set at the height of connecting pipe and near the wallfor stratification stability criterion and impinging jet modelling validation.
Liqian Song,Qing Pan,Hua Qian,Dabin Liu,Lingjun Zhang 한국항공우주학회 2023 International Journal of Aeronautical and Space Sc Vol.24 No.1
To study the relationship between the migration of desensitizer and combustion performance of a double-base propellant, the concentration distribution of desensitizer in aged samples was measured by micro-infrared spectroscopy, and the diffusion model was established. The combustion performance parameters were measured and calculated by closed bomb test. The results showed that the change of combustion performance of a double-base propellant was mainly affected by the concentration distribution gradient of desensitizer, and there was a high correlation between the change of combustion performance of the propellant and the diffusion law of desensitizer: the initial gas generation intensity was negatively correlated with the concentration of surface desensitizer; the concentration gradient of desensitizer was positively correlated with progressive combustion; the combustion incremental factor was positively correlated with the diffusion coefficient. The distribution model of combustion increment and insensitive agent concentration was established.