面向真实电子商务的实验平台开发和实验设计

首先讨论了研制电子商务的实验平台ECEP的核心技术和其功能框架；在面向真实电子商务应用的可操作环境ECEP上，设计了三个层次的电子商务教学实验：电子商务实验体验、电子商务开发实验和平台组件自身的开发实验，最后分析了该平台及其实验的特色和创新点。     

Agent Cooperation Based Control Integration by Activity-Sharing and Joint Intention

In this paper,a control integration method based on agent cooperation,called ASOJI,is proposed,which designs the architecture of integrated application systems in distributed computation environments as an agent community composed of nested agent fed-erations in three aspects:architecture style,agent cooperation,and composition semantics.Through defining activity-sharing-orented joint intention in the way of stepwise refinement,ASOJI can not only support the transparent specification of the architecture for software com-position,but also eliminate the gap between agent theory and the engineering realiztion of control integration.     

移动台自调控的移动性管理策略

在移动通信系统中，移动性管理是一个具有挑战性的研究内容，提出了移动台自调控移动性管理策略：引入一个控制参数m，移动台根据系统的实际查找时间，采用指数平均方法预测下一次查找时间，进而对m进行调节，以平衡系统在位置更新有位置查找方面的费用，提高系统的整体效率，给出了具体的算法，并对这一策略与基本的移动性管理策略及普通的“指针推进策略”的代价进行对比。     

面向OML的本体进化框架

本体是知识共享和知识重用的桥梁．然而由于知识应用环境的不断变化,一层不变的本体已无法反映知识世界的新状态,因而本体也必须跟随外部世界的变化而不断进化．文中在介绍本体描述语言OML的基础上,分析了本体进化过程中需要解决的关键问题,介绍了相应的解决策略,剖析了本体进化对系统带来的潜在冲突,并构造了一个本体进化的框架EDOCOM．     

基于最大分布约简的风险规则挖掘

在研究如何更好地开发利用网箱渔场的过程中,人们已经认识到由于污染所引起的环境风险和其他影响因子。但是如何来评估网箱渔场的风险呢?粗糙集理论是一种数据推理的有力工具。该文介绍利用粗糙集理论进行风险规则挖掘的一种方法。首先介绍不完备信息系统下有关最大分布约简的概念,再对渔业环境中老化程度和风险等级进行了量化描述,最后给出了基于最大分布约简的网箱渔场老化风险规则的挖掘算法。     

SNMG:宏观调控协同制造过程的应用架构模式

"互联网+"协同制造(CoM)的开放性(尤其是"跨管理域"特性)导致了CoM活动的不可控障碍,并引起对于CoM的信任危机,严重阻碍了CoM应用的开发.为消除此障碍,提出全新的CoM应用架构模式:基于社交层规范的CoM过程宏观调控.该模式将CoM应用的开发提升至社交层,制定约束CoM活动的社交依赖规范作为调控CoM伙伴社交层宏观行为的依据,并构建有能力也有意愿遵从规范的理性Agent作为企业代理.仿真应用案例(制造商"浙江大华技术"的智能监控设备制造)的运行结果表明,该模式不仅可以克服上述不可控障碍,并由此消除信任危机,还可大幅度缩减开发和维护CoM应用的困难和复杂度,并实现CoM应用期望但传统的架构模式无法达到的CoM实施的及时性.     

NPCD-Agent：扩展的Agent思维状态模型

在基于Agent的计算中,现有研究对于动机的定义和动机影响Agent行为决策的分析比较片面,缺少对动机的清晰考虑和相应目标产生的描述.为此建立了具有动机的Agent思维状态模型,将动机分为社交行为准则（N）、策略（P）、契约准则（C)和内部愿望(D).形式化地描述了动机扩展的Agent思维状态模型(NPCD-Agent)和BNPCDGI逻辑,阐述了逻辑的语法、语义以及相应的公理系统.给出了动机算子基于Kripke可能世界的新的语义解释,验证了动机算子不存在逻辑全知问题.通过计算0-1规划和设定优先顺序,建立了动机冲突消解模型,改进了现有包含动机的Agent思维状态模型实现方法.实例分析表明,改进的Agent思维状态模型使得Agent行为决策过程更加理性.     

基于离散粒子群算法的织物疵点特征选择

为提高识别织物疵点的准确率,提出基于离散粒子群算法(Bpso)进行织物疵点特征选择的方法.首先收集织物疵点图像并进行预处理,提取常用的纹理特征构成候选特征.然后采用BPSO对这些候选特征进行选择,得到优选特征和冗余特征.最后分别在这3类特征下训练支持向量机并进行织物疵点识别测试.结果表明,优选特征的疵点识别准确率大大高...     

多Agent模型角色间转换与协作技术研究

本研究以BDI逻辑描述Agent思维状态模型的概念和特征,作为Agent知识表示和推理的基础。通过分析Agent、角色概念,角色转换及角色间二元协作关系,建立具有角色间转换与协作能力MAS系统模型。并用DORL(Domain Ontology Representa-tion Language)语言描述应用域本体、系统角色定义、角色协同行为规范与角色间协作等内容。最后讨论了案例知识供应系统的实现。     

一种基于Petri网的软件定义构造方法*

本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法．基于提供的需求描述模型，可形成Petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路．