智能化系统在新火车站的应用——福州火车站智能化系统设计总结

福州火车站智能化系统包括到发通告、旅客引导显示、客运广播、建筑设备自动控制等7个子系统和系统总集成。     

信号时域积分性质的一个推广应用

对信号进行运算（卷积运算，傅氏变换，拉纸变换）时，应用时域积分性质，得出由函数导数的运算式求取原函数的相应运算结果的一般性计算公式，使时域积分性质的应用得到推广。     

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给出的电磁波完全匹配层吸收边界条件，推导出三维波动方程任意差分精细积分法地震正演的完全匹配层吸收边界条件计算公式，并给出了完全匹配层吸收边界条件算例。计算结果表明，此方法压制边界反射效果明显。三维波动方程地震正演模拟实例表明，完全匹配层吸收边界条件的任意差分精细积分法为复杂区地震波传播规律研究提供了一种实用的正演模拟工具     

基于分形理论的供应链管理模型分析

为了克服日益复杂的供应链问题,在分形理论的基础上介绍了分形供应链的概念和特点,认为分形供应链所具有的自相似、自组织、自优化等特点可以很好地提高供应链的灵活性,增强适应环境的能力.在此基础上进一步研究了分形供应链的结构模型和运作模型,探讨了其现实意义.     

高科技企业的供应链管理特点研究

高科技企业的供应链管理研究对于指导高科技企业的运作具有重要意义。本文从建立供应链合作伙伴关系、建立适应高科技企业发展的分销渠道、合理的组织间交易激励政策的设计、供应链流程的优化和集成等四个方面对高科技企业的供应链管理进行了论述。     

钌基厚膜电阻传导模型初探

介绍钌基厚膜电阻的三种传导模型。三种模型都可以得到较满意的R—V曲线，不足处是链模型得出电阻率和导电相粒子形状及尺寸的关系和实验事实不符；有效介质模型不能反映厚膜电阻形成过程中众多因素的影响；渗透模型很多参数的获得有赖经验公式。渗透模型能反映烧结过程中更多因素的影响，并可解释方阻与导电相粒度及峰值温度的变化关系。     

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)     

供应链环境下的性能评价系统研究

在竞争全球化的趋势下，供应链管理越来越受到企业重视，供应链性能评价系统(supply Chain Performance Mea-surement System,SCPMS)是供应链管理的关键组成部分，然而企业却不愿意或没有能力建立有效的性能评价系统。总结了供应链性能评价的定义、发展过程及难点，在此基础上提供了一套供应链性能评价的方法，为企业快速建立集成供应链性能评价系统提供借鉴。