公开(公告)号：US07149194B2

公开(公告)日：2006-12-12

申请号：US09854962

申请日：2001-05-14

Applicant: Ioannis Kriaras ,  Sudeep Kumar Palat ,  Hatef Yamini ,  Jin Yang

Inventor： Ioannis Kriaras ,  Sudeep Kumar Palat ,  Hatef Yamini ,  Jin Yang

IPC: H04Q7/00 ,  H04L12/66 ,  H04L12/56

CPC classification number: H04W88/16 ,  H04L29/06027 ,  H04L65/1069 ,  H04M7/1235 ,  H04M2207/20

Abstract: A mobile telephone system is provided with a new architecture for dealing with voice internet protocol traffic.Real time traffic from mobile stations (22) is routed by a public land mobile telephone network internet protocol core (20) directly to one of two media gateways (28,32) respectively serving a plain switched telecommunication network/integrated services digital network (26) and an internet protocol backbone (30) without passing through the usual general packet radio system (GPRS) specific gateway.

Abstract translation: 为移动电话系统提供了用于处理语音互联网协议业务的新架构。 来自移动站（22）的实时业务由公共陆地移动电话网络互联网协议核心（20）直接路由到分别服务于平面交换电信网络/综合业务数字网络（26）的两个媒体网关（28,32）之一 ）和互联网协议骨干（30），而不通过通常的通用分组无线电系统（GPRS）特定网关。

公开(公告)号：US07062265B1

公开(公告)日：2006-06-13

申请号：US09587732

申请日：2000-06-05

Applicant: Young-fu Chang ,  Michael Francis Dolan ,  Chung-Zin Liu ,  John P. Menard ,  Milo Orsic ,  Jin Yang

Inventor： Young-fu Chang ,  Michael Francis Dolan ,  Chung-Zin Liu ,  John P. Menard ,  Milo Orsic ,  Jin Yang

IPC: H04Q7/20 ,  H04Q7/38

CPC classification number: H04Q3/0062 ,  H04L12/2803 ,  H04W4/00 ,  H04W8/00

Abstract: An architecture to support service features for wireless calls in a wireless telecommunication system is disclosed. Service feature administration for a wireless terminal is provided by a packet data feature server in a home network that is connected to a packet data network. During call setup on behalf of the wireless terminal, the feature server is accessed via the packet data network to manage service features that are specific to the wireless terminal.

Abstract translation: 公开了一种在无线电信系统中支持无线呼叫的服务特征的架构。 用于无线终端的服务特征管理由连接到分组数据网络的归属网络中的分组数据特征服务器提供。 在代表无线终端的呼叫建立期间，通过分组数据网络访问特征服务器，以管理无线终端特有的服务特征。

公开(公告)号：US07031896B1

公开(公告)日：2006-04-18

申请号：US09608856

申请日：2000-06-30

Applicant: Jin Yang

Inventor： Jin Yang

IPC: G06F17/50 ,  G06G7/62

CPC classification number: G06F17/504

Abstract: Methods for formal verification of circuits and other finite-state systems are disclosed. Formal definitions and semantics are disclosed for a model of a finite-state system, an assertion graph to express properties for verification, and satisfiability criteria for specification and automated verification of forward implication properties and backward justification properties. A method is disclosed to perform antecedent strengthening on antecedent labels of an assertion graph.A method is also disclosed to compute a simulation relation sequence ending with a simulation relation fixpoint, which can be compared to a consequence labeling for each edge of an assertion graph to verify implication properties properties according to the formal semantics. An alternative method is disclosed to compute the simulation relation sequence from the strengthened antecedent labels of an assertion graph, thereby permitting automated formal verification of justification properties.Finally methods are disclosed to significantly reduce computation through abstraction of models and assertion graphs and to compute an implicit satisfiability of an assertion graph by a model from the simulation relation computed for the model and assertion graph abstractions. Other methods and techniques are also disclosed herein, which provide for fuller utilization of the claimed subject matter.

