精确推理的Prolog语言实现方法

本文简要地介绍了专家系统的基本原理和Prolog语言的特点,重点探讨了用Prolog语言实现专家系统的方法。     

ReSim:一个面向可重构处理器的仿真平台

针对可重构处理器ReMAP(reconfigurable multimedia array processor)面向视频高清编解码提出的灵活互联、计算资源密集、易于扩展的结构优化需求,提出了一个基于模块化分层设计、时钟周期精确的可重构处理器仿真平台ReSim.该仿真器基于3级软件框架层次搭建,设计了可快速仿真多种互联结...     

基于ZhangHC非单调技术的修正HS共轭梯度算法

将ZhangHC非单调技术与修正的Armijo线搜索规则结合,给出了求解无约束优化问题的一种新的HS共轭梯度算法。在较弱的条件下,证明了算法的全局收敛性。数值结果表明新算法是有效的,且适于求解大规模问题。     

不精确高斯法的局部收敛性质

分析了非线性最小二乘高斯牛顿法的局部收敛性质.运用Hlder连续性质,在简单的仿射不变条件下保证不精确高斯牛顿法的局部收敛性,得到收敛速率和收敛半径,同时还得到不精确高斯牛顿法的1+p阶收敛.不精确高斯牛顿法用较弱的条件代替牛顿法较强的条件,并运用Matlab进行运算,得到较理想的结果.     

生物入侵模型研究进展

生物入侵的机制与控制已经成为生态学关注的重点和研究的热点问题.建立数学模型是解释生物入侵机制的主要手段,对外来生物包括疾病的入侵扩散过程进行模型分析不仅具有重要的理论意义,还有助于风险评估,特别对入侵进行早期预测、控制、科学管理与防治.然而,目前有关生物入侵的数理模型方法还远不能满足实际的需要,本文系统地介绍和分析了生物入侵模型的研究现状.首先分析了对于生物入侵过程建模所要考虑的基本问题;然后讨论了几类典型的入侵数学模型,分析了各自的特点及条件,同时给出了有代表性的实例和最近的研究成果;其次比较列出了入侵模型分析的各类方法:最后探讨了生物入侵建模与求解过程中尚待解决的问题,并对未来研究进行了展望.     

血海撒网捕捞诊断靶标技术取得进展

肝纤维化的非创伤性检测手段研究, 一直是临床应用研究的一大热点. 最近研究报道, 利用定量蛋白质组学手段, 发掘了一批肝纤维化分级相关的血浆蛋白候选标志物, 为推动临床上对肝脏纤维化非创伤性精确诊断提供了重要数据     

广义NNV方程组的新精确解和孤立波解

文章利用扩展的(G′/G)-展开法,借助齐次平衡方法的思想原则,结合数学软件Maple环境中的Epsilon软件包对非线性代数方程组进行计算,获得了广义Nizhnik-Novibv-Veselov(简称NNV)系统新的精确通解和孤立波解.从该文求方程组精确行波解的过程看,此方法也可以用来求解其它的高维非线性发展方程的精...     

信息不完全确定的区间直觉模糊多属性决策方法

针对属性权重信息不完全确定且属性值为区间直觉模糊数的多属性决策问题,建立一个基于加权精确度函数的多目标线性规划模型来获取属性权重信息,然后求得每个方案的加权精确度函数,进而根据方案加权精确度函数对方案进行排序,最后通过算例分析说明该方法是有效和实用的.     

(2+1)维Broer-Kaup-Kupershmidt方程的对称、精确解和守恒律

应用李群方法得到了(2+1)维Broer-Kaup-Kupershmidt方程的对称和相似约化,并借助于辅助函数法对约化方程进行求解,进而得到部分精确解.最后利用对称找到此方程的无穷多守恒律.     

Levi方程组的精确解和守恒律

利用修正的CK直接方法,获得了Levi方程组的对称群理论和李代数,同时求出了Levi方程组的某些新精确解．基于Levi方程组的共轭方程组得到了Levi方程组的一组守恒律．