Representing temporal knowledge in conceptual graphs

This study was motivated by some difficulties encountered by the authors when trying to express temporal knowledge using Sowa's conceptual graph (CG) approach. An overview of Sowa's approach is given and the difficulties encountered when trying to model temporal knowledge are outlined: the disparity of notations allowed by CG theory for expressing temporal information; the ambiguity and incompleteness of tense sspecification; the difficulty of harmonizing tenses and intergraph temporal relations. Various approaches suggested for representing time both in artificial intelligence and linguistics are presented, and an extension to Sowa's approach is proposed in which temporal and nontemporal knowledge are differentiated. In this model points in time are represented as well as time intervals. A semantic interpretation of verbs is provided based on an extension of Reichenbach's model of temporal markers. The authors show how their approach enables the representation of tenses as well as the aspectual properties of natural language sentences.     

HiSQL: A Front-end Query System for Historical Relational Databases

The paper describes a prototype system called HiSQL (Historical SQL) which extends the functionality of SQL in manipulating historical data, by providing functions for spatial and temporal processing. Conceptually the paper is divided into three parts: the first part deals with the design and architecture of the system; the second part introduces a case study (the defters); and the third part describes specific functions for spatial and temporal processing of serial documents. The paper concludes with a comparison between HiSQL and SQL and suggestions for further work. This revised version was published online in August 2006 with corrections to the Cover Date.     

有环境约束时完成一族跟踪任务的力控制

本文为工业机器人提出了一种极点配置控制法，这种控制方法的优点有：一是它的积分作用消除了机器人的微小扰动和稳态误差；二是能任意设置系统的极点，因此能保证闭环系统的稳定性和规定状态变量的暂态响应；三是加入了加速度反馈，抑制了由电枢电感所引起的机械手的振动，最后，给出了ＰＵＭＡ５６２机器人的计算机仿真和实验结果验证了此控制法的有效性。     

New quadratic models for the maximum weighted cut problem

New quadratic models are proposed to improve the upper-bound estimates in the maximum weighted cut problem. They are found by two original methods for deriving redundant quadratic constraints. A well-known linear model is shown to follow from the models proposed. Recommendations on how to develop its strengthened analogs are given. This study is partially sponsored from the grant UM2-2574-KV-03 (CRDF Cooperative Grants Program). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 63—75, January–February 2006.     

New Tractable Classes From Old

The constraint satisfaction problem is known to be NP-hard in general, but a number of restrictions of the problem have been identified over the years which ensure tractability. This paper introduces two simple methods of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We demonstrate that the classes so obtained are genuinely novel, and have not been previously identified. In addition, we use algebraic techniques to extend the tractable classes which we identify, and to show that the algorithms for solving these extended classes can be less than obvious.     

A note on stress-constrained truss topology optimization

The purpose of this brief note is to demonstrate that general-purpose optimization methods and codes should not be discarded when dealing with stress-constrained truss topology optimization. By using a disaggregated formulation of the considered problem, such methods may find also “singular optima”, without using perturbation techniques like the ε-relaxed approach. Received February 19, 2002     

基于多分辨率的图象压缩系统结构分析

本文着重对图象多分辨率技术进行分析，并提出了相应的系统结构成框架，同时还探讨了以图象多分辨率处理为核心，采用了 新的压缩编码的可能性。     

Effects of viscosity on the bitterness and astringency of grape seed tannin

To examine the separate effects of viscosity and sweetness on astringency, aqueous solutions of grape seed tannin (GST) were thickened with carboxymethyl cellulose (CMC) from 2 to 45 cP (experiment 1) or sweetened with 0 to 1.8 g/L aspartame (experiment 2). Trained subjects continuously rated astringency and bitterness in duplicate. Subjects were categorized by the salivary flow induced by citric acid and ability to taste n-propyl thiouracil (PROP). In experiment 1, maximum intensity and total duration of astringency were significantly decreased as viscosity rose, although time to maximum intensity of astringency was not affected. Maximum intensity and total duration of bitterness were not significantly affected by increasing viscosity; however, the onset of bitterness was significantly delayed. In experiment 2, increasing sweetness had no affect on any astringency parameter, although maximum intensity of bitterness was significantly decreased. Neither PROP nor salivary flow-status had any effect on perception of bitterness or astringency in either experiment.     

双臂协调约束系统动力学问题探讨

本文讨论了双臂协调约束系统的动力学问题．文中系统地描述了该系统的适应于计算机程序化的建模方法；推导了系统的动力学方程，并给出了用约束矩阵的正交补矩阵处理系统所受协调约束的方法；编制了相应的计算机辅助分析程序ＤＲＣＲＣＳ，并用该程序对算例进行了动力学的数值分析。