Polarization-dependent pulse compression in an argon-filled cell through filamentation

Pulse compression through filamentation in an argon-filled cell was experimentally demonstrated by using circularly and linearly polarized pulses. A 53 fs circularly polarized pulse was successfully compressed to 15 fs. By using circularly polarized pulse input, the broadened spectrum was much wider and the incident energy in the gas cell can be increased by more than 3/2 times. Much shorter pulse could be compressed by using circularly polarized pulse input. [GRAPHICS] The temporal profile of the compressed pulse (C) 2008 by Astro Ltd. Published exclusively by WILEY-VCH Verlag GmbH & Co. KGaA.

Generation of sub-5 fs pulses through cascade of filamentation and hollow fiber compression

A pulse-compression scheme based on cascade of filamentation and hollow fiber has been demonstrated, Pulses with duration of sub-5 fs and energy of 0.2 mJ near 800 nm have been generated by compressing the similar to 40 fs pulses from a commercial laser system. This method is promising to generate near monocycle high energy pulses. [GRAPHICS] Measured autocorrelation curve of the final compressed pulses with duration of sub-5 fs (black solid) and the simulated autocorrelation curve of 4.6 fs pulse near 800 rim (red dash) (C) 2008 by Astro Ltd. Published exclusively by WILEY-VCH Verlag GmbH & Co. KGaA

Optoelectronic quotient-selected modified signed-digit division

A novel optoelectronic quotient-selected modified signed-digit division technique is proposed. This division method generates one quotient digit per iteration involving only one shift operation, one quotient selection operation and one addition/subtraction operation. The quotient digit can be selected by observing three most significant digits of the partial remainder independent of the divisor. Two algorithms based on truth-table look-up and binary logic operations are derived. For optoelectronic implementation, an efficient shared content-addressable memory based architecture as well as compact logic array processor based architecture with an electron-trapping device is proposed. Performance evaluation of the proposed optoelectronic quotient-selected division shows that it is faster than the previously reported convergence division approach. Finally, proof-of-principle experimental results are presented to verify the effectiveness of the proposed technique. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Photon iterative numerical technique for steady-state simulation of gain-clamped semiconductor optical amplifiers

The photon iterative numerical technique, which chooses the outputs of the amplified spontaneous emission spectrum and lasing mode as iteration variables to solve the rate equations, is proposed and applied to analyse the steady behaviour of conventional semiconductor optical amplifiers (SOAs) and gain-clamped semiconductor optical amplifiers (GCSOAs). Numerical results show that the photon iterative method is a much faster and more efficient algorithm than the conventional approach, which chooses the carrier density distribution of the SOAs as the iterative variable. It is also found that the photon iterative method has almost the same computing efficiency for conventional SOAs and GCSOAs.

12 W high efficiency single frequency ring laser

Single-frequency output power of 12 W at 1064 nm is demonstrated. Pumped by a fiber-coupled diode laser, the Nd:YVO4 produces 58.6% of the slope efficiency with respect to absorbed pump power, and 52.7% of the optical-optical efficiency and nearly diffraction-limited output with a beam quality parameter of M-2 approximate to 1.11. To the best of our knowledge, this is the highest slope efficiency and optical-optical efficiency in single-frequency Nd:YVO4 ring laser. The slope efficiency of the single frequency laser is close to the limit of the efficiency. [GRAPHICS] output spectrum of the single-frequency Nd:YVO4 ring laser

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

基于Lattice Boltzmann模型的液-液混合流模拟

引入了一种二元Lattice Boltzmann Model(LBM),实现了两种液体组成的混合流的模拟.不同于其它的类似模型,它区分考虑了流体的粘性和扩散特性,可以很容易地模拟各种互溶或者不互溶的混合流现象.此外,由于LBM的运算大都是线性的局部运算,这使得它很容易在可编程图形处理器(Graphics Process Unit,GPU)上进行加速,从而进行实时模拟.给出了若干二元混合流的模拟结果.

simulation and interaction of fluid dynamics

In the fluid simulation, the fluids and their surroundings may greatly change properties such as shape and temperature simultaneously, and different surroundings would characterize different interactions, which would change the shape and motion of the fluids in different ways. On the other hand, interactions among fluid mixtures of different kinds would generate more comprehensive behavior. To investigate the interaction behavior in physically based simulation of fluids, it is of importance to build physically correct models to represent the varying interactions between fluids and the environments, as well as interactions among the mixtures. In this paper, we will make a simple review of the interactions, and focus on those most interesting to us, and model them with various physical solutions. In particular, more detail will be given on the simulation of miscible and immiscible binary mixtures. In some of the methods, it is advantageous to be taken with the graphics processing unit (GPU) to achieve real-time computation for middle-scale simulation.

一种风险驱动的迭代开发需求优先级排序方法

需求优先级排序是指系统参与者为需求指定实现的优先次序,是迭代开发过程中开发者制定项目迭代计划的基础.现存的需求优先级排序方法对系统参与者之间的协商和调整优先级的支持能力不足,导致根据需求优先级所制定的迭代计划难以作出符合需求变更和环境改变的调整.提出一种风险驱动的需求优先级自适应排序方法.该方法将自适应计划方法学与风险驱动相结合,将风险作为排序决策的依据,以自适应的过程为迭代开发排序需求优先级.该方法能够改善需求优先级排序过程中系统参与者之间的协商和调整需求优先级的能力,增强在迭代开发中对需求的控制,降低因需求导致项目失败的可能性.

