Proposed scheme for parallel 10Gb/s VSR system and its Verilog HDL realization

This paper proposes a novel and innovative scheme for 10Gb/s parallel Very Short Reach (VSR) optical communication system. The optimized scheme properly manages the SDH/SONET redundant bytes and adjusts the position of error detecting bytes and error correction bytes. Compared with the OIF-VSR4-01.0 proposal, the scheme has a coding process module. The SDH/SONET frames in transmission direction are disposed as follows: (1) The Framer-Serdes Interface (FSI) gets 16x622.08Mb/s STM-64 frame. (2) The STM-64 frame is byte-wise stripped across 12 channels, all channels are data channels. During this process, the parity bytes and CRC bytes are generated in the similar way as OIF-VSR4-01.0 and stored in the code process module. (3) The code process module will regularly convey the additional parity bytes and CRC bytes to all 12 data channels. (4) After the 8B/10B coding, the 12 channels is transmitted to the parallel VCSEL array. The receive process approximately in reverse order of transmission process. By applying this scheme to 10Gb/s VSR system, the frame size in VSR system is reduced from 15552x12 bytes to 14040x12 bytes, the system redundancy is reduced obviously.

Pipeline Architecture and Parallel Computation-Based Real-Time Stereovision Tracking System for Surgical Navigation

This paper studies the development of a real-time stereovision system to track multiple infrared markers attached to a surgical instrument. Multiple stages of pipeline in field-programmable gate array (FPGA) are developed to recognize the targets in both left and right image planes and to give each target a unique label. The pipeline architecture includes a smoothing filter, an adaptive threshold module, a connected component labeling operation, and a centroid extraction process. A parallel distortion correction method is proposed and implemented in a dual-core DSP. A suitable kinematic model is established for the moving targets, and a novel set of parallel and interactive computation mechanisms is proposed to position and track the targets, which are carried out by a cross-computation method in a dual-core DSP. The proposed tracking system can track the 3-D coordinate, velocity, and acceleration of four infrared markers with a delay of 9.18 ms. Furthermore, it is capable of tracking a maximum of 110 infrared markers without frame dropping at a frame rate of 60 f/s. The accuracy of the proposed system can reach the scale of 0.37 mm RMS along the x- and y-directions and 0.45 mm RMS along the depth direction (the depth is from 0.8 to 0.45 m). The performance of the proposed system can meet the requirements of applications such as surgical navigation, which needs high real time and accuracy capability.

Pipeline Architecture and Parallel Computation-Based Real-Time Stereovision Tracking System for Surgical Navigation

This paper studies the development of a real-time stereovision system to track multiple infrared markers attached to a surgical instrument. Multiple stages of pipeline in field-programmable gate array (FPGA) are developed to recognize the targets in both left and right image planes and to give each target a unique label. The pipeline architecture includes a smoothing filter, an adaptive threshold module, a connected component labeling operation, and a centroid extraction process. A parallel distortion correction method is proposed and implemented in a dual-core DSP. A suitable kinematic model is established for the moving targets, and a novel set of parallel and interactive computation mechanisms is proposed to position and track the targets, which are carried out by a cross-computation method in a dual-core DSP. The proposed tracking system can track the 3-D coordinate, velocity, and acceleration of four infrared markers with a delay of 9.18 ms. Furthermore, it is capable of tracking a maximum of 110 infrared markers without frame dropping at a frame rate of 60 f/s. The accuracy of the proposed system can reach the scale of 0.37 mm RMS along the x- and y-directions and 0.45 mm RMS along the depth direction (the depth is from 0.8 to 0.45 m). The performance of the proposed system can meet the requirements of applications such as surgical navigation, which needs high real time and accuracy capability.

gcs-ma: a group communication system for mobile agents

Reliable messaging is a key component necessary for mobile agent systems. Current researches focus on reliable one-to-one message delivery to mobile agents. But how to implement a group communication system for mobile agents remains an open issue, which is a powerful block that facilitates the development of fault-tolerant mobile agent systems. In this paper, we propose a group communication system for mobile agents (GCS-MA), which includes totally ordered multicast and membership management functions. We divide a group of mobile agents into several agent clusters,and each agent cluster consists of all mobile agents residing in the same sub-network and is managed by a special module, named coordinator. Then, all coordinators form a ring-based overlay for interchanging messages between clusters. We present a token-based algorithm, an intra-cluster messaging algorithm and an inter-cluster migration algorithm to achieve atomicity and total ordering properties of multicast messages, by building a membership protocol on top of the clustering and failure detection mechanisms. Performance issues of the proposed system have been analysed through simulations. We also describe the application of the proposed system in the context of the service cooperation middleware (SCM) project.

软件过程的比较框架研究

