摘要：在群组推荐中庞大且稀疏的数据往往容易忽视用户群组及项目之间的复杂依赖关系,因此融合不同用户偏好行为嵌入,使用户对群组依赖关系的表现更直观,同时为了在对比中增强视图效果,以获得更准确的推荐结果的目的,提出了一个面向超图的可解释性对比元路径群组推荐框架。通过聚合用户项目群组之间的依赖关系,构建元路径表现实体之间的不同类型交互,以促进实体的相似性,更准确地从数据中获取用户的组内、组外交互;通过将可解释性模型与对比学习相结合的技术,以提高模型的可解释性和性能;通过解释引导增强操作在模型框架上生成的正负视图上结合自监督对比学习,来解决上述问题。在真实数据集上进行实验,验证了所提出方法的有效性。

摘要：本文提出了将解释学习方法用于学习算法构架的思想，以提高软件自动化系统从功能规格说明转换到设计规格说明的能力．文中给出了算法构架的表示，操作性的定义及其处理方法．系统从用户给出的一个问题的解中学习算法构架，用于解决一类问题，系统的学习效果表现为通过学习能够解决原来不能解的问题．

摘要：本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于实现到形式功能规约的转换等特点。

摘要：为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构.该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视角来重解释服务部件之间的引用和交互.这样就把体系结构这一抽象概念具体化为可直接操控的对象,从而可以利用面向对象程序设计语言的继承和多态等整套机制,导出一种面向体系结构的系统动态演化技术.为支持这一架构,设计并实现了一个支撑平台 Artemis ARC,为具有动态调整能力的面向服务应用系统的开发、运行和监控提供了一套可视化的集成环境.在此平台上还开发了一个简单的示例应用以展示动态调整的效果.

摘要：随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 .

摘要：提出了一种从 VDM- SL(Vienna development method- specification language)规约到并发面向对象程序的开发方法 ,这种方法基于 DD- VDM(data decomposition- Vienna development method) .在此基础上提出了虚拟原子、服务并行和内部并行等概念 ,继而提出一种嵌套面向对象结构来体现这些功能 .分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术 .

摘要：随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进行研究的基础上，提出了我们自行设计与实现的移动Agent系统Mogent，并探讨其在软件主流技术等方面的应用．

摘要：如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.

摘要：基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服务协同模型,随后针对该软件服务协同模型提出一个用于度量软件服务间信任关系的信任评估模型.信任被抽象成一个由信任评估主体对客体的主观期望和客观经验共同作用的函数,模型还提供了一个合理的方法用于综合直接经验和第三方推荐经验.与几个现有的工作相比,设计了较完整的信任评估模型,并强调其合理性和可操作性.信任评估模型可为软件服务之间的协同与安全决策提供依据.

摘要：同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.