Tata Consultancy Services Patente

The present disclosure provides an abstraction refinement for analyzing timing properties of real-time applications in an efficient, scalable and accurate manner. Conventional methods focus on closed-form analytical tests because of their efficiency and lacks scalability. The present disclosure receives a plurality of task specifications. A time horizon is computed based on the plurality of task specifications. A plurality of time spawned jobs is obtained based on the computed time horizon. Further, a Directed Acyclic Graph (DAG) is constructed for the plurality of time spawned jobs. A plurality of symbolic variables are obtained from the DAG and a plurality of timing constraints are computed. The plurality of constraints and a plurality of timing properties are verified by a verification engine to obtain a set of timing property violated jobs. Here, spurious traces are identified from the execution trace and removed using a plurality of refinement properties.

Zusammenfassung wird geladen …

Reactive systems commonly feature an outer infinite loop that captures environmental input and according to the inputs decides the system's response. The outer infinite loop implies that almost every reactive system contains nested loops. Existing verification techniques, such as model checking and loop abstraction methods, often struggle in terms of accuracy and efficiency in the presence of nested loops. Present disclosure provides a method and a system for performing outer loop abstraction for verification of reactive systems. The system first checks whether code in outer loop can be executed before the outer loop. Then, the system performs optimization of the outer loop. Thereafter, the system abstracts outer loop which infinitely read and process environmental input. Further, the system transforms the input code to obtain outer loop abstracted code which is then passed on to an industrial verifier for verification of the reactive system.

This disclosure relates generally to a method and system for sensing best-connected future path for a mobile telerobot based on radio signal strength (RSS) prediction algorithm through in-situ radio-sensing. State-of-the-art methods predict the future path from the plurality of possible paths based on a radio-source in the environment. However, prediction of the suitable future path in the absence of the radio-source or in no signal zone is not yet achieved. The proposed in-situ algorithm is based on Log-Normal Shadowing Model (LNSM) and found efficient for prediction error minimization. The method enables the mobile telerobot to predict the future path on a trajectory of the telerobot even without prior knowledge of a radio-source location. The mobile telerobot can predict the most suitable path from a plurality of possible paths for a move based on virtual location estimation.

Zusammenfassung wird geladen …

Detection of textual phrases in a non-horizontal orientation at a scene is a target problem. This disclosure relates to a processor implemented method to detect a text from multimedia content captured at a scene. An input original image is processed by a trained model to obtain individual character with bounding box on the original image. The original image is positioned by a gradient to obtain a rotated image if number of detected characters is not equal to number of expected characters on the original image. At least one missing character bounding box on the original image and on the rotated image are estimated to construct a horizontal text image if number of detected characters is not equal to number of expected characters on the rotated image. At least one missing character in the estimated bounding box is detected by at least one text returned from an optical character reader.

Zusammenfassung wird geladen …

A system and method for navigation of a robot from a first area to a second area in a facility is provided. The present disclosure is providing robot navigation using the 'Areagoal' Navigation technique. 'Areagoal' class of problem is divided into two subtasks: identifying the area; and navigation from one area to another. The robot starts in first location and goes out of the current area if it is not in the target area. If there are multiple openings from the first area, it needs to select the most statistically close one to the target area and go there. If the target area is not reached, it backtracks to an earlier viable branch position to continue the target area search. The system takes input from RGB-D camera and odometer, while the output is action space (left, right, forward) with goal of moving to target area.

This disclosure relates generally to multi-port multi-functional meta-surface coplanar antenna system. Conventional electronic or mechanical solutions for beam steering incur high installation costs with less performance speed and bulk structures. The present disclosure provides multi-port multi-functional meta-surface coplanar antenna system for beam steering control. The disclosed antenna system enables radiator to have a performance diversity application through beam steering functionalities. The disclosed antenna system provides a minimal design complexity and minimal usage of active or passive lumped components. The disclosed system comprises Gradient Refractive Index Meta-surface (GRIM) and the antenna disposed on the same side of a substrate. Beam steering control is performed using port excitations and controlling the phase between the concerned ports externally.

