Log in

Relevant bibliographies by topics / Prototype verification system (PVS) / Journal articles

To see the other types of publications on this topic, follow the link: Prototype verification system (PVS).

Journal articles on the topic 'Prototype verification system (PVS)'

Author: Grafiati

Published: 4 June 2021

Last updated: 2 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 'Prototype verification system (PVS).'

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

Yuan, Ling, and Ping Fan. "Verification of Dependable Architecture Based on Prototype Verification System." Advanced Materials Research 756-759 (September 2013): 4188–92. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.4188.

Full text

Abstract:

The electronic power system can be viewed as a system composed of a set of concurrently interacting subsystems to generate, transmit, and distribute electric power. The complex interaction among sub-systems makes the design of electronic power system complicated. Furthermore, in order to guarantee the safe generation and distribution of electronic power, the fault tolerant mechanisms are incorporated in the system design to satisfy high reliability requirements. As a result, the incorporation makes the design of such system more complicated. We propose a dependable electronic power system arch

APA, Harvard, Vancouver, ISO, and other styles

2

YANG, XIAOXIAO, ZHENHUA DUAN, and QIAN MA. "Axiomatic semantics of projection temporal logic programs." Mathematical Structures in Computer Science 20, no. 5 (2010): 865–914. http://dx.doi.org/10.1017/s0960129510000241.

Full text

Abstract:

In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL. To this end, we employ Propositional Projection Temporal Logic (PPTL) as an assertion language to specify the desired properties. We give a set of state axioms and state inference rules. In order to deduce a program over an interval, we also formalise a set of rules in terms of a Hoare logic-like triple. These rules enable us to deduce a program into its normal form and from the current state to the next one. They also enable us to verify properties over intervals. In this way, an

APA, Harvard, Vancouver, ISO, and other styles

3

Bihl, Trevor J., Todd J. Paciencia, Kenneth W. Bauer, and Michael A. Temple. "Cyber-Physical Security with RF Fingerprint Classification through Distance Measure Extensions of Generalized Relevance Learning Vector Quantization." Security and Communication Networks 2020 (February 24, 2020): 1–12. http://dx.doi.org/10.1155/2020/3909763.

Full text

Abstract:

Radio frequency (RF) fingerprinting extracts fingerprint features from RF signals to protect against masquerade attacks by enabling reliable authentication of communication devices at the “serial number” level. Facilitating the reliable authentication of communication devices are machine learning (ML) algorithms which find meaningful statistical differences between measured data. The Generalized Relevance Learning Vector Quantization-Improved (GRLVQI) classifier is one ML algorithm which has shown efficacy for RF fingerprinting device discrimination. GRLVQI extends the Learning Vector Quantiza

APA, Harvard, Vancouver, ISO, and other styles

4

Kiełbik, Rafał, Kamil Rudnicki, Zbigniew Mudza, and Jarosław Jung. "Methodology of Firmware Development for ARUZ—An FPGA-Based HPC System." Electronics 9, no. 9 (2020): 1482. http://dx.doi.org/10.3390/electronics9091482.

Full text

Abstract:

ARUZ is a large scale, massively parallel, FPGA-based reconfigurable computational system dedicated primarily to molecular analysis. This paper presents a methodology for ARUZ firmware development that simplifies the process, offers low-level optimization, and facilitates verification. According to this methodology, firstly an expanded, generic, all-in-one VHDL description of variable Processing Elements (PEs) is developed manually. GCC preprocessing is then used to extract only the desired target functionality. A dedicated software instantiates and connects PEs in form of a scalable network,

APA, Harvard, Vancouver, ISO, and other styles

5

Zhora, Victor, and Oleksandr Synetskyi. "Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems." Technology audit and production reserves 2, no. 2(58) (2021): 41–45. http://dx.doi.org/10.15587/2706-5448.2021.229539.

Full text

Abstract:

The object of research is the information and telecommunication system (ITS) and ensuring the protection of information stored, processed and circulating in it. One of the most problematic areas in the creation of secure ITS is the logical inconsistency and incompleteness of the information security policy. That is, a set of laws, rules, restrictions, recommendations, etc., which regulate the procedure for processing information and are aimed at protecting information from a certain set of threats. The reason for such problems is usually the absence of pre-design modeling of the information se

