Development and Research on the Internet Resources Aggregation Platform

We proposed an Intemet resource aggregation platform based on semantic web. The platform includes an Web Ontology Language（OWL） ontology design toolkit（VO-Editor） and a selective inference algorithm engine so that it can visually editing ontology and using novel selective reasoning for information aggregation. We introduce the VO-Editor and the principle of selective inference algorithm. At last a case of budget travel system is used to interpret the approach of Internet resources aggregation by this platform.     

迭代序列强收敛于m-增生型变分〗包含解的充要条件

研究了Banach空间中一类m-增生型变分包含解的存在性及其具随机误差的Ishikawa迭代逼近问题，得到了迭代序列强收敛于变分包含问题的唯一解的若干等价条件.     

铍原子基态能量和波函数的变分计算

利用变分原理,计算铍原子(含类铍离子)基态非相对论性能量和波函数,计算中考虑了电子间的交换作用以及内外壳层电子的不同屏蔽效应,计算结果与实验值很相符,能量误差小于0.2%.     

超凸度量空间中的极大极小不等式和拟变分不等式

用连续迭取方法得到了超凸距离空间上集值映射的一个不动点定理。作为应用，给出了超凸距离空间中的一个极小极大定理和广义拟变分不等式解的一个存在性定理。     

求解带球约束的变分不等式问题的二次外梯度投影算法

二次外梯度投影算法是求解变分不等式问题的一种重要算法 .在这种算法中 ,每迭代一次需要计算两次投影 :第一次为到可行域上的投影 ,第二次为到可行域或可行域与一超平面的交上的投影 .本文对现有的变分不等式问题的二次外梯度投影算法进行分析 ,并对可行域为球的二次外梯度投影算法的计算过程进行简化 .最后 ,我们给出了数值分析 .     

基于VC和VIP的面向对象知识表示

知识表示是人工智能研究的基本问题之一。通过在 Visual C+ +的类中引入Visual Prolog的推理机制提出了一种基于 VC和 VIP的面向对象知识表示方法 ,完善了 Visual C+ +对象的推理功能 ,进一步增强了面向对象的知识表示能力以及 VisualProlog的接口和计算能力 ,并通过实验验证了方法的性能     

非线性隐拟变分包含的解的灵敏性

用隐预解算子的方法来分析Hilbert空间中非线性隐拟变分包含的解的灵敏性，推广了这个领域中的一些最新结论。     

广义集值映象变分包含问题解的一个存在定理

研究了一类定义在Hilbert空间内的广义集值映晨线性变分包含问题。利用不动点定理，证明了这类广义集值映象的非线性变分包含问题解的存在定理，推广和改善了Salahuddin等人的主要结果。     

实质蕴涵刻画推理的思考

用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的“怪论”,但它概括了“如果,那么”这类联结词各种用法中的共性,在日常用法中有其经验根据,具有广泛的适用性和使用的方便性。相对逻辑学家己提出的各种刻画推理的蕴涵理论,用实质蕴涵刻画推理是比较好的推理理论。     

受约束非线性控制系统正则方程的可解性分析

讨论了受约束条件下的非线性控制系统，通过Taylor一阶展开，在每一失代步中将问题转化成线性约束控制问题，进一步通过变分原理，对一般情况建立了约束变量的正则方程，进而建立了约事变量的极值变分原理，由此进行了正则方程的可解性分析，结果表明，约束变量二次型的系数阵满足可逆且负定的条件下，控制系统正则方程存在可解性，这对非线性控制系统的处理具有很大意义。