68 results about "Problem domain" patented technology

A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn supplied to the input of a test case generator. The enhanced extended finite state machine, referred herein as an extended finite state machine accounting for axioms and predicates (EFSMAP) contains states and transitions associated with information on implied behavior of the specified system within a particular problem domain. The implicit behavior, defined by the axiomatic properties of the operators of the domain specific language, provide test capability of the associated system that was not explicitly set forth in the formal specification, but nevertheless should be tested to increase confidence in the reliability of the finished product.

This invention discloses a computer implemented method for authoring and delivering content in a highly adaptive and easily configurable manner. Given a problem domain, an authoring system, called AuthorIT preferred embodiment, is used to: a) construct abstract syntax tree (AST) based SLT rules representing to be acquired knowledge structures (KR) at multiple levels of abstraction, wherein said SLT rules are sufficient for solving problems in said domain, b) assign instruction, questions and feedback to nodes in said KR, c) represent problem schemas in an observable Blackboard medium enabling communication between an automated tutor and learners and d) set Options defining how diagnostic and instructional decisions are to be made based on what individual learners do and do not know relative to the to be learned knowledge structures. A computer implemented delivery system, called TutorIT preferred embodiment: a) receives authoring system output, optionally supplemented with information received from a user, b) generates specific problems and solutions by executing AST-based SLT rules, c) displays problems on a Blackboard interface, and d) interacts with learners receiving learner responses and presenting instruction and feedback, e) uses input from any given learner, structural relationships within ASTs and options to update the learner's model relative to said AST-based SLT rules and to decide on what diagnostic and instructional steps to take next.

A method and computer program product for optimization of large scale resource scheduling problems. Large scale resource scheduling problems are computationally very hard and extremely time consuming to solve. This invention provides a Lagrangian relaxation based solution method. The method has two distinct characteristics. First, the method is formal. It is completely structure-based and does not use any problem domain specific knowledge in the solution process, either in the dual optimization or the primal feasibility enforcement process. Second, updating the Lagrangian multipliers after solution of every sub-problem without using penalty factors results in fast and smooth convergence in the dual optimization. The combination of high quality dual solution and the structure-based primal feasibility enforcement produces a high quality primal solution with very small solution gap. An optimal solution is first found to the dual of the resource scheduling problem by sequentially finding a solution to a plurality of sub-problems and updating a set of values used in the dual problem formulation after each sub-problem solution is obtained. Coupling constraint violations are systematically reduced and the set of values are updated until a feasible solution to the primal resource scheduling problem is obtained. An initial set of multiplier values is further determined by solving a relaxed version of the primal problem where most of the local constraints except the variable bounds are relaxed.

A cognitive system and method for predicting and detecting security breaches is provided which yields cognitive inputs to a security management interface accessible by a human operator. The system utilizes symbolic cognitive architectures and inference processing algebras allowing the system to respond to open, incomplete, and / or unknown problem domains, offering flexibility in the case of unexpected changes in the security environment. The system is also capable of intelligently, and in real-time, adapting security peripheral configurations to further probe and analyze the real-time security environment, provided real-time data that can be processed with symbolic cognitive architectures and inference process algebras enabling the identification of new and emerging threat profiles leading to the prediction and detection of security breaches.