一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

The next generation models for crops and agro-ecosystems

Growth in population, decrease in arable land area, and change in climate are endangering our food security. Precision agriculture has the potential to increase crop productivity thorough tailored agricultural practices for different growing areas. Many models of crops and agro-ecosystems capable of predicting interaction between plants and environments have been developed for precision agriculture. Currently, there are several representative categories of crop and agro-ecosystem models, including the de Wi...     

Analysis of microwave brightness temperature of lunar surface and inversion of regolith layer thickness:Primary results of Chang-E 1 multi-channel radiometer observation

In China’s first lunar exploration project, Chang-E 1 (CE-1), a multi-channel microwave radiometer was aboard the satellite, with the purpose of measuring microwave brightness temperature from lunar surface and surveying the global distribution of lunar regolith layer thickness. In this paper, the primary 621 tracks of swath data measured by Chang-E 1 microwave radiometer from November 2007 to February 2008 are collected and analyzed. Using nearest neighbor interpolation based on the sun incidence angle in ...     

机器人足球视觉系统的软件研究

小型机器人足球比赛中,由于所采用的机器人尺寸小,动作快,因此,视觉软件系统需要准确快速地处理图像数据并将结果提供给决策系统。本文利用图像处理和统计信号处理的技术,在视觉软件系统中实现了机器人和球的检测、识别、跟踪和预测功能,并对该软件系统的设计作了详细的介绍。实验结果表明,系统运行稳定,其速度可达到40帧／s,时间延迟为0．025s。     

异构计算环境中循环级并行性提取及调度

首先给出了循环最大加速比的定义,它是循环体中隐含并行性大小的度量。并且讨论了Ｄｏ循环的各种类型和它们的相关性以及隐含的并行性。在异构环境中,如何开发这些并行性,文中给出了几种方法,这就是异构计算消除串行瓶颈,异构Ｄｏ＿ａｌｌ＿ｌｏｏｐ调度,异构Ｄｏ＿ａ＿ｃｒｏｓｓ调度。无论在理论分析还是在实验结果上,这些方法所取得的计算性能都优于同构计算。     

基于统计方法的中文姓名识别

本文介绍一个中文姓名的自动识别系统,该系统使用从姓名样本库和真实文本语料库中得到的大量统计数据,以提高系统识别性能。我们从1994年人民日报中随机抽取100篇文章作为测试样本,实验结果表明,准确率和召回率可同时达到90%以上。     

也谈浮头法兰的合理设计

通过对浮头法兰计算原理分析并以数值解为基础作出线算图，对可能存在最佳设计或最经济设计作出判别，作出最佳或最经济设计的程序框图。     

改进的多分辨率形状匹配算法研究

形状匹配算法虽然在基于内容的视频检索中应用广泛，但由于视频数据量非常大，匹配非常耗时，因此形状匹配算法通常会成为实时视频检索的瓶颈，为了快速准确地进行形状匹配和检索，提出了一种改进的多分辨率Hausdorff距离变换算法，该算法是通过对后向匹配算法进行优化来使匹配速度大大加速，可用干进行实时车型比较和识别。实验结果表明，该改进算法在车型识别上具有速度快和准确性高的优点，尤其在模板图像比较大的情况下，此改进算法优势明显。     

电力市场中有功功率最优分配的规划方法

在电力市场环境下,传统的经济调度算法很难解决负荷分配问题,普通的线性规划方法和二次规划方法不能很好地处理报价曲线的分段特性,为此,提出一种分段线性规划方法,解决电力市场环境下的负荷分配问题,考虑了包括机组出力上升、下降速度约束在内的多种约束条件,经一个8机系统检验,证明是行之有效的。     

Pore structure of new composite adsorbent SiO_2·_xH_2O· yCaCl_2 with high uptake of water from air

The adsorption/desorption property of adsorbent is crucial to the performance and efficiency of a system of extracting water from atmosphere. Several kinds of adsorbent can adsorb water vapor in air, such as molecular sieve and silica gel. But their equilibrium uptake is not high. The authors have prepared a new composite adsorbent——SiO2·xH2O·yCaCl2, which is composed of macro-porous silica gel and calcium chloride. The preparation process is as follows: immerge macro-porous silica gel …