会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明申请
    • Two-Liquid Process for Synthesizing Polyurethane with High Heat-Resistance and High Abrasion-Resistance
    • 用于合成具有高耐热性和高耐磨性的聚氨酯的双液体方法
    • US20140182783A1
    • 2014-07-03
    • US13733191
    • 2013-01-03
    • June-Chiarn LeePeng-Tu Yeh
    • June-Chiarn LeePeng-Tu Yeh
    • B05D7/00
    • B05D1/34B05D2252/02C08G18/10C08G18/80C08G2150/60C09D175/04D06N3/0047D06N3/0097D06N3/14D06N2211/28Y02P20/582
    • A two-liquid process for synthesizing polyurethane with high heat-resistance and high abrasion-resistance is disclosed, which utilizes a semi-reactive polymer A solution containing hydroxyl groups and a semi-reactive polymer B solution containing poly-isocyanate groups. The polymer A and B solution are mixed for performing a second reaction and then coated on a substrate by a coating machine, and the coating layer is cured to form a polyurethane film. The semi-reactive polymer A and B solution are pre-polymerized in advance. The required polyurethane resin expands on the semi-reactive polymer A and B with a whole range of new functionality and construction styles through polymerization to produce high heat-resistant and high abrasion-resistant polyurethane film through coating facility under the working temperature about 80° C. A fabric is coupled during coating step for polyurethane leather. The two-liquid process is without using solvent as carrier. The environmental problem of air and water pollution can be resolved.
    • 公开了一种用于合成具有高耐热性和高耐磨性的聚氨酯的双液体方法,其利用含有羟基的半反应性聚合物A溶液和含有聚异氰酸酯基团的半反应性聚合物B溶液。 将聚合物A和B溶液混合以进行第二反应,然后通过涂布机涂布在基材上,并使涂层固化以形成聚氨酯膜。 半反应性聚合物A和B溶液预先进行预聚合。 所需的聚氨酯树脂在半反应性聚合物A和B上通过聚合在整个范围内具有全新的功能和结构形式,通过涂覆设备在约80℃的工作温度下生产高耐热和高耐磨性的聚氨酯膜 在聚氨酯皮革的涂布步骤中将织物连接在一起。 双液体方法不使用溶剂作为载体。 空气和水污染的环境问题可以解决。
    • 6. 发明授权
    • System, method, and computer program product for partial redundancy
elimination based on static single assignment form during compilation
    • 编译过程中基于静态单个分配表的部分冗余消除的系统,方法和计算机程序产品
    • US6026241A
    • 2000-02-15
    • US873895
    • 1997-06-13
    • Frederick ChowSun ChanRobert KennedyShin-Ming LiuRaymond LoPeng Tu
    • Frederick ChowSun ChanRobert KennedyShin-Ming LiuRaymond LoPeng Tu
    • G06F9/45
    • G06F8/443
    • Partial redundancy elimination of a computer program is described that operates using a static single assignment (SSA) representation of a computer program. The SSA representation of the computer program is processed to eliminate partially redundant expressions in the computer program. This processing involves inserting .PHI. functions for expressions where different values of the expressions reach common points in the computer program. A result of each of the .PHI. functions is stored in a hypothetical variable h. The processing also involves a renaming step where SSA versions are assigned to hypothetical variables h in the computer program, a down safety step of determining whether each .PHI. function in the computer program is down safe, and a will be available step of determining whether each expression in the computer program will be available at each .PHI. function following eventual insertion of code into the computer program for purposes of partial redundancy elimination. The processing also includes a finalize step of transforming the SSA representation of the computer program having hypothetical variables h to a SSA graph that includes some insertion information reflecting eventual insertions of code into the computer program for purposes of partial redundancy elimination, and a code motion step of updating the SSA graph based on the insertion information to introduce real temporary variables t for the hypothetical variables h.
    • 描述了使用计算机程序的静态单一分配(SSA)表示来操作计算机程序的部分冗余消除。 处理计算机程序的SSA表示以消除计算机程序中的部分冗余表达式。 该处理涉及为表达式插入PHI函数,其中表达式的不同值达到计算机程序中的公共点。 每个PHI函数的结果存储在假设变量h中。 该处理还包括重新命名步骤,其中SSA版本被分配给计算机程序中的假想变量h,确定计算机程序中的每个PHI功能是否下降的安全步骤,以及将是可用的步骤,确定每个表达式 为了部分冗余消除的目的,在计算机程序中将最终将代码插入计算机程序之后,在每个PHI功能中将可用。 该处理还包括将具有假设变量h的计算机程序的SSA表示形式的SSA图形变换为SSA图的最终确定步骤,该SSA图形包括反映最终插入代码到计算机程序中以便部分冗余消除的目的的一些插入信息,以及代码运动步骤 基于插入信息更新SSA图,以为假设变量h引入真实临时变量t。
    • 10. 发明授权
    • Method, system, and computer program product for performing register
promotion via load and store placement optimization within an
optimizing compiler
    • 方法,系统和计算机程序产品,用于通过优化编译器中的加载和存储放置优化来执行注册促进
    • US06128775A
    • 2000-10-03
    • US97713
    • 1998-06-16
    • Frederick ChowRobert KennedyShin-Ming LiuRaymond LoPeng TuSun C. Chan
    • Frederick ChowRobert KennedyShin-Ming LiuRaymond LoPeng TuSun C. Chan
    • G06F9/45
    • G06F8/441G06F8/443
    • A method, system, and computer program product for performing register promotion, that optimizes placement of load and store operations of a computer program within a compiler. Based on the observation that the circumstances for promoting a memory location's value to register coincide with situations where the program exhibits partial redundancy between accesses to the memory location, the system is an approach to register promotion that models the optimization as two separate problems: (1) the partial redundancy elimination (PRE) of loads and (2) the PRE of stores. Both of these problems are solved through a sparse approach to PRE. The static single assignment PRE (SSAPRE) method for eliminating partial redundancy using a sparse SSA representation representations the foundation in eliminating redundancy among memory accesses, enabling the achievement of both computational and live range optimality in register promotion results. A static single use (SSU) representation is defined allowing the dual of the SSAPRE algorithm, called SSUPRE, to perform the partial redundancy elimination of stores. SSUPRE is performed after the PRE of loads, taking advantage of the loads' having been converted into pseudo-register references so that there are fewer barriers to the movement of stores. Consequently, the compiler produces more efficient, register-promoted executable program code from the SSA representation.
    • 一种用于执行注册促进的方法,系统和计算机程序产品,其优化了编译器内的计算机程序的加载和存储操作的布局。 基于这样一种观察,即为了提升存储器位置的寄存器值的情况与存储单元存取位置之间存在部分冗余的情况相一致,系统是将优化模型化为两个独立问题的注册升级方法:(1 )负载的部分冗余消除(PRE)和(2)存储的PRE。 这两个问题都是通过稀疏的PRE方法解决的。 使用稀疏SSA表示消除部分冗余的静态单分配PRE(SSAPRE)方法表示在消除存储器访问之间的冗余的基础上,使得能够在注册促进结果中实现计算和实时范围最优化。 定义了静态单用(SSU)表示,允许称为SSUPRE的SSAPRE算法的双重性来执行商店的部分冗余消除。 SSUPRE在负载的PRE之后执行,利用已经转换为伪寄存器引用的负载,使得存储器移动的障碍较少。 因此,编译器从SSA表示形成更高效的注册升级可执行程序代码。