http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
CPN을 이용한 객체지향 소프트웨어 테스트 케이스 생성 기법
이인혁,구연설 충북대학교 컴퓨터정보통신 연구소 2006 컴퓨터정보통신연구 Vol.14 No.1
객체지향 소프트웨어의 상속성, 다형성 등의 특성들은 소프트웨어 데스팅에 어려움을 증가시키고 객체의 생성, 삭제, 동적바인딩, 상호작용 등의 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출이 여러 멤버 함수에 바인딩 될 수 있다. 정적분석을 통하여 테스팅 정보를 얻는 방법들은 동적바인딩에 의한 불확실성을 다룰 수 있어야 한다. 따라서 이 논문에서는 시각적인 페트리 넷 (Petri Net)의 확장버전으로서 시스템의 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)을 이용한 객체지향 소프트웨어 객체들의 상호작용을 테스트하기 위한 테스트 케이스 생성 기법을 제안한다. The attributes of inheritance, polymorphism and others increase the difficulties for testing the object-oriented software. There are several active methods such as creation, deletion, dynamic binding, interaction and so on. And these cause that calling a member function can be bound with several member functions in the program running time. So there need the testing methods that can extract the information of testing the object-oriented software by doing the static analysis about these uncertain features. In this paper, we propose a technique of generating the test case for testing the interactive objects of the object software. In this technique, we use a CPN(Colored Petri Net) that is a specific visual Petri Net expanded version and usually used to system modeling and simulation.
Ren-dong Ge,Zun-Quan Xia,GuoQiang 한국전산응용수학회 2006 Journal of applied mathematics & informatics Vol.22 No.1-2
A modified BFGS algorithm for solving the unconstrained optimization, whose Hessian matrix at the minimum point of the convex function is of rank defects, is presented in this paper.The main idea of the algorithm is first to add a modified term to the convex function for obtain an equivalent model, then simply the model to get the modified BFGS algorithm. The superlinear convergence property of the algorithm is proved in this paper. To compared with the Tensor algorithms presented by R. B. Schnabel (seing [4],[5]), this method is more efficient for solving singular unconstrained optimization in computing amount and complication.
Ge, Ren-Dong,Xia, Zun-Quan,Qiang, Guo 한국전산응용수학회 2006 Journal of applied mathematics & informatics Vol.22 No.1
A modified BFGS algorithm for solving the unconstrained optimization, whose Hessian matrix at the minimum point of the convex function is of rank defects, is presented in this paper. The main idea of the algorithm is first to add a modified term to the convex function for obtain an equivalent model, then simply the model to get the modified BFGS algorithm. The superlinear convergence property of the algorithm is proved in this paper. To compared with the Tensor algorithms presented by R. B. Schnabel (seing [4],[5]), this method is more efficient for solving singular unconstrained optimization in computing amount and complication.
AN ABS ALGORITHM FOR SOLVING SINGULAR NONLINEAR SYSTEMS WITH RANK ONE DEFECT
Ge, Ren-Dong,Xia, Zun-Quan 한국전산응용수학회 2002 The Korean journal of computational & applied math Vol.9 No.1
A modified discretization ABS algorithm for solving a class of singular nonlinear systems, F($\chi$)=0, where $\chi$, F $\in$ $R^n$, is presented, constructed by combining a discretization ABS algorithm arid a method of Hoy and Schwetlick (1990). The second order differential operation of F at a point is not required to be calculated directly in this algorithm. Q-quadratic convergence of this algorithm is given.
Rapid and massive throughput analysis of a constant volume high-pressure gas injection system
Xiaoli Ren,Jia Zhai,Jihong Wang,Ge Ren 한국원자력학회 2019 Nuclear Engineering and Technology Vol.51 No.3
Fusion power shutdown system (FPSS) is a safety system to stop plasma in case of accidents or incidents. The gas injection system for the FPSS presented in this work is designed to research the flow developmentin a closed system. As the efficiency of the system is a crucial property, plenty of experiments areexecuted to get optimum parameters. In this system, the flow is driven by the pressure difference betweena gas storage tank and a vacuum vessel with a source pressure. The idea is based on a constantvolume system without extra source gases to guarantee rapid response and high throughput. Amongthem, valves and gas species are studied because their properties could influence the velocity of the fluidfield. Then source pressures and volumes are emphasized to investigate the volume flow rate of theinjection. The source pressure has a considerable effect on the injected volume. From the data, properparameters are extracted to achieve the best performance of the FPSS. Finally, experimental results areused as a quantitative benchmark for simulations which can add our understanding of the inner gas flowin the pipeline. In generally, there is a good consistency and the obtained correlations will be applied infurther study and design for the FPSS
任格 ( Ren Ge ),李惠贞 ( Lee Hyejung ) 중국어문연구회 2023 中國語文論叢 Vol.- No.114
In modern Chinese, “Bie Shuo(别说)” has different properties, semantics and functional characteristics. This paper aims to reanalyze the origin, grammatical evolution and evolution mechanism of the usage of “Bie Shuo(别说)” discourse markers. This paper uses the grammaticalized context theory of Heine(2002) and Diewald(2002) to investigate the source, evolution process and evolution mechanism of “Bie Shuo(别说)” discourse markers based on the environmental model. The research shows that the evolution of “Bie Shuo(别说)” mainly goes through four stages, namely “initial context”, “critical context”, “switch context” and “conventionalization”. The syntactic and pragmatic environment of each stage is different. Metaphorical mechanism, re-analysis and pragmatic inference, subjectification and intersubjectification, absorption of context and semantic contamination are the main mechanisms promoting grammaticization in each stage. After the above stages, “Bie Shuo(别说)” eventually evolved into an unexpected marker, marking the speaker’s new & different viewpoint and reminding the speaker to pay attention to receiving the following “unexpected information”. We describe the characteristics of different synchronic uses of “Bie Shuo(别说)” and compare the functional characteristics of three synchronic variants of discourse. The research shows that the discourse function of “Bie Shuo(别说)” changes from propositional function to expression function and finally to textual function.