基于Agent的网构软件模型研究

以开放网络环境下的网构软件需求为切入点，基于软件Agent的原理、方法和技术，系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制，提出了一种开放协同软件模型来作为网构软件的基础模型．结合其关键支撑技术的研究，提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法，并探讨其在主流软件技术中的应用，初步形成了一种适合于开放网络环境需求的技术框架体系，在此基础上，提出了一条建立基于Agent的网构软件模型的技术途径，即网构软件模型=开放协同模型＋环境驱动模型＋智能可信模型，从而为进一步的研究工作奠定了基础．     

基于体系结构的网构软件自适应方法

作为网构软件的基本特性之一,自适应性是指软件系统在预设策略的指导下自动地监测系统状态信息,并在必要时对自身进行调整,以提供更好的服务.针对网构软件可适应性、自适应可操作性及适应结果可信性3个基本问题,提出了一种以体系结构为中心的网构软件自适应方法,即监测、分析、规划、实施等自适应活动均围绕软件体系结构展开,其中,网构软件运行状态和行为以运行时软件体系结构的方式实时展现和在线调整;自适应相关知识通过软件体系结构记录、组织和加工,以实现系统状态和行为的自动分析和调整规划.     

基于应用语义的网构软件松弛事务模型研究

事务处理是保障服务协作可靠性的关键技术，由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务（transactional composite service，TCS）．为保证TCS执行的松弛原子性，现有的研究主要依靠对TCS语法结构的分析，但语法结构反映不出特定的应用语义信息，从而对服务事务能力要求过高，导致了很多不必要的失败恢复甚至放弃．给出了一个基于应用语义的网构软件松弛事务模型，包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法．用户可以根据应用语义，为TCS赋予特定的松弛原子性约束ε，包括TCS合理结束配置，以及对各个合理结束配置的倾向性顺序．ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性．执行保障算法根据酌束监控TCS的执行，主动进行重试、补偿等操作，将松弛原子性的规约与保障抽象到系统层次进行，分离了关注点．     

一个网构软件可信实体模型及基于评估的信任度量

对于运行在开放、动态、难控的互联网环境的网构软件,其可信性保障与管理是一个重要课题．目前的研究多是基于信任网络思想的信任度量及演化模型,这种模型对于网构软件来说,在信任的来源、实体间信任关系的约束、信任传递参数的设置方面仍存在着不足．因此,本文引入可信计算中信任链模型的思想,提出了一个网构软件可信智能实体模型,并在此基础上构建了基于评估的信任度量方法．首先通过动态自省、显式自明和自主演化的机制保障了实体本身的可信,建立了信任的基点;并给出了形式化的描述及交互行为的动态监测;然后通过建立Bayes网络综合推荐信任并使用评估方法加以修正,以精确计算信任传递过程中的衰减参数,建立了信任链传递过程中的可信认证机制;最后通过实验验证了所提出方法的正确性．     

面向网构软件的环境显式化技术

网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务．传统软件构造技术缺乏对环境感知和适应的系统支持．本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化．进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展．而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制．该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离．     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究．     

开放协同环境下网构软件的信任管理研究

网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.针对信任评估的主观性、模糊性以及无法精确地描述和验证等问题,提出适用于网构软件的信认评估算法.根据模糊数学理论,将软件实体X的信任程度以及各软件实体时被评估软件实体的各关键属性的评估进行模糊变换,得到即将参与协同的软件实体Y的信任向量,并根据实际对原软件实体X的各信任值向量化,最终得到对软件实体X的信任值.     

一种以软件体系结构为中心的网构软件开发方法

作为Internet环境下的一种新型的软件形态，网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战．作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学，ABC（architecture based component composition）方法能够有力支持网构软件的开发．其中，基于特征的领域建模以及特定应用的特征模型剪裁方法和技术，反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程；基于自适应软件体系结构的分析与设计方法，支持自适应网构软件的开发；具有反射机制、支持自主构件的中间件平台则为网构软件的运行，尤其是网构软件结构的自适应和实体的自适应提供支撑机制．     

基于组织的网构软件程序设计语言及其实现

作为Internet环境下的一种新的软件形态,网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战．本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL．首先,OragentL将软件agent作为网构软件中自主实体的抽象,并在这一层面设计和封装系统的自适应和自演化逻辑．其次,OragentL将组织、角色等组织抽象作为一级编程实体,提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑．我们设计了OragentL的语法和形式化操作语义,并开发了Oragentburg作为OragentL网构软件的运行时环境,支持0ragentL程序的开发、编译、部署和运行     

面向网络的操作系统——现状和挑战

操作系统是计算机系统中最为关键的一层系统软件．长期以来,操作系统发展的主线是面向单机,追求更好地发挥计算机硬件的计算能力,同时为上层应用和用户提供更友好易用的接口．随着网络技术的发展,如何更好地支持网络构成了操作系统发展的一个重要辅线．近年来,由于互联网的迅速普及,面向网络的操作系统得到了广泛的关注,并逐渐成为操作系统发展的新主线．为了更好地管理互联网上的分布海量资源,同时为互联网时代的新型应用和服务提供支持,操作系统技术正在产生许多重要的变革．本文简要回顾了操作系统的发展历史,分析了在互联网时代操作系统面临的主要挑战．在总结现有面向网络的操作系统的研究进展的基础上,讨论了其主要特点和未来发展趋势．最后,也介绍了我们在此领域针对网构软件的研发尝试．     

ABC:一种全生命周期软件体系结构建模方法

