Phylogeny of the specialized schizothoracine fishes (Teleostei : Cypriniformes : Cyprinidae)

Phylogeny of the specialized schizothoracine fishes (Teleostei: Cypriniformes: Cyprinidae). Zoological Studies 40(2). 147-157. To elucidate phylogenetic relationships within the specialized schizothoracine fishes, we used 41 variable osteological and external characters among this groups, three species of Schizothorax, and 1 fossil species. When the 3 species of Schizothorax were designated as an outgroup and all 41 characters were set as unordered with equal weighting, the data matrix yielded a single most-parsimonious tree with a tree length of 71 steps, a consistency index of 0.6761, and a retention index of 0.7416. Meanwhile, a bootstrap test was conducted to verify the reliability of the results. The matrix was also analyzed for different conditions: all characters were ordered and the fossil species was added as an outgroup. The phylogenetic analyses presented herein support the following hypotheses. 1) All species of the specialized schizo-thoracines fishes form a monophyletic group. 2) Monophyly of the genus Ptychobarbus is not supported by the bootstrap test or when these characters are ordered. 3) The genus Gymnodiptychus forms a monophyletic group. 4) All species of Ptychobarbus and Gymnodiptychus form a monophyletic group with Diptychus as its sister group.

A low-cost CMOS programmable temperature

A novel uncalibrated CMOS programmable temperature switch with high temperature accuracy is presented. Its threshold temperature T-th can be programmed by adjusting the ratios of width and length of the transistors. The operating principles of the temperature switch circuit is theoretically explained. A floating gate neural MOS circuit is designed to compensate automatically the threshold temperature T-th variation that results form the process tolerance. The switch circuit is implemented in a standard 0.35 mu m CMOS process. The temperature switch can be programmed to perform the switch operation at 16 different threshold temperature T(th)s from 45-120 degrees C with a 5 degrees C increment. The measurement shows a good consistency in the threshold temperatures. The chip core area is 0.04 mm(2) and power consumption is 3.1 mu A at 3.3V power supply. The advantages of the temperature switch are low power consumption, the programmable threshold temperature and the controllable hysteresis.

A lattice dynamical treatment for the total potential energy of single-walled carbon nanotubes and its applications: relaxed equilibrium structure, elastic properties, and vibrational modes of ultra-narrow tubes

In this paper, we propose a lattice dynamic treatment for the total potential energy of single-walled carbon nanotubes (SWCNTs) which is, apart from a parameter for the nonlinear effects, extracted from the vibrational energy of the planar graphene sheet. The energetics, elasticity and lattice dynamics are treated in terms of the same set of force constants, independently of the tube structures. Based upon this proposal, we have investigated systematically the relaxed lattice configuration for narrow SWCNTs, the strain energy, the Young's modulus and Poisson ratio, and the lattice vibrational properties with respect to the relaxed equilibrium tubule structure. Our calculated results for various physical quantities are nicely in consistency with existing experimental measurements. In particular, we verified that the relaxation effect makes the bond length longer and the frequencies of various optical vibrational modes softer. Our calculation provides evidence that the Young's modulus of an armchair tube exceeds that of the planar graphene sheet, and that the large diameter limits of the Young's modulus and Poisson ratio are in agreement with the experimental values of graphite; the calculated radial breathing modes for ultra-narrow tubes with diameters ranging between 2 and 5 angstrom coincide with the experimental results and the existing ab initio calculations with satisfaction. For narrow tubes with a diameter of 20 angstrom, the calculated frequencies of optical modes in the tubule's tangential plane, as well as those of radial breathing modes, are also in good agreement with the experimental measurements. In addition, our calculation shows that various physical quantities of relaxed SWCNTs can actually be expanded in terms of the chiral angle defined for the corresponding ideal SWCNTs.

1 x 4 Ge-on-SOI PIN Photodetector Array for Parallel Optical Interconnects