APA, Harvard, Vancouver, ISO, and other styles

6

Gao, Ning, Huaiyu Fan, and Weimin Wu. "A Simplified Finite Control Set Model Predictive Control for T-Type Three-Level Power Conversion System Based on LCL Filter." Journal of Control Science and Engineering 2021 (May 31, 2021): 1–16. http://dx.doi.org/10.1155/2021/9919338.

Full text

Abstract:

Finite control set model predictive control (FCSMPC) is a highly attractive and potential control method for grid-tied converters. However, there are several challenges when employing FCSMPC in an LCL filter-based T-type three-level power conversion system (PCS) for battery energy storage applications. These challenges mainly include the increasing complexity of control algorithm and excessive cost of additional sensors, which deteriorate the performance of PCS and limit the application of FCSMPC. In order to overcome these issues, this paper proposes a simplified FCSMPC algorithm to reduce th

APA, Harvard, Vancouver, ISO, and other styles

7

ZHANG, HUAN, and DEWEN HU. "A SCANNER BASED PALMPRINT VERIFICATION SYSTEM FOR CIVIL APPLICATION." International Journal of Information Acquisition 07, no. 03 (2010): 259–68. http://dx.doi.org/10.1142/s021987891000218x.

Full text

Abstract:

The concept of capturing a palmprint using a scanner is not new, but the current palmprint capture devices based on a scanner have the limitations of low speed and large weight. A new palmprint capture device based on a scanner has been developed, which can overcome these limitations. A scanner based palmprint verification system (PVS) has also been designed using the proposed palmprint capture device. A commercially available mobile internet device (MID) was used to execute the whole program and to store the collected palmprint images. A small palmprint database was built using the developed

APA, Harvard, Vancouver, ISO, and other styles

8

Chkliaev, D. A., and V. A. Nepomniaschy. "Deductive Verification of the Sliding Window Protocol." Modeling and Analysis of Information Systems 19, no. 6 (2015): 57–68. http://dx.doi.org/10.18255/1818-1015-2012-6-57-68.

Full text

Abstract:

We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallelism which creates a significant potential for errors. Here we consider a version of the protocol that is based on selective repeat of frames. The specification of the protocol by a state machine and its safety property are represented in the language of the verification system PVS. Using the PVS system, we give an interactive proof of this property

APA, Harvard, Vancouver, ISO, and other styles

9

Pedro, Luis, Levi Lucio, and Didier Buchs. "System Prototype and Verification Using Metamodel-Based Transformations." IEEE Distributed Systems Online 8, no. 4 (2007): 1. http://dx.doi.org/10.1109/mdso.2007.22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Frieder, O. "A parallel database-driven protocol verification system prototype." Software: Practice and Experience 22, no. 3 (1992): 245–64. http://dx.doi.org/10.1002/spe.4380220304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Pidun, Tim, and Oliver Croenertz. "A Performance Management Software Integrating the Concept of Visibility of Performance." International Journal of Information System Modeling and Design 7, no. 4 (2016): 17–30. http://dx.doi.org/10.4018/ijismd.2016100102.

Full text

Abstract:

Applying Performance Management Systems (PMS) in an enterprise often is a cumbersome endeavor. Reasons are missing software structures and the lack of an intuitive visualization of important information. The theory of Visibility of Performance defines the goodness of use of a given PMS and can also can be applied to a PMS software. In this context, the authors evaluate a novel software prototype that deals with the problem of lacking information transfer and visualisation with the result that it is most suitable to generate and transport visible performance information. Moreover, this investig

APA, Harvard, Vancouver, ISO, and other styles

12

Masci, Paolo, and César A. Muñoz. "An Integrated Development Environment for the Prototype Verification System." Electronic Proceedings in Theoretical Computer Science 310 (December 23, 2019): 35–49. http://dx.doi.org/10.4204/eptcs.310.5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Lee, Luan L., Miguel G. Lizarraga, Natanael R. Gomes, and Alessandro L. Koerich. "A Prototype for Brazilian Bankcheck Recognition." International Journal of Pattern Recognition and Artificial Intelligence 11, no. 04 (1997): 549–69. http://dx.doi.org/10.1142/s0218001497000238.

