Relevant bibliographies by topics / Software InSpec

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Software InSpec'

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 lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software InSpec.'

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.

Journal articles on the topic "Software InSpec"

1

Xi, Cheng, Tan Chao, and Ling Lu. "Designation of Monitoring System with Multi-Touch Based on Configuration Software and Windows Presentation Foundation." Advanced Materials Research 756-759 (September 2013): 218–22. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.218.

Full text
Abstract:
The monitoring system developed by traditional configuration software is extensively used in the industrial field, and application of keyboard & mouse and single-touch is the main operation mode. The multi-touch is a fresh human-computer interaction mode, which can provide the user with safer and more convenient operation experience. This design takes configuration software ControlEase (INSPEC) based on .Net framework in WINDOWS7 as development platform, and next-generation Microsoft graphics system development software WPF (Windows Presentation Foundation) is selected as development tools. WPF multi-touch control is realized based on .NET 4.0, which can be appropriately embedded in various kinds of the configuration software that run on different platforms. WPF multi-touch software frame is accomplished, which can combine with varieties of configuration software to make common configuration software in industrial application creatively own multi-touch functions.
APA, Harvard, Vancouver, ISO, and other styles
2

Zhang, Ying Hua. "Design of Supervisory Control System for Welding Robot Product Line." Advanced Materials Research 971-973 (June 2014): 1187–90. http://dx.doi.org/10.4028/www.scientific.net/amr.971-973.1187.

Full text
Abstract:
To improve the management level of welding robot product line, a supervisory control system based on C/S(Client/Server) and B/S(Browser/Server) hybrid structure is designed to use for INSPEC configuration software. The system connects the isolated welding robot stations through industrial Ethernet and PPI. The system achieves real-time monitoring and alarm management. It also provides production report function and history record function. The system has already gone into service and the result data have shown its high accuracy and strong reliability in experiments.
APA, Harvard, Vancouver, ISO, and other styles
3

Yu, Zehao. "Two Improved Topic Word Detection Algorithms." International Journal of Software Engineering and Knowledge Engineering 30, no. 08 (August 2020): 1097–118. http://dx.doi.org/10.1142/s0218194020400173.

Full text
Abstract:
Topic word extraction is the task of identifying single or multi-word expressions that represent the main topics of a document. In this paper, two improved algorithms for extracting and discovering topic words are proposed in the Rapid Topic word Detection (RTD) Algorithm and CategoryTextRank (CTextRank) Algorithm, which can effectively obtain information by extracting and filtering the topic words in the text. The algorithms overcome the shortcomings of traditional topic words discovering algorithms that require deep linguistic knowledge, domain or language specific annotated corpora. The two algorithms we proposed can process both short and long text. The biggest advantage of the algorithms is that they are unsupervised machine learning algorithms. They need not be trained to process text directly to get topic words. The Accuracy rate, recall rate and F-measure index have been greatly improved when using the two algorithms which show that the results obtained compare favorably with previously published results on datasets Inspec and SemEval. The first algorithm Rapid Topicword Detection improves the metrics compared to PositionRank and TextRank, the second algorithm CategoryTextRank improves the metrics compared to TextRank, SingleRank and TF-IDF.
APA, Harvard, Vancouver, ISO, and other styles
4

Delvaux, Nicolas, Katrien Van Thienen, Annemie Heselmans, Stijn Van de Velde, Dirk Ramaekers, and Bert Aertgeerts. "The Effects of Computerized Clinical Decision Support Systems on Laboratory Test Ordering: A Systematic Review." Archives of Pathology & Laboratory Medicine 141, no. 4 (February 28, 2017): 585–95. http://dx.doi.org/10.5858/arpa.2016-0115-ra.

