Log in

Relevant bibliographies by topics / Correctness test / Journal articles

To see the other types of publications on this topic, follow the link: Correctness test.

Journal articles on the topic 'Correctness test'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Correctness test.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Dunham, Charles B. "Test for (IN) equality, subtraction, proof of correctness." ACM SIGNUM Newsletter 21, no. 3 (1986): 27–30. http://dx.doi.org/10.1145/1057958.1057964.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Xuan, Liang, Lei Lei, Tian Min Guan, and Jiang Bo Li. "The Transmission Precision Test Research of High Precision FA45-29 Prototype." Applied Mechanics and Materials 328 (June 2013): 376–81. http://dx.doi.org/10.4028/www.scientific.net/amm.328.376.

Full text

Abstract:

In order to test the correctness of modification parameters, this paper designs respectively test schemes to measure transmission error and geometric rotary error in accordance with the performance requirements of the FA cycloid-pin gear planetary drive reducer. And we design the drive chain connecting parts which accord to the physical size of this prototype. Then the two tests have been done to prove the correctness of the theory.

APA, Harvard, Vancouver, ISO, and other styles

3

Amalia, Ila. "Integrated Lesson in Teaching Oral Skill." Loquen: English Studies Journal 12, no. 1 (2019): 44. http://dx.doi.org/10.32678/loquen.v12i1.1919.

Full text

Abstract:

This study aimed to identify the integrated lesson as an alternative teaching strategy in pronunciation teaching. The pronunciation teaching mainly focused on word ending of past tense regular verbs. The participants of the study included a lecturer and 30 students of English education department. To collect the data, the researcher used observation and reading test. The result showed that the lecturer employed the integrated lesson based on some criteria: the students, the lecturer, the learning environment, the learning resources, and the classroom activities. The reading test result showed

APA, Harvard, Vancouver, ISO, and other styles

4

Saß, Steffani, Jörg Wittwer, Martin Senkbeil, and Olaf Köller. "Pictures in Test Items: Effects on Response Time and Response Correctness." Applied Cognitive Psychology 26, no. 1 (2011): 70–81. http://dx.doi.org/10.1002/acp.1798.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ling, Guangming, Yigal Attali, Bridgid Finn, and Elizabeth A. Stone. "Is a Computerized Adaptive Test More Motivating Than a Fixed-Item Test?" Applied Psychological Measurement 41, no. 7 (2017): 495–511. http://dx.doi.org/10.1177/0146621617707556.

Full text

Abstract:

Computer adaptive tests provide important measurement advantages over traditional fixed-item tests, but research on the psychological reactions of test takers to adaptive tests is lacking. In particular, it has been suggested that test-taker engagement, and possibly test performance as a consequence, could benefit from the control that adaptive tests have on the number of test items examinees answer correctly. However, previous research on this issue found little support for this possibility. This study expands on previous research by examining this issue in the context of a mathematical abili

APA, Harvard, Vancouver, ISO, and other styles

6

Tzamalis, P., K. Bethanis, A. Hountas, and G. Tsoucaris. "The crystallographic symmetry test for the correctness of a set of phases." Acta Crystallographica Section A Foundations of Crystallography 59, no. 1 (2002): 28–33. http://dx.doi.org/10.1107/s0108767302018810.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Xu, An Hua, and Jian Hong Fang. "Study on Roadbed Soil Dynamic Resilient Modulus Test." Advanced Materials Research 671-674 (March 2013): 1245–53. http://dx.doi.org/10.4028/www.scientific.net/amr.671-674.1245.

Full text

Abstract:

This paper draws on the successful experience from domestic and abroad researches, testing repeatedly of powder subgrade with load triaxial tests, analyzing the relationship between the subgrade soil resilient modulus, deviatoric stress, water content and degree of compaction. At the same time, conducting corresponded roadbed soil resilient modulus forecast model, and qualifying its correctness of test data model.

APA, Harvard, Vancouver, ISO, and other styles

8

Bzura, Piotr. "Diagnostic Model of Crankshaft Seals." Polish Maritime Research 26, no. 3 (2019): 39–46. http://dx.doi.org/10.2478/pomr-2019-0044.

Full text

Abstract:

Abstract The paper presents a research stand being a diagnostic model of radial lip seals used, among others, on crankshafts of piston combustion engines in order to identify the correctness of their operation. The possibility of determining the technical condition of lip seals on the basis of the proposed coefficient of correctness of operation has been described. The basic features of seals influencing their correctness of operation were also described, along with examples of determining the durability limits of lip seals. A modified version of the friction node of the T-02 four-ball apparat

APA, Harvard, Vancouver, ISO, and other styles

9

Bergstra, J. A., and C. A. Middelburg. "On the complexity of the correctness problem for non-zeroness test instruction sequences." Theoretical Computer Science 802 (January 2020): 1–18. http://dx.doi.org/10.1016/j.tcs.2019.03.040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Sattar, Zina. "A Practical E-Test System." International Journal of Emerging Technologies in Learning (iJET) 14, no. 21 (2019): 110. http://dx.doi.org/10.3991/ijet.v14i21.10866.

Full text

Abstract:

this article presents an encryption system which has many characteristics, like anonymity, originality, correctness, confidentiality, durability and confirmation as well as no need to any trusted authority. Besides that the submitted system gives an evidence of the successful submission by using anonymity property. Additional to use the anonymous return channel, also use the timed-based solution. The proposed system has been implemented and its results were measured. The preliminary findings in this paper seem very promising. Also, the results show that the system is applicable and will yield

APA, Harvard, Vancouver, ISO, and other styles

11

Ao, Hai Xia, Yue Zhang, and Yu Ping Yue. "Static Load Test and Data Analysis of Tiansheng Bridge." Applied Mechanics and Materials 638-640 (September 2014): 1107–10. http://dx.doi.org/10.4028/www.scientific.net/amm.638-640.1107.

Full text

Abstract:

The static load test schemes of Tiansheng bridge are briefly discussed . Through the comparative analysis of the theory values and the measured values , understand the actual work condition of bridge structure under test load and evaluate the bearing capacity of bridge structure .Through comparison of modeling datas and the measured values , test correctness of testing program, providing a scientific basis for the bridge safety and research in great depth.

APA, Harvard, Vancouver, ISO, and other styles

12

Al-Khanjari, Zuhoor A. "Metadata Extraction in Database Testing." Information Management and Business Review 5, no. 3 (2013): 108–12. http://dx.doi.org/10.22610/imbr.v5i3.1033.

Full text

Abstract:

The need for an automated testing tool to test the correctness of the database applications is crucial in our current day since databases play an important role in almost all organizations. Also, databaseâ€™s behavior need to be verified in order to avoid costly errors and false information being extracted from them. The main aim of this paper was to create a component-based tester called DBSoft that tests the correctness of database application systems. The DBSoft toolkit consists of five tools as follows: information collection with the Parser tool, test case generation with the Input Genera

APA, Harvard, Vancouver, ISO, and other styles

13

Zhang, Jian She, Di Hong Li, Cheng Li Liang, et al. "Mechanical Properties of Sandwich Structure Composites." Advanced Materials Research 399-401 (November 2011): 372–76. http://dx.doi.org/10.4028/www.scientific.net/amr.399-401.372.

Full text

Abstract:

Flat crush performance test, edgewise compressive properties test and sheering properties test of both ripple structure and latticed structure sandwich composites were performed respectively. Test value of elastic modulus was obtained. Contrastive analyzing the test value and calculated value, the correctness and feasibility of equivalent mechanical model were testified.

APA, Harvard, Vancouver, ISO, and other styles

14

Zheng, Li-Xiao, Shuai Ma, Zu-Xi Chen, and Xiang-Yu Luo. "Ensuring the Correctness of Regular Expressions: A Review." International Journal of Automation and Computing 18, no. 4 (2021): 521–35. http://dx.doi.org/10.1007/s11633-021-1301-4.

Full text

Abstract:

AbstractRegular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility. However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose, and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attent

APA, Harvard, Vancouver, ISO, and other styles

15

MIAO, YI, ZHENYU CHEN, SIHAN LI, ZHIHONG ZHAO, and YUMING ZHOU. "A CLUSTERING-BASED STRATEGY TO IDENTIFY COINCIDENTAL CORRECTNESS IN FAULT LOCALIZATION." International Journal of Software Engineering and Knowledge Engineering 23, no. 05 (2013): 721–41. http://dx.doi.org/10.1142/s0218194013500186.