Full text

Abstract:

This paper describes a prototype for Brazilian bankcheck recognition. The description is divided into three topics: bankcheck information extraction, digit amount recognition and signature verification. In bankcheck information extraction, our algorithms provide signature and digit amount images free of background patterns and bankcheck printed information. In digit amount recognition, we dealt with the digit amount segmentation and implementation of a complete numeral character recognition system involving image processing, feature extraction and neural classification. In signature verificati

APA, Harvard, Vancouver, ISO, and other styles

14

Skinner, Patrick S., Dustan M. Wheatley, Kent H. Knopfmeier, et al. "Object-Based Verification of a Prototype Warn-on-Forecast System." Weather and Forecasting 33, no. 5 (2018): 1225–50. http://dx.doi.org/10.1175/waf-d-18-0020.1.

Full text

Abstract:

Abstract An object-based verification methodology for the NSSL Experimental Warn-on-Forecast System for ensembles (NEWS-e) has been developed and applied to 32 cases between December 2015 and June 2017. NEWS-e forecast objects of composite reflectivity and 30-min updraft helicity swaths are matched to corresponding reflectivity and rotation track objects in Multi-Radar Multi-Sensor system data on space and time scales typical of a National Weather Service warning. Object matching allows contingency-table-based verification statistics to be used to establish baseline performance metrics for NEW

APA, Harvard, Vancouver, ISO, and other styles

15

Isaacson, Michael, Norman Allyn, and Gary Loverich. "Development of a net pen system for aquaculture farming." Canadian Journal of Civil Engineering 20, no. 2 (1993): 189–200. http://dx.doi.org/10.1139/l93-024.

Full text

Abstract:

The present paper describes a study carried out to verify a new net pen system which has been developed for aquaculture farming at exposed coastal sites. The structure is based on the use of spar buoys rather than rigid floats to support the net. A prototype structure has been deployed in Juan de Fuca Strait, and a verification of the system is described. This has involved an assessment of the environmental conditions and hydrodynamic loading for the structure, strength and fatigue analyses, and a calibration of wave conditions and mooring line forces with respect to prototype measurements. Ov

APA, Harvard, Vancouver, ISO, and other styles

16

Liu, Yang, Joseph Páez Chávez, Jiajia Zhang, Jiyuan Tian, Bingyong Guo, and Shyam Prasad. "The vibro-impact capsule system in millimetre scale: numerical optimisation and experimental verification." Meccanica 55, no. 10 (2020): 1885–902. http://dx.doi.org/10.1007/s11012-020-01237-8.

Full text

Abstract:

Abstract The vibro-impact capsule system has been studied extensively in the past decade because of its research challenges as a piecewise-smooth dynamical system and broad applications in engineering and healthcare technologies. This paper reports our team’s first attempt to scale down the prototype of the vibro-impact capsule to millimetre size, which is 26 mm in length and 11 mm in diameter, aiming for small-bowel endoscopy. Firstly, an existing mathematical model of the prototype and its mathematical formulation as a piecewise-smooth dynamical system are reviewed in order to carry out nume

APA, Harvard, Vancouver, ISO, and other styles

17

Rocha-Oliveira, Ana Cristina, André Luiz Galdino, and Mauricio Ayala-Rincón. "Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System." Journal of Automated Reasoning 58, no. 2 (2016): 231–51. http://dx.doi.org/10.1007/s10817-016-9376-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Ahmed, Abdelsalam A., and Haitham S. Ramadan. "Prototype implementation of advanced electric vehicles drivetrain system: Verification and validation." Applied Energy 266 (May 2020): 114807. http://dx.doi.org/10.1016/j.apenergy.2020.114807.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Wall, Johan, Marco Bertoni, and Tobias Larsson. "The Model-Driven Decision Arena: Augmented Decision-Making for Product-Service Systems Design." Systems 8, no. 2 (2020): 22. http://dx.doi.org/10.3390/systems8020022.

Full text

Abstract:

The shift towards Product-Service Systems (PSS) stresses the need to embed new and unique capabilities in Decision Support Systems, with the aim of helping the engineering team in handling the pool of information and knowledge available during decision events. Emerging from a multiple case study in the Swedish manufacturing industry, this paper describes the development of the Model-Driven Decision Arena (MDDA), an environment for collaborative decision-making that focuses on the early design phases of PSS. Based on the findings from multiple case studies, this paper illustrates the main goals

APA, Harvard, Vancouver, ISO, and other styles

20

Fiala, Ctislav, Jaroslav Hejl, Vladimira Tomalova, et al. "Structural Design and Experimental Verification of Precast Columns from High Performance Concrete." Advanced Materials Research 1106 (June 2015): 110–13. http://dx.doi.org/10.4028/www.scientific.net/amr.1106.110.

Full text

Abstract:

Paper presents some results of long-term research of a new optimized subtle precast construction system based on high performance silicate composites. The system is particularly aimed for building construction in passive or zero-energy standard. Subtle structural elements from high performance concrete (HPC) can be integrated into building envelope of energy efficient buildings with significant reduction of envelope structure and avoiding risk of thermal bridges. Significant advantages of subtle elements are material and energy savings during production, transport, manipulation and constructio

APA, Harvard, Vancouver, ISO, and other styles

21

Dold, Axel, Friedrich von Henke, and Wolfgang Goerigk. "A Completely Verified Realistic Bootstrap Compiler." International Journal of Foundations of Computer Science 14, no. 04 (2003): 659–80. http://dx.doi.org/10.1142/s0129054103001947.

Full text

Abstract:

This paper reports on a large verification effort in constructing an initial fully trusted bootstrap compiler executable for a realistic system programming language and real target processor. The construction and verification process comprises three tasks: the verification of the compiling specification (a relation between abstract source and target programs) with respect to the language semantics and a realistic correctness criterion. This proof has been completely mechanized using the PVS verification system and is one of the largest case-studies in formal verification we are aware of. Secon

APA, Harvard, Vancouver, ISO, and other styles

22

Rus-Casas, Catalina, Gabino Jiménez-Castillo, Juan Domingo Aguilar-Peña, Juan Ignacio Fernández-Carrasco, and Francisco José Muñoz-Rodríguez. "Development of a Prototype for Monitoring Photovoltaic Self-Consumption Systems." Electronics 9, no. 1 (2020): 67. http://dx.doi.org/10.3390/electronics9010067.

Full text

Abstract:

Currently, the increasing energy consumption around the world and the environmental impact resulting from the use of fossil fuel-based energy have promoted the use of renewable energy sources such as photovoltaic solar energy. The main characteristic of this type of energy is its unpredictability, as it depends on meteorological conditions. In this sense, monitoring the power generation of photovoltaic systems (PVS) in order to analyze their performance is becoming crucial. The purpose of this paper is to design a monitoring system for a residential photovoltaic self-consumption system which e

APA, Harvard, Vancouver, ISO, and other styles

23

Li, Q. M., F. C. Lee, and T. G. Wilson. "Design verification and testing of power supply system by using virtual prototype." IEEE Transactions on Power Electronics 18, no. 3 (2003): 733–39. http://dx.doi.org/10.1109/tpel.2003.810845.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Xu, Qing-guo, and Huai-kou Miao. "Timed automata for metric interval temporal logic formulae in prototype verification system." Journal of Shanghai University (English Edition) 12, no. 4 (2008): 339–46. http://dx.doi.org/10.1007/s11741-008-0411-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

MARTÍNEZ ROMO, JULIO CESAR, and ROGELIO ALCÁNTARA SILVA. "OPTIMAL PROTOTYPE FUNCTIONS OF FEATURES FOR ONLINE SIGNATURE VERIFICATION." International Journal of Pattern Recognition and Artificial Intelligence 18, no. 07 (2004): 1189–206. http://dx.doi.org/10.1142/s021800140400371x.

Full text

Abstract:

