Shifts in sensory dominance between various stages of user-product interactions

In the area of product design, sensory dominance can be defined as the relative importance of different sensory modalities for product experience. It is often assumed that vision dominates the other senses. In the present study, we asked 243 participants to describe their experiences with consumer products in various situations: while buying a product, after the first week, the first month, and the first year of usage. The data suggest that the dominant sensory modality depends on the period of product usage. At the moment of buying, vision is the most important modality, but during the usage the other sensory modalities gain importance. The roles of the different modalities during usage are product-dependent. Averaged over 93 products analyzed in this study, after one month of usage touch becomes more important than vision, and after one year vision, touch and audition appear to be equally important. We conclude that to create a long-lasting positive product experience, designers need to consider user-product interaction at different stages of product usage and to determine which sensory modality dominates product experience at each stage.     

区间序信息系统及其属性约简算法

在不含决策属性的区间序信息系统中,区间偏序关系的不完备性造成信息流失。针对该问题,提出一种新的基于区间模糊数的区间序全序关系,以此建立区间序信息系统,并分析其相关上、下近似的单调性和包含性。采用不可区分函数的方法,给出区间序信息系统的属性约简算法,并通过算例验证了该算法的有效性。     

一种类间测试顺序改进算法

确定类的测试顺序是面向对象程序测试中的关键步骤。描述对象关系图模型,提出一种基于对象关系图的类间集成测试顺序改进算法,与Tai和Traon等人提出的算法相比,该算法需要的测试桩较少、效率较高。在Redflag4系统下用Kylix3(C++)对算法进行实现。理论分析和初步实验证明了该算法的可行性和有效性。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

基于Java实现移动Agent强迁移的方法

对比分析了常见的移动Agent强迁移与弱迁移,提出一种基于Java实现移动Agent强迁移的方法.该方法基于IBMJikesRvm(Jikes research virtual machine(RVM))提供的RVM,利用OSR(on-stack replacement)捕捉运行堆栈的状态,实现了移动Agent强迁移.该方法不需要对源代码或字节码进行预处理,也不需要改变JVNI,具有很好的系统扩展性.     

Fuzzy hyperlattices

In this paper, we introduce the notion of fuzzy hyperlattices and establish connections between fuzzy hyperlattices and hyperlattices. Then we discuss the relations between the weak homomorphism of fuzzy hyperlattices and the weak homomorphism of corresponding hyperlattices. Moreover, we define and analyze the hypercongruence on hyperlattices and the fuzzy (strong) hypercongruence on fuzzy hyperlattices. And we study the interrelation between the (fuzzy) hypercongruence on (fuzzy) hyperlattices and the homomorphism of (fuzzy) hyperlattices. Also, a relation between the fuzzy hypercongruence on fuzzy hyperlattices and the hypercongruence on corresponding hyperlattices is obtained. Finally, we apply the hypercongruence and the fuzzy strong hypercongruence to construct quotient structures of hyperlattices and fuzzy hyperlattices, respectively.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

Intuitionistic fuzzy transformation semigroups

The idea of (faithful) intuitionistic fuzzy transformation semigroup, intuitionistic admissible relation, and intuitionistic (strong) homomorphism are introduced and their basic properties are examined.     

改进的CKF算法及其在BDS/INS中的应用

针对标准容积卡尔曼滤波(CKF)在组合导航系统模型不确定情况下滤波精度下降甚至发散的问题,将奇异值分解(SVD)与CKF算法相结合,并引入强跟踪滤波(STF)理论,提出一种改进的强跟踪SVD-CKF算法.为提高数值计算的稳定性,采用SVD代替标准CKF中的Cholesky分解;引入STF理论框架,通过渐消因子对预测误差协方差阵进行在线修正,在系统模型不确定或系统发生大的突变时,能够提高系统的强鲁棒性.通过仿真结果验证了改进算法的有效性.