Patent application number | Description | Published |
20090268204 | OPTICAL ABSORPTION GAS ANALYSER - An optical absorption gas analyser for determining the concentration of a target gas in a sample is disclosed. The analyser comprises a chamber for containing the sample in use; a radiation source assembly arranged to emit radiation into the chamber; a first radiation detector assembly arranged to detect radiation transmitted along a first optical path through the chamber and a second radiation detector assembly arranged to detect radiation transmitted along a second optical path through the chamber, wherein the length of the second optical path which the sample can intercept is shorter than that of the first optical path. The analyser further comprises a processor adapted to generate a sensing signal S | 10-29-2009 |
20110116079 | OPTICAL ABSORPTION GAS ANALYSER - An optical absorption gas analyser is provided for determining the concentration of a target gas in a sample, comprising: a chamber for containing the sample in use; an optopair, comprising a light emitting diode (LED) arranged to emit radiation into the chamber and a photovoltaic radiation detector, arranged to detect radiation transmitted through the chamber from the LED and to output a corresponding detection signal S | 05-19-2011 |
20120057161 | OPTICAL GAS AND/OR PARTICULATE SENSORS - A gas or particulate sensor is provided for the detection of at least two target gases and/or particulates. The sensor comprises: a chamber for containing a gas sample under test; a first optical measurement channel configured for the detection of a first target gas or particulate within the gas sample, and a second optical measurement channel configured for the detection of a second target gas or particulate within the gas sample, each optical measurement channel comprising a respective optopair which comprises a radiation source adapted to emit radiation and a radiation detector adapted to output a signal in response to detected radiation; and focusing optics able to form an image of an object. At least the first optical measurement channel is configured such that the radiation detector of the respective optopair receives via the focusing optics an image of the corresponding radiation source, whereby the radiation received from the radiation source by the radiation detector is modified by the first target gas or particulate present in the gas sample such that the output signal from the radiation detector provides information as to the presence of the first target gas or particulate in the gas sample. | 03-08-2012 |
20130037854 | PHOTODETECTOR - A photodetector is provided, comprising: a radiation-absorbing semiconductor region and a collection semiconductor region separated by and each in contact with a barrier semiconductor region; wherein, at least in the absence of an applied bias voltage, the band gap between the valence band energy and the conduction band energy of the barrier semiconductor region is offset from the band gap between the valence band energy and the conduction band energy of the radiation-absorbing semiconductor region so as to form an energy barrier between the radiation-absorbing semiconductor region and the collection semiconductor region which resists the flow of minority carriers from the radiation-absorbing semiconductor region to the collection semiconductor region. Also provided is a method of manufacturing a photodetector. | 02-14-2013 |
20130248736 | GAS SENSOR - In one aspect of the disclosure, a gas sensor is provided, comprising: a chamber for containing a gas sample in use, and a radiation source adapted to emit radiation within a first waveband. A photoluminescent material, upon absorption of radiation of a first wavelength within the first waveband, emits radiation of a second wavelength, the photoluminescent material being responsive to the presence of a target gas species in the gas sample. The gas sensor further comprises a luminescence detector assembly. The luminescence detector assembly is adapted to detect radiation of the second wavelength and output a corresponding measurement signal related to the concentration of the target gas species. An optics assembly is adapted to receive radiation emitted by the radiation source and to converge the radiation towards a location at which the luminescence detector assembly cannot receive radiation. | 09-26-2013 |
Patent application number | Description | Published |
20100242029 | Environment Data Refinement Based on Static Analysis and Symbolic Execution - In particular embodiments, an environment for modular software analysis is generated for a software module under analysis. Irrelevancy analysis is performed on the software module to determine that, for each input datum to the software module, whether the input datum is relevant or irrelevant with respect to branch coverage of the module code. A default concrete value is assigned to each irrelevant input datum. A set of concrete values is calculated for each relevant input datum using symbolic execution. The environment is enhanced such that default concrete values are passed to the software module for the irrelevant input data and sets of concrete values generated using symbolic execution are passed to the software module for the relevant input data. The enhanced environment enables module analysis with as much as 100% branch coverage of the module code. | 09-23-2010 |
20100293557 | GENERATING A DRIVER FOR ANALYSIS OF AN EVENT-DRIVEN APPLICATION - In one embodiment, a method includes specifying an application-specific navigation model of an event-driven application; analyzing the navigation model with respect to one or more navigation requirements of the event-driven application to determine whether the event-driven application satisfies the navigation requirements; generating one or more drivers for the event-driven application based on the navigation model; and traversing the navigation model with the application-independent event drivers to analyze the event-driven application with respect to one or more business-logic requirements of the event-driven application to determine whether the event-driven application satisfies the business-logic requirements. | 11-18-2010 |
20110225568 | Providing Software Validation as a Service - In one embodiment, a method includes accessing an event-driven application input by a user, the event-driven application comprising source code, one or more use cases input by the user for the event-driven application, and one or more functional requirements input by the user for the event-driven application; parsing the use cases and the functional requirements according to the predefined syntax to construct one or more validation modules for validating the event-driven application without any modification to the source code of the event-driven application for validation purposes; formally validating the event-driven application using the validation modules without relying on assertions inserted into the source code of the event-driven application for validation purposes; and if the formal validation finds one or more defects in the event-driven application, generating output for communication to the user identifying the defects. | 09-15-2011 |
20120084609 | Method and System to Extract a Navigation Model for Analysis of a Web Application - In one embodiment, a method includes automated extraction of the Page Transition Graph (PTG) model for model-based analysis of web applications. Specifically, the method includes accessing one or more JAVASERVER PAGES (JSP) files, one or more Extensible Markup Language (XML) configuration files, and one or more class files of a web application; parsing the JSP files and extracting data in the JSP files that encode user or server events supported by the event-driven application; parsing the XML configuration files and extracting data in the XML configuration files that encode definitions used by the event-driven application when deployed; parsing the class files and extracting data in the class files that encode one or more actions or one or more forms used by the event-driven application when deployed; storing the extracted data as an abstract syntax tree (AST); populating a page transition graph (PTG) of the event-driven application based on the AST; and checking the extracted PTG for navigation errors such as unreachable pages, ghost pages and undefined transitions. | 04-05-2012 |
Patent application number | Description | Published |
20090089757 | Configurable Web Services System and a Method to Detect Defects in Software Applications - In accordance with a particular embodiment of the present invention, a method is offered that includes detecting one or more defects in a software application composed of heterogeneous languages using a configurable web services architecture. The detecting step further includes: capturing use cases associated with the software application and checking their validity; providing an automatic invocation of property monitors for model checking; and visualizing one or more defects in the software application for diagnosis. The detecting can further include transforming a heterogeneous software application into a homogeneous application. In more specific embodiments, the detecting further includes providing an automatic test generation for a presentation layer associated with the software application. The configuration associated with the software application can be a simple properties file. The detecting further includes simulating user behavior and generating drivers to test business logic from the use cases or scenarios. | 04-02-2009 |
20090089759 | System and Method for Providing Symbolic Execution Engine for Validating Web Applications - In accordance with a particular embodiment of the present invention, a method is offered that includes generating a symbolic string manipulation class library for one or more web applications. The manipulations are generalized into a string manipulation symbolic algebra. The method also includes performing symbolic execution for one or more web applications. Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution. If an error scenario exists, a solution to a set of symbolic constraints is obtained, and the solution is mapped back to a source code to obtain an error trace and a test case. In still other specific embodiments, requirements or properties are encoded through templates and checked using public domain decision procedures. The properties or requirements can relate to security validation. The symbolic execution can be customized and tuned for Java-based web applications. | 04-02-2009 |
20090089810 | System and a Method for Generating a Closed Homogeneous Non-Distributed Application from an Open Heterogeneous Distributed Application - In accordance with a particular embodiment of the present invention, a method is offered that includes executing processing on an open heterogeneous distributed application, whereby the application is partially written in Java code. The method further includes generating a closed homogeneous non-distributed Java application based on the open heterogeneous distributed application. In more specific embodiments, in generating the closed homogeneous non-distributed Java application, drivers and stubs are generated. Once drivers and stubs are generated, they are combined with an original code base to produce the closed homogeneous non-distributed Java application. Driver generation produces a Java implementation of a user component, along with setting up an event-handling mechanism of the application, which is done at deployment, whereby the stub generation replaces a database and various libraries (e.g., J | 04-02-2009 |
20120011168 | SYSTEM AND A METHOD FOR GENERATING DATABASE MODEL FOR ANALYSIS OF APPLICATIONS - In accordance with a particular embodiment of the present invention, a method for generating a database model may include analyzing database configuration data for a database. The method may further include analyzing one or more database application programming interfaces for accessing the database. The method may also include generating one or more stubs based on the analyses, the one or more stubs configured to, when executed, model the database as if the database were populated with data. | 01-12-2012 |
20120017220 | Systems and Methods for Distributing Validation Computations - In one embodiment, a method includes statically analyzing a validation toolkit environment. The method may also include, identifying a plurality of computational threads that do not share data structures with each other based on analysis of the validation toolkit environment. The method may additionally include calculating computational requirements of the computational threads. The method may further include distributing the threads among a plurality of resources such that the aggregate computational requirements of the computational threads are approximately evenly balanced among the plurality of resources. | 01-19-2012 |
Patent application number | Description | Published |
20120232129 | MULTIANTIVIRUS COMPOUND, COMPOSITION AND METHOD FOR TREATMENT OF VIRUS DISEASES - A method for obtaining a new antiviral compound with multiple action against many viruses, comprising modified highly purified yeast RNA, a pharmaceutical composition comprising such RNA, and a method for the treatment and prevention of viral disease comprising administering to a patient a composition comprising an amount effective to ameliorate the symptoms of viral disease of ribonucleic acid. The exogenous modified yeast RNA has a pronounced multiple anti-virus action in a wide range of concentrations. The modified yeast RNA is capable of inhibiting the reproduction of viruses from Orthomyxoviridae, Paramyxovirus, Hepatitis, Herpesviridae families, enterovirus and adenovirus. Also, the modified yeast RNA is capable of inhibiting the reproduction of influenza viruses, hepatitis C virus, genital herpes, human immunodeficiency virus and Coxsackie B virus. | 09-13-2012 |
20130217758 | MULTIANTIVIRUS COMPOUND, COMPOSITION AND METHOD FOR TREATMENT OF VIRUS DISEASES - A method for obtaining a new antiviral compound with multiple action against many viruses, comprising modified highly purified yeast RNA, a pharmaceutical composition comprising such RNA, and a method for the treatment and prevention of viral disease comprising administering to a patient a composition comprising an amount effective to ameliorate the symptoms of viral disease of ribonucleic acid. The exogenous modified yeast RNA has a pronounced multiple anti-virus action in a wide range of concentrations. The modified yeast RNA is capable of inhibiting the reproduction of viruses from Orthomyxoviridae, Paramyxovirus, Hepatitis, Herpesviridae families, enterovirus and adenovirus. Also, the modified yeast RNA is capable of inhibiting the reproduction of influenza viruses, hepatitis C virus, genital herpes, human immunodeficiency virus and Coxsackie B virus. | 08-22-2013 |