AIM:To assess the performance of a bespoke software for automated counting of intraocular lens(IOL)glistenings in slit-lamp images.METHODS:IOL glistenings from slit-lamp-derived digital images were counted manually an...AIM:To assess the performance of a bespoke software for automated counting of intraocular lens(IOL)glistenings in slit-lamp images.METHODS:IOL glistenings from slit-lamp-derived digital images were counted manually and automatically by the bespoke software.The images of one randomly selected eye from each of 34 participants were used as a training set to determine the threshold setting that gave the best agreement between manual and automatic grading.A second set of 63 images,selected using randomised stratified sampling from 290 images,were used for software validation.The images were obtained using a previously described protocol.Software-derived automated glistenings counts were compared to manual counts produced by three ophthalmologists.RESULTS:A threshold value of 140 was determined that minimised the total deviation in the number of glistenings for the 34 images in the training set.Using this threshold value,only slight agreement was found between automated software counts and manual expert counts for the validating set of 63 images(κ=0.104,95%CI,0.040-0.168).Ten images(15.9%)had glistenings counts that agreed between the software and manual counting.There were 49 images(77.8%)where the software overestimated the number of glistenings.CONCLUSION:The low levels of agreement show between an initial release of software used to automatically count glistenings in in vivo slit-lamp images and manual counting indicates that this is a non-trivial application.Iterative improvement involving a dialogue between software developers and experienced ophthalmologists is required to optimise agreement.The results suggest that validation of software is necessary for studies involving semi-automatic evaluation of glistenings.展开更多
Many industrial companies and researchers are looking for more efficient model driven engineering approaches (MDE) in software engineering of manufacturing automation systems (MS) especially for logic control programm...Many industrial companies and researchers are looking for more efficient model driven engineering approaches (MDE) in software engineering of manufacturing automation systems (MS) especially for logic control programming, but are uncertain about the applicability and effort needed to implement those approaches in comparison to classical Programmable Logic Controller?(PLC) programming with IEC 61131-3. The paper summarizes results of usability experiments evaluating UML and SysML as software engineering notations for a MDE applied in the domain of manufacturing systems. Modeling MS needs to cover the domain specific characteristics,?i.e.?hybrid process, real time requirements and communication requirements. In addition the paper presents factors, constraint and practical experience for the development of further usability experiments. The paper gives examples of notational expressiveness and weaknesses of UML and SysML. The appendix delivers detailed master models, representing the correct best suited model, and evaluation schemes of the experiment, which is helpful if setting up own empirical experiments.展开更多
This paper gives an introduction to the essential challenges of software engineering and requirements that software has to fulfill in the domain of automation. Besides, the functional characteristics, specific constra...This paper gives an introduction to the essential challenges of software engineering and requirements that software has to fulfill in the domain of automation. Besides, the functional characteristics, specific constraints and circumstances are considered for deriving requirements concerning usability, the technical process, the automation functions, used platform and the well-established models, which are described in detail. On the other hand, challenges result from the circumstances at different points in the single phases of the life cycle of the automated system. The requirements for life-cycle-management, tools and the changeability during runtime are described in detail.展开更多
In today’s educational environment,educators face challenges in manually crafting various documents,leading to inefficiencies and time constraints.To address this,our study introduces a novel software solution design...In today’s educational environment,educators face challenges in manually crafting various documents,leading to inefficiencies and time constraints.To address this,our study introduces a novel software solution designed to automate document creation and standardize processing in academic institutions.Leveraging Python and LaTeX technologies,particularly the PyLaTeX library,the application streamlines document workflows by generating templated PDFs.Through user input,the application automates document structure and formatting,reducing preparation time and effort.Backed by Python,LaTeX,and PyLaTeX,alongside ElectronJS,JavaScript,and Bootstrap for the frontend,our research encompasses a comprehensive methodology,including literature review,software design,experimentation,and efficiency evaluation.Mathematical analysis underscores the application’s effectiveness,demonstrating significant time savings and productivity enhancements.By improving document workflows,our research contributes to advancing educational practices and lays the groundwork for future investigations in this domain.展开更多
A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GU...A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GUI test sample so as to obtain the event-flow graph. Then two approaches are adopted to create GUI test sample cases. That is to say, an improved ant colony optimization (ACO) algorithm is employed to establish a sequence of testing cases in the course of the daily smoke test. The sequence goes through all object event points in the event-flow graph. On the other hand, the spanning tree obtained by deep breadth-first search (BFS) approach is utilized to obtain the testing cases from goal point to outset point in the course of the deep regression test. Finally, these cases are applied to test the new GUI. Moreover, according to the above-mentioned model, a corresponding prototype system based on Microsoft UI automation framework is developed, thus giving a more effective way to improve the GUI automation test in Windows OS.展开更多
Automation in measurement has wide range of electrical metrology applications and construction of powerful calibration software is one of the highly accurate metrological laboratories’ priorities. Thus, two automatic...Automation in measurement has wide range of electrical metrology applications and construction of powerful calibration software is one of the highly accurate metrological laboratories’ priorities. Thus, two automatic systems for controlling and calibrating the electrical reference standards have been established at National Institute for Standards (NIS), Egypt. The first system has been built to calibrate the zener diode reference standards while the second one has been built to calibrate the electrical sourcing and measuring instruments. These two systems act as the comprehensive and reliable structure that, from the national electrical standards, disseminates the traceability to all the electrical units under calibration. The software of the two systems has been built using the Laboratory Virtual Instrument Engineering Workbench (LabVIEW) graphical language. The standard development procedures have been followed in the building of both systems software. The software requirement specifications as well as functional specifications are taken into consideration. Design, implementation and testing of the software have been performed. Furthermore, software validation for measurements’ uncertainty as well as results’ compatibility in both automatic and manual modes has been achieved.展开更多
According to the demands for rapid and accurate burdening system, an automation forage burdening system was designed using a programmable logic controller (PLC) as the main controller. The communication between PLC ...According to the demands for rapid and accurate burdening system, an automation forage burdening system was designed using a programmable logic controller (PLC) as the main controller. The communication between PLC and force control was achieved by485 bus. This system have many functions such as recipe setup, burdening control, feed mixture, report printing, and remote alarm. The remote surveillance and control of burdening system were realized. The practice shows that the system had high precision and short cycle, and great control effect was obtained.展开更多
It is foreseen that the Internet of Things (IoT) will comprise billions of connected devices, and this will make the provi?sioning and operation of some IoT connectivity services more challenging. Indeed, IoT services...It is foreseen that the Internet of Things (IoT) will comprise billions of connected devices, and this will make the provi?sioning and operation of some IoT connectivity services more challenging. Indeed, IoT services are very different from lega?cy Internet services because of their dimensioning figures and also because IoT services differ dramatically in terms of na?ture and constraints. For example, IoT services often rely on energy and CPU?constrained sensor technologies, regardless of whether the service is for home automation, smart building, e?health, or power or water metering on a regional or national scale. Also, some IoT services, such as dynamic monitoring of biometric data, manipulation of sensitive information, and pri?vacy needs to be safeguarded whenever this information is for?warded over the underlying IoT network infrastructure. This paper discusses how software?defined networking (SDN) can facilitate the deployment and operation of some advanced IoT services regardless of their nature or scope. SDN introduces a high degree of automation in service delivery and operation-from dynamic IoT service parameter exposure and negotiation to resource allocation, service fulfillment, and assurance. This paper does not argue that all IoT services must adopt SDN. Rather, it is left to the discretion of operators to decide which IoT services can best leverage SDN capabilities. This paper only discusses managed IoT services, i.e., services that are op?erated by a service provider.展开更多
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid...This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.展开更多
文摘AIM:To assess the performance of a bespoke software for automated counting of intraocular lens(IOL)glistenings in slit-lamp images.METHODS:IOL glistenings from slit-lamp-derived digital images were counted manually and automatically by the bespoke software.The images of one randomly selected eye from each of 34 participants were used as a training set to determine the threshold setting that gave the best agreement between manual and automatic grading.A second set of 63 images,selected using randomised stratified sampling from 290 images,were used for software validation.The images were obtained using a previously described protocol.Software-derived automated glistenings counts were compared to manual counts produced by three ophthalmologists.RESULTS:A threshold value of 140 was determined that minimised the total deviation in the number of glistenings for the 34 images in the training set.Using this threshold value,only slight agreement was found between automated software counts and manual expert counts for the validating set of 63 images(κ=0.104,95%CI,0.040-0.168).Ten images(15.9%)had glistenings counts that agreed between the software and manual counting.There were 49 images(77.8%)where the software overestimated the number of glistenings.CONCLUSION:The low levels of agreement show between an initial release of software used to automatically count glistenings in in vivo slit-lamp images and manual counting indicates that this is a non-trivial application.Iterative improvement involving a dialogue between software developers and experienced ophthalmologists is required to optimise agreement.The results suggest that validation of software is necessary for studies involving semi-automatic evaluation of glistenings.
文摘Many industrial companies and researchers are looking for more efficient model driven engineering approaches (MDE) in software engineering of manufacturing automation systems (MS) especially for logic control programming, but are uncertain about the applicability and effort needed to implement those approaches in comparison to classical Programmable Logic Controller?(PLC) programming with IEC 61131-3. The paper summarizes results of usability experiments evaluating UML and SysML as software engineering notations for a MDE applied in the domain of manufacturing systems. Modeling MS needs to cover the domain specific characteristics,?i.e.?hybrid process, real time requirements and communication requirements. In addition the paper presents factors, constraint and practical experience for the development of further usability experiments. The paper gives examples of notational expressiveness and weaknesses of UML and SysML. The appendix delivers detailed master models, representing the correct best suited model, and evaluation schemes of the experiment, which is helpful if setting up own empirical experiments.
文摘This paper gives an introduction to the essential challenges of software engineering and requirements that software has to fulfill in the domain of automation. Besides, the functional characteristics, specific constraints and circumstances are considered for deriving requirements concerning usability, the technical process, the automation functions, used platform and the well-established models, which are described in detail. On the other hand, challenges result from the circumstances at different points in the single phases of the life cycle of the automated system. The requirements for life-cycle-management, tools and the changeability during runtime are described in detail.
文摘In today’s educational environment,educators face challenges in manually crafting various documents,leading to inefficiencies and time constraints.To address this,our study introduces a novel software solution designed to automate document creation and standardize processing in academic institutions.Leveraging Python and LaTeX technologies,particularly the PyLaTeX library,the application streamlines document workflows by generating templated PDFs.Through user input,the application automates document structure and formatting,reducing preparation time and effort.Backed by Python,LaTeX,and PyLaTeX,alongside ElectronJS,JavaScript,and Bootstrap for the frontend,our research encompasses a comprehensive methodology,including literature review,software design,experimentation,and efficiency evaluation.Mathematical analysis underscores the application’s effectiveness,demonstrating significant time savings and productivity enhancements.By improving document workflows,our research contributes to advancing educational practices and lays the groundwork for future investigations in this domain.
文摘A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GUI test sample so as to obtain the event-flow graph. Then two approaches are adopted to create GUI test sample cases. That is to say, an improved ant colony optimization (ACO) algorithm is employed to establish a sequence of testing cases in the course of the daily smoke test. The sequence goes through all object event points in the event-flow graph. On the other hand, the spanning tree obtained by deep breadth-first search (BFS) approach is utilized to obtain the testing cases from goal point to outset point in the course of the deep regression test. Finally, these cases are applied to test the new GUI. Moreover, according to the above-mentioned model, a corresponding prototype system based on Microsoft UI automation framework is developed, thus giving a more effective way to improve the GUI automation test in Windows OS.
文摘Automation in measurement has wide range of electrical metrology applications and construction of powerful calibration software is one of the highly accurate metrological laboratories’ priorities. Thus, two automatic systems for controlling and calibrating the electrical reference standards have been established at National Institute for Standards (NIS), Egypt. The first system has been built to calibrate the zener diode reference standards while the second one has been built to calibrate the electrical sourcing and measuring instruments. These two systems act as the comprehensive and reliable structure that, from the national electrical standards, disseminates the traceability to all the electrical units under calibration. The software of the two systems has been built using the Laboratory Virtual Instrument Engineering Workbench (LabVIEW) graphical language. The standard development procedures have been followed in the building of both systems software. The software requirement specifications as well as functional specifications are taken into consideration. Design, implementation and testing of the software have been performed. Furthermore, software validation for measurements’ uncertainty as well as results’ compatibility in both automatic and manual modes has been achieved.
基金supported by the Natural Science Foundation of Ningxia province under grant No. NZ1151
文摘According to the demands for rapid and accurate burdening system, an automation forage burdening system was designed using a programmable logic controller (PLC) as the main controller. The communication between PLC and force control was achieved by485 bus. This system have many functions such as recipe setup, burdening control, feed mixture, report printing, and remote alarm. The remote surveillance and control of burdening system were realized. The practice shows that the system had high precision and short cycle, and great control effect was obtained.
文摘It is foreseen that the Internet of Things (IoT) will comprise billions of connected devices, and this will make the provi?sioning and operation of some IoT connectivity services more challenging. Indeed, IoT services are very different from lega?cy Internet services because of their dimensioning figures and also because IoT services differ dramatically in terms of na?ture and constraints. For example, IoT services often rely on energy and CPU?constrained sensor technologies, regardless of whether the service is for home automation, smart building, e?health, or power or water metering on a regional or national scale. Also, some IoT services, such as dynamic monitoring of biometric data, manipulation of sensitive information, and pri?vacy needs to be safeguarded whenever this information is for?warded over the underlying IoT network infrastructure. This paper discusses how software?defined networking (SDN) can facilitate the deployment and operation of some advanced IoT services regardless of their nature or scope. SDN introduces a high degree of automation in service delivery and operation-from dynamic IoT service parameter exposure and negotiation to resource allocation, service fulfillment, and assurance. This paper does not argue that all IoT services must adopt SDN. Rather, it is left to the discretion of operators to decide which IoT services can best leverage SDN capabilities. This paper only discusses managed IoT services, i.e., services that are op?erated by a service provider.
文摘This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.