摘要:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要:
A golf putter assembly includes a putter including a head, a display unit disposed in the putter, and a detecting unit disposed in the putter and electrically coupled to the display unit. The detecting unit is operable to detect and record a stationary starting position of a golf ball. The detecting unit is further operable to detect, during a practice swing, an instantaneous speed of the head as the head moves past the starting position, and to calculate what would be an initial speed of the golf ball if the golf ball was actually hit by the head with reference to the instantaneous speed of the head detected thereby. The detecting unit further performs control such that the initial speed of the golf ball as calculated is displayed on the display unit.
摘要:
A method for modifying CNT is disclosed. The modified CNT by the above-mentioned method mixed with a resin is provided with an enhanced diffusibility; therefore the electronic property and mechanical property of resin are enhanced obviously with lower quantity of CNT.
摘要:
A method for preparing a carbon nanotube (CNT)/polyolefin composite by a water-crosslinking reaction and its preparation method are disclosed. Taking an embodiment for example, a carbon nanotube, an organic unsaturated silane and a plastic material are provided, and then the carbon nanotube and the organic unsaturated silane are mixed uniformly by a dispersant. The mixture is bonding with the plastic material by the silicon of organic unsaturated silane. A composite provided with a better combination of carbon nanotube and plastic material is generated by the method of the present invention.
摘要:
A system and method for parsing XML is provided. The method includes associating an input stream with a pull model parser, accepting requests to selectively parse out XML items from the input stream and retrieving metadata information associated with the parsed out XML items. The method further includes checking the pulled XML item to determine whether it conforms to XML syntax and/or semantic standards and validating the pulled XML item to determine whether it conforms to a selected DTD.
摘要:
A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.
摘要:
A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.
摘要:
A polymeric light emitting diode (PLED) device comprises: a substrate; a positive electrode formed above the substrate; a hole transportation layer formed above the positive electrode; an organic light emitting composite layer formed above the hole transportation layer, comprising a plurality of organic light emitting layers, wherein every organic light emitting layer has an polymeric host material with a higher energy gap, and at least one of the organic light emitting layers is doped with an polymeric material with a lower energy gap; and a negative electrode formed above the organic light emitting composite layer.