Full text

Abstract:

Coverage-based fault localization techniques leverage the coverage information to identify the faulty elements of a program. However, these techniques can be adversely affected by coincidental correctness, which occurs when the defect is executed but no failure is revealed. In this paper, we propose a clustering-based strategy to identify coincidental correctness in fault localization. The insight behind this strategy is that tests in the same cluster have similar behaviors. Thus a passed test in a cluster with many failed tests is highly possible to be coincidentally correct because it has th

APA, Harvard, Vancouver, ISO, and other styles

16

Damassino, Nicola. "The Questioning Turing Test." Minds and Machines 30, no. 4 (2020): 563–87. http://dx.doi.org/10.1007/s11023-020-09551-6.

Full text

Abstract:

AbstractThe Turing Test (TT) is best regarded as a model to test for intelligence, where an entity’s intelligence is inferred from its ability to be attributed with ‘human-likeness’ during a text-based conversation. The problem with this model, however, is that it does not care if or how well an entity produces a meaningful conversation, as long as its interactions are humanlike enough. As a consequence, the TT attracts projects that concentrate on how best to fool the judges. In light of this, I propose a new version of the TT: the Questioning Turing Test (QTT). Here, the entity has to produc

APA, Harvard, Vancouver, ISO, and other styles

17

Dzięgielewski, Wojciech, and Andrzej Kulczycki. "DISCUSSION OVER CORRECTNESS OF METHODS USED FOR TEST OF RESISTANCE FUELS TO AGEING PROCESSES." Journal of KONES. Powertrain and Transport 21, no. 4 (2014): 104–9. http://dx.doi.org/10.5604/12314005.1130435.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Liu, Sha, Yun Qi Wang, Wen Jun Wei, Lei Wei, and Tian Xu Che. "Design and Parameterized Virtual Simulation Test of a Kind of Seat Bench for Ergonomic Test." Applied Mechanics and Materials 215-216 (November 2012): 388–94. http://dx.doi.org/10.4028/www.scientific.net/amm.215-216.388.

Full text

Abstract:

How seats can provide the best sitting posture is still a challenging subject in ergonomics. The researches on seats and sitting postures often need to measure physiological data or to record human’s subjective experience under a certain sitting posture. So to build a kind of multi-posture sitting bench has an important significance. The paper proposes a simple, reliable and less costly universal seat bench, whose size and shapes can be quantitatively, continuously and parameterized adjusted and which also can be adjusted to a variety of seat back curves by simulating spinal modeling. Based on

APA, Harvard, Vancouver, ISO, and other styles

19

SADI, MD SHAIK, FEI-CHING KUO, JOSHUA W. K. HO, MICHAEL A. CHARLESTON, and T. Y. CHEN. "VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING." Journal of Bioinformatics and Computational Biology 09, no. 06 (2011): 729–47. http://dx.doi.org/10.1142/s021972001100563x.

Full text

Abstract:

Many phylogenetic inference programs are available to infer evolutionary relationships among taxa using aligned sequences of characters, typically DNA or amino acids. These programs are often used to infer the evolutionary history of species. However, in most cases it is impossible to systematically verify the correctness of the tree returned by these programs, as the correct evolutionary history is generally unknown and unknowable. In addition, it is nearly impossible to verify whether any non-trivial tree is correct in accordance to the specification of the often complicated search and scori

APA, Harvard, Vancouver, ISO, and other styles

20

Ma, Yan, Jia Ding Wang, and Shu Jun Peng. "A Prediction Model of Loess Collapsibility Base on the Method of Fuzzy Information Optimization Processing." Applied Mechanics and Materials 353-356 (August 2013): 1140–45. http://dx.doi.org/10.4028/www.scientific.net/amm.353-356.1140.

Full text

Abstract:

For establishing a prediction model of collapsibility loess for central region of Shanxi Province, 48 groups of loess collapsibility test data have been collected from Taiyuan-Jinzhong area. The mechanism of collapsibility were discussed and based on that the moisture content,void ratio and compressibility were chosen form the test data to be the basic parameter for establishment of prediction model by the method of fuzzy information optimization processing. 40 groups of test data were used to establish the model and 8 groups of test data were used to validate the correctness and applicability

