Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

Viscosities of nonelectrolyte liquid mixtures. III. Selected binary and quaternary mixtures

This paper is the final in a series of three viscosity and density studies of pure n-alkanes and selected binary and quaternary mixtures. A standard U-tube viscometer was used for viscosity measurements, and a Pyrex flask-type pycnometer was used for density determinations. Results are given here for pure alkane and selected binary mixtures of n-tetradecane + n-octane, for selected quaternary mixtures of n-hexadecane + n-dodecane + n-decane + n-hexane, and for pure and selected quaternary mixtures of n-hexadecane + n-dodecane + n-nonane + n-heptane at 303.16 and 308.16 K. The principle of congruence was tested, as was the Grunberg and Nissan equation, as they have been shown to be useful as prediction techniques for other n-alkane binary mixtures. Comparisons were made between the two groups of quaternary alkane mixtures and the binary n-tetradecane + n-octane mixtures of the same pseudo composition to understand better the dependence of mixture viscosities on the composition parameter.     

一种基于族相合性的文本增量聚类箅法

传统文本聚类方法只适合处理静态样本,且时间复杂度较高。针对该问题,提出一种基于簇相合性的文本增量聚类算法。采用基于词项语义相似度的文本表示模型,利用词项之间的语义信息,通过计算新增文本与已有簇之间的相合性实现对文本的增量聚类。增量处理完部分文本后,对其中错分可能性较大的文本重新指派类别,以进一步提高聚类性能。该算法可在对象数据不断增长或更新的情况下,避免大量重复计算,提高聚类性能。在20 Newsgroups数据集上进行实验,结果表明,与k-means算法和SHC算法相比,该算法可减少聚类时间,提高聚类性能。     

关于不定方程x^2＋y^2＋z^2=1＋dxyz的解

通过基本初等变换以及同余定理等有关理论讨论了方程x^2＋y^2＋z^2=1＋dxyz的解,并给出了全部解。     

On quadratic two-parameter families of spheres and their envelopes

In the present paper we investigate rational two-parameter families of spheres and their envelope surfaces in Euclidean . The four dimensional cyclographic model of the set of spheres in is an appropriate framework to show that a quadratic triangular Bézier patch in corresponds to a two-parameter family of spheres with rational envelope surface. The construction shows also that the envelope has rational offsets. Further we outline how to generalize the construction to obtain a much larger class of surfaces with similar properties.     

一类双输入非线性系统的二维平面形状合同控制器设计

针对一般控制系统,利用微分几何中的曲线理论提出了形状变量、被控形状轨迹曲线和形状合同控制等概念.然后,针对一类具有双输入及二维形状变最的非线性系统,利用相对曲率概念和曲线论基本定理设计了三维平面形状合同控制器,这种形状合同控制器能够保证系统的被控形状轨迹曲线与参考轨迹曲线具有完全相同的形状.最后的仿真说明了所采用方法的有效性.     

基于粒子滤波和点线相合的未知环境地图构建方法

针对粒子滤波处理未知环境地图构建时存在存储空间负荷高、计算量大的问题, 本文使用线段特征描述环境信息, 将点线相合的增量式地图构建方法引入粒子滤波中. 在每个粒子中保存对已构建线段特征地图的假设; 使用点线相合的位姿估计算法将观测信息引入重要性函数, 确定采样空间; 通过观测信息与已构建线段特征地图之间的相合关系更新粒子权重; 最后通过选择性重采样去除因匹配不当和误差积累产生的错误地图. 分析表明, 该算法的复杂度较低. 在真实传感器数据上的实验结果验证了该算法构建室内环境地图的有效性和鲁棒性. 算法所需存储空间和粒子数远小于现有粒子滤波地图构建方法.     

Sharing information and building trust through value congruence

This study explores how value congruence contributes to the formation of trust in e-businesses, and how trust and value congruence influence consumers to share personal information. It is hypothesized that the perceived values of organizations regarding moral, social, environmental and political causes can have an effect on the trusting beliefs of e-commerce consumers and their willingness to disclose private personal information. A total of 775 subjects rated their perceived value congruence with organizations, their trusting beliefs, and the types of information they would be willing to disclose. This study finds that value congruence not only plays a role in mediating the trust of consumers for the organizations, but it also has a strong effect on determining their willingness to disclose personal information. In some cases, the influence of value congruence is greater than that of trust, even though trust has been touted in the literature as one of the most important factors in e-commerce. This research expands prior work by using structural equation modeling to test the relative strength of the effect of value congruence on each dimension of trust and the overall trust level, as well as its direct effect on behavioral intentions in terms of information sharing for non-profit and for-profit organizations.

加法可逆半环上的Fuzzy同余

定义了加法可逆半环上的Fuzzy同余关系，讨论了带有Fuzzy同余关系的加法可逆半环S的性质。证明得出：如果S是一个带有Fuzzy同余关系μ的加法可逆半环，则S关于μ的Fuzzy同余类做成一个加法可逆半环。给出了带有Fuzzy同余关系的加法可逆半环的同态性质。