Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

71 results about "Partial evaluation" patented technology

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, prog, is seen as a mapping of input data into output data: prog:Iₛₜₐₜᵢc×Idyₙₐₘᵢc→O Iₛₜₐₜᵢc, the static data, is the part of the input data known at compile time.

System and method for controlling policy distribution with partial evaluation

The present invention relates to a system (10) operable to control policy distribution with partial evaluation in order to permit/deny access to a protected means (12). The system (10) comprises a storing means (14) operable to store all access control policy functions for all protected means (12), a guard means (16) operable to guard access to a protected means (12) and to construct an access control request comprising attributes regarding the protected means (12), a policy decision means (18) connected to the guard means (16) and operable to receive the access control request from the guard means (16). The system (10) also comprises a policy distribution means (20) connected to the storing means (14) and to the policy decision means (18). The policy decision means (18) is operable to collect the static attributes of the protected means (12), and to send the static attributes to the policy distribution means (20), which in turn is operable to construct a partial access control request from the static attributes of the protected means (12), and to perform partial evaluation against the access control policy function stored in the storing means (14), resulting in a simplified access control policy function. The policy distribution means (20) is operable to send the simplified access control policy function to the policy decision means (18), which in turn is operable to use the simplified access control policy function to evaluate access control requests regarding the protected means (12), and to return a permit/deny response to the guard means (16).
Owner:AXIOMATICS

Virtual maintenance based maintainability analysis method for aircraft part

InactiveCN105045989AFind design flaws in timeMaintainability Design ImprovementsSpecial data processing applicationsStandardizationQualitative property
The invention discloses a virtual maintenance based maintainability analysis method for an aircraft part. Firstly, a maintenance attribute value of the to-be-analyzed aircraft part is quantitatively determined, wherein the maintenance attribute value comprises human factor engineering, reachability, simplified design, modularization, standardization and interchangeability, and testability; secondly, a natural language is quantitatively processed; thirdly, according to the obtained attribute value, performing weighted calculation on a comprehensive maintainability attribute value of the to-be-analyzed aircraft part; and finally, according to the comprehensive maintainability attribute value, calculating degree of membership, and obtaining comprehensive maintainability evaluation and partial evaluation of the to-be-analyzed aircraft part. According to the method, on the basis of determining maintainability influence attributes, each maintainability influence attribute is analyzed and inspected, an evaluation method for maintainability quantitative requirements is proposed, and parallel design-oriented maintainability qualitative analysis and evaluation are realized, so that design defects can be discovered in time and the improvement on maintainability design is facilitated.
Owner:NORTHWESTERN POLYTECHNICAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products