Full text
Abstract:
Context.— Inappropriate laboratory test ordering has been shown to be as high as 30%. This can have an important impact on quality of care and costs because of downstream consequences such as additional diagnostics, repeat testing, imaging, prescriptions, surgeries, or hospital stays. Objective.— To evaluate the effect of computerized clinical decision support systems on appropriateness of laboratory test ordering. Data Sources.— We used MEDLINE, Embase, CINAHL, MEDLINE In-Process and Other Non-Indexed Citations, Clinicaltrials.gov, Cochrane Library, and Inspec through December 2015. Investigators independently screened articles to identify randomized trials that assessed a computerized clinical decision support system aimed at improving laboratory test ordering by providing patient-specific information, delivered in the form of an on-screen management option, reminder, or suggestion through a computerized physician order entry using a rule-based or algorithm-based system relying on an evidence-based knowledge resource. Investigators extracted data from 30 papers about study design, various study characteristics, study setting, various intervention characteristics, involvement of the software developers in the evaluation of the computerized clinical decision support system, outcome types, and various outcome characteristics. Conclusions.— Because of heterogeneity of systems and settings, pooled estimates of effect could not be made. Data showed that computerized clinical decision support systems had little or no effect on clinical outcomes but some effect on compliance. Computerized clinical decision support systems targeted at laboratory test ordering for multiple conditions appear to be more effective than those targeted at a single condition.
APA, Harvard, Vancouver, ISO, and other styles
5

Jia Xu. "Making software timing properties easier to inspect and verify." IEEE Software 20, no. 4 (July 2003): 34–41. http://dx.doi.org/10.1109/ms.2003.1207452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bellamy, C. L. "SOFTWARE REVIEW." Coleopterists Bulletin 54, no. 3 (September 2000): 409–10. http://dx.doi.org/10.1649/0010-065x(2000)054[0409:sr]2.0.co;2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Roper, T. R., D. L. Mahr, and P. Kaarakka. "Cranberry Crop Manager Computer Software Package." HortScience 31, no. 4 (August 1996): 664b—664. http://dx.doi.org/10.21273/hortsci.31.4.664b.

Full text
Abstract:
Cranberry Crop Manager is a predictive software package for commercial cranberry growers. The package consists of linked modules. Predictive models for insect, disease, and weed development are the most important features. With appropriate weather and scouting information the models will make control or no control recommendations. To support the predictive models the program will maintain weather records of air temperatures, evapotranspiration, irrigation, and rainfall. Data can be imported or entered by hand. The program will maintain bed records including pesticide applicators, pesticide and fertilizer applications, and scouting reports. Output options include screen or printed reports or data export. An electronic encyclopedia of cranberry disease, insect and weed pests on CD will accompany the package. Minimum computer requirements are 486 CPU, 6 MB RAM, 6 MB hard drive space.
APA, Harvard, Vancouver, ISO, and other styles
8

Paulo, P. V., F. A. Branco, and J. de Brito. "Using Orthophotography Based on BuildingsLife Software to Inspect Building Facades." Journal of Performance of Constructed Facilities 28, no. 5 (October 2014): 04014019. http://dx.doi.org/10.1061/(asce)cf.1943-5509.0000536.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

AlHamaydeh, Mohammad, Mohamad Najib, and Sameer Alawnah. "INSPECT: A graphical user interface software package for IDARC-2D." SoftwareX 5 (2016): 243–51. http://dx.doi.org/10.1016/j.softx.2016.10.004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sales, Gabriel Al–Samir Guimarães, Edson Almeida Silva Júnior, and Adeilson Marques da Silva Cardoso. "THEBUG: SOFTWARE MOBILE PARA IDENTIFICAÇÃO DE INSETOS/THEBUG: MOBILE SOFTWARE FOR INSECT IDENTIFICATION." Brazilian Journal of Development 7, no. 1 (2021): 5255–64. http://dx.doi.org/10.34117/bjdv7n1-355.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Software InSpec"

1

Jelínek, Vít. "Kalibrace skleněných měřítek." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-232162.

Full text
Abstract:
This thesis deals with a more work-efficient and time-efficient method of calibration of standard glass scales, with practical use in the Czech Metrology Institute Regional Inspectorate in Brno. The desired streamlining of calibration were achieved in the use of a 3D coordinate measuring machine Micro-Vu Excel 4520. In the service software InSpec, six measuring programs were designed in the use of a standard glass scale brand SIP. The measurement uncertainties of this calibration were presented and calculated. This thesis draws up a draft proposal of the calibration procedure and drafts a formalized document of the calibration.
APA, Harvard, Vancouver, ISO, and other styles
2