High-quality Ge film was epitaxially grown on silicon on insulator using the ultrahigh vacuum chemical vapor deposition. In this paper, we demonstrated that the efficient 1 4 germanium-on-silicon p-i-n photodetector arrays with 1.0 mu m Ge film had a responsivity as high as 0.65 A/W at 1.31 mu m and 0.32 A/W at 1.55 mu m, respectively. The dark current density was about 0.75 mA/cm(2) at 0 V and 13.9 mA/cm(2) at 1.0 V reverse bias. The detectors with a diameter of 25 mu m were measured at 1550 nm incident light under 0 V bias, and the result showed that the 3-dB bandwidth is 2.48 GHz. At a reverse bias of 3 V, the bandwidth is about 13.3 GHz. The four devices showed a good consistency.

Polarization effects simulation of AlGaN/GaN heterojunction by using a symbolistic delta-doping layer

Polarization effects in AlGaN/GaN heterojunction are simulated based on a traditional semiconductor device simulator. A delta doping layer is purposely inserted at the interface of the heterojunction in the simulation, so the ionized donors or acceptors can represent polarization-induced positive or negative fixed charges. The free electron distribution of single AlGaN/GaN heterostructures with Ga-face and N-face growth is compared, and the results of the simulation show that carrier confinement takes place only in the former structure. The dependence of sheet density of free electrons at the interface of Ga-face growth AlGaN/GaN on Al composition and the thickness of AlGaN is also investigated. The consistency of simulation results with the experiments and calculations reported by other researchers shows that this method can be effectively used to deal with the polarization effects in the simulation of GaN-based heterojunction devices. (C) 2004 Elsevier Ltd. All rights reserved.

Room-temperature spin-oriented photocurrent under near-infrared irradiation and comparison of optical means with Shubnikov de-Haas measurements in AlXGa1-XN/GaN heterostructures

The admixture of linear and circular photogalvanic effects and (CPGEs) in AlxGa1-xN/GaN heterostructures has been investigated quantitatively by near-infrared irradiation at room temperature. The spin-based photocurrent that the authors have observed solidly indicates the sizable spin-orbital interaction of the two-dimensional electron gas in the heterostructures. Further analysis shows consistency between studies by optical and magnetic (Shubnikov de-Haas) measurements on the spin-orbital coupling effects among different AlxGa1-xN/GaN heterostructures, indicating that the CPGE measurement is a good way to investigate the spin splitting and the spin polarization in semiconductors. (C) 2007 American Institute of Physics.

Continuous weak measurement and feedback control of a solid-state charge qubit: A physical unravelling of non-Lindblad master equation

Conventional quantum trajectory theory developed in quantum optics is largely based on the physical unravelling of a Lindblad-type master equation, which constitutes the theoretical basis of continuous quantum measurement and feedback control. In this work, in the context of continuous quantum measurement and feedback control of a solid-state charge qubit, we present a physical unravelling scheme of a non-Lindblad-type master equation. Self-consistency and numerical efficiency are well demonstrated. In particular, the control effect is manifested in the detector noise spectrum, and the effect of measurement voltage is discussed.

Spectral dependence of spin photocurrent and current-induced spin polarization in an InGaAs/InAlAs two-dimensional electron gas

The converse effects of spin photocurrent and current induced spin polarization are experimentally demonstrated in a two-dimensional electron gas system with Rashba spin splitting. Their consistency with the strength of the Rashba coupling as measured for the same system from beating of the Shubnikov-de Haas oscillations reveals a unified picture for the spin photocurrent, current-induced spin-polarization, and spin-orbit coupling. In addition, the observed spectral inversion of the spin photocurrent indicates a system with dominating structure inversion asymmetry.

高速缓存优化的并行连接算法

