公开(公告)号：US20100299651A1

公开(公告)日：2010-11-25

申请号：US12708651

申请日：2010-02-19

Applicant: GEORGIOS FAINEKOS ,  Sriram Sankaranarayanan ,  Franjo Ivancic ,  Aarti Gupta

Inventor： GEORGIOS FAINEKOS ,  Sriram Sankaranarayanan ,  Franjo Ivancic ,  Aarti Gupta

IPC: G06F9/44

CPC classification number: G06F17/5036 ,  G06F8/30 ,  G06F11/362 ,  G06F2217/16

Abstract: A system and method for testing robustness of a simulation model of a cyber-physical system includes computing a set of symbolic simulation traces for a simulation model for a continuous time system stored in memory, based on a discrete time simulation of given test inputs stored in memory. Simulation errors are accounted for due to at least one of numerical instabilities and numeric computations. The set of symbolic simulation traces are validated with respect to validation properties in the simulation model. Portions of the simulation model description are identified that are sources of the simulation errors.

Abstract translation: 用于测试网络物理系统的仿真模型的鲁棒性的系统和方法包括基于存储在存储器中的给定测试输入的离散时间模拟来计算用于存储在存储器中的连续时间系统的模拟模型的一组符号仿真轨迹 记忆。 由于数值不稳定性和数值计算中的至少一个，造成了模拟误差。 关于仿真模型中的验证属性验证了一组符号仿真轨迹。 识别模拟模型描述的部分是模拟错误的来源。

公开(公告)号：US20100293530A1

公开(公告)日：2010-11-18

申请号：US12761575

申请日：2010-04-16

Applicant: FRANJO IVANCIC ,  Malay K. Ganai ,  Sriram Sankaranarayanan ,  Aarti Gupta

Inventor： FRANJO IVANCIC ,  Malay K. Ganai ,  Sriram Sankaranarayanan ,  Aarti Gupta

IPC: G06F9/44

CPC classification number: G06F11/3608

Abstract: Methods and systems for verifying the precision of a program that utilizes floating point operations are disclosed. Interval and affine arithmetic can be employed to build a model of the program including floating point operations and variables that are expressed as reals and integers, thereby permitting accurate determination of precision loss using a model checker. Abstract interpretation can be also employed to simplify the model. In addition, counterexample-guided abstraction refinement can be used to refine the values of parametric error constants introduced in the model.

Abstract translation: 公开了用于验证利用浮点运算的程序的精度的方法和系统。 可以采用间隔和仿射算法来构建程序的模型，包括浮点运算和表示为真值和整数的变量，从而可以使用模型检验器精确确定精度损失。 抽象解释也可以用来简化模型。 此外，反例引导的抽象改进可以用于细化模型中引入的参数误差常数的值。

公开(公告)号：US20100285752A1

公开(公告)日：2010-11-11

申请号：US12724513

申请日：2010-03-16

Applicant: Sriram Lakshmanan ,  Karthikeyan Sundaresan

Inventor： Sriram Lakshmanan ,  Karthikeyan Sundaresan

IPC: H04B15/00 ,  H04B17/00

CPC classification number: H04B7/0617 ,  H04B7/0691 ,  H04B7/0874 ,  H04B17/21

Abstract: Beamforming methods and systems are described in which differential channel estimation can be computed based on measured power at receiver. Simultaneous activation of antennas in separate pairs can be used to determine relative phases of antennas with respect to a reference antenna based on the power measurements. In turn, the beam forming signals can be weighted in accordance with the relative phases to adapt the signals to a multipath environment. Existing power measurement capabilities of conventional receivers can be employed to achieve approximate channel estimates.

Abstract translation: 描述波束形成方法和系统，其中可以基于接收机处的测量功率来计算差分信道估计。 基于功率测量，可以同时激活分立的天线对天线相对于参考天线的相对相位。 反过来，波束形成信号可以根据相对相位加权，以将信号适配到多路径环境。 常规接收机的现有功率测量功能可用于实现近似信道估计。

公开(公告)号：US20100266282A1

公开(公告)日：2010-10-21

申请号：US12760813

申请日：2010-04-15

Applicant: Yue-Kai Huang ,  Ting Wang ,  Dayou Qian ,  Robert Saperstein

Inventor： Yue-Kai Huang ,  Ting Wang ,  Dayou Qian ,  Robert Saperstein

IPC: H04J14/06 ,  H04L27/28

CPC classification number: H04L5/04 ,  H04B10/548 ,  H04B10/60 ,  H04J14/06 ,  H04L27/2697

