公开(公告)号：US20230237078A1

公开(公告)日：2023-07-27

申请号：US18153192

申请日：2023-01-11

Applicant: Tata Consultancy Services Limited

Inventor： ADVAITA ABHIJIT DATAR ,  Amey ZARE ,  ASIA AKHTAR ,  VENKATESH RAMANATHAN ,  SHRAWAN KUMAR ,  ULKA ANIRUDDHA SHROTRI ,  SURESH BHASKARAMURTHY ,  PUNYAKOTI SATHISH ,  KANNAN DHANASEKARAN

IPC: G06F16/28 ,  G06F40/18

CPC classification number: G06F16/288 ,  G06F40/18

Abstract: The present invention generally relates to the field of automated functional testing, and, more particularly, to a method and system for validation of calculation code against calculation specification. Currently the validation is done manually which is time consuming and effort intensive. Embodiments of present disclosure provide an automated method of validation by generating a schema from the calculation specification, retrieving data based on the schema, executing the intermediate calculations, and comparing the result with the output from the calculation code. The method requires minimal manual input and is a fast, simple, resilient and low-code/no-code technique that can be extended to support any type of calculation code and calculation specifications with minimal or no change.

公开(公告)号：US20220342680A1

公开(公告)日：2022-10-27

申请号：US17654427

申请日：2022-03-11

Applicant: Tata Consultancy Services Limited

Inventor： PRIYANKA DARKE ,  SHRAWAN KUMAR ,  VENKATESH RAMANATHAN ,  Sakshi AGRAWAL

IPC: G06F9/445

Abstract: This disclosure relates generally to the field of program slicing, and, more particularly, to a method and system for function call and variable access based relaxed backward slicing. The method discloses a slicing criterion which focuses only on functions called from an entry function. The slicing criteria uses control and data flow information to slice the given entry function with respect to functions called from the body of the entry function and eventually remove all functions not called directly or indirectly from the entry function. The variables modified by calls in the entry function are considered through side-effect while identifying control and data dependence chain within body of entry function. The proposed technique identifies partitions of functions based on the variables accessible in and functions called from the entry function. Thus, unrelated sets of functions with respect to the entry function are computed and divided into different partitions.

公开(公告)号：US20230125620A1

公开(公告)日：2023-04-27

申请号：US17935420

申请日：2022-09-26

Applicant: Tata Consultancy Services Limited

Inventor： SAGAR KUMAR VERMA ,  SUPRIYA AGRAWAL ,  VENKATESH RAMANATHAN ,  ULKA SHROTRI ,  SRINARAYANA NAGARATHINAM ,  RAJESH JAYAPRAKASH ,  AABRITI DUTTA

IPC: F24F11/63

Abstract: HVAC control system's supervisory control is crucial for energy-efficient thermal comfort in buildings. The control logic is usually specified as ‘if-then-that-else’ rules that capture the domain expertise of HVAC operators, but they often have conflict that may lead to sub-optimal HVAC performance. Embodiments of the present disclosure provide a method and system for optimized Heating, ventilation, and air-conditioning (HVAC) control using domain knowledge combined with Deep Reinforcement Learning (DRL). The system disclosed utilizes Deep Reinforcement Learning (DRL) for conflict resolution in a HVAC control in combination with domain knowledge in form of control logic. The domain knowledge is predefined in an Expressive Decision Tables (EDT) engine via a formal requirement specifier consumable by the EDT engine to capture domain knowledge of a building for the HVAC control.

公开(公告)号：US20240232188A1

公开(公告)日：2024-07-11

申请号：US18467276

申请日：2023-09-14

Applicant: Tata Consultancy Services Limited

Inventor： AMEY ZARE ,  VENKATESH RAMANATHAN ,  ASIA AKHTAR ,  ADVAITA ABHIJIT DATAR ,  ATHARV HEMANT SHINGEWAR ,  NAKSHATRA GUPTA

IPC: G06F16/2452 ,  G06F40/205 ,  G06F40/40

CPC classification number: G06F16/24522 ,  G06F40/205 ,  G06F40/40

Abstract: Enterprise software relies on numerous types and instances of mathematical and logical calculations for proper functioning, which are formally specified in spreadsheets, known as Calculation Specification (CS) sheets, that provide illustrations of the inputs and outputs of the calculation, and are expressed in inputs and formulae applied on them to get values for outputs. The values for such inputs are retrieved by executing ad hoc queries on respective application's database. Present disclosure provides systems/methods to synthesize code using CS sheets by formulating a Programming By Example (PBE) problem for each input involved in the calculation. A query synthesis technique is then implemented that uses natural language processing and enumerative program synthesis techniques to infer queries corresponding to the PBE problem. These queries are filtered based on whether their output is consistent with expected output in PBE. Finally, the synthesized queries and calculation formulae are translated into a desired target programming language.