代理的环境评价模型在智能报表系统中的应用

代理之间的交互是多代理系统中的重要问题．根据人的行为受到社会评价的影响，提出了代理交互的环境评价模型，并对其在智能报表系统中的应用特点进行了讨论；基于智能报表系统的逻辑模型，探讨了代理的评价和主要协调过程，定义了代理的评价公式．环境评价模型与其他模型相比，便于工程实施，简化了代理内部的推理过程和代理之间的协调或协商过程，还可用于多代理系统的开发和运行维护过程．     

基于AUML的主体交互建模

本文提出了一种基于AUML的主体交互建模方法.该方法的主要思想是首先确定主体的通信模式,基于通信模式来选择合适的交互模板;然后针对特定的领域问题,把模板实例化;最后描述主体协作期间,主体内部交互的执行过程.     

基于规则的交互上下文预测基于规则的交互上下文预测

为了改进当前上下文预测中由于缺乏对交互情况的考虑所导致的不完全预测问题,提出了基于规则对交互上下文进行预测的方法．给出了交互上下文的定义及使用本体对交互上下文进行建模的方法．在基于规则的交互上下文预测架构中,利用交互规则发掘算法和交互预测算法等推理计算得出交互规则,根据得到的交互规则对交互上下文进行预测．该方法的使用合理地改进了传统的上下文模型,从根本上系统地解决了传统的上下文预测的局限性问题,有效地提高了上下文预测的能力．     

多刚体动力学的STEP描述及其映射研究

基于STEP(产品数据表达和交换)国际标准,提出了一种具有构件、约束、力和运动激励等多个要素的多刚体动力学模型,以应用协议AP105为基础制定了关于多刚体中力和约束等方面的应用协议,并对EXPRESS向C 的映射规则进行了分析,从而为STEP模型的实现提供了一种有效的解决方法．     

并行CORBA在网络并行计算中的应用研究

讨论了一个通用对象请求代理体系结构(CORBA)的扩展一并行CORBA，井详细分析了它的原理．以油气储层随机建模计算模型为例，研究了基于并行CORBA的油气储层随机建模计算模型，实现了基于并行CORBA技术油气储层随机建模的软件．结果表明，并行CORBA技术大大提高了油气储层随机建模的计算效率，有效地利用了网络资源．     

基于Q的多代理语义信息互操作查询系统

在引入并实现本体映射的基础上，基于Q语言(一种设计代理(Agent)和用户交互的场景描述语言)，提出了一个语义Web上多Agent信息互操作查询系统．该系统由领域本体服务器、本体映射服务器、语义信息源、以及多Agent查询系统组成．映射服务器通过映射规则提供概念转换功能，Q用于描述和统一多Agent查询系统中的Agent到Agent以及人到Agent的交互．系统结构的原型实现表明：通过Q场景(scenarios)，终端用户可以灵活和交互地控制多个Agent的行为，以实现信息互操作查询．     

基于多代理的制造系统建模框架和实现方法

介绍了基于功能建模和基于过程建模两种制造系统建模框架与方法,分析了软件对象技术、组件技术和代理技术的不同特点·提出了基于多代理的制造系统建模框架,它由对象自治性层次维、软件生命周期维和多视图模型维组成·采用基于多代理的软件工程实现方法,开发了基于多代理的制造系统软件·与软件对象和组件相比,智能代理具有更强的自治性和智能性,能够满足复杂制造系统对分布式数据和分散控制的要求,为制造系统过程集成提供了新的途径·     

虚拟现实环境中的物理模型和仿真及其在农业信息技术中的应用

 虚拟现实技术在现代农业信息领域的作用日益凸显,然而当前的农业虚拟现实环境仍然以静态几何模型为主,具有真实物理意义并符合真实环境物理规则的动态模型和交互模式仍然没有普及。基于物理的模型和仿真方法具有机理上的优势,能够在自然环境包括农业生物和农业生产场景的动态建模与真实感交互方面增强虚拟交互的真实感和互动体验的沉浸感。本文阐述了基于物理的建模方法本质和意义,总结了农业虚拟现实环境中的物理建模和仿真的研究进展,分析了基于物理方法在植物形态学、运动学、动力学、生物力学以及环境物理场建模与仿真方面的应用原理和基本方法,并探讨了物理模型和仿真方法在农业虚拟现实乃至农业信息化中的潜在作用和未来的发展趋势。     

OSIP协议栈及其在SIP用户代理中的应用

介绍了一种具有广泛应用前景、小巧而快速的开源SIP协议栈-OSIP．在详细分析OSIP协议栈的结构、特点及其运行机制的基础上，给出了基于OSIP协议栈的SIP用户代理（UA）方案．此方案利用SIP以及SDP等开放协议，完成了通讯双方实时的交互，既可以扩展到即时通讯（IM）方面，也可以作为视频会议实现的基础，具有较好的兼容性．     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