Abstract: A method includes modulating lightwaves to provide first and second OFDM signal sidebands at a first polarization direction and first and second OFDM signal sidebands at a second polarization direction, and combining sidebands that are oppositely positioned and joined from the first and second OFDM signal sidebands at each polarization direction to provide a polarization multiplexing OFDM signal.

Abstract translation: 一种方法包括调制光波以在第一偏振方向提供第一和第二OFDM信号边带，以及在第二极化方向上提供第一和第二OFDM信号边带，并且组合在每一个处与第一和第二OFDM信号边带相对地定位和连接的边带 偏振方向，以提供偏振复用OFDM信号。

公开(公告)号：US07818643B2

公开(公告)日：2010-10-19

申请号：US12034088

申请日：2008-02-20

Applicant: Seongmoon Wang ,  Srimat T Chakradhar

Inventor： Seongmoon Wang ,  Srimat T Chakradhar

IPC: G01R31/28

CPC classification number: G01R31/318547

Abstract: A method includes compressing control patterns describing values required at the control signals of blocking logic gates, by linear feedback shift register LFSR reseeding; bypassing blocking logic gates for some groups of scan chains that do not capture unknown values in output response of scan test patterns for testing circuits; and reducing numbers of specified bits in densely specified ones of the control patterns for further reducing the size of a seed of the LFSR.

Abstract translation: 一种方法包括通过线性反馈移位寄存器LFSR重新进给来压缩描述阻塞逻辑门控制信号所需的值的控制模式; 绕过阻塞逻辑门，用于扫描链的扫描测试图形的输出响应中未捕获未知值的扫描链组; 并且减少密集指定的控制模式中的指定位的数量，以进一步减小LFSR的种子的大小。

公开(公告)号：US20100260500A1

公开(公告)日：2010-10-14

申请号：US12712701

申请日：2010-02-25

Applicant: Philip Nan JI ,  Ting WANG ,  Yoshiaki AONO

Inventor： Philip Nan JI ,  Ting WANG ,  Yoshiaki AONO

IPC: H04J14/02

CPC classification number: H04Q11/0005 ,  H04J14/0212 ,  H04J14/0213 ,  H04J14/0217 ,  H04J14/0219 ,  H04Q2011/0035 ,  H04Q2011/0052

Abstract: A modular wavelength cross connect node for use in a dense wavelength division multiplexing network exhibiting low cost and improved performance by employing a bidirectional wavelength selective switch in a main optical path and using optical circulators to share any common ports.

Abstract translation: 一种模块化波长交叉连接节点，用于通过在主光路中采用双向波长选择开关并使用光循环器共享任何公共端口的低成本和改进的性能的密集波分复用网络。

公开(公告)号：US20100247104A1

公开(公告)日：2010-09-30

申请号：US12698688

申请日：2010-02-02

Applicant: Jianjun Yu ,  Lei Xu ,  Philip Nan Ji ,  Ting Wang

Inventor： Jianjun Yu ,  Lei Xu ,  Philip Nan Ji ,  Ting Wang

IPC: H04B10/00

CPC classification number: H04B10/508 ,  H04B10/2575 ,  H04B10/505 ,  H04J14/02 ,  H04J14/0256

Abstract: A method of generating a dark-RZ pulse in an optical communications system with a dual-arm modulator by setting a direct current bias on the modulator to a specific value such that an output optical power from the modulator achieves a maximum value when the RF signals on the first and second arms of the modulator are off and maintaining the direct current bias at the specific value and applying RF signals to the first and second arms of the modulator and delaying one of the RF signals applied to one of the first and second arms relative to the other of the RF signals such that a dark-RZ pulse is generated with a duty cycle based on the delay. Another aspect of the invention provides a method for generating dense wave division multiplexing (DWDM) optical mm-waves in an optical transmission system by phase modulated DWDM optical signal and applying the phase modulated DWDM optical signal to an input port of an optical interleaver, the optical interleaver having a specified bandwidth to suppress the optical carriers and convert the DWDM optical signal to DWDM optical mm-waves; and amplifying the DWDM optical mm-waves and transmitting the DWDM optical mm-waves over single mode fiber (SMF).