由于嵌套循环连接操作过程中存在较大的高速缓存缺失,严重影响了连接查询的性能。提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法。通过高速缓存参数无关和缓冲技术,提高了连接算法的空间局部性和时间局部性。理论分析和实验结果表明,高速缓存优化后的串行连接算法的性能是原来的2倍,其并行算法效果近似线性加速比。

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

多级安全OS与DBMS模型的信息流及其一致性分析

数据库安全与操作系统安全密不可分,如果多级安全DBMS的安全策略不违反OS的安全策略,那么可以使用多级安全OS的安全机制来实现DBMS的部分安全功能,如强制访问控制.信息流分析使我们能更好地理解安全策略的意义和内容.该文给出了多级安全OS模型和以该模型为基础的多级安全DBMS模型,首次详细分析了它们在强制访问控制策略下的信息流集合.经过主客体的映射后,证明了数据库与操作系统的信息流集合是一致的,这个结论保证了利用OS的机制来实现DBMS的强制访问控制的合理性.

循环优化序列自动定制方法研究

现代计算机在体系结构和应用场景复杂性的增长使得程序性能的增长、保持程序性能的可移植性以及程序开发效率的提升越来越困难，程序自动调优(auto-tuning) 是解决此问题的一个可行途径。本文研究一种通过为循环嵌套自动定制循环优化序列来进行程序自动调优的方法，提高了被编译程序的性能和可移植性，也有助于提升开发效率。 在综述相关工作的基础上，本文首先分析了循环优化序列自动定制研究需要解决的几个关键问题：循环优化的形式化描述及实施、循环优化序列的性能评估、循环优化序列的自动定制方法以及相关的原型工具。本文围绕这几个问题进行研究。 本文采用了Polyhedron模型来描述循环优化，并基于此实施了循环优化的仿射变换。这一工作基于URUK/WRaP-IT开源软件包实现，并作出了若干重要改进。借助Polyhedron模型，本文还给出了部分常见循环优化之间的使能(enable)关系。循环优化之间的相互影响较为普遍，一个循环优化的执行可能会破坏后续优化的实施条件，也可能不破坏甚至创造相应条件。这一关系可以用于过滤循环优化序列定制过程中产生的无效序列从而加快定制速度。本文分析了两个循环优化以先后次序执行时，循环嵌套内所有依赖距离向量均得以保持的条件，给出了它们之间的使能关系。并且给出了使能关系在Polyhedron模型下的计算方法，以及在序列搜索过程中通过维护依赖距离向量状态计算使能关系的方法。 对于循环优化序列性能评估方法，本文采用了高速缓存失效率简化方程(CMES方程)以动态给出循环嵌套中的高速缓存失效率数据，提出了LoopCost模型以静态分析方式发现循环嵌套中对性能影响最大的维度，这两种评估方法分别适用于不同的序列定制方法。 给出了Cache 失效率简化方程(CMES, Cache Miss Equation Simplified)在Polyhedron 模型下的求解方法。CMES方程可在编译时给出循环嵌套中的Cache失效率数据，不需要实际编译运行目标程序，从而避免相关文献中使用运行时信息来评价优化序列带来的巨大编译开销。给出了CMES方程各个参数从循环嵌套的Polyhedron模型中提取的方法，并给出了具体计算过程。 提出了一种可发现循环嵌套中对性能影响最大维度的循环优化性能评估模型LoopCost。相关文献中所使用的性能评估模型可给出一个循环嵌套的整体性能，但无法给出哪个维度对其性能影响最大；而大多数循环优化实际上是对某一个维度所做的变换，因此这些评估模型不能直接指导优化序列的搜索，只能是在一个迭代过程中提供性能信息。LoopCost模型基于数据依赖关系对一个循环嵌套估算出其每个维度使用的cache行数，作为衡量局部性优劣的指标，适用于紧嵌套循环和非紧嵌套循环，并且其复杂度与循环嵌套个数和引用个数成线性关系。通过对SPEC CPU 2006中5,703个循环嵌套的实验，LoopCost模型对其中98.3%的循环嵌套都能给出正确的性能评估数据。 对于循环优化序列自动定制方法，本文首先提出了一种基于CMES方程的Custom方法，使用迭代方式搜索可行优化序列；为了进一步提升优化效率，又提出了一种基于LoopCost模型的快速定制方法FastCustom。 Custom方法使用CMES方程评估优化序列，使用遗传算法作为序列搜索方法。在遗传算法中的各个算子中利用循环优化的enable关系加速搜索速度。该方法可以避免使用运行时刻信息评估性能所带来的巨大编译开销，又可避免相关工作中利用Polyhedron模型中语句实例执行次序矩阵的性质来搜索带来的局限性，适用的循环优化范围广，编译效率高，同时能取得与相关工作基本相当的加速比。 FastCustom方法优化效率高，并且与Custom方法不同，适用于所有场合。它基于LoopCost模型寻找对性能影响最大的维度，并根据一个启发式策略给出一个循环优化序列。该方法编译速度快，优化效果与Custom方法基本相当。与Custom相比，该方法需要给出启发式策略，因此适用的循环优化范围不如Custom，适用于迭代编译无法进行的情形。 对于循环优化序列自动定制原型工具，本文设计并实现了原型工具CPOLO。该工具改进了URUK/WRaP-IT开源软件包，使其能够支持较为复杂的程序；增强了代码重生成的效率；并且实现了本文所提出的优化序列性能评估模型和自动定制方法。 最后，总结了全文并探讨了进一步的工作方向。