软件过程在软件开发中占有非常重要的地位.根据项目的需求和特点,选择一个合适的软件过程可以使项目的开发事半功倍.为了指导软件过程的选择,本文给出了一个简明的软件过程比较框架,并依据这个比较框架,对几个典型的软件过程进行了分析和比较.

基于访问控制空间的多策略安全体系结构

为解决LSM在策略重用和策略共存方面存在的问题，提出了一个新的安全体系结构ELSM，它引入一个模型组合器作为主模块实施模块堆栈管理和模块决策管理，其中模块决策的实施采用了访问控制空间的策略规范方法，可支持通用性，ELSM的设计及其在安胜OS安全操作系统中的实例分析表明其有效性。

双面太阳电池垂直安装发电性能的测试

双面太阳电池是一种非常规太阳电池。本文通过建立光伏组件-控制器-蓄电池-负载试验系统，对日立公司双面受光单晶硅太阳电池组件分别在东西和南北朝向情况下垂直地面安装时的功率输出特性进行了测试和分析。根据应用测试结果，总结了双面受光太阳电池的应用优缺点和可能的应用方式。

近30年来陕北黄土高原土地利用动态变化分析

基于1975年的LandsatMSS影像,1986年、1997年和2006年的Landsat TM影像,利用遥感影像的计算机自动分类和目视解译,得到这4a的土地利用信息。利用ERDAS中的GIS分析模块和统计方法对这4a的土地利用图进行统计分析,得到1975-1986年、1986-1997年和1997-2006年这3个时间段的土地利用变化的数量、速度、幅度、空间格局特征。结果表明:耕地经历了一个先增加后减少的过程,草地、林地先减少后增加,居民地一直处于增加状态,未利用地从整体上来说处于减少状态,只不过在中期有一定数量的波动;在前期和中期土地利用类型间的相互转化基本一致,后期土地利用类型间的相互转化有所增强;耕地、草地、林地和未利用地是该地区土地利用变化的主导类型,主要是耕地、草地与其它土地利用类型间的相互转化。

High Speed VCSEL-Based Parallel Optical Transmission Modules

Design and fabrication of a parallel optical transmitter are reported. The optimized 12 channel parallel optical transmitter,with each channel＇s data rate up to 3Gbit/s,is designed, assembled, and measured. A top-emitting 850nm vertical cavity surface emitting laser（VCSEL） array is adopted as the light source,and the VCSEL chip is directly wire bonded to a 12 channel driver IC. The outputs of the VCSEL array are directly butt coupled into a 12 channel fiber array. Small form factor pluggable （SFP） packaging technology is used in the module to support hot pluggable in application. The performance results of the module are demonstrated. At an operating current of 8mA, an eye diagram at 3Gbit/s is achieved with an optical output of more than 1mW.

Array for 980nm Vertical Cavity Surface Emitting Diodes and Detectors

Both the vertical cavity surface emitting diodes and detectors are fabricated by using the epitaxial wafer with resonant cavity structure. Their characteristics are analyzed. The light emitters have high spectral purity of 4.8nm and high electroluminescence intensity of 0.7mW while injection current is 50mA. A 1*16 array of surface emitting light device is tested on line by probes and then used for module. The light detectors have wavelength selectivity and space selectivity. The required difference in input mirror reflectivity between emitters and detectors can easily be achieved though varying the numbers of top DBR period by etching.

High power continuous-wave operation of self-organized In(Ga)As/GaAs quantum dot lasers

Quantum dot (QD) lasers are expected to have superior properties over conventional quantum well lasers due to a delta-function like density of states resulting from three dimensional quantum confinements. QD lasers can only be realized till significant improvements in uniformity of QDs with free of defects and increasing QD density as well in recent years. In this paper, we first briefly give a review on the techniques for preparing QDs, and emphasis on strain induced self-organized quantum dot growth. Secondly, self-organized In(Ga)As/GaAs, InAlAs/GaAlAs and InAs/InAlAs Qds grown on both GaAs and InP substrates with different orientations by using MBE and the Stranski-Krastanow (SK) growth mode at our labs are presented. Under optimizing the growth conditions such as growth temperature, V/III ratio, the amount of InAs, InxGa1-xAs, InxAl1-xAs coverage, the composition x etc., controlling the thickness of the strained layers, for example, just slightly larger than the critical thickness and choosing the substrate orientation or patterned substrates as well, the sheet density of ODs can reach as high as 10(11) cm(-2), and the dot size distribution is controlled to be less than 10% (see Fig. 1). Those are very important to obtain the lower threshold current density (J(th)) of the QD Laser. How to improve the dot lateral ordering and the dot vertical alignment for realizing lasing from the ground states of the QDs and further reducing the Jth Of the QD lasers are also described in detail. Thirdly based on the optimization of the band engineering design for QD laser and the structure geometry and growth conditions of QDs, a 1W continuous-wave (cw) laser operation of a single composite sheet or vertically coupled In(Ga)As quantum dots in a GaAs matrix (see Fig. 2) and a larger than 10W semiconductor laser module consisted nineteen QD laser diodes are demonstrated. The lifetime of the QD laser with an emitting wavelength around 960nm and 0.613W cw operation at room temperature is over than 3000 hrs, at this point the output power was only reduced to 0.83db. This is the best result as we know at moment. Finally the future trends and perspectives of the QD laser are also discussed.