Zusammenfassung wird geladen …

This disclosure provides system and method for performing an autonomous aircraft visual inspection task using an unmanned aerial vehicle (UAV). The UAV is equipped with a front-facing RGB-D camera, one Velodyne three dimensional Light Detection and Ranging with 64 channels, and one Inertial Measurement Unit. In the method of the present disclosure, the UAV takeoff from any nearby location of the aircraft and face the RGB-D camera towards the aircraft. The UAV find the nearest landmark using a template matching approach and register with the aircraft coordinate system. The UAV navigate using LiDAR and IMU measurements, whereas the inspection process uses measurements from the RGB-D camera. The UAV navigate using a proposed safe navigation around the aircraft by avoiding obstacles. The system identifies the objects of interest using a deep-learning based object detection tool and then performs the inspection. A simple measuring algorithm for simulated objects of interest is implemented.

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

To maintain a healthy and safe battery, the Battery Management System (BMS) require numerous sensors which is a costly process. Immersion cooling applications where the battery stack is cooled with a dielectric coolant fluid has complex flow patterns that are not modeled easily without high fidelity modeling. The present disclosure provides a solution by combining physics-based and data-driven techniques. Initially, a first reduced subspace and a second first reduced subspace are extracted from the high-fidelity or full-order model (FOM) data with the help of proper orthogonal decomposition (POD) in offline. Further, the dynamics of the reduced spaces (first reduced subspace and the second reduced subspace) are captured by computing the reduced coefficients. The reduced coefficients are computed by solving the reduced order equations. The reduced model is solved in the same manner as the high-fidelity or FOM model. The reduced-order solution is constructed once the reduced coefficients are obtained.

Zusammenfassung wird geladen …

Multi-object tracking (MOT) in video sequences plays a critical role in various computer vision applications. The primary objective of MOT is to accurately localize and track objects across consecutive frames. However, existing MOT approaches often suffer from computational limitations and low frame rates in commodity machines, which hinders real-time performance. Present disclosure provides method and system for performing content aware multi-object tracking. The system first classifies video into slow and fast moving object content videos depending on features of objects to be tracked in frames. Then, system applies a computationally intensive deep sort algorithm to perform tracking of objects by selectively skipping frames. Thereafter, the system applies linear approximate Kalman prediction for slow object content videos and quadratic interpolation for fast object content videos as low computation tracking techniques for tracking objects present in skipped frames, thus significantly improving execution speed while reducing computational load on the system.

Realistic data is an important aspect for training vision based systems. Conventional approaches need complex prerequisites to generate such data and are quite expensive as well. The present disclosure provides one stop solution for different artificial intelligence rendering, scenario generation and future video prediction. The present disclosure provides a provision for fusion of Generative Artificial Intelligence (GenAI), deep learning and image processing techniques and explores the possibilities of generating data from simulated, real, or fused environments. Further, the present disclosure utilizes a panoptic Segmentation approach to create semantic labels and a flow map-based methodology taking cues from a sequence of frames helps to address long time temporal coherence which is a key issue in generated data. This goes as an input to the Generative AI network which generates synthetic dataset based on the aspects of dynamic objects, scene changing and environment variations.

The disclosure generally relates to methods and systems for graph assisted unsupervised domain adaptation for machine fault diagnosis. The present disclosure solves the technical problems in the art using a Graph Assisted Unsupervised Domain Adaptation (GA-UDA) technique for the machine fault diagnosis. The GA-UDA technique carries out the domain adaptation in two stages. In the first stage, a Class-wise maximum mean discrepancy (CMMD) loss is minimized to transform the data from both source and target domains to a shared feature space. In the second stage, the augmented transformed (projected) data from both the source and the target domains are utilized to construct a joint graph. Subsequently, the labels of target domain data are estimated through label propagation over the joint graph. The GA-UDA technique of the present disclosure helps in addressing significant distribution shift between the two domains.

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