Moral, Rafael de Andrade. "Statistical modelling of data from insect studies." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/11/11134/tde-06042018-153400/.

Full text
Abstract:
Data from insect studies may present different features. Univariate responses may be analyzed using generalized linear models (continuous and discrete data), survival models (time until event data), mixed effects models (longitudinal data), among other methods. These models may be used to analyse data from experiments which assess complex ecological processes, such as competition and predation. In that sense, computational tools are useful for researchers in several fields, e.g., insect biology and physiology, applied ecology and biological control. Using different datasets from entomology as motivation, as well as other types of datasets for illustration purposes, this work intended to develop new modelling frameworks and goodness-of-fit assessment tools. We propose accelerated failure rate mixed models with simultaneous location and scale modelling with regressors to analyse time-until-attack data from a choice test experiment. We use the exponential, Weibull and exponentiated-Weibull models, and assess goodness-of-fit using half-normal plots with simulation envelopes. These plots are the subject of an entire Chapter on an R package, called hnp, developed to implement them. We use datasets from different types of experiments to illustrate the use of these plots and the package. A bivariate extension to the N-mixture modelling framework is proposed to analyse longitudinal count data for two species from the same food web that may interact directly or indirectly, and example datasets from ecological studies are used. An advantage of this modelling framework is the computation of an asymmetric correlation coefficient, which may be used by ecologists to study the degree of association between species. The jointNmix R package was also developed to implement the estimation process for these models. Finally, we propose a goodness-of-fit assessment tool for bivariate models, analogous to the half-normal plot with a simulation envelope, and illustrate the approach with simulated data and insect competition data. This tool is also implemented in an R package, called bivrp. All software developed in this thesis is made available freely on the Comprehensive R Archive Network.
Dados provenientes de estudos com insetos podem apresentar características diferentes. Respostas univariadas podem ser analisadas utilizando-se modelos lineares generalizados (dados contínuos e discretos), modelos de análise de sobrevivência (dados de tempo até ocorrência de um evento), modelos de efeitos mistos (dados longitudinais), dentre outros métodos. Esses modelos podem ser usados para analisar dados provenientes de experimentos que avaliam processos ecológicos complexos, como competição e predação. Nesse sentido, ferramentas computacionais são úteis para pesquisadores em diversos campos, por exemplo, biologia e fisiologia de insetos, ecologia aplicada e controle biológico. Utilizando diferentes conjuntos de dados entomológicos como motivação, assim como outros tipos de dados para ilustrar os métodos, este trabalho teve como objetivos desenvolver novos modelos e ferramentas para avaliar a qualidade do ajuste. Foram propostos modelos de tempo de vida acelerado mistos, com modelagem simultânea dos parâmetros de locação e de escala com regressores, para analisar dados de tempo até ataque de um experimento que avaliou escolha de predadores. Foram utilizados modelos exponencial, Weibull e Weibull-exponenciado, e a qualidade do ajuste foi avaliada utilizando gráficos meio-normais com envelope de simulação. Esses gráficos são o assunto de um Capítulo inteiro sobre um pacote para o software R, chamado hnp, desenvolvido para implementá-los. Foram utilizados conjuntos de dados de diferentes tipos de experimentos para ilustrar o uso desses gráficos e do pacote. Uma extensão bivariada para os modelos chamados \"N-mixture\" foi proposta para analisar dados longitudinais de contagem para duas espécies pertencentes à mesma teia trófica, que podem interagir direta e indiretamente, e conjuntos de dados provenientes de estudos ecológicos são usados para ilustrar a abordagem. Uma vantagem dessa estratégica de modelagem é a obtenção de um coeficiente de correlação assimétrico, que pode ser utilizado por ecologistas para inferir acerca do grau de associação entre espécies. O pacote jointNmix foi desenvolvido para implemetar o processo de estimação para esses modelos. Finalmente, foi proposta uma ferramenta de avaliação de qualidade do ajuste para modelos bivariados, análoga ao gráfico meio-normal com envelope de simulação, e a metodologia _e ilustrada com dados simulados e dados de competição de insetos. Essa ferramenta está também implementada em um pacote para o R, chamado bivrp. Todo o software desenvolvido nesta tese está disponível, gratuitamente, na Comprehensive R Archive Network (CRAN).
APA, Harvard, Vancouver, ISO, and other styles
3