It is well known that the approach of functions of time to represent the dynamic and static characteristics of signatures usually outperforms the approaches based on parameters; in addition to this result, we propose here that the model or prototype function of the discriminant features of the signatures should be created considering the signature verification problem as a bi-objective optimization problem in which the false acceptance and false rejection rates are minimized simultaneously; to accomplish these goals, a discrete space of solutions is searched by a genetic algorithm, and a conti

APA, Harvard, Vancouver, ISO, and other styles

26

Lis, Stanisław, Marcin Tomasik, and Henryk Juszka. "The design of a prototype system which controls the flow of milk in the collector’s column of an autonomous milking apparatus." BIO Web of Conferences 10 (2018): 02016. http://dx.doi.org/10.1051/bioconf/20181002016.

Full text

Abstract:

The research paper presents a prototype system controlling the flow of milk in the collection column of an autonomous milking apparatus. In the Matlab®-Simulink program, the simulation model of such a system was created. Its essential operation is illustrated in the block diagrams. The logic verification of the model’s operational accuracy (off-line simulation) did not reveal errors. Therefore a laboratory stand for hardware verification – (on-line simulation) was developed. Within it a virtual feedback loop of the control system (stored in computer memory), with elements of real object contro

APA, Harvard, Vancouver, ISO, and other styles

27

Kariapper, RKAR. "Attendance System Using RFID, IOT and Machine Learning: A Two-Factor Verification Approach." Journal of Advanced Research in Dynamical and Control Systems 12, no. 6 (2021): 3285–97. http://dx.doi.org/10.5373/jardcs/v12i6/20202653.

Full text

Abstract:

The time and attendance systems help to monitor the employers and students working and attending time. Educational systems are struggling with the traditional system. It affects the pedagogical activities considerably. The traditional system is encountering many problems, and there is a need for a robust technological solution. This study focuses on building a two-factor prototype with RFID, IoT, and machine learning techniques. A microcontroller, GSM module, RFID tag, an RFID reader are used for first step verification. A camera with Multitask Cascaded Convolutional Network (MTCNN) model is u

APA, Harvard, Vancouver, ISO, and other styles

28

Yan, Yao, Yang Liu, Haibo Jiang, et al. "Optimization and experimental verification of the vibro-impact capsule system in fluid pipeline." Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 233, no. 3 (2018): 880–94. http://dx.doi.org/10.1177/0954406218766200.

Full text

Abstract:

This paper studies the prototype development of the vibro-impact capsule system aiming for autonomous mobile sensing for pipeline inspection. Self-propelled progression of the system is obtained by employing a vibro-impact oscillator encapsuled in the capsule without the requirement of any external mechanisms, such as wheels, arms, or legs. A dummy capsule prototype is designed, and the best geometric parameters, capsule and cap arc lengths, for minimizing fluid resistance forces are obtained through two-dimensional and three-dimensional computational fluid dynamics analyses, which are confirm

APA, Harvard, Vancouver, ISO, and other styles

29

You, Xuemin, Yezun Sun, Xu Xu, Bo Li, Zhenqian Yang, and Jiangong Liu. "Research on establishment and verification of projectile and artillery coupling system virtual prototype." IOP Conference Series: Materials Science and Engineering 892 (August 4, 2020): 012093. http://dx.doi.org/10.1088/1757-899x/892/1/012093.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Guo, Bing, Jorge Documet, Jasper Lee, et al. "Experiences With a Prototype Tracking and Verification System Implemented Within an Imaging Center." Academic Radiology 14, no. 3 (2007): 270–78. http://dx.doi.org/10.1016/j.acra.2006.12.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Geng, Bo, and Qing Hua Cao. "Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF." Advanced Materials Research 756-759 (September 2013): 2226–30. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2226.

Full text

Abstract:

Embedded software and hardware integration simulation platform is developed for simulating the embedded systems design process in current engineering system, which can facilitate finding various problems in system design process. For example, in the system scheme phase, the scheme and design verification are untimely and inadequate. In the early prototype phase, software development lags behind result in deferral of the overall progress of the system. And in the late prototype stage, the problem is lacking configuration item test environment. Embedded software and hardware integration simulati

APA, Harvard, Vancouver, ISO, and other styles

32