嵌入式DSP系统中SDF模型的层次化存储优化方法

在同步数据流模型(SDF)描述的嵌入式数字信号处理(DSP)系统中,计算体单一出现调度(SAS)算法对于存在反馈环和数据密集处理的应用不可解或内存优化效果很差.文中提出了将SAS和Non-SAS类型调度算法相结合的层次化的存储优化方法,定义了数据密集分量和强连通分量来描述环和数据密集处理结构,并依据数据优先消耗原则设计了启发式的Non-SAS调度算法对分量进行存储优化.该方法适用于任意SDF模型,并有良好的存储优化效果.实验结果证明了其有效性.

缺陷驱动的软件过程量化管理方法研究

随着软件应用范围的不断扩大和复杂程度的不断提高，软件开发过程越来越难以控制，软件质量也越来越难以保障。质量管理的思想和理念，已经从单纯的以面向软件产品的检验为主要手段的质量控制，发展到更加成熟、更加主动地对软件产品生产过程进行管理的质量保障。 作为高成熟度软件过程的特征，量化过程管理逐渐被软件组织接受并实施。通过实施量化管理，能够刻画项目或过程目标的满足程度，找到造成过程或产品重大偏差的根本原因。然而，在量化过程管理实施期间，软件组织面对不同的软件开发过程、众多的过程性能度量指标、复杂的统计分析方法，既要考虑量化管理方法的合理性和复杂程度，又要权衡量化管理的实施成本，这使得实施有效的量化过程管理充满挑战。本文以缺陷数据为中心，提出了一种缺陷驱动的量化过程管理框架，以及基于该框架的两个量化管理方法，支持软件组织收集量化过程管理所需数据，建立过程性能基线和过程性能模型，量化管理软件项目。该框架适合迭代、瀑布等不同的开发方法，支持项目全生命周期的量化管理。 本文主要贡献包括： 提出了一种缺陷驱动的量化过程管理框架(Defect-driven Quantitative Process Management framework, DefQPM)。量化管理中，保障软件质量是核心。质量和缺陷密切相关，软件开发过程中各类工程活动（如：需求、设计、编码、测试等）都伴随着缺陷的注入、排除和遗留。DefQPM框架以缺陷数据作为量化管理的出发点，自底向上的通过数据层、模型层、使用层来指导软件组织分析过程性能，识别度量指标间的相关性，建立符合自身情况的过程性能基线和过程性能模型，有效的实施量化过程管理。DefQPM框架给出了实施量化管理的过程和机制。基于DefQPM框架，可以建立针对特定应用场景的量化管理方法，以及针对特定软件组织的量化管理解决方案。 提出了一种基于DefQPM的迭代项目量化管理方法(process performance Baseline based Defect-driven iteration management, BiDefect)。迭代开发方法由于其灵活性和管理需求变更的能力，得到了广泛应用。然而，如何对迭代项目实施量化管理依然充满挑战。迭代项目中，各种活动多次并行执行，难以找到合适的控制点，也缺乏针对迭代项目的度量指标及分析方法。基于DefQPM框架，本文研究了迭代开发项目典型的量化管理需要（例如：通过控制每次迭代工作产品的质量来保障最终交付软件产品的质量），提出了一种针对迭代项目的量化管理方法，解决了量化管理迭代项目的几个主要挑战。该方法关注缺陷的注入、排除、遗留情况，指导项目策划期间建立整体估算和度量，在项目执行期间评价软件过程执行情况及软件产品的质量，及时识别异常并采取纠正措施，进而为项目后续工作中成本、进度、质量等方面提供估算、控制方面的指导。 提出了一种基于DefQPM的测试过程量化管理方法(Quantitatively Managing Testing process, TestQM)。测试是重要的质量控制活动，对于高成熟度软件组织来说也是需要进行量化管理的活动。缺陷检测和缺陷修复是测试过程的两类主要活动，需要不同技能的人员执行。目前流行的软件估算方法多是将缺陷检测和缺陷修复的工作量和进度统一纳入测试活动中进行估算和管理，不够准确。基于DefQPM框架，本文提出了一种专门针对测试过程的量化管理方法。该方法关注缺陷按注入阶段分布情况，缺陷与修复工作量的相关性，以及缺陷与修复进度的相关性，指导在早期项目建立测试过程的估算，在测试过程中根据缺陷按注入阶段分布情况调整缺陷修复工作量和进度，使得测试过程受控。同时，介绍了TestQM针对Web应用开发项目的经验模型。 最后，介绍了上述量化管理方法在国内软件组织中的应用，包括BiDefect方法在迭代开发项目中的应用，以及TestQM方法在Web应用开发项目中的应用。软件组织实施量化过程管理前后的过程性能变化表明，应用本文方法能够对项目进行有效的估算、度量、重新估算和控制，进而提高产品质量，改善客户满意度。