Abstract translation: 公开了电路和其他有限状态系统的形式验证方法。 对于有限状态系统的模型，用于表示验证属性的断言图形，以及前向暗示属性和后向对齐属性的规范和自动验证的可满足性标准，公开了正式定义和语义。 公开了对断言图的前提标签执行先行强化的方法。 还公开了一种用于计算以模拟关系固定点结尾的模拟关系序列的方法，其可以与断言图的每个边缘的后果标记进行比较，以根据形式语义来验证暗示属性属性。 公开了一种用于从断言图的强化先行标签计算模拟关系序列的替代方法，从而允许对称属性的自动形式验证。 最后披露了通过抽象模型和断言图来显着减少计算的方法，并且通过模型从为模型和断言图抽象计算的模拟关系计算断言图的隐式可满足度。 本文还公开了其他方法和技术，其提供了对所要求保护的主题的更全面的利用。

公开(公告)号：US07016679B2

公开(公告)日：2006-03-21

申请号：US09788933

申请日：2001-02-20

Applicant: Sudeep Kumar Palat ,  Hatef Yamini ,  Jin Yang

Inventor： Sudeep Kumar Palat ,  Hatef Yamini ,  Jin Yang

IPC: H04Q7/20

CPC classification number: H04W92/14 ,  H04W88/14 ,  H04W88/16 ,  H04W92/24

Abstract: A mobile telephone network provides a network operator domain in which the output from a radio network controller (RAN) is processed by a voice capable serving GPRS support mode (VC-SGSN). The VC-SGSN consists of the combination of a voice service box (VSB) and a service GPRS support node (SGSN). The VSB and the SGSN can jointly access the same home location register). The output of the SGSN can be forwarded to the internet via a gateway GPRS support node while the output of the VSB can be forwarded to the public switched telephone network (PSTN).

Abstract translation: 移动电话网络提供网络运营商域，其中来自无线电网络控制器（RAN）的输出由具有语音能力的服务GPRS支持模式（VC-SGSN）来处理。 VC-SGSN由语音服务盒（VSB）和业务GPRS支持节点（SGSN）的组合组成。 VSB和SGSN可以共同访问相同的归属位置寄存器）。 SGSN的输出可以通过网关GPRS支持节点转发到互联网，而VSB的输出可以转发到公共交换电话网（PSTN）。

公开(公告)号：US20050192789A1

公开(公告)日：2005-09-01

申请号：US11124315

申请日：2005-05-05

Applicant: Jin Yang

Inventor： Jin Yang

IPC: G06F9/45 ,  G06F17/50

CPC classification number: G06F17/504

Abstract: Methods for formal verification of circuits and other finite-state systems are disclosed. Formal definitions and semantics are disclosed for a model of a finite-state system, an assertion graph to express properties for verification, and satisfiability criteria for specification and automated verification of forward implication properties and backward justification properties. A method is also disclosed to compute a simulation relation sequence ending with a simulation relation fixpoint, which can be compared to a consequence labeling for each edge of an assertion graph to verify implication properties and justification properties according to the formal semantics. A method for representing and verifying assertion graphs symbolically is disclosed that provides an effective alternative for verifying families of properties. A symbolic indexing function provides a way of identifying assignments to Boolean variables with particular scalar cases. Formally defining a class of lattice domains based on symbolic indexing functions, provides an efficient symbolic manipulation technique using BDDs. Other methods and techniques are also disclosed herein, which provide for fuller utilization of the claimed subject matter.

Abstract translation: 公开了电路和其他有限状态系统的形式验证方法。 对于有限状态系统的模型，用于表示验证属性的断言图形，以及前向暗示属性和后向对齐属性的规范和自动验证的可满足性标准，公开了正式定义和语义。 还公开了一种用于计算以模拟关系固定点结尾的模拟关系序列的方法，其可以与断言图的每个边缘的结果标记进行比较，以根据形式语义来验证暗示属性和对齐属性。 公开了用于表示和验证断言图的方法，其为验证属性族提供了有效的替代方案。 符号索引功能提供了一种识别具有特定标量情况的布尔变量赋值的方式。 基于符号索引功能正式定义一类晶格域，使用BDD提供了一种有效的符号操纵技术。 本文还公开了其他方法和技术，其提供了对所要求保护的主题的更全面的利用。

公开(公告)号：US20050147971A1

公开(公告)日：2005-07-07

申请号：US10501665

申请日：2003-01-20

Applicant: Sang-Kyou Lee ,  Seung-Kyou Lee ,  Byung-Fhy Suh ,  Wook-Jin Chae ,  Jong-Bum Kim ,  Jong-Sun Lee ,  Jung-Jin Yang

