语义网格的过程语义及其验证理论与服务集成技术.pptVIP

研究了约束条件下的序列模式挖掘高效方法，给出了能够处理多种约束类型的序列模式挖掘一般模型。我们的工作更具有一般性，对约束处理的策略具有较高的通用性，同时也保持了较好的灵活性，即可灵活地在通用策略基础上,扩展针对具体约束类型的单项剪枝强化策略。提出了一种新的基于多目标演化算法的动态聚类算法。和传统的静态聚类算法不同，这种算法不需要预先指定类的个数，而是采用变长染色体的编码方式，使得算法在有哪些信誉好的足球投注网站空间内同时有哪些信誉好的足球投注网站最优的类的个数和类的中心的位置。最后，我们从UCI机器学习数据仓库中选取了几个数据集来验证算法的有效性，得到了很好的结果。此结果发表在《LectureNotes》上语义分析及数据挖掘工业界提出了针对企业应用高效整合的面向服务体系结构（SOA）和WebService技术，学术界提出了针对异构资源整合的网格技术。我们在吸收上述思想和技术优点基础上，提出了面向信息服务应用的SOA概念模型及其体系架构，并研究了其中的核心应用技术及上层服务模式。该思想已被应用于交通信息服务网格，取得了良好的效果。01该结果已发表于2005IEEEInternationalConferenceonServicesComputing(SCC2005)。02Web服务及语义Web服务Web服务及语义Web服务基于OWL-S，建立了语义Web服务的PN机模型，给出了利用T-不变量自动组合方法。网格、Internet环境下电子商务的PN机模型及其验证在对大量现有电子商务系统形式化技术进行了综合分析与比较的基础上，我们综合应用Petri网、时序逻辑、工作流等分析技术，以上海正卷交易所现行的交易系统为背景，针对电子商务系统的具体特点，提出并研究了用于电子商务系统时序性质分析的时序（有色）Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法，并从理论上分析了这些方法的重要性质，得到一系列重要结论。此外，我们还基于一种网络体系，提出并分析了一种基于网格的电子商务系统，简称格商务系统，并研究了它的主要性质。该方面的结果发表在《IEEETrans.OnSMCC》及《ChineseJournalofElectronics》等期刊上交通信息服务中的网络智能海量交通信息的数据挖掘基于GPS采集的道路交通数据，利用主曲线构建道路交通实时模型，并提出相应的并行算法实现交通数据的分析和挖掘，得到了一组出行规则，为用户的出行方案提供辅助决策。交通领域本体及其应用研究在交通信息网格背景下，我们通过对城市交通系统现状的分析，探讨了公交系统中存在的一些问题，并且抽象出交通系统中的主要概念，及其相互关系等。在此基础上，借助Protégé和Jena等软件工具，建立了交通公交本体，定义了换乘查询规则，并且实现了基于该本体的城市公交换乘查询原型系统。上述结果已发表于《JournalofComputerScienceandtechnology》,以及被“The8thInternationalConferenceonHighPerformanceComputinginAsiaPacificRegion”和skg2005接受。语义网格的过程语义及其

验证理论与服务集成技术蒋昌俊同济大学提纲项目进展创新内容论文及获奖情况进一步开展的工作项目进展PN机模型PN机递阶建模理论语义模型示范应用语义验证、分析工具PN机结构性质PN机行为分析语义网格服务集成支撑软件协作规范和方法PN机合成与分解后三年语义验证基础理论软件工具核心方法第二年第一年PN机及其建模、分析理论面向网格的PN机模型及其调度理论语义分析及数据挖掘Web服务及语义Web服务网格、Internet环境下的电子商务PN机及其验证交通信息服务中的网络智能项目进展情况PN机的递阶建模及其分析理论针对复杂工作流的建模及其分析，定义了PN机的精炼操作，并讨论了精炼操作的行为表达及其动态性质。一方面，精炼操作支持工作流的层次化建模，可以自顶向下的，通过逐层的求精和细化，实现复杂工作流的有效建模；另一方面，精炼操作可以有效降低模型分析的复杂度，对于一个可靠的精炼工作流网而言，其行为与原网和子网行为保持一致，并且满足完整性要求，因而可以通过精炼操作，将复杂工作流网的分析工作转化若干个子网的性质分析。PN机及其建模、分析理论PN机及其建模、分析理论PN机结构分析方法不变量、可重复向量及死锁（siphon）是PN机中重要的结构概念。它们不仅反映了模型的物理特性，而且能够有效刻画和描述系统的动态性