Towards a methodology for formal design and analysis of agent interaction protocols

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent-based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker-SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker-SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e-commerce protocol-NetBill as an example.     

滚动轴承知识表征与检索方法

以滚动轴承知识为对象,利用集成定义方法（IDEF）的建模技术,借鉴产品模型数据交换标准（STEP）应用协议的开发方法,对知识建模进行了系统的分析,建立了中性知识表征体系,并用人工神经网络、规则推理和人工参与相结合的方法实现了知识检索,突破了传统规则推理的缺陷。同时,为支持产品分布式集成信息系统底层知识的建模和检索提供了系统方法。     

最小二乘法的自加权问题及其修正

在自动控制、经济统计和预测以及其他一些需要进行数学模拟的领域，最小二乘法或其衍生方法是最常用的模型优化规则。本指出这种规则隐含有自加权效应，直接影响模型的优化，然后提出了一种对最小二乘法进行修正的思想和方法，并以应用实例做了说明。     

复杂产品多学科设计优化的视图建模

针对复杂产品学科分划困难以及多学科设计建模中存在的视图一致性问题,提出了以主模型为导向、多学科并行建模的技术路线。介绍了产品的多学科设计优化方法,论证了设计对象功能行为的不同表达是多学科视图模型形成的基础;讨论了多学科视图模型之间协调一致的保证体系。将该方法应用于汽车车身的多学科设计优化,真正实现了设计信息的共享和动态交互,有效改进了产品设计水平。     

基于元模型的视图层 PIM 建模方法研究与实现

模型驱动架构(model driven architecture,MDA)的核心思想是将建模语言当作开发语言使用,基于 UML 的平台无关模型(platform independent model,PIM)建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差.针对此问题,研究了基于元模型的视图层 PIM 建模方法,给出视图层 PIM 模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于 EMOF(essential meta object facility)对 UML 建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于 Eclipse GMF 框架开发了视图层 PIM 辅助设计工具 GMTP     

Ad hoc网络中基于概率方案的广播协议预测模型

通过简化一些外在条件,将实际的网络协议模型化,期望可以替代仿真工具.提出一种数学建模思路,通过基于逼近的方法,以ad hoc网络中泛洪和概率模型为基础,逐步推导出基于计数的广播协议模型,检验基于计数的广播协议的转发概率.模型在节点密度较低时预测转播结果低于仿真,在节点密度较高时则高于仿真结果.当只考虑网络层功能时,该模型检验协议性能与仿真结果相比误差率小于5%.     

基于本体的多无人机系统语义互操作方法

引入基于领域本体的语义模型形式化建模方法,提出了多无人机交互描述的语义描述模型方法和交互配置的语义增强方法.设计了无人机本体UAV O和服务描述本体UAV OS,在OWL S（Ontology Web Language for Services）基础上扩展服务动态特性等的描述,可以为服务质量、服务状态和服务关系提供语义描述;扩展了对多无人机任务和动态配置、组合所需控制结构等的描述.为了实现多无人机应用配置的自动化和动态性,基于本体的语义增强方法可以用于配置管理,在匹配中引入高层次的语义增强匹配,对多无人机交互配置处理进行语义增强.在无人机综合仿真环境中进行了验证,结果表明,提出的基于本体的语义互操作方法能有效地支持多无人机应用交互和集成.     

基于广义三棱柱体元的三维地层建模方法

为了解决基于广义三棱柱（GTP）的三维地层模型自动建模问题，提出了一种三维地层构造知识推理规则和建模方法。该方法结合钻孔数据特点和地层分布规律，首先以孔口数据生成地表面不规则三角网（TIN），然后根据地层构造知识推理规则，将TIN中的三角形逐个沿钻孔向下扩展生成GTP。建立三维地层模型，能够解决包括尖灭、分叉和断层等在内的复杂地层构造推理和自动建模。该方法对基于GTP的三维地层建模具有一定的参考价值和指导意义。     

基于知识的冲压产品与工艺集成建模方法

结合当前智能设计技术的发展，研究了面向工艺设计的冲压特征建模方法，建立了单特征定义与冲压工艺性评价模型、工艺规则的集成机制；分析了工步排样中的知识集成策略，给出了集成工步排样总体事例模型和工序间关系分析模型的设计方法；总结了集成知识模型的几何处理技术，提出了基于CAD平台进行几何处理的基本原理。应用结果表明，集成知识模型能有效提高冲压工艺设计能力。     

Interaction of APT with BSA or HSA

1 Introduction In the past few years, a series of saturated, unsatu- rated fatty hydrocarbon and aryl substituted thiourea compounds have been synthesized and successfully used in analytical chemistry[1―4]. N-n-amyl-N'-(sodium p-aminobenzenesulfonate) thiourea (APT) is one of these newly synthesized reagents. As a kind of drug, thiourea compounds exhibit various biological activi- ties such as antiviral and antifungal[5]. They can be used as insecticides, herbicides and plant-growth regula-…