This disclosure relates generally to system and method for molecular property prediction. The conventional methods for molecular property prediction suffer from inherent limitation to effectively encapsulate the characteristics of the molecular graph. Moreover, the known methods are computationally intensive, thereby leading to non-performance in real-time scenarios. The disclosed method includes performing self-attention on the nodes of a molecular graph of different sized neighborhood, and further performing a shared attention mechanism across the nodes of the molecular graphs to compute attention coefficients using an Edge-conditioned graph attention neural network (EC-GAT). The EC-GAT effectively utilizes the edge characteristics in the molecular graph for molecular property prediction.

Good health is one of the paramount essentials for any human being. A method and system for assessing and improving wellness of a person using body gestures have been provided. The system is configured to address fitness, wellness and physical movement related problems for both the abled and the differently abled society. The disclosure provides an intelligent and adaptive system that will comprehend the gestures and postures of the person to assess his capability of undertaking wellness activities. The person's movement capabilities and the environment are learnt by the system to track the gestures for the activities. Based on his gestures, the extent of activity achievement is calculated. The system also has the feature of provisioning dynamic activities to the person based on prior attempts and levels of achievements. Additionally, the system also providing the fitness routine in an AR environment by human-to-object mapping through object detection and augmentation.

This disclosure relates generally to system and method for molecular property prediction. The conventional methods for molecular property prediction suffer from inherent limitation to effectively encapsulate the characteristics of the molecular graph. Moreover, the known methods are computationally intensive, thereby leading to non-performance in real-time scenarios. The disclosed method overcomes the limitations of typical dynamic neighborhood aggregation (DNA) method by fusing the static edge attributes in determining the self-attention coefficients. In an embodiment, the disclosed method transforms the hidden state of a sink node by utilizing a neural-net function, which takes as input an aggregated single-message vector obtained by the self-attention mechanism and the self-attention mechanism transformed hidden state of the node.

Zusammenfassung wird geladen …

State of the art deep network based Universal Lesion Detection (ULD) techniques inherently depend on large number of datasets for training the systems. Moreover, these systems are specifically trained for lesion detection in organs of a Region of interest (RoI) of a body. Thus, requires retraining when the RoI varies. Embodiments herein disclose a method and system for domain knowledge augmented multi-head attention based robust universal lesion detection. The method utilizes minimal number of Computer Tomography (CT) scan slices to extract maximum information using organ agnostic HU windows and a convolution augmented attention module for a computationally efficient ULD with enhanced prediction performance.

The present disclosure herein provides methods and systems for optimizing personalized hospitality offerings to suit based on the customer requirement. The present disclosure employs a bucket of prediction models, namely (i) pre-trained hotel prediction model for predicting one or more hotels present in a destination city, (ii) the pre-trained room prediction model for predicting the one or more vacant rooms from the one or more hotels, and (iii) the pre-trained ancillary services prediction model for the predicting the one or more ancillary services available for the one or more vacant rooms. Each prediction model is separately trained on the features obtained from the unstructured historical training data, using a feature extraction technique. The fluidic pricing mechanism is used to provide personalized hospitality offerings by determining the fluidic pricing and offers to multiple relevant ancillary service bundles which may suit mostly to the diverse customers.

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …

Use of ultrasonic guided waves for damage identification and localization is not new in Non-Destructive Testing/Evaluation. However, most of the time it is performed with high voltage pulse excitations that use several hundreds of volts in the form of a short burst, thus making it unsafe and unsustainable for defect localization in large structures. Present disclosure provides a method and a system for damage localization using low power ultrasonic guided waves. The system of the present disclosure uses a Vector network analyzer (VNA) sweep of a defined frequency range of low signal amplitude on a structure to form guided wave resonance spectra. Then, the system performs an Inverse Fast Fourier transform (IFFT) on the guided wave resonance spectra to obtain a time domain pulse propagation picture. Thereafter, the system uses a pulse echo based analysis technique based on time domain pulse propagation picture to locate damage position in the structure.

Zusammenfassung wird geladen …

Zusammenfassung wird geladen …