APA, Harvard, Vancouver, ISO, and other styles

21

Gilewski, W., and M. Sitek. "Plate Finite Element with Physical Shape Functions: Correctness of the Formulation." Archives of Civil Engineering 63, no. 3 (2017): 19–37. http://dx.doi.org/10.1515/ace-2017-0026.

Full text

Abstract:

Abstract The formulation of a plate finite element with so called ‘physical’ shape functions is revisited. The derivation of the ‘physical’ shape functions is based on Hencky-Bolle theory of moderately thick plates. The considered finite element was assessed in the past, and the tests showed that the solution convergence was achieved in a wide range of thickness to in-plane dimensions ratios. In this paper a holistic correctness assessment is presented, which covers three criteria: the ellipticity, the consistency and the inf-sup conditions. Fulfilment of these criteria assures the existence o

APA, Harvard, Vancouver, ISO, and other styles

22

Zhao, Kai, Xiu Juan Liu, Li Min Song, Chun Guang Wang, and Lei Yuan. "Kinematics Analysis of Virtual Prototype System on Multiple Redundant Bionic Arm." Advanced Materials Research 945-949 (June 2014): 1360–63. http://dx.doi.org/10.4028/www.scientific.net/amr.945-949.1360.

Full text

Abstract:

The simulation technology can be very convenient for the kinematics analysis of the virtual machine system. It not only simplifies the development process of product design, but also verifies the correctness and feasibility of the theory. Based on the theory analysis, simulation test is finished with the simulation software, and the correctness of the theoretical analysis is validated. Through the analysis on the simulation results of the torque, reference for future development of prototype is provided.

APA, Harvard, Vancouver, ISO, and other styles

23

Zhang, Fan, Jin Zhi Zhou, Jian Min Xiong, and Jie Dai. "Bearing Test Research on the Cable Anchorage Zone of the Main Girder of the Xiamen-Zhangzhou Bridge." Applied Mechanics and Materials 490-491 (January 2014): 1666–70. http://dx.doi.org/10.4028/www.scientific.net/amm.490-491.1666.

Full text

Abstract:

This paper presents the static and bearing test research with adopting the full size model on the cable anchorage zone of the main girder of the Xiamen-Zhangzhou Bridge. According to test result. It verified correctness of its design and feasibility of its manufacturing techniques·

APA, Harvard, Vancouver, ISO, and other styles

24

Liu, Jun. "First Drainage Vent Test of Diversion Tunnel of DJIPLOHO Hydropower Station." Applied Mechanics and Materials 438-439 (October 2013): 556–60. http://dx.doi.org/10.4028/www.scientific.net/amm.438-439.556.

Full text

Abstract:

DJIPLOHO conducts the first drainage vent test of diversion tunnel after completing in the construction of hydropower station with a water commissioning. Through the data analysis and research for the testing process, it is necessary and has flexibility to adjust accurately the drainage. Test results verify the rational design and safety of the tunnel and prove the correctness of first drainage tests procedures. It also accumulates valuable experience for the same type of drainage project for the first time.

APA, Harvard, Vancouver, ISO, and other styles

25

Zhao, Ke, Yan Jie Ju, and Bao Jun Chen. "Design of Locomotive Network Test Platform Based on WorldFIP." Applied Mechanics and Materials 367 (August 2013): 518–22. http://dx.doi.org/10.4028/www.scientific.net/amm.367.518.

Full text

Abstract:

The characteristics of real-time, synchronization, flexibility and reliability make WorldFIP Fieldbus suitable for locomotive network communication. This article describes the design of locomotive network test platform based on WorldFIP both hardware and software perspective. World FIP station can make date communication by writing applications in LABVIEW environment which verifies the correctness and reliability of the test platform. The design of test platform plays an important role for in-depth understanding of foreign locomotive core technology and lays a solid foundation for accelerating

APA, Harvard, Vancouver, ISO, and other styles

26

