Primal or dual: which promises faster spatiotemporal search?

The existing predictive spatiotemporal indexes can be classified into two categories, depending on whether they are based on the primal or dual methodology. Although we have gained considerable empirical knowledge about various access methods, currently there is only limited understanding on the theoretical characteristics of the two methodologies. In fact, the experimental results in different papers even contradict each other, regarding the relative superiority of the primal and dual techniques. This paper presents a careful study on the query performance of general primal and dual indexes, and reveals important insight into the behavior of each technique. In particular, we mathematically establish the conditions that determine the superiority of each methodology, and provide rigorous justification for well-known observations that have not been properly explained in the literature. Our analytical findings also resolve the contradiction in the experiments of previous work.     

On codes defined by bio-operations

We consider the classes of ⊕$\oplus$-codes and ⊗$\otimes$-codes, which are superclasses of outfix and hyper-codes, respectively. These restrictions are based on the synchronized insertion operation, which serves as a model for the gene rearrangement function in certain unicellular organisms. We investigate the classes of ⊕$\oplus$-codes and ⊗$\otimes$-codes from a theoretical perspective, examine their relationships with traditional code classes and consider related decidability problems.     

Prime Number Generation Based On Pocklington's Theorem

Public-key cryptosystems base their security on well-known number-theoretic problems, such as factorisation of a given number n . Hence, prime number generation is an absolute requirement. Many prime number generation techniques have been proposed up-to-date, which differ mainly in terms of complexity, certainty and speed. Pocklington's theorem, if implemented, can guarantee the generation of a true prime. The proposed implementation exhibits low complexity at the expense of long execution time.     

基于Shell＆Bechtel工程管理理念的惠州项目调试模式

介绍了Shell&Bechtel在惠州项目的工程管理理念,系统描述和分析了在这些先进理念基础上形成的惠州项目调试模式,指出了这种调试模式合理性,值得推广的地方。最后也点明了这种模式的一些不足之处。     

毛泽东的社会主义发展阶段思想与社会主义初级阶段理论

毛泽东在领导中国人民探索建设社会主义的过程中，对社会主义发展阶段问题进行了深入的思考，提出了许多重要的思想。这些宝贵的思想成为我们党形成社会主义初级阶段理论的思想来源之一。探讨毛泽东与社会主义初级阶段理论的关系，有助于我们加深理解毛泽东思想及其和邓小平理论之间的渊源关系。     

基于约束理论的设施规划的改进

在市场经济环境下,生产设施规划改进是企业的一项持续不断的工作。本文提出运用约束理论的基本分析步骤,结合工艺流程图分析等手段来分析生产系统的约束因素,并寻求改善和解决方案。     

学习邓小平、江泽民关于小康和小康社会的思想

本文阐述了邓小平关于“小康”和“小康社会”的思想和江泽民对于这一思想的继承和创造性发展。着重从理论和实际的结合上 ,分析了宁波市全面建设小康社会的各种有利条件。认为只要正确把握新世纪新阶段宁波发展面临的新形势 ,聚精会神搞建设 ,一心一意谋发展 ,宁波全面建设小康社会、提前基本实现现代化的目标就一定能实现     

论邓小平的稳定思想

邓小平的稳定思想是邓小平理论的重要组成部分,是邓小平在不断总结革命与建设实践经验,继承和发展毛泽东稳定思想的基础上形成的正确思想.从理论渊源、历史沿革、基本内容和主要特征几个方面论述了邓小平的稳定思想.     

浅谈邓小平德育思想

邓小平德育思想是邓小平理论的重要组成部分,在青年成才过程中,在成才方向、精神动力及实现社会价值等方面具有重要指导意义。     

美语构词缩略音节的优选论分析

英语中缩略词被越来越广泛的运用,但是关于缩略构词音节形成的真正原因却没有一个合理的解释。本文是在优选论的理论框架下,选取McCarthyPrince（1995,1999）提出的对应理论（即优选论中输出项与输入项-IDENT-IO（back）、输出项与输出项之间的对应-IDENT-BT（back））作为忠实性制约条件,Kabn（1976）提出的。酬准则（要求同一音节中/ae／不能放在／r／前面）和词汇基本规则＊BACK—LOW准则（要求低元音在前）作为标记性制约条件,对美国英语构词缩略语音形式进行分析,揭示缩略词音节形成的真正原因是这些制约条件的层级排列建立起来的制约条件等级体系所引起的。