Lamborn, Peter C. "January : search based On social insect behavior /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd801.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Smrt, Richard D., Sara A. Lewis, Robert Kraft, and Linda L. Restifo. "Primary culture of Drosophila larval neurons with morphological analysis using NeuronMetrics." University of Oklahoma, 2015. http://hdl.handle.net/10150/604939.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jenett, Arnim. "The Virtual Insect Brain Protocol : development and application of software for the standardization of neuroanatomy." Doctoral thesis, 2007. https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-22297.

Full text
Abstract:
Since the fruit fly Drosophila melanogaster entered the laboratories as a model organism, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain rapidly accumulated. Nowadays this concerted assault obtains its main thrust form Gal4 expression patterns that can be visualized and provide the means for manipulating -in unrestrained animals- groups of neurons of the brain. To take advantage of these patterns one needs to know their anatomy. This thesis describes the Virtual Insect Brain (VIB) protocol, a software package for the quantitative assessment, comparison, and presentation of neuroanatomical data. It is based on the 3D-reconstruction and visualization software Amira (Mercury Inc.). Its main part is a standardization procedure which aligns individual 3D images (series of virtual sections obtained by confocal microscopy) to a common coordinate system and computes average intensities for each voxel (volume pixel). The VIB protocol facilitates direct comparison of gene expression patterns and describes their interindividual variability. It provides volumetry of brain regions and helps to characterize the phenotypes of brain structure mutants. Using the VIB protocol does not require any programming skills since all operations are carried out at a (near to) self-explanatory graphical user interface. Although the VIB protocol has been developed for the standardization of Drosophila neuroanatomy, the program structure can be used for the standardization of other 3D structures as well. Standardizing brains and gene expression patterns is a new approach to biological shape and its variability. Using the VIB protocol consequently may help to integrate knowledge on the correlation of form and function of the insect brain. The VIB protocol provides a first set of tools supporting this endeavor in Drosophila. The software is freely available at http://www.neurofly.de
Seitdem die Taufliege Drosophila melanogaster als Modellorganismus Einzug in die Forschung erhalten hat, sammeln sich mehr und mehr genetische, physiologische und molekulare Techniken für die Funktionsanalyse des Gehirns an. Diese beruhen heutzutage meist auf Gal4 Expressionsmustern, die sichtbar gemacht werden können und eine gezielte Manipulierung von definierten Zellgruppen ermöglichen. Um Ergebnisse verschiedener Untersuchungen miteinander in Beziehung setzen zu können, muss man jedoch die typische Anatomie der zugrunde liegenden Expressionsmuster kennen. Diese Arbeit beschreibt das Virtual Insect Brain (VIB) Protokoll, eine Software für die Darstellung, die quantitative Einschätzung und den Vergleich von neuroanatomischen Daten, sowie einige exemplarische Anwendungen des VIB Protokolls. Die Software basiert auf der 3D-Rekonstruktions- und der Visualisierungs-Software Amira (Mercury Inc.). Sein Hauptbestandteil ist ein Normierungverfahren, das 3D-Bild-Stapel (Folgen virtueller Schnittbilder, erhalten durch konfokale Mikroskopie) auf ein gemeinsames Koordinatensystem abbildet und für jedes Voxel (dreidimensionaler Bildpunkt) die durchschnittliche Intensität berechnet. Das VIB Protokoll erleichtert dadurch den direkten Vergleich von Expressionsmustern und beschreibt ihre interindividuelle Variabilität. Es liefert volumetrische Messungen zu definierten Gehirnregionen und hilft, die durch Mutation entstehenden Veränderungen der Gehirnstruktur zu erkennen. Das Verwenden des VIB Protokolls erfordert keinerlei Programmierkenntnisse, da alle Vorgänge auf einer selbsterklärenden graphischen Benutzeroberfläche ausgeführt werden können. Obgleich das VIB Protokoll für die Normierung der Neuroanatomy von Taufliegen entwickelt worden ist, kann die Programmstruktur auch für die Normierung anderer 3D-Strukturen benutzt werden. Gehirne und Expressionsmuster zu standardisieren ist ein neuer Ansatz die Variabilität der Neuroanatomie zu hinterfragen. Bei konsequenter Verwendung kann das VIB Protokoll helfen Wissen über Form und Funktion des Insektengehirns zu miteinander zu vernetzen. Das VIB Protokoll liefert einen ersten Satz Werkzeuge, die diese Bemühung in der Taufliege ermöglichen. Die Software kann kostenfrei von http://www.neurofly.de herunter geladen werden
APA, Harvard, Vancouver, ISO, and other styles
6