事务处理技术综述

事务处理技术是保证信息可靠性和一致性的重要技术。事务是具有ACID(atomicity, consistency, isolationanddurability)特性的原子操作序列，它的概念最早来湖泊于数据库管理系统，用来保证应用程序对数据库访问的一致性和可靠性。在早期应用中，商用DBMS系统内部集成的事务管理器提供应用所需的事务处理功能。随着网络技术的发展以及应用需求的变化，以往集中式应用演化发展为网络分布应用，数据和处理分布在不同的计算机上。此时事务管理功能由专门的中间件（例如事务监控器）提供，事务处理技术也发展为分布式事务处理。

基于序列模式的Servlet容器缓存替换

Servlet缓存能够有效地提高Servlet容器的吞吐量,缩短用户请求的响应时间.然而,Servlet缓存的性能受到缓存替换算法的影响.Servlet容器中的Servlet对应着一定的业务功能,挖掘Servlet之间的业务关联来指导缓存替换算法的设计可以提高Servlet缓存的命中率,进而提高Servlet容器的性能.然而,目前常见的LRU(least recently used),LFU(least frequently used),GDSF(greedy dual size frequency)等缓存替换算法均没有考虑上述问题.将Servlet对应的业务关联定义为Servlet容器序列模式,并提出k步可缓存转移概率图的概念加以表示,给出了序列模式发现算法KCTPG_Discovery.最后,基于Servlet容器序列模式设计了缓存替换算法KP-LRU(k-steps prediction least recently used)和KP-GDSF(k-steps prediction least frequently used).实验结果表明,KP-LRU与KP-GDSF算法比对应的LRU算法和GDSF算法具有更高的缓存命中率,有效地提高了Servlet容器的性能.

多媒体节目时序描述的完全性和协调性

完全性和协调性是形式规范的两个基本性质 .针对不同的形式规范 ,完全性和协调性的定义可能是不同的 .该文首先根据通信顺序进程的理论 ,把一个多媒体流用两个瞬时事件表示 ,并且定义了时间区间向量的概念和在它之上的一些运算 .基于这些准备工作 ,文中给出了多媒体系统中媒体对象时序关系描述的完全性和协调性的形式定义 .由于文中讨论的时序描述语言较简单 ,但是对于多媒体领域又是足够的 ,因此 ,与相关工作比较 ,该文研究的完全性和协调性的形式定义更直观 ,判定算法也更高效