Adjir, Noureddine, Pierre de Saqui-Sannes, and Kamel Mustapha Rahmouni. "Conformance Testing of Preemptive Real-Time Systems." International Journal of Embedded and Real-Time Communication Systems 4, no. 4 (2013): 1–26. http://dx.doi.org/10.4018/ijertcs.2013100101.

Full text

Abstract:

The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system/environment interactions and time constraints. They further enable modelling of suspend/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algo

APA, Harvard, Vancouver, ISO, and other styles

27

Li, Qiang, Yan Fang Liu, and Xiang Yang Xu. "A Truck Cab Abnormal Vibration Test and Analysis." Applied Mechanics and Materials 416-417 (September 2013): 1803–7. http://dx.doi.org/10.4028/www.scientific.net/amm.416-417.1803.

Full text

Abstract:

This paper introduces a combination of testing and finite element simulation for the abnormal vibration of a truck cab in specific speed. Vibration characteristics of the truck is tested. The factors that caused the abnormal vibration of the truck is found. The finite element model is established and the modal analysis is performed, the correctness of the test results is verified, and a reliable finite element model for the follow-up solution is provided. The abnormal vibration was caused by the frequencies of radial force variation which almost equal to the truck natural frequency under the v

APA, Harvard, Vancouver, ISO, and other styles

28

BLAZHEYEVSKIY, Mykola, Liliya DUBENSKA, and Valerij MOROZ. "CONCERNING THE CORRECTNESS OF THE PRESENTATION OF THE TEST RESULTS IN THE CHEMICAL-PHARMACEUTICAL ANALYSIS." Proceedings of the Shevchenko Scientific Society. Series Сhemical Sciences 2018, no. 53 (2018): 47–62. http://dx.doi.org/10.37827/ntsh.chem.2018.53.047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Zharkova, O. S. "An estimate of the metrological correctness of test-bed checks of a roller reducing gear." Measurement Techniques 52, no. 1 (2009): 49–51. http://dx.doi.org/10.1007/s11018-009-9231-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Pankratov, Svyatoslav. "Automated test generation for optimizing compilers with OpenMP support." MATEC Web of Conferences 210 (2018): 04014. http://dx.doi.org/10.1051/matecconf/201821004014.

Full text

Abstract:

The correctness of the compiler is a necessary requirement for the correct operation of the software compiled by it. Therefore, the most important stage in the development of the compiler is verification. Recent widespread of multi-core processors and graphics core integrated to CPU emphasized the problem of the transition from single-threaded to multi-threaded computing and re-usage of graphics core for general purpose heterogeneous parallel computations in particular. In this paper, we are presenting an approach to automate test creation for the verification of the compiler with OpenMP suppo

APA, Harvard, Vancouver, ISO, and other styles

31

Bond, Paul S., Keith S. Wilson, and Kevin D. Cowtan. "Predicting protein model correctness in Coot using machine learning." Acta Crystallographica Section D Structural Biology 76, no. 8 (2020): 713–23. http://dx.doi.org/10.1107/s2059798320009080.

Full text

Abstract:

Manually identifying and correcting errors in protein models can be a slow process, but improvements in validation tools and automated model-building software can contribute to reducing this burden. This article presents a new correctness score that is produced by combining multiple sources of information using a neural network. The residues in 639 automatically built models were marked as correct or incorrect by comparing them with the coordinates deposited in the PDB. A number of features were also calculated for each residue using Coot, including map-to-model correlation, density values, B

APA, Harvard, Vancouver, ISO, and other styles

32

Ling, Jun, Shao Ping Zhou, and Feng Qi Wu. "Finite Element Analysis and Stress Test of Quayside Container Crane." Advanced Materials Research 1055 (November 2014): 229–33. http://dx.doi.org/10.4028/www.scientific.net/amr.1055.229.

Full text

Abstract:

In present society, port container transportation is a basic need for the costal country. The quayside container crane plays a vital role in port transportation field. Taking 80t quayside container crane as the subject, the three-dimensional model of crane steel structure with plates was established;the element analysis by means of Workbench and multi-measuring points stress test of quayside container crane steel structure was carried out. The simulationresults werecompared with test results to prove the correctness of the model. On the basis, the strength, rigidity and fatigue property of the

