会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • DYNAMIC INTERFACE REDUCTION FOR SOFTWARE MODEL CHECKING
    • 动态界面减少软件模型检查
    • US20120311542A1
    • 2012-12-06
    • US13118489
    • 2011-05-30
    • Ming WuHuayang GuoYi YangGang HuLintao ZhangLidong ZhouTisheng Chen
    • Ming WuHuayang GuoYi YangGang HuLintao ZhangLidong ZhouTisheng Chen
    • G06F9/44
    • G06F11/3608G06F8/75
    • Architecture employs an iterative process that incrementally discovers inter-component interactions and explores local state spaces within each component. Thus, the architecture lazily constructs the behavior of the environment of a component in the target software system, and integrates the construction of the inter-component interactions with the model checking process itself, and hence, does not need to eagerly construct the interface process. Component-based state space reduction is applied during the exploration of the whole system. The architecture decomposes a target software system into a set of loosely coupled components where interactions between the components tend to be significantly simpler than interactions within each component. An iterative algorithm facilitates the component-based state space reduction, which is exponential, on the real large-scale software systems.
    • 架构采用迭代过程,逐步发现组件间交互并探索每个组件内的本地状态空间。 因此,架构懒惰地构建了目标软件系统中组件环境的行为,并将组件间交互的构建与模型检查过程本身进行了整合,因此不需要急于构建接口过程。 在整个系统的探索过程中,应用了基于组件的状态空间减少。 该架构将目标软件系统分解成一组松散耦合的组件,其中组件之间的交互往往比每个组件内的交互明显简单。 迭代算法有助于在真正的大规模软件系统上基于组件的状态空间减少,这是指数级的。
    • 6. 发明申请
    • Operating program installation method appended with driver program and related structure
    • 操作程序安装方法附加驱动程序和相关结构
    • US20070169112A1
    • 2007-07-19
    • US11263873
    • 2005-10-31
    • Ming WuChen Lee
    • Ming WuChen Lee
    • G06F9/445
    • G06F8/60
    • An operating system installation method appended with driver programs and related structure is disclosed. The structure, and the method as well, is applied to a computer equipment for appending driver programs needed by hardware units of the computer equipment in an original operating system installation program. The structure includes a loading module, an acquiring module and a mapping module. The method loads an operating system installation into a memory of the computer equipment, maps the driver programs onto system kernel parameters of the operating system installation program to update the operating system installation program, and burns the updated operating system installation program onto a disk, so as to generate an operating system installation disk suit for the hardware units of the computer equipment.
    • 公开了附带有驱动程序和相关结构的操作系统安装方法。 该结构和方法也应用于计算机设备,用于在原始操作系统安装程序中附加计算机设备的硬件单元所需的驱动程序。 该结构包括加载模块,采集模块和映射模块。 该方法将操作系统安装加载到计算机设备的内存中,将驱动程序映射到操作系统安装程序的系统内核参数,以更新操作系统安装程序,并将更新的操作系统安装程序刻录到磁盘上 以便为计算机设备的硬件单元生成操作系统安装盘套件。
    • 7. 发明申请
    • Highly orthogonal universal sequences for use in nucleic acid assays
    • 用于核酸测定的高度正交通用序列
    • US20060172284A1
    • 2006-08-03
    • US11049465
    • 2005-02-01
    • Minxue ZhengDavid AhleBrian WarnerMing WuChu-an Chang
    • Minxue ZhengDavid AhleBrian WarnerMing WuChu-an Chang
    • C12Q1/70C12Q1/68C07H21/02C12P19/34
    • C12Q1/682Y02A50/54C12Q2525/101
    • The invention provides a set of highly orthogonal six-code universal sequences for use in bDNA singleplex and multiplex nucleic acid hybridization assays. The six-code orthogonal sequences do not cross-hybridize and thus, minimize or eliminate the 3-mer cross-hybridization inherent in the second and third generation bDNA assays. The highly orthogonal universal sequences may be used in singleplex or multiplex bDNA assays quantitatively and qualitatively to determine mRNA levels in a sample; to screen for and genotype targets, such as viruses, that are present in low volumes in a sample; to screen for and genotype SNPs; and to measure changes in the amount of a gene in a sample such as when gene amplifications or deletions occur. The highly orthogonal universal sequences may also be used as universal capture probes to selectively bind assay components in a way that facilitates their further analysis.
    • 本发明提供了一组高度正交的六码通用序列,用于bDNA单链和多重核酸杂交测定。 六码正交序列不交叉杂交,因此最小化或消除第二代和第三代bDNA测定中固有的3聚体交叉杂交。 高度正交的通用序列可以定量和定性地用于单链或多重bDNA测定以确定样品中的mRNA水平; 筛选和基因型样品中低体积存在的目标,如病毒; 筛选和基因型SNP; 并且测量样品中基因的量的变化,例如当发生基因扩增或缺失时。 高度正交的通用序列还可以用作通用捕获探针,以便于进一步分析的方式选择性地结合测定组分。