Jenett, Arnim [Verfasser]. "The virtual insect brain protocol : development and application of software for the standardization of neuroanatomy / Arnim Jenett." 2007. http://d-nb.info/984836659/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Joong, Kenneth. "Implementation of Roller Blind, Pleated Drape and Insect Screen Models into the CFC Module of the ESP-r Building Energy Simulation Tool." Thesis, 2011. http://hdl.handle.net/10012/6199.

Full text
Abstract:
The concern of increasing energy consumption with depleting energy resources is ever growing. Though the solution to this problem lies in part in renewable energies, it is becoming increasingly clear that sustainable building design also plays a critical role. Controlling solar gain, for example, can greatly reduce the cooling energy consumption and lowering the peak cooling load. Having the ability to model these effects can have a substantial impact on the sizing of equipment and further reduce operational costs of a building. As a result, renewed interest has been invested by researchers and industry to promote the development and use of building simulation tools to aid in the design process. Efforts at the University of Waterloo’s Advanced Glazing Systems Laboratory have resulted in a set of shading device models, with emphasis on generality and computational efficiency, tailored for use in building simulation. These models have been validated with measurements at the component level and with measurements performed at the National Solar Test Facility (NSTF) on a full scale window system, giving confidence to model validity. Continued research has resulted in the integration of these shading device models into ESP-r via the Complex Fenestration Construction (CFC) module, capable of modelling multi-layer glazing and shading layer systems and greatly improving the value of ESP-r as a design tool. The objective of the current research was to implement shading device models for roller blinds, pleated drapes and insect screens to the CFC module. These would be in addition to the venetian blind model which had previously been established. A Monte-Carlo ray tracing analysis of pleated drape geometry and incident angle dependent fabric characteristics gave further confidence to the view factor or net reduction method used by the implemented models. On model implementation, a preliminary comparison was performed between a high-slat angle venetian blind, a roller drape and drapery fabric, all given the same material properties, with similar results. Further comparison was then performed using EnergyPlus shading device models to establish further confidence in the functionality of the models. Though there was some discrepancy between the results, primarily due to convective models, good agreement was found, and the effect of the shading device models on building performance was demonstrated. The successful implementation of roller blind, pleated drape and insect screen shading models to the CFC module in ESP-r has been demonstrated in the current research. It should also be noted that the convective models for indoor shading attachments is a worthwhile topic for further research, at which point it would then be beneficial to conduct further empirical validation on the ESP-r simulation.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Software InSpec"

1

Davis, Thomas M. Study guide and software to accompany Core concepts in health, fifth edition, by Paul M. Insel and Walton T. Roth. Mountain View, Calif: Mayfield Pub., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Oda, Hidetomo, and STECK VAUGHN. Insect Hibernation (Nature Close-Ups (Blackbirch Software)). Raintree Steck-Vaughn Publishers, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bonabeau, Eric, Marco Dorigo, and Guy Theraulaz. Swarm Intelligence. Oxford University Press, 1999. http://dx.doi.org/10.1093/oso/9780195131581.001.0001.

