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

237 results about "Typing environment" patented technology

In type theory a typing environment (or typing context) represents the association between variable names and data types. More formally an environment Γ is a set or ordered list of pairs 〈x,τ〉, usually written as x:τ, where x is a variable and τ its type. The judgement Γ⊢e:τ is read as "e has type τ in context Γ ". In statically typed programming languages these environments are used and maintained by type rules to type check a given program or expression.

Automated management of internet and/or web site content

An apparatus, program product, and method manage content from a content-controlled database (e.g., web pages or other files maintained in a web site) using a content management record linked to each content-controlled content item in the database. Each content management record is utilized in conjunction with a multi-stage content management process, where at least one stage is a review stage during which approval of an associated content item for a content management record is obtained. As a result of receiving appropriate approval, such an associated content item may be promoted and made available to users of the content-controlled database, with the content management record updated to reflect such a status of the associated content item. Content management information for a content item may be maintained in a content management record that is separate from the content item. Moreover, content management records may be maintained in a groupware-type environment, whereby collaborative tools such as document sharing and messaging may be used to facilitate the interaction among members of a content creation, development and management team during the various stages of a content management process. Furthermore, content management records may be monitored over time to provide for periodic review of promoted content items to ensure that content in a database is maintained current and accurate. In addition, multiple language and/or country versions of a content item may be linked together, such that changes made to one language/country version of a content item may automatically prompt a review of other versions to ensure that the changes are propagated to the other versions when necessary.
Owner:IBM CORP

Multi-service heartbeat monitoring method for distributed type cloud storage system

The invention provides a multi-service heartbeat monitoring method for a distributed type cloud storage system. The method comprises the two parts of node heartbeat monitoring and service heartbeat monitoring. A node heartbeat monitoring method is used for monitoring the node health condition and judging whether a node breaks down or not, and if the node breaks down, a method for switching or restarting the node is selected through a voting mechanism, and node switching or restarting is completed. A service heartbeat monitoring method is used for monitoring the running state of each service periodically. The multi-service heartbeat monitoring method is used for detecting the distributed type environment node health state under a high-concurrency read-write operation environment, completing an automatic restarting service through the unceasing scanning service of a thread, and switching the services fast through the mode of building a virtual ip, and the system reliability and data safety are guaranteed. According to the method, the fast detection and restarting of node downtime and abnormal services in the distributed system can be effectively achieved, the safety and reliability of a distributed type file system are effectively improved, and solution ways are provided for the enterprise-level application of the distributed type cloud storage system.
Owner:STATE GRID CORP OF CHINA +2

Water-based type environment protection cleaning agent and preparation method thereof

The invention relates to a water based environment-friendly cleaning agent and the preparation method, which is characterized in that the agent comprises natural plant extract, degradable surface active agent, inhibiter and de-ionized water. The preparation method is as follows: (1) preparing materials according to the weight ratio, (2) adding the raw material orderly in series, (3) stirring at even pace and (4) evenly mixing to make the finished cleaning agent ultimately. The preparation method for the water based environment-friendly cleaning agent has the advantages of scientific prescription, simple production technique, strong cleaning ability, short cleaning time, low labor and man-hour, high work efficiency, low causticity to the equipment, good safety and low equipment cost. The water based environment-friendly cleaning agent is degradable liquid and can be biologically degraded into harmless material in nature completely. The waste liquid after be cleaned cab be directly discharged without polluting the environment and reach the sewage discharge standard. The water based environment-friendly cleaning agent is provided with the surface active agent and the inhibiter which can form a rustproof protecting film on the metal surface after cleaning, and ensures that the part after cleaning has an advantage of good rust protection.
Owner:北京凯兰航空技术有限公司

Indoor thermal insulation construction method for city architecture ''cave dwelling type'' environment

The invention relates to an insulation construction method for a city building, in particular to an indoor insulation construction method for cave dwelling type environment of the city building, and solves the problem that no mature indoor insulation construction method exists at present. The method comprises the construction working processes of substrate treatment, wall surface construction, ceiling construction, bathroom wall surface construction, and floor slab floor construction; through high-performance insulation material and unique construction technology, the invention performs the insulation treatment to the four indoor walls, the four walls of the bathroom, and the ceiling and the floor, can enable the indoor environment to form an insulation environment similar to an inner liner of a thermos bottle, can maintain the indoor temperature fluctuation within a very small fluctuation range, creates a cave dwelling type indoor environment with cool summer and warm winter, not only effectively prevents the cold and hot bridge phenomenon, but also meets the heat insulation requirement in a house, and achieves an energy-saving effect. On one hand, the invention technically guarantees the effective operation of family heat metering, on the other hand, the environmental effect created by the invention is basically similar to the thermal environment of the cave dwelling.
Owner:太原思科达科技发展有限公司

Database spatial sharding replication method and system