APA, Harvard, Vancouver, ISO, and other styles

33

Xiao, Nengqi, Ruiping Zhou, and Xiang Xu. "Vibration of diesel-electric hybrid propulsion system with nonlinear component." Journal of Vibration and Control 24, no. 22 (2018): 5353–65. http://dx.doi.org/10.1177/1077546317753010.

Full text

Abstract:

The lumped parameter method is used to model the components of a marine diesel-electric hybrid propulsion system. Modular modeling and five basic models of torsional vibration are used to establish the torsion of the diesel-electric hybrid propulsion system with a nonlinear components vibration mathematical model. In order to include the nonlinear parts of the marine diesel-hybrid propulsion shafting torsional vibration system characteristics, by combining the perturbation method with the advantages and disadvantages of the harmonic method, a perturbation-harmonic method is presented to solve

APA, Harvard, Vancouver, ISO, and other styles

34

Yu, Bi Qiong. "Design of NC Table for Processing the Spatial Curved Surface." Advanced Materials Research 694-697 (May 2013): 1838–41. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.1838.

Full text

Abstract:

According to the difficult problems in wire cut electronic discharge machining (WEDM), a NC rotary table was designed and its mathematical models of spatial complicated curved surface were established. Through the processing experiment of the Octahedral Pagoda, the designed WEDM system was used to process the test piece to verify the correctness of the processing model. It shows that the designed NC rotary table reaches the requirements in shape and dimensional accuracy to prove the correctness of the processing to provide a useful reference for the follow-up study of machining the spatial com

APA, Harvard, Vancouver, ISO, and other styles

35

Chirimar, Jawahar, Carl A. Gunter, and Jon G. Riecke. "Reference counting as a computational interpretation of linear logic." Journal of Functional Programming 6, no. 2 (1996): 195–244. http://dx.doi.org/10.1017/s0956796800001660.

Full text

Abstract:

AbstractWe develop an operational model for a language based on linear logic. Our semantics is ‘low-level’ enough to express sharing and copying while still being ‘high-level’ enough to abstract away from details of memory layout, and thus can be used to test potential applications of linear logic for analysis of programs. In particular, we demonstrate a precise relationship between type correctness for the linear-logic-based language and the correctness of a reference-counting interpretation of the primitives, and formulate and prove a result describing the possible run-time reference counts

APA, Harvard, Vancouver, ISO, and other styles

36

Ćwiąkała, Paweł. "Testing Procedure of Unmanned Aerial Vehicles (UAVs) Trajectory in Automatic Missions." Applied Sciences 9, no. 17 (2019): 3488. http://dx.doi.org/10.3390/app9173488.

Full text

Abstract:

This paper describes an experimental test campaign while using an Unmanned Aerial Vehicle (UAV) and measuring the obtained UAV positions during different flight tasks and in different operative conditions. A new test procedure has been presented and tested for different devices in various weather conditions. This paper describes and analyses the measurements of the flight trajectory of the UAV that was performed with the use of a robotic total station (RTS), as compared to the design data and the data recorded in the internal memory of the UAV. Five different test tasks have been conducted. Th

APA, Harvard, Vancouver, ISO, and other styles

37

Eberle, S. H. "A correctness test of the computation of chemical speciation for the main constituents of natural waters." Water Research 23, no. 11 (1989): 1373–82. http://dx.doi.org/10.1016/0043-1354(89)90076-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Wawrzeńczyk, Jerzy. "Results of concrete absorption test related to some particular factors." Budownictwo i Architektura 12, no. 3 (2013): 239–46. http://dx.doi.org/10.35784/bud-arch.2038.

Full text

Abstract:

In spite of the fact that common concrete absorption tests are technically simple, the correctness of received results is still very disputable. The lack of unequivocal procedures makes it impossible to compare the results obtained in various laboratories. The paper presents the research results received in 5 series of concrete with three different cements and various w/c ratios. The investigations were conducted on cube specimens with dimensions of 10cm and 15cm, all cubes were soaked and dryed in long terms. The object of the research was to identify the effect of specimens dimensions and so

APA, Harvard, Vancouver, ISO, and other styles

39