Full text
Abstract:
Social insects--ants, bees, termites, and wasps--can be viewed as powerful problem-solving systems with sophisticated collective intelligence. Composed of simple interacting agents, this intelligence lies in the networks of interactions among individuals and between individuals and the environment. A fascinating subject, social insects are also a powerful metaphor for artificial intelligence, and the problems they solve--finding food, dividing labor among nestmates, building nests, responding to external challenges--have important counterparts in engineering and computer science. This book provides a detailed look at models of social insect behavior and how to apply these models in the design of complex systems. The book shows how these models replace an emphasis on control, preprogramming, and centralization with designs featuring autonomy, emergence, and distributed functioning. These designs are proving immensely flexible and robust, able to adapt quickly to changing environments and to continue functioning even when individual elements fail. In particular, these designs are an exciting approach to the tremendous growth of complexity in software and information. Swarm Intelligence draws on up-to-date research from biology, neuroscience, artificial intelligence, robotics, operations research, and computer graphics, and each chapter is organized around a particular biological example, which is then used to develop an algorithm, a multiagent system, or a group of robots. The book will be an invaluable resource for a broad range of disciplines.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Software InSpec"

1

Razavi, Joseph, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, and Julie Foucault. "Exploring Applications of Formal Methods in the INSPEX Project." In Software Technologies: Applications and Foundations, 205–15. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04771-9_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Arena, Paolo, Luca Patané, Pietro Savio Termini, Alessandra Vitanza, and Roland Strauss. "Software/Hardware Issues in Modelling Insect Brain Architecture." In Intelligent Robotics and Applications, 46–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25489-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Moghaddam, Mahmood Vahedi, and Mehdi Zand Akbari. "A New Software Process Model: The Insect Model." In Lecture Notes in Electrical Engineering, 349–54. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-2792-2_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schoonderwoerd, Ruud, and Owen Holland. "Minimal Agents for Communications Network Routing: The Social Insect Paradigm." In Software Agents for Future Communication Systems, 305–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58418-3_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Febvay, G., Y. Rahbé, and M. van Helden. "MacStylet, software to analyse electrical penetration graph data on the Macintosh." In Proceedings of the 9th International Symposium on Insect-Plant Relationships, 105–8. Dordrecht: Springer Netherlands, 1996. http://dx.doi.org/10.1007/978-94-009-1720-0_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Prasad, Ravi Kant, D. K. Srivastava, Rishabh Kumar Baudh, and J. P. Saini. "Relationship Between Co-Axial Probe Feed and Inset Feed in Rectangular Microstrip Patch." In Design and Optimization of Sensors and Antennas for Wearable Devices, 163–76. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-5225-9683-7.ch013.

Full text
Abstract:
In this chapter, an equation is obtained using curve fit formula that shows the relationship between the simulated co-axial probe feed distance and theoretically inset feed distance in rectangular microstrip patch antenna. The simulation process is performed using IE3D simulation software tool and theoretical calculation performed by the cavity model. Using this equation, one can avoid hit and trial for getting simulated co-axial feed distance by knowing theoretically inset feed distance. A ratio also has been developed between co-axial probe feed and inset probe feed.
APA, Harvard, Vancouver, ISO, and other styles
7

Conte, Tayana, Verônica T. Vaz, Jobson Massolar, Andrew Bott, Emilia Mendes, and Guilherme H. Travassos. "Applying the WDP Technique to Usability Inspections in Web Development Organizations." In Integrating Usability Engineering for Designing the Web Experience, 324–44. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-896-3.ch017.

Full text
Abstract:
This chapter presents the WDP (Web Design Perspectives-based Usability Evaluation), an inspection technique specifically designed to assess the usability of Web applications. This technique combines Web design perspectives and the heuristic evaluation method proposed by Nielsen (1994b). In addition to describing the components of the WDP technique this chapter also illustrates its use in practice by means of an industrial case study where the technique is applied to inspect a real Web application. In this case study, developers and requirement assessment staff applied the WDP technique to evaluate the usability of modules developed from scratch for a Web application. The results of this case study indicate the feasibility of performing usability inspections with the participation of a software project’s stakeholders, even when stakeholders are not usability experts.
APA, Harvard, Vancouver, ISO, and other styles
8