García-Rodríguez, Víctor, Ramón Silva-Ortigoza, Eduardo Hernández-Márquez, José García-Sánchez, and Hind Taud. "DC/DC Boost Converter–Inverter as Driver for a DC Motor: Modeling and Experimental Verification." Energies 11, no. 8 (2018): 2044. http://dx.doi.org/10.3390/en11082044.

Full text

Abstract:

In this paper, the modeling and the experimental verification of the “bidirectional DC/DC boost converter–DC motor” system are presented. By using circuit theory along with the model of a DC motor, the mathematical model of the system is derived. This model was experimentally tested under time-varying duty cycles obtained via the system differential flatness property. The experimental verification was carried out using Matlab-Simulink and a DS1104 board in a built prototype of the system.

APA, Harvard, Vancouver, ISO, and other styles

33

Борисов, Ю. В., Ю. П. Брагинец, В. В. Воронин, М. В. Ласица, С. Ю. Семенихин та В. В. Федоров. "Кристалл-дифракционная тестовая установка для измерения заряда нейтрона: испытания тепловой защиты и измерения вибраций". Письма в журнал технической физики 45, № 2 (2019): 55. http://dx.doi.org/10.21883/pjtf.2019.02.47226.17571.

Full text

Abstract:

AbstractA prototype system design for ultra-high-precision neutron spectrometry using diffraction in perfect crystals is described. Results of experimental verification of the temperature stability inside the setup are presented. Results of vibration spectrum measurements in working zone of the PF1b beam of ILL reactor (Grenoble, France), where the prototype setup will be arranged for experimental testing, are considered.

APA, Harvard, Vancouver, ISO, and other styles

34

Belka, Radosław, Roman Stanisław Deniziak, Grzegorz Łukawski, and Paweł Pięta. "BLE-Based Indoor Tracking System with Overlapping-Resistant IoT Solution for Tourism Applications." Sensors 21, no. 2 (2021): 329. http://dx.doi.org/10.3390/s21020329.

Full text

Abstract:

In this paper, an overlapping-resistant Internet of Things (IoT) solution for a Bluetooth Low Energy (BLE)-based indoor tracking system (BLE-ITS) is presented. The BLE-ITS is a promising, inexpensive alternative to the well-known GPS. It can be used in human traffic analysis, such as indoor tourist facilities. Tourists or other customers are tagged by a unique MAC address assigned to a simple and energy-saving BLE beacon emitter. Their location is determined by a distributed and scalable network of popular Raspberry Pi microcomputers equipped with BLE and WiFi/Ethernet modules. Only simple tri

APA, Harvard, Vancouver, ISO, and other styles

35

Yang, Y. N., H. R. Parsaei, and H. R. Leep. "A prototype of a feature-based multiple-alternative process planning system with scheduling verification." Computers & Industrial Engineering 39, no. 1-2 (2001): 109–24. http://dx.doi.org/10.1016/s0360-8352(00)00071-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

YAMADA, Hiroshi, Tadahiro HASEGAWA, Masaki SATO, and Mitsuo YAMASHITA. "1A2-D02 Prototype and verification of the allergens detection chip(Nano/Micro Bio System)." Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec) 2011 (2011): _1A2—D02_1—_1A2—D02_2. http://dx.doi.org/10.1299/jsmermd.2011._1a2-d02_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Drzevitzky, Stephanie, Uwe Kastens, and Marco Platzner. "Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification." International Journal of Reconfigurable Computing 2010 (2010): 1–11. http://dx.doi.org/10.1155/2010/180242.

Full text

Abstract:

Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in networked systems. The capability to load hardware modules at runtime provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenges for security and safety. In this paper, we elaborate on the presentation of proof carrying hardware (PCH) as a novel approach to reconfigurable system security. PCH takes a key concept from software security, known as proof-carrying code, into the reconfigurable hardware domain. We outline the PCH

APA, Harvard, Vancouver, ISO, and other styles

38

Xu, Jian Zhou, Jin Hai Su, Zi Bin Dai, and Wei Li. "A Study in Functional Verification of ASIP." Advanced Materials Research 457-458 (January 2012): 218–24. http://dx.doi.org/10.4028/www.scientific.net/amr.457-458.218.

Full text

Abstract:

