Abstract: Provided are a multi-function device for intensive shrimp farming and intensive shrimp farming systems using this device. The system comprises: shrimp ponds (100) with brackish water pumped from rivers or seas then treated with chemicals, sedimentation and micro-organisms; at least one multifunction device (200) to generate water flow, dissolve molecular oxygen, deliver and dispense shrimp feed and provide solution containing minerals, micro-organisms and other additives; pure oxygen supply device (300) capable of generating oxygen from the air to supply oxygen with purity higher than 90% to water in intensive culture pond to achieve consistently higher concentrations of dissolved oxygen saturated dissolved oxygen concentration; a network of porous sheets floats on the water to reduce the diffusion of oxygen molecules from the water to the air; and a network of lights for providing artificial light to change the feeding cycle of shrimp with industrial and natural food.

Abstract: There is provided a smart aquaculture growth and health monitoring system and method for monitoring the growth and health of an aquatic species present in an aquaculture growth habitat. The system comprises a georeferenced location beacon of the growth habitat, a sample container to sample water and aquatic species from the growth habitat and being configured to permit an electronic device having camera such as a smart phone to acquire digital visual data on said sample, a processor is communicatively linkable to the electronic device and optionally to a communications network, the processor being operable to receive the digital visual data; determine, based on the digital visual data, growth and/or health parameters of the aquatic species in the sample; and to retransmit data on the growth and/or health parameters of the aquatic species back to the electronic device.

Abstract: Disclosed are methods and apparatus for treating weeds, and more specifically treating weeds by use of microwaves.

Abstract: It is determined, if a simulated hardware signal of a design for an electronic circuit has an influence on a checker for simulation errors. To achieve this, a checker control flow database is generated for a static code description containing checkers and concerned simulated signals. Further, a database based on the output of instrumented verification code is generated, thus gaining dynamic information about the verification code. Herein, the hardware signal values will be associated with colored values or, alternatively, attributed values. For the checkers in the checker control flow database, a list of attributes is generated and stored. Based on the above operations, a hardware signal database is generated, wherein hardware signals are mapped to a list of checkers, based on determining, for each checker in the checker database, the associated hardware signals from its list of attributed values.

Abstract: It is determined, if a simulated hardware signal of a design for an electronic circuit has an influence on a checker for simulation errors. To achieve this, a checker control flow database is generated for a static code description containing checkers and concerned simulated signals. Further, a database based on the output of instrumented verification code is generated, thus gaining dynamic information about the verification code. Herein, the hardware signal values will be associated with colored values or, alternatively, attributed values. For the checkers in the checker control flow database, a list of attributes is generated and stored. Based on the above operations, a hardware signal database is generated, wherein hardware signals are mapped to a list of checkers, based on determining, for each checker in the checker database, the associated hardware signals from its list of attributed values.

Abstract: It is determined, if a simulated hardware signal of a design for an electronic circuit has an influence on a checker for simulation errors. To achieve this, a checker control flow database is generated for a static code description containing checkers and concerned simulated signals. Further, a database based on the output of instrumented verification code is generated, thus gaining dynamic information about the verification code. Herein, the hardware signal values will be associated with colored values or, alternatively, attributed values. For the checkers in the checker control flow database, a list of attributes is generated and stored. Based on the above operations, a hardware signal database is generated, wherein hardware signals are mapped to a list of checkers, based on determining, for each checker in the checker database, the associated hardware signals from its list of attributed values.

Abstract: It is determined, if a simulated hardware signal of a design for an electronic circuit has an influence on a checker for simulation errors. To achieve this, a checker control flow database is generated for a static code description containing checkers and concerned simulated signals. Further, a database based on the output of instrumented verification code is generated, thus gaining dynamic information about the verification code. Herein, the hardware signal values will be associated with colored values or, alternatively, attributed values. For the checkers in the checker control flow database, a list of attributes is generated and stored. Based on the above operations, a hardware signal database is generated, wherein hardware signals are mapped to a list of checkers, based on determining, for each checker in the checker database, the associated hardware signals from its list of attributed values.