Saito, Ken, Minami Takato, Yoshifumi Sekine, and Fumio Uchikoba. "Silicon Micro-Robot With Neural Networks." In Rapid Automation, 979–90. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-8060-7.ch045.

Full text
Abstract:
Insect type 4.0, 2.7, 2.5 mm. width, length, height size silicon micro-robot system with active hardware neural networks locomotion controlling system is presented in this chapter. The micro-robot system was made from a silicon wafer fabricated by Micro-Electro Mechanical Systems (MEMS) technology. The mechanical system of the robot equipped with millimeter-size rotary type actuators, link mechanisms, and six legs to realize the insect-like switching behavior. In addition, the authors constructed the active hardware neural networks by analog CMOS circuits as a locomotion controlling system. Hardware neural networks consisted of pulse-type hardware neuron models as basic components. Pulse-type hardware neuron model has same basic features of biological neurons such as threshold, refractory period, spatio-temporal summation characteristics, and enables the generation of continuous action potentials. The hardware neural networks output the driving pulses using synchronization phenomena such as biological neural networks. Four output signal ports are extracted from hardware neural networks, and they are connected to the actuators. The driving pulses can operate the actuators of silicon micro-robot directly. Therefore, the hardware neural networks realize the robot control without using any software programs or A/D converters. The micro-robot emulates the locomotion method and the neural networks of an insect with rotary type actuators, link mechanisms, and hardware neural networks. The micro-robot performs forward and backward locomotion, and also changes direction by inputting an external trigger pulse. The locomotion speed was 26.4 mm/min when the step width was 0.88 mm.
APA, Harvard, Vancouver, ISO, and other styles
9

Saito, Ken, Minami Takato, Yoshifumi Sekine, and Fumio Uchikoba. "Silicon Micro-Robot with Neural Networks." In Engineering Creative Design in Robotics and Mechatronics, 1–10. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-4225-6.ch001.

Full text
Abstract:
Insect type 4.0, 2.7, 2.5 mm. width, length, height size silicon micro-robot system with active hardware neural networks locomotion controlling system is presented in this chapter. The micro-robot system was made from a silicon wafer fabricated by Micro-Electro Mechanical Systems (MEMS) technology. The mechanical system of the robot equipped with millimeter-size rotary type actuators, link mechanisms, and six legs to realize the insect-like switching behavior. In addition, the authors constructed the active hardware neural networks by analog CMOS circuits as a locomotion controlling system. Hardware neural networks consisted of pulse-type hardware neuron models as basic components. Pulse-type hardware neuron model has same basic features of biological neurons such as threshold, refractory period, spatio-temporal summation characteristics, and enables the generation of continuous action potentials. The hardware neural networks output the driving pulses using synchronization phenomena such as biological neural networks. Four output signal ports are extracted from hardware neural networks, and they are connected to the actuators. The driving pulses can operate the actuators of silicon micro-robot directly. Therefore, the hardware neural networks realize the robot control without using any software programs or A/D converters. The micro-robot emulates the locomotion method and the neural networks of an insect with rotary type actuators, link mechanisms, and hardware neural networks. The micro-robot performs forward and backward locomotion, and also changes direction by inputting an external trigger pulse. The locomotion speed was 26.4 mm/min when the step width was 0.88 mm.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Software InSpec"

1

Jenkins, John, and Haipeng Cai. "ICC-inspect." In ICSE '18: 40th International Conference on Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3197231.3197233.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cunha, Warteruzannan Soyer, Guisella Angulo Armijo, and Valter Vieira de Camargo. "InSet." In SBES '20: 34th Brazilian Symposium on Software Engineering. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3422392.3422507.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gupta, Atul, and Pankaj Jalote. "Test Inspected Unit or Inspect Unit Tested Code?" In First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007). IEEE, 2007. http://dx.doi.org/10.1109/esem.2007.52.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zhang, Qi. "Inspect Defect of Power Equipment via Deep Learning Method." In The 33rd International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc., 2021. http://dx.doi.org/10.18293/seke2021-082.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Razavi, Joseph, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, and Gabriela Dudnik. "Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System." In 13th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006906906640671.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Razavi, Joseph, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, and Gabriela Dudnik. "Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System." In 13th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006906906980705.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hurtik, Petr, David Ciz, Oto Kalab, David Musiolek, Petr Kocarek, and Martin Tomis. "Software for Visual Insect Tracking Based on F-transform Pattern Matching." In 2018 IEEE Second International Conference on Data Stream Mining & Processing (DSMP). IEEE, 2018. http://dx.doi.org/10.1109/dsmp.2018.8478585.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Jinhui, Xincheng Xiang, and Zhifang Wu. "Design of CT Reconstruction Software Based on the Air Container CT Inspection System." In 17th International Conference on Nuclear Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/icone17-75579.