ASIP can fulfill data processing effectively and flexibly in specific application. Due to the instruction’s diversity and the flexibility of logical structure, it has increased test vectors and enhanced difficulty in the functional verification of ASIP [1].With the continuous spread of ASIP application, the scale of designing is enlarging and the functional verification has become the bottleneck of designing of ASIP. This paper presents a methodology able to accomplish the functional verification of ASIP. The “Bottom-up” methodology is composed of the component-level verification, the instruct

APA, Harvard, Vancouver, ISO, and other styles

39

Lv, Gang, and Shou Wen Fan. "Assembly Design Defects Identification for Mechanical Products Based on Constraint Verification Tree." Advanced Materials Research 694-697 (May 2013): 3159–63. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.3159.

Full text

Abstract:

A methodology for mechanical products assembly design defect identification was presented based on assembly constraint verification tree (ACVT). An identification system framework, which consists of verification tree constructors, modifier, monitor and identification analyzer, was proposed. Modified design parameters were stored into modifier, monitor was employed to supervise design parameters variation in modifier and renew design parameters information in verification tree, identification analyzer decided the start or stop of verification according to stack information in monitor. A prototy

APA, Harvard, Vancouver, ISO, and other styles

40

Sharma, N., P. Kumar, N. Singh, and U. Mehta. "Digital energy monitor: design, simulations and prototype." South Pacific Journal of Natural and Applied Sciences 35, no. 2 (2017): 45. http://dx.doi.org/10.1071/sp17005.

Full text

Abstract:

This paper demonstrates the design and implementation of a GSM based digital energy monitoring device. Firstly fuzzy based model is developed to replicate the characteristic of current and voltage sensors. The entire system is also studied and simulated in terms of utility side supply, load, microcontroller digitization and GSM communication. A virtual data sharing technic is also studied for the proposed system using state flow logic. A prototype system is verified real-time with its test and verification phase results. In this work, remote monitoring of electricity has been made easier for t

APA, Harvard, Vancouver, ISO, and other styles

41

He, Jian-Wu, Li Duan, and Qi Kang. "Ground performance tests and evaluation of RF ion microthrusters for Taiji-1 satellite." International Journal of Modern Physics A 36, no. 11n12 (2021): 2140014. http://dx.doi.org/10.1142/s0217751x21400145.

Full text

Abstract:

The “Taiji-1” satellite is a test satellite for the verification of those key technologies involved in the “Taiji Program in Space”, China’s space gravitational wave detection project; and the spacecraft drag-free control technology is one of its key technologies used to improve the microgravity level of spacecraft. Thus, a demand for a high-precision and continuously adjustable micronewton-level thrust has been proposed on the spacecraft micro-propulsion system. In allusion to such a task, a set of micronewton-level RF ion propulsion system was designed based on the principle of self-sustaine

APA, Harvard, Vancouver, ISO, and other styles

42

Bedrin, Aleksey A., and Petr Y. Bugakov. "DEVELOPMENT OF AN AUTOMATED SYSTEM FOR CHECKING RESULTS OF TESTING USING MACHINERY VISION TECHNOLOGY." Interexpo GEO-Siberia 7, no. 1 (2020): 60–64. http://dx.doi.org/10.33764/2618-981x-2020-7-1-60-64.

Full text

Abstract:

The article discusses the problem associated with checking a large number of test results by one person. This situation arose due to the fact that during the verification of test results a human factor. The main objectives of the study are: analysis of similar software products presented on the mobile application market, identifying shortcomings and functionality, as well as developing a concept for a prototype application.

APA, Harvard, Vancouver, ISO, and other styles

43

ABDULLA, PAROSH AZIZ, GIORGIO DELZANNO, NOOMENE BEN HENDA, and AHMED REZINE. "MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS." International Journal of Foundations of Computer Science 20, no. 05 (2009): 779–801. http://dx.doi.org/10.1142/s0129054109006887.

Full text

Abstract:

We introduce the simple and efficient method of monotonic abstraction to prove safety properties for parameterized systems with linear topologies. A process in the system is a finite-state automaton, where the transitions are guarded by both local and global conditions. Processes may communicate via broadcast, rendez-vous and shared variables over finite domains. The method of monotonic abstraction derives an over-approximation of the induced transition system that allows the use of a simple class of regular expressions as a symbolic representation. Compared to traditional regular model checki

