面向智能商务终端软件Agent的研究

针对智能商务终端的性能需要研究开发了面向智能商务终端的软件主体(Agent).阐述了智能商务终端的体系结构,介绍了智能终端Agent的体系结构和功能模块,并且介绍了描述Agent丰富内容的基于XML语法规范的知识表示语言HDF(helper definition format).分析阐述了HDF的语法和使用方法,介绍了基于HDF智能终端Agent的内容表示和处理机制,并且阐述了Agent的实际应用方式.     

动态聚类在大气颗粒污染评估中的应用

本文定义了样品之间的距离，采用重心法确定类与类之间的距离。给出了动态聚类的计算方法；利用类与类之间的距离定义了评估大气颗粒污染的相对尺度──相对污染率，由此得到了哈尔滨市区大气颗粒物中一些元素含量的相对分布，并得到了一些有意义的结论。     

特殊类型二阶变系数非齐次线性微分方程的通解公式

本文给出了二阶交系数非齐次线性微分方程的系数满足某些条件时的通解公式．     

工作流模型正确性验证过程中的模型简化问题

将工作流概念映射到Petri网后得到的工作流网的合理性验证过程比较复杂,容易出现状态空间爆炸的问题,需要对工作流模型进行简化。文章将工作流模型的简化过程分为两个步骤,首先将工作流模型转化为经典Petri网,再对经典Petri网进行简化。对于自由选择网可以采用自由选择语义的规约方法进行简化,而对于非自由选择网可以结合自由选择语义的规约方法和标准的Petri网简化方法进行简化。