Full text
Abstract:
The air container CT inspection system has been developed as a high space-resolution, high density-resolution CT scanner. The design of CT reconstruction software based on the system uses the back project algorithm to construct the CT images, and the filter functions are also included to process the CT data. Because the system can be used to inspect the large objects that cannot be penetrated easily by gamma-ray, the reconstructed CT images may have some artifacts that may damage CT image. The digital subtraction method is used to realize the CT reconstruction for the edge parts of large object that has big gamma-ray attenuation in the center part of the object. The nonlinear effect while measuring is corrected using serials of thin ion plates. The CT images for large objects are improved obviously by using the plate correction. The CT images based on the back project algorithm are also obtained by using the non-perfect projection data. The obtained CT image can have a certain precision to meet the demand. And the principal of the CT reconstruction using the non-perfect project data is also analyzed. The noise influence to the CT imaging quality is also analyzed. Different kinds of noises were added to the signals of all channels or selected channel. The experiment showed that the CT construction realized by the paper has high density resolution and high spatial resolution. The designing for CT construction software is successful.
APA, Harvard, Vancouver, ISO, and other styles
9

Angelini, Gino, Tommaso Bonanni, Alessandro Corsini, Giovanni Delibra, Lorenzo Tieghi, and David Volponi. "A Meta-Model for Aerodynamic Properties of a Reversible Profile in Cascade With Variable Stagger and Solidity." In ASME Turbo Expo 2018: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/gt2018-76363.

Full text
Abstract:
In this paper, a systematic CFD work is carried out with the aim to inspect the influence of different cascade parameters on the aerodynamic performance of a reversible fan blade profile. From the obtained results, we derive a meta-model for the aerodynamic properties of this profile. Through RANS simulations of different arrangements in cascades, the aerodynamic performance of airfoils are analyzed as Reynolds number, solidity, pitch angle and angle of attack are varied. The definition of a trial matrix allows the reduction of the minimum number of simulations required. The computed CFD values of lift and drag coefficients, stall margin and the zero-lift angle strongly depend on cascade configuration and differ significantly from standard panel method software predictions. In this work, X-Foil has been used as a benchmark. Particularly, the high influence of pitch angle and solidity is here highlighted, while a less marked dependence from the Reynolds number has been found. Meta-models for lift and drag coefficients have been later derived, and an analysis of variance has improved the models by reducing the number of significant factors. The application of the meta-models to a quasi-3D in-house software for fan performance prediction is also shown. The effectiveness of the derived meta-models is proven through a spanwise comparison of a reversible fan with the X-Foil based and meta-model based versions of the software and 3D fields from a standard CFD simulation. The meta-model improves the software prediction capability, leading to a very low global overestimation of the specific work of the fan.
APA, Harvard, Vancouver, ISO, and other styles
10

Yerger, Ellen Heininger. "A method to determine leaf area eaten by insect herbivores, with novel software that computes missing leaf portions." In 2016 International Congress of Entomology. Entomological Society of America, 2016. http://dx.doi.org/10.1603/ice.2016.113024.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Software InSpec"

1

ILCYM - Insect Life Cycle Modeling. A software package for developing temperature-based insect phenology models with applications for local, regional and global analysis of insect population and mapping. International Potato Center, 2017. http://dx.doi.org/10.4160/9789290603801.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Software InSpec' for particular source types:
Journal articles
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!

To the bibliography