APA, Harvard, Vancouver, ISO, and other styles

44

Guo, Ting, Man Gong, Lei Xin Nie, and Gen Ming Zhou. "A PCOT Monitoring System Based on Virtual Instrument Technology." Advanced Materials Research 823 (October 2013): 241–46. http://dx.doi.org/10.4028/www.scientific.net/amr.823.241.

Full text

Abstract:

in order to monitoring connecting rod and crank pin bearings working condition, the PCOT monitoring system which was named crank pin oil temperature monitoring system was developed based on virtual instrument technology. The bearings working condition was estimated by testing oils temperature splashed from the connecting rod and crankshaft. The function, working principle and structure composition were described, and corresponding experimental prototype was researched. After experimental verification, this system could monitoring the crank pin oil temperature in a steady and reliable state, pr

APA, Harvard, Vancouver, ISO, and other styles

45

Samborski, Tomasz, and Andrzej Zbrowski. "The Use of Thermography in Verification Tests of a Prototype Calorimeter Chamber." Solid State Phenomena 223 (November 2014): 238–45. http://dx.doi.org/10.4028/www.scientific.net/ssp.223.238.

Full text

Abstract:

The article discusses the use of thermography in verification tests of a prototype calorimeter chamber constituting a part of a test stand for actuators used in smoke and ventilation systems. Based on the prototype control methodology developed at the ITeE – PIB, the authors identified areas posing a potential threat to the proper functioning of the system. The measurements of the temperature distribution on the outer surface of the chamber in the identified areas (trouble spots) are shown. The measurements were taken in thermal conditions related to tests conducted in compliance with the proc

APA, Harvard, Vancouver, ISO, and other styles

46

Berdychowski, Maciej, and Janusz Mielniczuk. "Analysis of the porous bone-implant fixation – experimental verification of numerical model." MATEC Web of Conferences 157 (2018): 05002. http://dx.doi.org/10.1051/matecconf/201815705002.

Full text

Abstract:

In this paper a new type of endoprothesis THRA with needle-palisade fixation system has been described. A numerical model of such fixation has been created. The developed model was subjected to experimental verification. During the test, the prototype of the needle palisade structure was inserted into the cancellous bone. The test results were compared with numerical simulation.

APA, Harvard, Vancouver, ISO, and other styles

47

Borkowski, Piotr. "Data fusion in a navigational decision support system on a sea-going vessel." Polish Maritime Research 19, no. 4 (2012): 78–85. http://dx.doi.org/10.2478/v10012-012-0043-1.

Full text

Abstract:

ABSTRACT The problem of data fusion in a navigational decision support system on a sea-going vessel has been analyzed. The computing algorithm herein applied for solving the formulated problem is based on a multi-sensor Kalman filter. On the practical side, results of the tests done in real conditions are shown. The tests conducted onboard m/s Nawigator XXI, have been aimed at the verification of the proposed computing algorithm implemented in a prototype navigational decision support system.

APA, Harvard, Vancouver, ISO, and other styles

48

Son, Han Seong, and Poong Hyun Seong. "Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application." Reliability Engineering & System Safety 80, no. 1 (2003): 19–32. http://dx.doi.org/10.1016/s0951-8320(02)00159-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Grobelna, Iwona. "Formal Verification of Control Modules in Cyber-Physical Systems." Sensors 20, no. 18 (2020): 5154. http://dx.doi.org/10.3390/s20185154.

Full text

Abstract:

The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. The logical model is then used both for formal verification using the model checking technique and for prototype implementation in FPGA devices. The model is automatically transformed into a verifiable model in nuXmv format and into synthesizable code in VHDL language, which ensures that the resulting models are consistent with each other. It also a

APA, Harvard, Vancouver, ISO, and other styles

50

Bernardeschi, Cinzia, and Andrea Domenici. "Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System." Information Processing Letters 116, no. 6 (2016): 409–15. http://dx.doi.org/10.1016/j.ipl.2016.02.001.

Full text

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!