Inventor： Sang-Kyou Lee ,  Seung-Kyou Lee ,  Byung-Fhy Suh ,  Wook-Jin Chae ,  Jong-Bum Kim ,  Jong-Sun Lee ,  Jung-Jin Yang

IPC: C12N15/09 ,  A61K38/00 ,  A61P37/06 ,  C07K7/06 ,  C07K14/47 ,  C07K16/28 ,  C07K19/00 ,  C12P21/02 ,  C12Q1/68 ,  C07H21/04 ,  C07K14/195 ,  C07K14/705 ,  C12N15/74 ,  C12N15/85

CPC classification number: C07K7/06 ,  C07K2319/01

Abstract: This invention is about a novel Biomolecule Transduction Motif (BTM), Mph-1 peptide, which has a potential to transduce many biological response modifiers effectively into the cytoplasm, intracellular organelles or nucleus of prokaryotic or eukaryotic cells in vivo and in vitro, and the related technological methods using Mph-1 BTM. This Mph-1 BTM can be used for Durg Delivery System, development of new recombinant protein vaccines or DNA/RNA vaccines, gene and protein theraphy, production of pharmacologically or medicinally useful proteins or pharmacomedicinal drug therapy.

Abstract translation: 本发明涉及一种新的生物分子转导基因（BTM），Mph-1肽，其具有将体内和体外有效转导许多生物反应调节剂到原核或真核细胞的细胞质，细胞内细胞核或核中的潜力， 使用Mph-1 BTM的相关技术方法。 该Mph-1 BTM可用于Durg Delivery System，开发新的重组蛋白疫苗或DNA / RNA疫苗，基因和蛋白质疗法，药理学或药物有用蛋白质的生产或药物药物治疗。

公开(公告)号：US06909848B2

公开(公告)日：2005-06-21

申请号：US09852923

申请日：2001-05-10

Applicant: Sang-Ho Kim ,  Jun-Ho Koh ,  Kwang-Jin Yang

Inventor： Sang-Ho Kim ,  Jun-Ho Koh ,  Kwang-Jin Yang

IPC: H04B10/07 ,  H04B10/29 ,  H04B17/00 ,  H04J14/00 ,  H04J14/02 ,  H04Q3/52 ,  H04Q11/04

CPC classification number: H04J14/02

Abstract: A self-healing bit rate transducer in an optical transmission system includes a demultiplexer for demultiplexing optical signals into different wavelength channels; bit rate receivers for converting the demultiplexed optical signals into the corresponding electrical signals, for generating a bit-rate error signal, and for generating a temperature reference signal; a detecting section for generating a signal indicative of the bit rate of the optical signals outputted from the demultiplexer; and a controller for comparing the detected bit rate with a predetermined data to generate a control signal that is used to adjust the bit rate of the respective bit rate receiver.

Abstract translation: 光传输系统中的自修复比特率传感器包括用于将光信号解复用到不同波长信道中的解复用器; 比特率接收机，用于将解复用的光信号转换成对应的电信号，用于产生比特率误差信号，并用于产生温度参考信号; 检测部分，用于产生指示从解复用器输出的光信号的比特率的信号; 以及用于将检测到的比特率与预定数据进行比较以产生用于调整各个比特率接收机的比特率的控制信号的控制器。

公开(公告)号：US06829436B2

公开(公告)日：2004-12-07

申请号：US09750365

申请日：2000-12-28

Applicant: Jun-Ho Koh ,  Sang-Ho Kim ,  Byung-Jik Kim ,  Kwang-Jin Yang

Inventor： Jun-Ho Koh ,  Sang-Ho Kim ,  Byung-Jik Kim ,  Kwang-Jin Yang

IPC: H04J1402

CPC classification number: H04J3/0685 ,  H04J2203/0032 ,  H04J2203/0089 ,  H04L25/0262 ,  H04Q11/0005 ,  H04Q11/0478

Abstract: A cross-connect device in an optical network which includes a demultiplexer for demultiplexing an input optical signal by channels; a plurality of arbitrary transmission optical receivers for converting the optical channel signals received from the demultiplexer to electrical signals and for recovering a clock signal and data according to a reference clock signal generated at the transmission rate of the electrical signals; a cross-connect switch for path-routing the electrical signals received from the arbitrary transmission optical receivers; a controller for controlling the path-routing of the cross-connect switch; a plurality of arbitrary transmission optical transmitters for converting the electrical signal received from each output port of the cross-connect switch to an optical signal; and, a multiplexer for multiplexing the optical signals received from the arbitrary transmission optical transmitters onto one stand of optical fiber.