InactiveCN103870602AImprove update synchronization efficiencySupport to maintain global consistencyDatabase distribution/replicationGeographical information databasesReplication methodData mining
The invention relates to the technical field of spatial databases, and discloses a database spatial sharding replication method and system. The method comprises the steps that a target distribution type database is deployed according to a specified spatial sharding scheme; the variation of spatial object records is captured in a source database space list in the target distribution type database; spatial relationship judgment is conducted on the spatial position information of the varied spatial object records and a spatial sharding rule, and if a divided spatial position relation is met, it is judged that the current spatial object records after variation need to be replicated to destination databases where corresponding spatial sharding areas are placed; according to the definition of data propagation, the varied spatial object records are replicated to the destination databases. According to the database spatial sharding replication method and system, the spatial data are stored in a sharding mode according to spatial position features, replication is achieved according to the specified spatial relationship rule, so that the updating synchronization efficiency of the spatial data under a distribution type environment is improved, the global consistency of spatial objects is supported and maintained, and a spatial distribution type application is simplified.
Owner:INST OF GEOGRAPHICAL SCI & NATURAL RESOURCE RES CAS +1

Reed-type environment-friendly coated silver brazing filler metal ring

The invention discloses a reed-type environment-friendly coated silver brazing filler metal ring. The reed-type environment-friendly coated silver brazing filler metal ring is composed of at least two circles of reed-type silver brazing filler metal core and a silver brazing flux coating wrapped outside the reed-type silver brazing filler metal core, wherein the reed-type silver brazing filler metal core is formed by winding thin or thin and narrow silver brazing filler metal; the medium diameter of the reed-type silver brazing filler metal core ranges from 2.0 mm to 56.0 mm; silver brazing fluxes comprise at least one of inorganic fluoride, potassium fluotitanate, anhydride, borate and elemental boron; the silver brazing fluxes, the polyvinyl alcohol, the methylcellulose and water are prepared into a brazing flux solution according to a certain proportion, the outer surface of the reed-type silver brazing filler metal core is directly coated with the brazing flux solution, and the finished reed-type environment-friendly coated silver brazing filler metal ring can be obtained after the brazing flux solution is dried. Since the reed-type environment-friendly coated silver brazing filler metal ring does not contain organic bonding agents, the reed-type environment-friendly coated silver brazing filler metal ring meets the ROHS standard, pollution to environment during brazing and burning is greatly reduced, body health of operators is protected, and the labor intensity of the operators in the brazing process is greatly relieved.
Owner:ZHENGZHOU RES INST OF MECHANICAL ENG CO LTD

Combined type environment-friendly device using MVR-bipolar electrolysis-biological enhancement technology

The invention discloses a combined type environment-friendly device using the MVR-bipolar electrolysis-biological enhancement technology. The combined type environment-friendly device comprises a preprocessing unit, an evaporating and concentrating unit, a biochemistry unit and a bipolar electrolysis processing unit, wherein the preprocessing unit, the evaporating and concentrating unit, the biochemistry unit and the bipolar electrolysis processing unit are connected with one another through a pipeline. An MVR unit conducts proper concentration on industrial waste water through the steam recompression technology, distilled water can be recycled or discharged according to the standard, and a concentrated solution enters the bipolar electrolysis processing unit. The mesh-shaped unit type structural design is adopted for the units, the water flow short circuit can be avoided, the mass transfer effect is improved, the oxidoreduction efficiency is ensured, and therefore pollutants are thoroughly removed. An on-line bacterium throwing type membrane biological fixing system is adopted for a biological unit. PVA floating fillers where special efficient bacterium strains are attached are fixed in a biochemical pool, and the organic matter removing effect is enhanced through a timed on-line bacterium throwing system. The combined type environment-friendly device is an integrated device, and the wastewater treatment efficiency and the standard reaching effect are greatly improved when the MVR-bipolar electrolysis-biological enhancement technology is combined with a traditional wastewater treatment technology.
Owner:TIANJIN UNITED ENVIRONMENTAL ENG DESIGN

Method for intelligent configuration of host computer embedded environment during BMC (Baseboard Management Controller) development

The invention provides a method for intelligent configuration of a host computer embedded environment during BMC (Baseboard Management Controller) development, wherein a new automatic embedded type environment configuration method is adopted, and the results obtained based on the method are completely the same as that of the traditional method and is different from the traditional method only in the configuration means aspect. In the method, a Linux-based software package is developed, and a program is operated under the software; the software package can be used for detecting a system and intelligently installing various software as required under a necessary condition; the installation of all the related software can be completed as long as the software package is operated; and a network environment can be set up after the required information is filled in. The method is also named as an integrated intelligent configuration method. By means of the method, the configuration of the host end network environment can be completed within several minutes, and the error probability can be greatly reduced. In addition, a script language is selected for compiling a script program so as to make intelligent installation and configuration actions.
Owner:LANGCHAO ELECTRONIC INFORMATION IND CO LTD
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