Yao, LI, ZHANG Xiaoxia, ZHANG Yadong, GUO Jin, and GAO Hao. "Towards A Test Paths Generation Method for CTCS Level Transition." MATEC Web of Conferences 325 (2020): 01001. http://dx.doi.org/10.1051/matecconf/202032501001.

Full text

Abstract:

Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cas

APA, Harvard, Vancouver, ISO, and other styles

40

Gao, Yan Mei, and Zhi Xiang Zhou. "Model Test for a New Chorded Arch Bridge." Advanced Materials Research 255-260 (May 2011): 1061–64. http://dx.doi.org/10.4028/www.scientific.net/amr.255-260.1061.

Full text

Abstract:

A new chorded arch bridge is put forward by Professor Zhixiang zhou of Chongqing Jiaotong University. For further exploration by the bridge design and construction scheme of the feasibility and rationality, and to verify the correctness of the theoretical analysis and probe the effective measures to deal with the closure error during in the rotating construction, a model made with by organic glass (ratio of the model to original bridge is 1/10) is has been experimented. In this test, the rotating down procedure of the construction was simulated and studied, possible closure errors were tested

APA, Harvard, Vancouver, ISO, and other styles

41

Wang, Meng. "Analysis of a Verifying Method of Consistency Between CT/ PT Polarity and Directional Protective Relaying." Modern Electronic Technology 2, no. 1 (2018): 10. http://dx.doi.org/10.26549/met.v2i1.755.

Full text

Abstract:

The coordination correctness of Nuclear power plant current transformer (CT) / voltage transformer (PT) polarity and relay protection is often verifed through the dynamic test on the unit no load / load operating conditions. This paper proposes a test method to prevent and circumvent the failure of the dynamic test abnormality caused by the static power test before the plant power is applied and the whole group is started. Reduce the dynamic test workload and test diffculty, to ensure that the dynamic test safety risk control and control in the state.

APA, Harvard, Vancouver, ISO, and other styles

42

Chen, Shuang, and Sheng Guo. "Vibration Characteristics Simulation and Experimental Study of Super-Heavy Vibrating Shaker." Applied Mechanics and Materials 55-57 (May 2011): 998–1002. http://dx.doi.org/10.4028/www.scientific.net/amm.55-57.998.

Full text

Abstract:

In this paper, vibration characteristics of super-heavy vibrating shaker were simulated by using MATLAB based on the developed analytical models. The important stiffness test experiment of elastic component-shaker rubber spring in compression, shear stiffness and experimental verification of mechanical models were made. Results show that the test data was consistent with simulation data, which verified the correctness of design and analysis.

APA, Harvard, Vancouver, ISO, and other styles

43

Shterev, Kiril. "The Correctness of the Simplified Bernoulli Trial (SBT) Collision Scheme of Calculations of Two-Dimensional Flows." Micromachines 12, no. 2 (2021): 127. http://dx.doi.org/10.3390/mi12020127.

Full text

Abstract:

Micro-electromechanical systems (MEMS) have developed rapidly in recent years in various technical fields that have increased their interest in the Direct Simulation Monte Carlo (DSMC) method. In this paper, we present a simple representation of the DSMC collision scheme and investigate the correctness of the Simplified Bernoulli Trial (SBT) collision scheme for the calculation of two-dimensional flows. The first part of the collision scheme, which determines collision pairs, is presented following the derivation of the expression for the mean free path and using the cumulative distribution fu

APA, Harvard, Vancouver, ISO, and other styles

44

Yuan, Yi Wen, Hao Hong Wu, and Chong Wei Yang. "Method Design and Failure Analysis of the Penetration Test on Seamless Gas Cylinders." Applied Mechanics and Materials 635-637 (September 2014): 682–86. http://dx.doi.org/10.4028/www.scientific.net/amm.635-637.682.

Full text

Abstract:

Requirements of the penetration test on various seamless gas cylinders are analyzed to determine the specific method of the penetration test on different types of gas cylinders. The actual penetration test on the cylinder for on-board storage of fuel for automotive vehicle is taken for example to make a comparison with the design method and validate correctness and reliability of the designed test methods; corresponding failure fracture is analyzed through a scanning electron microscope to validate the affect of the penetration test on safety performance of the seamless gas cylinder and predic