Abstract translation: 一种光网络中的交叉连接装置，包括用于通过信道解复用输入光信号的解复用器; 多个任意传输光接收机，用于将从解复用器接收的光信道信号转换为电信号，并根据以电信号的传输速率产生的参考时钟信号来恢复时钟信号和数据; 交叉连接开关，用于对从任意传输光接收器接收的电信号进行路径路由; 用于控制交叉连接交换机的路径路由的控制器; 多个任意传输光发射机，用于将从交叉连接交换机的每个输出端口接收的电信号转换为光信号; 以及多路复用器，用于将从任意传输光发射机接收的光信号复用到光纤的一个支架上。

公开(公告)号：US06788675B1

公开(公告)日：2004-09-07

申请号：US09979812

申请日：2001-11-14

Applicant: Jin Yang

Inventor： Jin Yang

IPC: H04L1266

CPC classification number: H04M7/006 ,  H04L29/06 ,  H04L65/103 ,  H04L65/104 ,  H04L69/04 ,  H04L69/16 ,  H04L69/161 ,  H04L69/22 ,  H04L69/28 ,  H04W28/06

Abstract: In a wireless packet switching telecommunications network, voice services are provided by having a compressor/decompressor in each mobile station to provide each voice packet with a compressed header. Voice data and signalling data are sent separately and in different data formats to the air interface. The compressed header may be an M bit and a cyclically reset timeclick_number, which is decompressed by use of a wallclock which counts reset cycles to reinstate the voice packet headers. Alternatively, RTP agents are provided at the compression and decompression points, and voice packets are sent without headers over a “high quality” network such as a frame relay or ATM network. Compression state of a voice packet header can be established by sending call set-up information over an out-of-band channel between compression points in a mobile station and in die network.

Abstract translation: 在无线分组交换电信网络中，通过在每个移动站中具有压缩器/解压缩器来为每个语音分组提供压缩报头来提供语音服务。 语音数据和信令数据分别以不同的数据格式发送到空中接口。 压缩报头可以是M位和周期性复位的时间戳数，其通过使用计时复位周期来恢复语音分组报头的挂钟解压缩。 或者，在压缩和解压缩点处提供RTP代理，并且在诸如帧中继或ATM网络的“高质量”网络上发送没有报头的语音分组。 可以通过在移动台和模块网络中的压缩点之间的带外信道上发送呼叫建立信息来建立语音分组报头的压缩状态。

公开(公告)号：US06752473B2

公开(公告)日：2004-06-22

申请号：US10086070

申请日：2002-02-27

Applicant: I-Jin Yang

Inventor： I-Jin Yang

IPC: B60T840

CPC classification number: B60T8/4881 ,  B60T8/4275 ,  B60T8/4872

Abstract: An electronically controlled brake system for automobiles is disclosed. This brake system has a low/intermediate pressure accumulator, which is connected to both the NC-type solenoid valves and the oil suction line so as to store pressurized oil discharged from the wheel brakes during an ABS pressure reducing mode, and feed the stored pressurized oil to the inlet of an oil pump during an ABS pressure increasing mode. This accumulator also stores pressurized oil outputted from the oil pump to feed the stored pressurized oil to the inlet of the oil pump during an ESP mode. The low/intermediate pressure accumulator of this invention thus acts as a low pressure accumulator during an ABS mode, and acts as an intermediate pressure accumulator during an ESP mode. Due to such a low/intermediate pressure accumulator, it is possible to reduce the number of parts making up the brake system.

Abstract translation: 公开了一种用于汽车的电控制动系统。 该制动系统具有低/中压蓄能器，其连接到NC型电磁阀和吸油管，以便在ABS减压模式期间存储从车轮制动器排出的加压油，并且将所储存的加压 在ABS增压模式下，油到油泵的入口。 该蓄能器还存储从油泵输出的加压油，以在ESP模式期间将储存的加压油供给到油泵的入口。 因此，本发明的低/中压蓄能器在ABS模式期间用作低压蓄能器，并且在ESP模式期间用作中间蓄压器。 由于这种低/中压蓄能器，可以减少构成制动系统的部件的数量。