基于LabVIEW的虚拟精细化频谱分析仪

LabVIEW是虚拟仪器领域中最具代表性的图形化编程开发平台,利用该平台设计了信号产生与分析系统,并从信号发生器、时域及频域测量三方面展开阐述,其中包括波形产生,时域参数测量,频谱分析,信号ZoomFFT分析等。频域分析系统除了基本频谱分析外,具体阐述了细化频谱ZoomFFT算法的原理,使得该频谱系统能够更实时高效的处理分析频谱密集型信号。     

面向语义网的中文本体应用研究

自从Protege出现以来,它成为唯一一款支持中文本体构建的工具,而且能够进行可视化操作。目前在部分领域已经构建了中文本体,但是对所构建本体在语义网中的应用缺乏研究。因为本体的应用主要依赖于推理工具,而国内尚无一款专业的基于中文本体的推理机或者推理工具,这阻碍了基于中文本体信息检索的发展。针对中文本体的应用,深入研究了本体在信息检索领域应用的现有技术、方法、工具。文中通过使用Jena开发包对中文本体的应用进行实验,实验表明,利用现有的推理工具等可以实现中文本体在语义网中的应用。     

MULTIVARIATE WALSH-FOURIER ANALYSIS

Abstract. In this paper we establish a statistical methodology for the spectral analysis of stationary multivariate time series via the Walsh-Fourier transform. Theoretical results pertaining to the definition and estimation of the Walsh-Fourier spectral matrix and functions of that matrix including cross-spectra, coherency and phase are given. An example of the statistical techniques developed in this paper is given; in particular, the methodologies are applied to neonatal sleep data collected from a study of the effect of maternal substance use during pregnancy.     

A parametric frequency response method for non-linear time-varying systems

A new parametric frequency response algorithm is introduced to investigate linear and non-linear dynamic systems with time-varying parameters. In the new algorithm the time-varying parameters are regarded as additional inputs of the systems and the non-linear generalised frequency response functions for multi-input-single-output systems are then employed to obtain Zadeh's system functions from a differential equation representation. The parametric frequency response method reveals how the time-varying parameters affect the behaviour of the systems through a time-varying term. The new method can be applied to both linear and non-linear time-varying systems.     

Designing multilayered wire‐grid polarizers using a monochromatic recursive convolution finite‐difference time‐domain algorithm

Multilayered wire‐grid polarizers (WGP) find application as low‐reflection polarizers in projection‐type liquid crystal display devices. A multilayered WGP is formed by adding thin layers on top of the metal ridges of an ordinary WGP. The ordinary WGP consists of a periodic array of parallel metal ridges, where the period of the array and the width of any individual metal ridge are typically less than the wavelength of the incident light. Such WGPs are often used as efficient polarizers. However, in certain applications, it is important to reduce the reflection from the WGP while preserving the polarization efficiency. One of the ways to achieve this goal is to add thin layers on top of the metal ridges of the ordinary WGP. The reduction in reflection from the multilayered WGP depends on the number and material of these additional layers. In this paper, we describe a design method for multilayered WGPs based on an effective medium theory, thin‐film computation method and a monochromatic recursive convolution finite‐difference time‐domain algorithm. The goal of design process is to identify suitable materials and thicknesses for the additional thin layers needed to lower the reflection appreciably. The design method is explained with the help of bilayered WGPs.     

Total curvature variation fairing for medial axis regularization

We present a new fairing method for planar curves, which is particularly well suited for the regularization of the medial axis of a planar domain. It is based on the concept of total variation regularization. The original boundary (given as a closed B-spline curve or several such curves for multiply connected domains) is approximated by another curve that possesses a smaller number of curvature extrema. Consequently, the modified curve leads to a smaller number of branches of the medial axis. In order to compute the medial axis, we use the state-of-the-art algorithm from [1] which is based on arc spline approximation and a domain decomposition approach. We improve this algorithm by using a different decomposition strategy that allows to reduce the number of base cases from 13 to only 5. Moreover, the algorithm reduces the number of conic arcs in the output by approx. 50%.     

基于PHP的多功能域名销售管理系统设计

针对目前常用的域名销售系统存在的诸如在域名注册资料获取不便、域名闲置难以及时处理等问题,研究并实现了一套基于PHP语言的多功能域名销售管理系统。介绍了系统的体系结构与设计思路,对基于MySQL的数据库、各功能模块等进行了描述;通过使用Smarty的前台模板引擎,解决了对注册商的域名进行分类、多条件管理、编辑等问题。系统运行表明,该方法符合域名管理规范,能有效提高域名管理质量。     

Word的高级应用——制作表单

通过实例,详细讲解用Word的窗体工具建立表单,以解决行政部门制作电子文档的空白表格时,让填写的人员方便、快捷地填写内容,又不随意修改(破坏)原有格式和原文。     

An approach for selecting seed URLs of focused crawler based on user-interest ontology

Seed URLs selection for focused Web crawler intends to guide related and valuable information that meets a user's personal information requirement and provide more effective information retrieval. In this paper, we propose a seed URLs selection approach based on user-interest ontology. In order to enrich semantic query, we first intend to apply Formal Concept Analysis to construct user-interest concept lattice with user log profile. By using concept lattice merger, we construct the user-interest ontology which can describe the implicit concepts and relationships between them more appropriately for semantic representation and query match. On the other hand, we make full use of the user-interest ontology for extracting the user interest topic area and expanding user queries to receive the most related pages as seed URLs, which is an entrance of the focused crawler. In particular, we focus on how to refine the user topic area using the bipartite directed graph. The experiment proves that the user-interest ontology can be achieved effectively by merging concept lattices and that our proposed approach can select high quality seed URLs collection and improve the average precision of focused Web crawler.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.