自聚焦棒耦合性能的分析

本文采用光线光学的原理分析了自聚焦棒（ＧＲＩＮ）的光学性能，在折射率分布为抛物线近似的条件下，推导出较为简单的ＧＲＩＮ中的光线轨迹方程，并实验测量了ＧＲＩＮ的耦合效率，从而由理论和实验两方面讨论ＧＲＩＮ的聚焦特性。     

Scattering of plane SH-waves by a cylindrical canyon of arbitrary shape in anisotropic media

The scattering and diffraction of plane SH-waves, by an arbitrary-shaped cylindrical canyon in anisotropic media is formulated here. Analytical solutions are obtained via the complex function theory, using the orthogonal property of the Hermite functions to solve the resulting set of infinite algebraic equations. Expressions for scattered displacements and scattered stresses are given. Three cross-sectional profile types are used in the numerical simulation of the two-dimensional canyon topography: (a) a semi-circular profile, (b) a semi-elliptical profile and (c) a triangular profile. The results obtained in (a) and (b) are consistent with known solutions computed by Trifunac and his co-workers [1,3] using a different method. As the exact solution for (c) is not known to exist, the result given here is believed to be new and would therefore serve as a useful check for numerical analysts working in this area.     

基于自由运动一维标定物的多摄像机参数标定方法与实验

一维标定方法易于实现且标定效率高,为了克服现有一维标定方法的一些不足,本文提出一种用一维标定物标定多摄像机内外参数的方法,首先进行两两标定,在此过程中,假定主点坐标近似已知而仅考虑畸变、焦距、旋转和平移等参数,接着利用基本矩阵及一维标定物上特征点之间的几何约束,估计两摄像机的内外参数,两两标定完成后,采用Dijkstra最短路径法和捆绑调整对多摄像机系统进行全局标定(含主点坐标),仿真和真实实验表明本文的方法是切实有效的.     

Software testing processes as a linear dynamic system

Software testing is essential for software reliability improvement and assurance, and the processes of software testing are intrinsically dynamic. However they are seldom investigated in a mathematically rigorous manner. In this paper a theoretical study is presented to examine the dynamic behavior of software testing. More specifically, a set of simplifying assumptions is adopted to formulate and quantify the software testing processes. The mathematical formulae for the expected number of observed software failures are rigorously derived, the bounds and trends of the expected number of observed software failures are analyzed, and the variance of the number of observed software failures is examined. On the other hand, it is demonstrated that under the simplifying assumptions, the software testing processes can be treated as a linear dynamic system. This suggests that the software testing processes could be classified as linear or non-linear, and there be intrinsic link between software testing and system dynamics.     

带有自适应补偿的不确定时滞系统鲁棒跟踪控制

为了克服高增益反馈项的缺陷, 设计了一个带有自适应补偿的控制器用于不确定时滞系统鲁棒跟踪控制. 本文证明了自适应补偿项的引入不会影响原来闭环系统的稳定性. 因此, 可以根据跟踪性能的需求和控制增益的约束来决定是否采用自适应补偿项. 最后, 数值仿真表明了控制器的有效性.     

Robustness of fuzzy operators in environments with random perturbations

In many applications, such as intelligent decision systems, there are usually random perturbations caused by the constant changing of real situations, thus the analysis of the robustness with respect to random perturbations is practically important. In the side of fuzzy methods, a corresponding problem arises: will a small random perturbation of fuzzy input cause a big variance of fuzzy output? This paper study the robustness of fuzzy schemes in environments with random perturbations. It focuses on fuzzy algebraic operators, and proposes two methods to analyze their robustness in environments with random perturbations. The effectiveness and features of the methods are shown by simulations.     

Software execution processes as an evolving complex network

Inspired by the surprising discovery of several recurring structures in various complex networks, in recent years a number of related works treated software systems as a complex network and found that software systems might expose the small-world effects and follow scale-free degree distributions. Different from the research perspectives adopted in these works, the work presented in this paper treats software execution processes as an evolving complex network for the first time. The concept of software mirror graph is introduced as a new model of complex networks to incorporate the dynamic information of software behavior. The experimentation paradigm with statistical repeatability was applied to three distinct subject programs to conduct several software experiments. The corresponding experimental results are analyzed by treating the software execution processes as an evolving directed topological graph as well as an evolving software mirror graph. This results in several new findings. While the software execution processes may demonstrate as a small-world complex network in the topological sense, they no longer expose the small-world effects in the temporal sense. Further, the degree distributions of the software execution processes may follow a power law. However, they may also follow an exponential function or a piecewise power law.     

双线性系统可控性综述

双线性系统是一类特殊的非线性系统,广泛存在于现实世界中,如工程、经济、生物、生态等领域,被认为是最接近于线性系统的非线性系统．对双线性系统的研究已历经了近半个世纪. 作为系统最基本的属性,双线性系统可控性的研究一直以来是热点和难点.本文分别对连续双线性系统可控性和离散双线性系统可控性进行讨论, 综述了双线性系统可控性的研究.特别地,报告了近来对离散双线性系统可控性研究的新成果.最后,例举了一些可控的双线性系统例子.     

基于Verilog 的正则表达式编译器的实现

随着网络带宽的快速增长,正则表达式匹配逐渐成为网络数据处理系统的性能瓶颈。为了获得更高的匹配效率,基于FPGA的正则表达式匹配引擎成为近年来的研究热点之一,而将正则表达式高效的转换成硬件描述语言是其中的关键技术。首先分析了正则表达式转换为硬件电路的算法,然后在此算法基础上实现了一个编译器。最后在Modelsim平台上进行了仿真,仿真结果证明了编译器的正确性。     

Semantic Dispositionalism, Idealization, and Ceteris Paribus Clauses

Kripke (Wittgenstein on rules and private language: an elementary exposition. Harvard University Press, Cambridge Mass, 1982) rejected a naturalistic dispositional account of meaning (hereafter semantic dispositionalism) in a skeptical argument about rule-following he attributes to Wittgenstein (Philosophical investigation. Basil Blackwell, Oxford, 1958). Most philosophers who oppose Kripke’s criticisms of semantic dispositionalism take the stance that the argument proves too much: semantic dispositionalism is similar to much of our respected science in some important aspects, and hence to discard the former would mean to give up the latter, which is obviously wrong. In this paper, I shall discuss and reject a recent defense of Kripke by Kusch (Analysis 65(2):156–163 2005; Sceptical guide to meaning and rules: defending Kripke’s Wittgenstein. McGill-Queen’s, London, 2006). Kusch attempts to show that semantic dispositionalism differs from the sciences, and consequently, Kripke’s attack can only target semantic dispositionalism, but not the sciences. Specifically, Kusch identifies some important features of the sciences with regard to how it employs idealization and ceteris paribus clauses, and argues that the ways in which semantic dispositionalism uses them are dramatically different. I argue that, upon close examination, the two are more similar than otherwise in each of those features.