Agent-Mediated Electronic Commerce

Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have developed methodologies, products, and systems, having in mind the specificities of trade, the interaction particularities of commerce, the strict notion of commitment and contract, and the clearly shaped conventions and norms that structure the field. In this paper I survey some key areas for agent technology which, although general, are of special importance in electronic commerce, namely, solid development methodologies, negotiation technologies and trust-building mechanisms. I give examples of systems in which I have directly participated, although I also try to refer to the work of other AgentLink Special Interest Group members over the last few years.     

A fuzzy constraint satisfaction approach for electronic shopping assistance

The Internet and World Wide Web offer an additional channel for consumers to find, select, and buy products. However, unlike shopping in the traditional store, consumers have no direct contact with human clerks to get the required information in the electronic store. The objective of this paper is to propose a fuzzy constraint satisfaction approach to help buyers find fully satisfactory or replacement products in electronic shopping. For the buyer who can give precise product requirements, the proposed approach can generate product-ranking lists based on the satisfaction degrees of each product to the given requirements. For the buyer who may not input accurate requirements, a similarity analysis approach is proposed to assess buyer requirements automatically during his browsing process. The proposed approach could help buyers find the preferred products on the top of the ranking list without further searching the remaining pages. The experimental results show the applicability of the proposed approach for electronic shopping assistance.     

Multiobjective problems: Linear and nonlinear control

In this note, we compare the value of nonlinear and linear control for a multiobjective control problem with a linear time-invariant (LTI) plant. We show that if the performance of a nonlinear feedback controller is measured by the maximum incremental gain, the optimal achievable performance with nonlinear, time-varying control is identical to that achievable by LTI control.     

LF半准开集的一种新定义

给出了一种新的ＬＦ半准开集定义，采用新的ＬＦ半准开集定义，较详细地研究了ＬＦ半准开集及半准连续函数的一些重要性质。     

惯性、刚性振动出矿机合理振动形态设计理论探讨

简要地讨论了惯性、刚性振动出矿机在三个自由度下运动的解答;并根据实际使用情况,提出了振动出矿机合理振动形态的概念及条件。从理论上导出了求得合理振动形态的设计方法及计算公式。     

邵晋涵史学批评述论

清代乾嘉时期著名学者邵晋涵，留给世人的印象仅仅是精通经学和历史考证的汉学家，其实他也是一位史学理论家。邵晋涵对中国古代史学所作的批评，特点鲜明，包含着丰富的史学思想，具有重要理论价值。     

A Theory of Object-Oriented Design

Progress was made in the understanding of object-oriented (O-O) design through the introduction of patterns of design and architecture. Few works, however, offer methods of precise specification for O-O design.This article provides a well-defined ontology and an underlying framework for the formal specification of O-O design: (1) We observe key design motifs in O-O design and architectures. (2) We provide a computational model in mathematical logic suitable for the discussion in O-O design. (3) We use our conceptual toolkit to analyze and compare proposed formalisms.     

二阶半线性椭圆型方程组正整体解的存在性

在这篇文章中,我们讨论二阶半线性椭圆型方程组正整体解.利用不动点理解,单调方法和上下解技巧,由Lp估计和Schauder正则理论以及对角线方法,我们得到二阶椭圆型弱藕合组正整体解的存在性;我们还进一步讨论了广泛的一类二阶半线性椭圆型方程组,并利用正整体解的存在性结论,证明了这类椭圆型方程组有无穷多个有界,且其界异于零的整体解.     

用分子强度理论分析混凝土的增强措施

随着混凝土科学的发展,人们对水泥混凝土的研究将逐步由宏观向亚微观和微观过渡,从定性向定量过渡。因此,应用分子强度理论来探讨材料的宏观强度理论近期得到发展。借助于它可查明材料的理论强度,以便研制出性能(耐久性、力学性能)良好的新型材料。本文用分子强度理论分析了混凝土的增强措施。     

灾害中生活类物资的供应分析——以汶川地震重灾区物资供应为例

救灾生活类物资在供应中面临着优化运输路线、降低运输成本、缩短运输时间3个难题。文章采用相关机会多目标规划模型,以汶川地震为例,总结并完善了自然灾害救助中的多物资的协作供应模式,为突发性重大灾害中多物资的协作供应的组织、实施、管理提供参考支持。