APA, Harvard, Vancouver, ISO, and other styles

45

Zhang, Shu Chao, Shao Hui He, Pei Wang, and Lin Li. "Axial Unloading Test of Soil Based on the GDS Triaxial Apparatus." Applied Mechanics and Materials 638-640 (September 2014): 407–11. http://dx.doi.org/10.4028/www.scientific.net/amm.638-640.407.

Full text

Abstract:

Normal triaxial apparatus is suited to the loading stress path test, some stress path triaxial apparatus can be used to unload radial load smaller than the axial load, but it is difficult to unload axial load smaller than the radial load or even unload the axial load to zero. Using the iso-diameter headgear, different axial-radial unload ratio tests were done on the GDS triaxial apparatus, and the axial load was unloaded smaller than the radial load. During the test, it was found there are some deficiencies in the GDSLAB system. The results conformed to the characteristics of unloading test, w

APA, Harvard, Vancouver, ISO, and other styles

46

Xu, Yongjie, Zhijun Wang, and Benbing Gao. "Six-Degree-of-Freedom Digital Simulations for Missile Guidance and Control." Mathematical Problems in Engineering 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/829473.

Full text

Abstract:

Six-degree-of-freedom ballistic trajectory model can be used to verify design indicators, performance parameters, and correctness so they have been put forward in the missile argumentation and design process. Mathematical simulation is the basis of late semiphysical simulation and field firing testing, and it can greatly reduce the field shooting test time, which shortens the missile test cycle and so reduces costs.

APA, Harvard, Vancouver, ISO, and other styles

47

Wu, Ju Yi, Jin Tian, and Ting Di Zhao. "Assurance Technology of Testing Adequacy Based on Functional Analysis." Advanced Materials Research 430-432 (January 2012): 1502–8. http://dx.doi.org/10.4028/www.scientific.net/amr.430-432.1502.

Full text

Abstract:

Sufficient and efficient functional testing could efficiently find the defects existed in product development. However, due to the growing complexity of product, sufficient functional and performance testing is more difficult. Integrality of test objectives and correctness of test approach are essential to ensure the sufficient testing of products. This paper focused on the problem of integrality of test objectives and proposed a new functional analysis approach based on physical view to list all the functions and interrelationships between them.

APA, Harvard, Vancouver, ISO, and other styles

48

Kholshchevnikov, V. V., and A. P. Parfenenko. "Correctness of the computer model and our life." Pozharovzryvobezopasnost/Fire and Explosion Safety 29, no. 3 (2020): 66–94. http://dx.doi.org/10.22227/pvb.2020.29.03.66-94.

Full text

Abstract:

Introduction. In the last decade, various software products have been created in Russia that claim to be a computer equivalent to the statutory document “Method of determining design values of fire risk in buildings, structures and constructions of different functional fire hazard classes”. In some of them, the complex of the programs completely substituting all sections of this document is given; others concern only modelling of time of evacuation of people and determining, on this basis, the probability of evacuation P ev which value, at not functioning systems of active fire protection (K =

APA, Harvard, Vancouver, ISO, and other styles

49

GORÉ, RAJEEV, and JIMMY THOMSON. "A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC." Journal of Symbolic Logic 84, no. 02 (2019): 439–51. http://dx.doi.org/10.1017/jsl.2017.66.

Full text

Abstract:

AbstractWe show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.

APA, Harvard, Vancouver, ISO, and other styles

50

Yang, Chao, Sheng Hong, Cheng Gao, Dong Zhang, and Ying Li. "An Improvement Test Approach of Look-up Table in SRAM-Based FPGAs." Advanced Materials Research 159 (December 2010): 116–23. http://dx.doi.org/10.4028/www.scientific.net/amr.159.116.

Full text

Abstract:

This paper proposes an improvement test approach of Look-Up Table in SRAM-based FPGAs from the third-party testing. This approach solves the mismatch problem which happens in the process of synthesis. Meanwhile, it also eliminates the problem of waveform distortion and period error which are caused by the superposing of different addresses. Though the number of the partial chain increases, the modification for CUT structure will not increase the test time notable. More importantly, the modified approach can ensure the correctness of synthesis result. Besides, because the modified BIST for test

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!