可信密码模块符合性测试方法研究

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

可信平台模块的形式化分析和测试

可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性.

可信平台模块分析与测试技术研究

在可信计算平台的体系结构中，可信平台模块的基础性地位决定了其在可信计算平台的研究中居于中心的地位。本文对可信平台模块中可信机制特别是隐私性保护机制进行了详细的分析，并以可信平台模块作为建模的对象，对其进行形式化分析，探讨利用形式化模型生成测试用例，进行符合性测试的技术。本文主要取得了以下几个方面的成果： 1、针对现有的隐私性保护方案即BCC方案在多信任域环境下的不足，提出了一种多信任域内的直接匿名证明方案，该方案为直接匿名证明方案在多信任域的网络环境下的应用奠定了基础。 2、针对BCC方案匿名性机制中“验证着相关的完全或无”匿名性的缺陷，提出了带子群隐私保护的隐私性保护方案，该方案为小群体内应用隐私性保护方案提供了可行的解决方法，增强了现有隐私性保护方案匿名机制的灵活性。 3、提出了一种新的基于双线性映射的直接匿名证明方案，该方案的计算量小，签名长度短，为下一代基于椭圆曲线的可信平台模块提供了可行的隐私性保护方案。 4、针对目前可信平台模块符合性测试缺少自动化测试方案的现实，本文提出了一个新的针对可信平台模块的测试方案，该方案利用EFSM形式化模型生成测试用例，支持覆盖度的分析，可以实现测试的自动化，在符合性测试中可以帮助提高测试的覆盖程度与工作效率。 5、最后，本文首次对可信平台模块的本地化产品可信密码模块进行了系统的分析，指出了其中的AP授权协议的一些缺陷，并给出了改进意见，对可信密码模块和可信平台模块进行了详细的对比和分析，指出可信密码模块存在的不足和优势。 总的说来，本文的研究成果为可信平台模块的推广提供了有力的支撑，并且为我国可信密码模块的发展提供了借鉴。 关键词：可信平台模块、可信计算平台、 符合性测试、直接匿名证明

沈阳市城市景观生态学研究

全球正在迅速工业化、城市化和现代化，当今世界一切环境污染、生态破坏问题无一不与工业化、城市化过程相联系。城市的发展对生态学提出了挑战。同样，景观生态学如何服务于城市，如何为城市的可持续发展，解决城市所面临的各种环境问题，这是广大景观生态学工作者义不容辞的责任。本文应用GIS技术，以沈阳市城市核心区（三环高速公路以内区域）为研究对象，应用景观生态学的理论与方法，探讨城市景观结构及景观与生态环境质量的关系，运用尺度分析方法来进行景观分区，探讨城市景观生态规划问题，以增加城市景观生态研究实例，补充与完善景观生态的理论与方法，为沈阳市城市景观生态建设提供理论依据。通过对其空间结构分析得出，该研究区内的景观多样性指数为2.847，优势度指数为1.059，聚积度指数为0.803。研究表明，在城市景观中存在着一明显的交错带，在该带中，景观多样性最大，。斑块数破碎化指数最大，优势度最小，均匀度最大，表明该带异质性最大，它处在郊区农业生态系统向城市中心过渡的过渡带，由于两个系统各自的能流与物流特征都可在该带内出现，所以集中了城市系统内部信息和郊区农业生态系统信息，使得该带内信息量最大，生态过程最强，这一交错带是信息流集中和汇集的焦点，是景观生态的活跃地带，对沈阳市而言，该带是一环路与二环路之间的区域。城市中人为利用开发程度从市中心向周边地区扩张，沈阳市建成区用地扩张的主要特点是条带发展带动区域扩张，局部突出促进整体发展，局部带动区域，区域带动全市，使城市用地规模不断增加，城区界限不断外延。尺度分析在景观生态学中越来越受到重视，本文应用尺度分析方法把沈阳市城市景观分为12个景观区，通过分区研究表明，沈阳市景观区布局不合理。结构决定功能，沈阳市城市环境质量状况与其景观结构有着密切的关系。不同类型的景观中，污染物含量的高低，因污染物的不同而异。TSP、SO2、NOx是工业景观中最多，绿地景观中最少，CO是道路中最多，绿地中最少。工业景观是环境污染的主要来源之一，这与工业本身的特点密切相关。沈阳市大气环境质量的空间分布状况与其景观结构密不可分。最后对城市景观生态规划的理论问题作了探讨，并提出了沈阳市城市景观生态规划的基本思路。