Efficient Composition of Semantic Web Services with End-to-End QoS Optimization

The efficiency of QoS-aware service composition is important since most service composition problems are known to be NP-hard. With the growing number of web services, service composition is like a decision problem on selecting services or/and execution plans to satisfy the users' end-to-end QoS requirements (e.g. response time, throughput). Composite services with the same functionality may have different execution plans, which may cause different end-to-end QoS. This paper presents a model combining semantic data-links and QoS, which leads to an efficient approach to automatic construction of a composite service with optimal end-to-end QoS. The approach is based on a greedy algorithm to select both services and execution plans for composite services. Empirical and theoretical analyses of the approach show that its time complexity is O(mn²) for a repository with n services and an ontology with m concepts. Moreover, the approach increases linearly in time when using an index to search services in the repository. Tests with a repository with 20 000 services and an ontology with 300 000 concepts show that the algorithm significantly outperforms current existing algorithms in terms of composition efficiency while achieving optimal end-to-end QoS.     

Congruence permutable Kleene-Stone algebras

A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

电学实验中电阻测量的误差分析

电学实验中误差分析既是学生学习的重点,也是电学实验教学的难点。就电学实验中对实验原理误差分析的几种常用方法进行探讨具有重要意义。     

Missile robust gain scheduling autopilot design using full block multipliers

Reduction of conservatism is one of the key and difficult problems in missile robust gain scheduling autopilot design based on multipliers. This article presents a scheme of adopting linear parameter-varying (LPV) control approach with full block multipliers to design a missile robust gain scheduling autopilot in order to eliminate conservatism. A model matching design structure with a high demand on matching precision is constructed based on the missile linear fractional transformation (LFT) model. By applying full block S-procedure and elimination lemma, a convex feasibility problem with an infinite number of constraints is formulated to satisfy robust quadratic performance specifications. Then a grid method is adopted to transform the infinite-dimensional convex feasibility problem into a solvable finite-dimensional convex feasibility problem, based on which a gain scheduling controller with linear fractional dependence on the flight Mach number and altitude is derived. Static and dynamic simulation results show the effectiveness and feasibility of the proposed scheme.     

A novel self-promoted Morita-Baylis-Hillman-like dimerization

While stable in CH₂Cl₂, hexane or THF, in the presence of MeOH, self-promoted dimerization of the triarylphosphine-alkene 1, a ligand for Pd-catalyzed reactions, produced an unusual racemic bis(phosphine) 2 in high yield. The reaction of 2 with Pd(dba)₂, followed by oxidative addition of p-IC₆H₄NO₂, yielded a trans-chelated Pd(II) aryl iodide complex.     

500万t/a常减压装置常压塔顶换热器、常压炉局部改造

随着加工原油的轻质化,兰州石化公司500万t/a常减压装置常压塔顶负荷达到上限,常压塔的操作压力高达0.150MPa,常压塔顶常顶油气-热媒水换热器E-504出口温度上升,部分油气相变直接后移至空冷器,对空冷器的腐蚀加剧;换热终温下降,常压炉负荷上升,对流室取热不足,常压炉热效率长期较低。为此,对常压塔顶热媒水换热器以及常压炉对流室炉管进行了技术改造,降低了常压塔的操作压力,空冷器的腐蚀明显改善,常压加热炉效率上升。     

Dynamic memory mapping delivers additional flexibility to virtual resource management

The Department of Computer Science and Technology, Peking University, Beijing, China, has shown that a novel Dynamic Memory Mapping (DMM) model brings about additional flexibility to virtual resource management, leading to the feature-adjustable design of a virtual machine monitor (VMM). The study is reported in Issue 53 (June, 2010) of SCIENCE CHINA Information Sciences because of its significant research value.
........     

日本大学Seminar教学模式的研究

Seminar教学在日本的许多高等院校中是非常重要的课程,其目的是发掘学生的学习主动性、培养学生的自学能力、训练学生的口头表达能力和提高他们的参与意识.这一活动培养和训练了学生探索问题和解决问题的能力.     

浅析PLC控制系统在连续退火机组的稳定性

文章对PLC控制系统在连续退火机组工作的稳定性进行了较深入的研究,探讨了提高系统可靠运行的方法,具有一定的实用价值.     

现代性批判视阈中的技术之恶及其终结——论沃勒斯坦重估现代性价值的意义与方法

沃勒斯坦区分了技术现代性和人类解放的现代性,认为西方现代性批判运动以技术之恶为借口意欲终结整个现代性,这种做法实质上罔顾了它的内在价值。沃勒斯坦重估并肯定了现代性的价值,这对于我们反思现代性批判思潮和坚定走社会主义现代化道路具有重大的理论启示意义。但是,他基于主观主义方法论立场不可能为人类解放的现代性找到真正的出路。马克思的"世界历史"观以其现实的历史性原则,不但实现了对主观主义方法论的批判,而且也实现了对技术现代性之恶的真正终结。