随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的有效控制,是当前开放、动态、难控的网络环境下大规模软件系统开发与演化所面临的主要问题.针对这个问题,我们将设计阶段高层结构复杂性的控制模型―软件体系结构模型―扩展到整个软件生命周期,提出了一种以体系结构为中心的软件开发方法―ABC.该方法将软件生命周期各阶段的核心制品与活动,统一到软件体系结构模型及对其连续迭代的细化、映射和转换,实现对软件高层结构复杂性的一致、灵活、系统化的建模和管理.本文旨在系统性地总结ABC方法在软件体系结构建模方面的成果,并重点介绍近几年在协同式特征建模、运行时体系结构生成、体系结构逆向恢复与建模等方面取得的新进展.     

微成形中尺寸效应研究的进展

微纳米尺度下微细工件塑性变形中会出现尺寸效应,即随着工件尺寸的减小材料的应力应变关系、塑性成形性能和摩擦系数等成形工艺参数呈现出与常规尺寸工件的塑性变形不同的特点,对于尺寸效应的研究是微成形工艺研究的基础.本文首先综述了实验观察到的各种尺寸效应现象,如随着晶粒尺寸的减小塑性变形机理发生变化,从而导致Hall-Petch关系的变化.然后,介绍了为描述材料应力应变关系中出现的尺寸效应而提出的各种材料模型,其中考虑表面层晶粒体积分数、工件尺寸与晶粒尺寸的比值、应变梯度等因素的影响对经典塑性塑性力学模型进行的修正可以从现象学的角度描述尺寸效应,而基于位错运动、统计存储和几何必须位错密度的演化、晶界滑动等塑性变形机理的的本构模型,不仅能更准确地描述尺寸效应等塑性变形行为,而且能更深入地揭示尺寸效应的物理本质.另外,对于尺寸因素与极限应变的关系和摩擦中呈现的尺寸效应研究也进行了介绍.     

岩石节理法向加载非线性变形本构模型研究

鉴于节理法向变形的经典指数模型和双曲线（BB）模型的中应力水平加载阶段变形与部分试验结果存在偏离的不足,采用柔度变形法建立了节理法向加载非线性变形的新本构模型．讨论了节理在法向单调加载条件下变形基本规律,提出了完备的节理法向本构方程应满足的3个基本条件．分析指出基于应力变形坐标系的节理法向本构改进模型：统一指数模型和改进双曲线模型在数学上均是不完备的．选择柔度变形（Cn-u）坐标下介于双曲线和经典指数2种传统模型之间的单调递减柔度变形曲线,使其满足法向变形基本条件,建立了节理法向变形本构三参数模型．分析柔度变形曲线存在的两类主要形式,推导了节理法向变形g-δ本构模型和g-λ构模型的具体数学表达形式,并初步分析了模型参数的取值范围及其相关地质影响因素．引用已有不同岩石节理法向变形试验数据,对2种本构模型验证分析表明：g-λ型既可以适用于耦合节理法向变形又适用于非耦合节理法向变形,同时提出的节理法向变形譬．碳型较BB模型、经典指数模型及对数模型能更好地与试验结果吻合．     

软件项目中的风险管理研究

软件风险管理是对影响软件项目、过程或产品的风险进行估计和控制的实践过程,也是为了解决影响软件项目、过程或产品的风险而制定的准则.当前软件业对软件风险管理的研究越来越重视,在理论上对软件风险进行了分类,提出了风险管理的思路,在实践上也出现了一些定量管理风险的方法和风险管理的软件工具.本文叙述了在软件开发项目中风险管理的重要性及其主要内容,重点介绍了进行风险管理的5个步骤,即风险识别、风险分析、风险计划、风险跟踪和风险对策.     

基于受电弓状态感知的弓网安全监测系统研究与探讨

我国电气化铁路运营的里程日益增长,服役的车辆越来越多.作为车辆大系统关键装备之一的弓网系统,如何提高其服役检测水平,在确保安全运行的同时,降低维护检修的成本,这是弓网系统安全监测及故障诊断需要解决的关键问题.从系统的研制流程、整体架构、功能模块、故障诊断以及监测方案等几个方面,对弓网安全监测系统进行介绍和讨论.最后以具...     

颗粒流动的一般本构关系

从理论上分析了颗粒流本构的最一般形式,及其在平面简单剪切流这一典型且常用的剪切流上的本构关系,颗粒群受剪从极慢颗粒流动,低速颗粒流 直到快速颗粒流动打一构可以统一起来,利用试验资料,对颗粒在空气中受剪的本构进行了分析,很好地验证了理论分析结果,尤其是,理论分析及所有试验都表明在正应力和剪切应力表达式存在流速梯度的一项,揭示在颗粒流中还存在颗粒的相对滑动及相互挤夺和,该项与普通流休珠线性粘滞应力类似     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

人体自行车构分析及优化设计：量身定做自行车

人体自行车构优化设计对于提高运动员成绩以及保护骑车者身体健康有着重要用.从自行车诞生之,人们就从人体生理学角度不断优化自行车设计.目前自行车本结构已经定,但是很多几参数优化设计还没有成型.本文从构学角度发,结人体生理特征,将人体自行车构化,以省力为主要目标,兼舒适度,探讨了车高、曲柄长度人体参数（大腿小腿长度）之间关系,绘制相应性能指标图谱,从而这些指标与高等参数映射关系,并依此建立了人体自行车构优化设计方法,了对应于不同身材运动员理想自行车高与曲柄长度可选方案.本文研究对量身定自行车以及设计自行车器人具有指意义.