Terahertz spectroscopic uncertainty analysis for explosive mixture components determination using multi-objective micro-genetic algorithm

In practical applications, many suspicious samples may be a kind of mixture and consist of various chemical components that make the spectral analysis difficult. Various explosives and related compounds (ERC) in the mixture can be identified and the concentration of each component can be estimated based on the known spectral data of the pure explosive components. In this paper, the terahertz spectroscopic uncertainty analysis using a micro-GA has been proposed, in which the random assignment of alleles from parents to offspring is implied. An intelligent computation-based technical road-map is also provided for the analysis and optimisation of the terahertz spectroscopic combination analysis. A simulation with two given test cases for the ERC has been devised. The results of the simulation show that micro-GA and its derivatives have the potential applications in the fields of security, medicine and food industry to fast identify mixtures.     

基于感应无线的高分辨率位置检测系统研究

为了提高移动机车位置检测精度,提出了一种感应无线位置的检测方法.该方法采用一条独特的编码电缆,利用电磁感应原理,建立了发送线圈与编码电缆之间的信息传输系统,并通过检测感应电动势的相位和幅度,得到移动机车的位置.分析了感应无线检测的原理和方法,推导出了位置检测公式,并进行相关试验.试验结果表明,感应无线位置检测分辨率为2mm,检测精度达到了国际先进水平,可广泛应用于移动机车自动定位中.     

基于α分布的单矢量传感器多目标方位估计

研究 稳定分布条件下单矢量传感器的多目标方位估计问题。介绍多维 稳定分布特征函数的谱测度表示及谱测度估计方法,在此基础上推导出单矢量传感器输出速度正交分量满足特征函数谱测度表示方程,建立谱测度与目标方位间的对应关系,用特征函数法或一维投影法估计谱测度和目标源方位及数量。仿真结果表明,在 稳定分布假设下,基于谱测度的多目标方位估计法是合理有效的。     

中文RSS信息自动检索与分类研究

设计并实现了RSS垂直爬虫算法,利用广度优先算法聚焦于RSS源进行自动采集,并在文本分词基础上,针对RSS源进行词语权重计算方法的改进及词语过滤,利用VSM方法实现RSS自动分类。实验结果表明,RSS系统在较低的负载下,能以较高的效率和正确率实现中文RSS信息自动检索与分类,从而有效进行RSS信息聚合管理。     

基于模范用户的改进协同过滤算法

针对传统协同过滤算法普遍存在的稀疏性和扩展性问题,在传统协同过滤算法的基础上提出一种基于模范用户的协同过滤算法。通过对用户空间的聚类,自动选取模范用户聚类的最优粒度,利用模范用户产生推荐。实验结果表明,与传统协同过滤算法和其他基于聚类策略的算法相比,该算法在明显提高推荐效率的同时对推荐精度和稳定性都有所改进。     

A dual K-Na selective Prussian blue nanotubes sensor

A strategy for dual sensing of Na⁺ and K⁺ ions using Prussian blue nanotubes via selective inter/deintercalation of K⁺ ion and competitive inhibition by Na⁺ ion, is reported. The analytical signal is derived from the cyclic voltammetry cathodic peak position E_pc of Prussian blue nanotubes. Na⁺ and K⁺ levels in a sample solution can be determined conveniently using one Prussian blue nanotubes sensor. In addition, this versatile method can be applied for the analysis of single type of either Na⁺ or K⁺ ions. The dual-ion sensor response towards Na⁺ and K⁺ can be described using a model based on the competitive inhibition effects of Na⁺ on K⁺ inter/deintercalation in Prussian blue nanotubes. Successful application of the Prussian blue nanotubes sensor for Na⁺ and K⁺ determination is demonstrated in artificial saliva.     

Antichains and compositional algorithms for LTL synthesis

In this paper, we present new monolithic and compositional algorithms to solve the LTL realizability problem. Those new algorithms are based on a reduction of the LTL realizability problem to a game whose winning condition is defined by a universal automaton on infinite words with a k-co-Büchi acceptance condition. This acceptance condition asks that runs visit at most k accepting states, so it implicitly defines a safety game. To obtain efficient algorithms from this construction, we need several additional ingredients. First, we study the structure of the underlying automata constructions, and we show that there exists a partial order that structures the state space of the underlying safety game. This partial order can be used to define an efficient antichain algorithm. Second, we show that the algorithm can be implemented in an incremental way by considering increasing values of k in the acceptance condition. Finally, we show that for large LTL formulas that are written as conjunctions of smaller formulas, we can solve the problem compositionally by first computing winning strategies for each conjunct that appears in the large formula. We report on the behavior of those algorithms on several benchmarks. We show that the compositional algorithms are able to handle LTL formulas that are several pages long.     

基于免疫算法和反向传播神经元网络的无线网络入侵检测研究

为了能够检测到无线网络系统中已知和未知类型的入侵者,提高无线网络系统的安全性,在对网络数据分析和研究的基础上,提出一种基于免疫算法和反向传播神经元网络的入侵检测方法。首先利用免疫算法对网络数据进行预处理,再运用反向传播神经元网络对处理后的数据(程序)进行识别。实验表明用该方法检测无线网络系统中的新型入侵者是可行、有效的,检测入侵者的准确率可达到97%。     

基于数字图像处理的虚拟输入方法

针对当前嵌入式设备输入方法存在的高成本低体验问题,提出了一种运行于嵌入式系统中基于数字图像处理的虚拟输入方法.该方法利用嵌入式设备附加的摄像设备,对用户在虚拟键盘上的按键过程进行图像采集,通过角点识别和图像分割进行按键识别,以便通过采集到的图像定位出用户点击的目标按键,从而实现信息输入过程.通过实例验证了该方法的可行性...     

基于PDA的血细胞自动计数系统的研究

为克服现有血细胞计数仪结构复杂、体积大的缺点,介绍了一种基于个人数字助理(PDA)的便携式血细胞自动计数系统.本系统具有操作简便、体积小、准确度高等优点,能够满足野外血细胞计数检验的需要.系统包括显微镜、CCD摄像头、PDA,并采用eVC++4.0编程,实现了WIN CE操作系统下细胞图片的实时观察与处理,直接获得细胞...