共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

计算机化自适应诊断测验新的选题策略

提出了一种既能满足属性平衡又能有效处理相似属性模式的新方法——改进的极大化整体判别认知诊断模型信息量指标法(MGCDI).对无结构型的属性,讨论定长CD-CAT的选题策略.研究结果表明,使用相同选题策略选题时,先选择可达矩阵的所有列对应的项目比不使用这些项目的诊断准确率高.     

基于R/S分析的城市可持续发展定量评价

根据城市可持续发展理论,利用R/S分析原理和方法,从城市的生产、生活和生态3个方面讨论了山西省太原市在2003～2007年期间的可持续发展的现状和发展潜力对未来一段时间的可持续发展的影响。为决策者提供科学可行的依据和方法。     

Evaluation of humic acid removal by a flat submerged membrane photoreactor

A flat submerged membrane combined with a TiO 2 /UV photocatalytic reactor (FSMPR) was employed in batch mode to remove humic acid (HA). HA removal efficiency was characterized by UV 254 absorbance, UV-vis spectra, dissolved organic carbon (DOC) concentration, specific UV absorbance (SUVA), and trihalomethane formation potential (THMFP). The FSMPR process was effective in removing more than 86% of DOC and nearly 100% of UV 254 absorbance, while the THMFPs of samples were reduced to < 19 μ g/L after 150 min of treatment. In addition, changes in transmembrane pressure (TMP) with and without UV were evaluated; TiO 2 /UV was effective at controlling membrane fouling by HA. Analysis of the molecular weight (MW) distributions and three-dimensional excitation-emission matrix (EEM) fluorescence spectra of HAs revealed that the effectiveness in membrane fouling control is a result of changes in HA molecular characteristics. The TiO 2 /UV photocatalytic reactor caused the degradation of high MW, hydrophobic humic-like molecules to low MW, hydrophilic protein-like molecules, although this fraction was not completely removed during 150 min of treatment and was less responsible for membrane fouling.     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

附加约束奇异Lagrange量系统的量子化理论

 研究了含附加约束奇异Lagrange量系统(约束奇异系统)的量子化,给出了该约束奇异系统修改的Dirac-Bergmann算法,分析了系统的经典正则对称性,研究了它的路径积分量子化和量子对称性质,通过实例说明经典理论中对称性和守恒律的关系在量子理论中不再有效.     

一类偏微分方程的有限元解法

推导了一类带复合边界条件的有限元解法,给出了一种快速计算其刚度矩阵的方法.     

基于多重分形的地形辅助导航路径规划算法

地形导航是一种利用航行器下方地形信息获取航行器位置的导航技术。为了得到较高的定位精度并使飞行长度尽可能短,需要预先规划飞行路径。该文将地形数字高程图(digital elevation model,DEM)看作二维灰度图像,引入在图像处理中得到广泛应用的多重分形理论,将利用小波变换求得的奇异指数作为地形提供定位精度能力的一种度量。选择合适的阈值划分得到定位优区,利用A*算法寻找最短路径,此路径即是规划路径。选用粒子滤波作为导航算法,沿规划路径和其他路径进行多次飞行仿真,结果显示规划路径的定位精度和稳定度都比较高,而且路径长度短,有较强的实用性。     

基于DS理论的不确定空间co-location模式挖掘

 提出一种基于DS理论的co-location挖掘方法.先将数据集按照空间对象分类,然后从分类后的子数据集中依次提取该空间对象的实例,与其他空间对象数据集中的各个实例进行配对,将找到的各实例关系记录到一个新的关系表中,作为使用DS理论求解的基础.从一个新的角度来研究co-location挖掘技术,在DS理论的基础上重新定义了参与度,基于新定义的参与度来求解co-location模式.     

融合粗糙集和证据理论的车地无线通信设备故障诊断

针对车地无线通信设备故障诊断信息不一致的情况进行故障推理和诊断,提出了一种融合粗糙集与证据理论综合集成的车地无线通信设备故障诊断方法.该方法首先利用粗糙集剔除故障特征数据的冗余成分,提取互不相关的必需特征,将车地无线通信设备故障诊断问题用一个不同简化层次的故障决策网络表示,由网络节点根据定义出的规则置信度和覆盖度可推导出对应有效的故障诊断规则集合.在建立规则库的基础上,引入基于证据理论的信息融合技术,解决多传感器故障监测数据与诊断规则准确匹配的问题,建立故障推理机制,便可方便得出车地无线通信单元故障诊断结果,实例分析表明该方法能有效提高模型故障诊断能力,具有较强实用性.