Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

Representation, reasoning about and integrating knowledge based on multiple time granularities in knowledge-based systems is important, especially when talking about events that take place in the real world. Formal approaches based on temporal logics have been successfully applied in many application domains of knowledge-based systems where the evolution of a system and its environment through time is central. This paper presents a methodology based on temporal logic to deal with knowledge based on multiple time granularities in knowledge-based systems. The temporal logic we consider is especially suitable for modelling events with different rates and/or scales of progress. The methodology includes an approach to the representation of timing systems, a method used for representing facts and rules in a knowledge-based system that involve multiple time granularities using temporal logic, and several deductive reasoning techniques. The work presented in this article has been supported in part by The Australian Research Council and Macquarie University. Note that this paper is an extended and revised version of Orgun, Liu and Nayak [37].     

个性粒化k-匿名隐私保护方法研究

结合粒计算粗糙集理论和k-匿名理论的最新研究现状,从粒化角度出发,提出个性粒化k-匿名隐私保护方法.针对电子商务中隐私保护个性粒化决策选择度的不同,提出一种新的隐私保护方法:个性粒化k-匿名并给出了相关算法和定义,旨在实现更为合理的个性化隐私保护,提高隐私保护的精度.     

Measurement of Root Mean Square Granularity of X-ray Films Using a Commercial Film Scanner

Root mean square granularity of films are generally measured using a microdensito-meter, although it is costly and not easily available. To solve the cost problem, we tried to use an inexpensive commercial film scanner. Films with different densities were prepared and the relationship between densities by a diffuse densitometer and pixel values by a film scanner was obtained. We found that a linear relationship exists between rms granularity and a corrected standard deviation of pixel value that is available as an index granularity.This paper was originally presented at the 2nd International Conference on Optical Design and Fabrication, ODF2000 which was held on November 15-17, 2000 at the International Coference Center, Tokyo, Waseda University, Japan.     

大型结构特征值问题的混合粒度并行算法

本文提出一种求解大形结构特征值问题的粗细粒度混合并行算法：在子结构模态综合粗粒度并行算基础上,综合系统的特性值问题采用细粒度并行方式求解。细粒度并行包括子空间迭代法的子结构并行算法、雅可比分块并行计算的方法和一种Ｎｅｗｔｏｎ－Ｒａｐｈｏｎ迭代法在多处理器上任力均衡分配的有效策略。子空间迭代法的子结构并行计算的实施是利用子结构的刚度阵和质量阵而不必完全组集系统刚度阵和国求综合系统的特征值问题。利用雅     

A HYBRID GRANULARITY PARALLEL ALGORITHM FOR PRECISE INTEGRATION OF STRUCTURAL DYNAMIC RESPONSES

Precise integration methods to solve structural dynamic responses and the corresponding time integration formula are composed of two parts： the multiplication of an exponential matrix with a vector and the integration term. The second term can be solved by the series solution. Two hybrid granularity parallel algorithms are designed, that is, the exponential matrix and the first term are computed by the fine-grained parallel algorithra and the second term is computed by the coarse-grained parallel algorithm. Numerical examples show that these two hybrid granularity parallel algorithms obtain higher speedup and parallel efficiency than two existing parallel algorithms.     

多时间粒度约束的时态多值依赖推理

时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础.     

形体细胞的MCEM模型及其光散射分布特征

针对光散射细胞微粒测量中真实形体细胞的取向对测量结果的影响问题，基于Rayleigh-Debye-Gans理论和双椭球核式(CEM)模型在应用中的差异，建立了CEM的修正模型(MCEM)，根据此模型系统讨论了细胞在不同入射角变化情况下其光散射强度分布所产生的变化，得到了不同入射角下有核细胞光散射强度分布与有核细胞相关物理特征量的动态响应关系；此外，对有核细胞光散射强度分布进行拟合，得到了有核细胞光散射强度分布函数。误差分析表明：拟合结果可有效地应用于真实细胞光散射测量中的数值反演计算。     

Set-based granular computing: A lattice model

Set-based granular computing plays an important role in human reasoning and problem solving. Its three key issues constitute information granulation, information granularity and granular operation. To address these issues, several methods have been developed in the literature, but no unified framework has been formulated for them, which could be inefficient to some extent. To facilitate further research on the topic, through consistently representing granular structures induced by information granulation, we introduce a concept of knowledge distance to differentiate any two granular structures. Based on the knowledge distance, we propose a unified framework for set-based granular computing, which is named a lattice model. Its application leads to desired answers to two key questions: (1) what is the essence of information granularity, and (2) how to perform granular operation. Through using the knowledge distance, a new axiomatic definition to information granularity, called generalized information granularity is developed and its corresponding lattice model is established, which reveal the essence of information granularity in set-based granular computing. Moreover, four operators are defined on granular structures, under which the algebraic structure of granular structures forms a complementary lattice. These operators can effectively accomplish composition, decomposition and transformation of granular structures. These results show that the knowledge distance and the lattice model are powerful mechanisms for studying set-based granular computing.     

傅里叶变换近红外光谱仪扫描条件对数学模型预测精度的影响

以小麦粉状样品为例 ,研究了傅里叶变换近红外光谱仪在不同分辨率 ,不同的激光频率下扫描样品对近红外光谱用于分析小麦样品蛋白质含量的影响。结果表明 :以 4 ,8,16cm- 1 的分辨率扫描样品或当激光频率改变幅度在 1cm- 1 以内时对小麦蛋白模型的影响不显著 ,样品粒度对模型影响较大