Merging uncertain information with semantic heterogeneity in XML

Semistructured information can be merged in a logic-based framework [6, 7]. This framework has been extended to deal with uncertainty, in the form of probability values, degrees of beliefs, or necessity measures, associated with leaves (i.e. textentries) in the XML documents [3]. In this paper we further extend this approach to modelling and merging uncertain information that is defined at different levels of granularity of XML textentries, and to modelling and reasoning with XML documents that contain semantically heterogeneous uncertain information on more complex elements in XML subtrees. We present the formal definitions for modelling, propagating and merging semantically heterogeneous uncertain information and explain how they can be handled using logic-based fusion techniques. Anthony Hunter received a B.Sc. (1984) from the University of Bristol and an M.Sc. (1987) and Ph.D. (1992) from Imperial College, London. He is currently a reader in the Department of Computer Science at University College London. His main research interests are: Knowledge representation and reasoning, Analysing inconsistency, Argumentation, Default reasoning and Knowledge Fusion. Weiru Liu is a senior lecturer at the School of Computer Science, Queen's University Belfast. She received her B.Sc. and M.Sc. degrees in Computer Science from Jilin University, P.R China, and her Ph.D. degree in Artificial Intelligence from the University of Edinburgh. Her main research interests include reasoning under uncertainty, knowledge representation and reasoning, uncertain knowledge and information fusion, and knowledge discovery in databases. She has published over 50 journal and conference papers in these areas.     

三维精细积分法地震正演及边界条件

 将任意差分精细积分法用于三维波动方程地震正演，关键在于如何消除数值计算中有限波场区域边界引起的边界反射。文中采用Berenger给出的电磁波完全匹配层吸收边界条件，推导出三维波动方程任意差分精细积分法地震正演的完全匹配层吸收边界条件计算公式，并给出了完全匹配层吸收边界条件算例。计算结果表明，此方法压制边界反射效果明显。三维波动方程地震正演模拟实例表明，完全匹配层吸收边界条件的任意差分精细积分法为复杂区地震波传播规律研究提供了一种实用的正演模拟工具     

基于物元模型的警务信息化集成风险评价

警务信息化建设已经开始进入信息与系统集成的阶段,公安机关在此过程中面临着多种集成风险。分析警务信息化集成的背景与肯面临的各种风险,应用物元模型建立警务信息化集成风险的评价的指标体系与方法,给出相应的计算示例。结果表明该方法有效可行,为警务信息化集成风险评价提供一条新途径。     

Describing metal surfaces and nanostructures with orbital-free density functional theory

Orbital-free density functional theory (OF-DFT) can be made to scale linearly with sample size, allowing thousands of atoms to be treated explicitly with quantum mechanics. State-of-the-art kinetic energy density functionals and ion–electron pseudopotentials are used to obtain accurate structural property predictions for nanoparticles, nanowires, extended surfaces, and nanoindentation of simple metals.     

电信运营商纵向一体化的经济学分析

阐述了我国电信服务业的纵向链条，以经济学的视角分析了电信运营商执行纵向一体化战略的动因．讨论了电信运营商纵向一体化的边界问题，最后提出我国电信运营商执行渐变一体化和战略联盟的建议。     

新型环保冷冻机油的研制

新型冷冻机油具有与制冷压缩机同寿命等特点，本文采用中压加氢处理组合工艺新技术生产的基础油，复配功能添加剂后，解决了冷冻机油与制冷剂R600a相溶性及与制冷剂共存时的热稳定性、抗磨损等关键问题。所研制的100冷冻机油通过了加西贝拉压缩机台架试验，满足了环保型冷媒R600a冰箱制冷压缩机用冷冻机油对基础油的要求。     

Targeting optimum resource allocation using reverse problem formulations and property clustering techniques

Decoupling the constitutive equations from the balance and constraint equations allows for reformulating a conventional forward problem into two reverse problems. The first reverse problem is the reverse of a simulation problem, where the process model is solved in terms of the constitutive (synthesis/design) variables instead of the process variables, thus providing the synthesis/design targets. The second reverse problem (reverse property prediction) solves the constitutive equations to identify unit operations, operating conditions and/or products by matching the synthesis/design targets. Visualization of the problem is achieved by employing recently developed property clustering techniques, which allows a high-dimensional problem to be visualized in two or three dimensions. The clusters by definition satisfy intra-stream and inter-stream conservation through linear “mixing” rules, which allows for the development of consistent additive rules along with their ternary representation.     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

First-principles study of the tensile and fracture of the Al/TiN interface

Employing the density functional theory, we investigate the tensile and fracture processes of the Al/TiN(0 0 1) interface. The simulation presents directly the strain–stress relationship, the ideal tensile strength and the process of bond breaking of the system. Through the analysis of deformation, we find that the softer Al layers deform larger than the harder TiN layers during the tensile process. And fracture occurs between the interface and the sub-interface Al layers. In addition, the results show that during the tensile process, the ripple of the interfacial TiN layer decreases gradually with the increment of the strain. Charge transfer was detected from the Al to TiN layers near the interface area during the tensile process by means of charge density and density of states analyses. The charge transfer affects the fracture process. Compared to our previous study of the Al/TiN(1 1 1) interface, the Al/TiN(0 0 1) interface has smaller work of adhesion and larger tensile strength than the Al/TiN(1 1 1) interface. Our investigation shows that the fractures of the Al/TiN(0 0 1) and (1 1 1) interface systems both happen in the Al layers near the interface.