Abstract translation: 一种在具有双臂调制器的光通信系统中通过将调制器上的直流偏置设置为特定值来产生暗RZ脉冲的方法，使得来自调制器的输出光功率在RF信号 在调制器的第一和第二臂处关闭并将直流偏压保持在特定值并且将RF信号施加到调制器的第一和第二臂并且延迟施加到第一和第二臂之一的RF信号之一 相对于RF信号中的另一个，使得以基于延迟的占空比产生暗RZ脉冲。 本发明的另一方面提供了一种通过相位调制DWDM光信号在光传输系统中产生密集波分复用（DWDM）光学毫米波的方法，并将相位调制的DWDM光信号应用于光交织器的输入端口， 具有指定带宽的光交错器以抑制光载波并将DWDM光信号转换为DWDM光学毫米波; 并放大DWDM光学毫米波，并通过单模光纤（SMF）传输DWDM光学毫米波。

公开(公告)号：US20100232804A1

公开(公告)日：2010-09-16

申请号：US12535329

申请日：2009-08-04

Applicant: Ivan B. Djordjevic ,  Lybomir L. Minkov ,  Lei Xu ,  Ting Wang

Inventor： Ivan B. Djordjevic ,  Lybomir L. Minkov ,  Lei Xu ,  Ting Wang

IPC: H04B10/00 ,  H03K5/159 ,  H04B10/04 ,  H04B10/06

CPC classification number: H04L1/005 ,  H04B10/60 ,  H04L1/0047 ,  H04L25/03203 ,  H04L25/03318 ,  H04L27/3488 ,  H04L2025/03375

Abstract: Multilevel soft-equalizer detectors, such as a maximum a posteriori probability (MAP) detector, suitable for use in polarization multiplexed optical communications using multilevel modulations and coherent detection are disclosed. Detection systems and methods may consider two symbols transmitted over two orthogonal polarization states as a two-component symbol, which is effective in eliminating the bit error ratio (BER) floor phenomenon introduced by conventional soft equalizers.

Abstract translation: 公开了适用于使用多级调制和相干检测的偏振复用光通信中的多级软均衡器检测器，例如最大后验概率（MAP）检测器。 检测系统和方法可以将以两个正交极化状态发送的两个符号视为双分量符号，这有效消除了常规软均衡器引入的误码率（BER）的现象。

公开(公告)号：US20100232803A1

公开(公告)日：2010-09-16

申请号：US12731869

申请日：2010-03-25

Applicant: Philip Nan Ji ,  Lei Xu ,  Ting Wang ,  Shuji Murakami ,  Tsutomu Tajima ,  Yutaka Yano

Inventor： Philip Nan Ji ,  Lei Xu ,  Ting Wang ,  Shuji Murakami ,  Tsutomu Tajima ,  Yutaka Yano

IPC: H04B10/12

CPC classification number: H04B10/677

Abstract: An optical device includes an interferometer for a received optical differential phase shift keying DPSK signal, and an equalizer integrated with the interferometer in a manner for reducing from optical filtering effects an interference by signal bits of the DPSK signal with signal bits of a contiguous DPSK signal. The interferometer is a Michelson delay interferometer type, but can also be a Mach-Zehnder delay interferometer type on fiber, waveguide or other optical structure. The equalizer is a Fabry-Perot type equalizer, but can be a ring resonator type or a fiber based equalizer.

Abstract translation: 光学装置包括用于接收的光学差分相移键控DPSK信号的干涉仪，以及与干涉仪集成的均衡器，以减少光学滤波的方式，利用DPSK信号的信号位与相邻DPSK信号的信号位的干扰 。 干涉仪是迈克尔逊延迟干涉仪型号，但也可以是光纤，波导或其他光学结构上的马赫 - 曾德延迟干涉仪。 均衡器是法布里 - 珀罗型均衡器，但可以是环形谐振器型或基于光纤的均衡器。

公开(公告)号：US07784046B2

公开(公告)日：2010-08-24

申请号：US11237017

申请日：2005-09-28

Applicant: Marcello Lajolo ,  Kanishka Lahiri ,  Srimat T. Chakradhar ,  Abhishek Mitra

Inventor： Marcello Lajolo ,  Kanishka Lahiri ,  Srimat T. Chakradhar ,  Abhishek Mitra

IPC: G06F9/44

CPC classification number: G06F17/5045 ,  G06F2217/86

Abstract: The invention is an efficient system and method for re-partitioning an existing system-level design by boosting the fraction of system functionality that is implemented using embedded software. The invention comprises automated techniques for identifying hardware targets to be softened and techniques for automatically generating a new system-level architecture having a new hardware/software boundary.

Abstract translation: 本发明是一种有效的系统和方法，用于通过提高使用嵌入式软件实现的系统功能的一部分来重新分区现有的系统级设计。 本发明包括用于识别要软化的硬件目标的自动化技术和用于自动生成具有新硬件/软件边界的新系统级架构的技术。