分布式对象理论：异步-移动-组通信-组件

现今，分布式结构和各种通信对象普遍存在着，在全世界网格和P2P计算环境下，需要完成大量的分布式对象的交互工作，可是，到目前为止还没有一个系统可以对这种交互进行形式化的描述。本书开创性地定义了一种通用性的计算描述形式，利用异步调用的手段来进行分布式对象交互，并且保证其效率和可扩展性。书中介绍的方法还被证明可以解决移动性、组通信以及组件问题。     

支持产品数据动态管理的数据-过程互动模型

根据产品设计过程的实际特点,提出一个数据－过程互动模型（DPIM,dsata and pocess interplayed model）,该模型能有效地描述产品数据和设计过程间的动态交互行为,基于该动态模型,设计过程的描述和执行能适应设计数据的动态变化,设计数据和设计过程的管理紧密地集成一起,由于设计数据的变化和过程的定义执行是互动的方式交织进行的,所以该模型能较好地描述产品设计过程的动态性。     

温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

新媒体文化下的互动类广告设计探讨

互动广告能够让受众参与情境体验,同时产生受众与媒介之间的交互行为,该交互行为是其区别于传统广告形式的主要特点。随着科学技术的发展,新媒体文化渗透的互动广告打破了传统广告单一的表现形式和传播模式的单向性,大大推进了现代广告业的发展。文章归纳总结了新媒体和交互广告的定义、发展背景和特点,进一步分析了新媒体互动广告的设计原则,阐述了新媒体互动广告的设计优势。     

制造网格中基于节点行为信任的访问控制模型研究

为了给协同制造网格节点之间的资源访问和共享的交互行为提供信任度量,提出一种制造网格环境下基于节点行为信任的访问控制模型.将制造网格节点的关系划分为管理域内信任关系和管理域间信任关系,给出制造网格节点之间交互行为的信任关系描述和定义,以及节点间交互行为的信任度公式表达和计算方法,通过计算将制造网格中节点交互的信任情况反映到交互行为中.实验结果表明,该模型在一定程度上可有效用于解决制造网格环境中自私节点的动态性和不确定性带来的安全问题.     

意识与行为的相互渗透在产品设计中的运用

产品设计的核心是为人服务,因此,探究产品设计的本质说到底应当是以探究人类情感体验为目标。产品的交互设计正是通过将人与产品的认识理解深化,寻求情感体验的共鸣,使产品实现功能体验和精神享受的同一化。意识和行为是人类思维和情感的内隐表现和外在表达。将意识与行为相互渗透参与到产品设计中,是将人类最本质的核心内容传达到产品中,追求思维心理和情感需要的共鸣。     

寻租研究40年第二卷应用：实践中的寻租

寻找租金永远是人类行为的一部分，对租金的寻找被定义为：报酬或奖赏，它们既不是挣来的，也与竞争性市场的回报不相称。很显然这种行为从很早起一直延续至今。了解财富、地位和其他报酬是怎样获得的努力，以及怎样能把为奖赏的竞争设计成减少与非生产性冲突相关的损失，同时鼓励竞争性的生产形式，极有可能在社会生活萌芽时就开始了。     

基于行为方法的广义系统可控性分析

针对广义描述的线性系统,重新定义控制变量和受控变量,得出明显对象行为及其隐藏行为的核描述.借助适当引理得到使系统可控或可镇定的充分必要条件,这个结果使得对系统进行任意极点配置和使其镇定的控制律设计成为可能.并将此结果推广到一般形式描述的线性系统.     

基于混合状态Petri网的变结构决策组织设计

决策组织是一个混合状态的离散事件动态大系统，它适合于用该文提出的混合状态Ｐｅｔｒｉ网来建模。为了设计一个变结构决策组织，该文基于决策员的四阶段模型和决策员之间的交互关系，定义了一个称之为良定义网的初始集，并利用示性函数来描述良定义网中各连接的可变性。     

基于情景演算多流程交互软件模型的研究与实现

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.     

饮食消费类网站交互设计的用户体验研究

以交互设计理论为基础,通过对用户在使用饮食消费类网站过程中的交互行为和网站构架、操作流程、信息传达等进行了深入调研和分析,了解用户在使用此类网站时的行为特征和具体体验需求,为此类网站的交互模式与设计方法提供有效参考,为改善网站的用户体验过程,促进饮食消费类网站发展、更好地服务用户做有益的尝试.     

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.     

可视化软件体系结构描述工具XYZ／ADL的设计与实现

在时态逻辑语言XYZ／E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ／ADL,它采用组件,连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程度设计方法和基于规范的逐步求精方法有机地结合起来。     

对象的行为表示及其应用

主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时给出了一个简单的描述活动体的语言ＢｅＬａｎ和ＢｅＬａｎ中活动体的指称语义。     

基于熵的AO程序复杂性度量

AOP(aspect-oriented programming)是一种新的程序设计范式,它能够有效解决横切关注点分离问题.由于AO系统的行为依赖于aspect与类之间的交互,因而定义一种新的、适合于AO的复杂性度量,以更加有效的理解和维护AO程序就很有必要.提出了一种新的复杂性度量,用以评估AO系统中aspect的复杂性.首先定义了aspect的信息流图,用以描述组成aspect的元素之间的交互和aspect与其他程序单元的交互;在此基础上,提出了一种基于信息熵的aspect复杂性度量,它从aspect负载的平均信息量角度量化aspect的复杂性.分析了它的外部行为特性,并使用多个AO项目进行了验证.实验结果表明,该度量反映了aspect的设计度量,能够有效的预测aspect的复杂性.     

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

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

CAD技术的发展现状与进展

CAD即计算机辅助设计(Computer Aided Design)是以计算机系统为支持，进行产品的方案设计、解析计算、判断优化、分析评估和详细设计的一门技术，通过结构设计，以数据文件和工程数据库定义产品结构信息：通过交互设计，以数学模型、计算分析和绘图指标建立产品过程信息，其根本任务是为产品的开发和生产建立一个全局信息模型。这项技术的开发     

简议包装设计形式美中视觉元素的构成与表现

包装设作为一种（实用美术，形式美显的尤其重要，在实际产品销售过程中，它必须利用包装设计中的形式美学元素达到美化产品的作用，引导消费者进行选择。在包装设计中，形式表现最主要的元素包括视觉元素和触觉元素，视觉元素是最直接快捷的传达方式。     

基于形式语义的Web服务交互模型

现有的W eb服务缺少明显的语义,W eb服务之间不能很好地理解其相互传递的消息,因而不能实行W eb服务的发现、调用和组合自动化。为此,提出一种基于形式语义的W eb服务交互模型。该方法通过定义W eb服务接口描述的词汇集以及词汇集之间映射规则,实现了开放和分布式环境下的W eb服务的语义交互。与已有的方法相比,该方法考虑了分布式本体的解释及可满足性问题,可自动根据W eb服务接口的描述因子进行分布式本体推理,解决了开放和分布式环境下W eb服务的语义交互问题。     

一类组合KdV-Burgers方程的数值解法

采用一种线性隐格式解组合的KdV Burgers方程，这种方法是无条件稳定的.数值实验描述了单个线性波形运动的情形以及两个波形交互的情形，结果表明，这种格式使用简便，稳定性好，有很好的精度.