Temporal nonmonotonic logical systems: Interrelationships and computational complexity

This paper considers nonmonotonic logical systems that extend linear temporal logic with clocks. Our main emphasis is on their interrelationships and on the characteristics of their computational complexity.     

Identification and authentication as the basis for information protection in computer systems

Basic methods for user authentication and their features when performing access to computer systems are considered. They include password protection, authentication hardware, and biometric authentication, as well as determining the identity of access subjects by using their coordinates. Modern avenues of research into information protection are discussed.     

Simulation on a quantum computer

A promising application of future quantum computers is the simulation of physical systems of a quantum nature. It has been estimated that a quantum computer operating with as few as 50–100 logical qubits would be capable of obtaining simulation results that are inaccessible to classical computers. This chapter explains the basic principles of simulation on a quantum computer and reviews some applications.     

Simulation on a quantum computer

A promising application of future quantum computers is the simulation of physical systems of a quantum nature. It has been estimated that a quantum computer operating with as few as 50–100 logical qubits would be capable of obtaining simulation results that are inaccessible to classical computers. This chapter explains the basic principles of simulation on a quantum computer and reviews some applications.     

On the logical tools of intelligent sociological data analysis

The logical tools for formalizing of qualitative sociological data analysis are considered. The capabilities of approaches employing JSM reasoning, a class of cognitive plausible reasoning, and the methods of Boolean algebra are considered and compared.     

A methodology for evaluating the performance of CISC computer systems under single and two-level cache environments

This paper presents a simulation methodology for evaluating the performance of CISC computers. The method is called Message Flow Technique (MFT). MFT has several advantages over Instruction Flow Technique (IFT) we presented in [1]. The proposed methodology is applied to a single and two-level cache CISC system using 80486 SX as a case study. It was found that with a single-level on-chip cache of size 8KB, the performance of the system is considerably limited by the service time of BIU (Bus Interface Unit). The average service time of BIU, per instruction, was found to be around 1.0135 microseconds for our Modified Gibson Mix (MGM). With a second-level external cache of sizes 16KB, 32KB, 64KB, and 128KB the average performance improvements were found to be 1.4%, 18.6%, 39% and 53% respectively. The methodology presented here is an efficient and easy to use tool that could help performance analysts in evaluating computer systems.     

计算机检索策略初探

本文叙述了在计算机检索过程中,要提高检索效率,保证查全率、查准率、就必须掌握检索策略的制定,知道文献的标引规则,才能正确给出检索表达式。     

An empirical approach to certain concepts of logical proof

To develop a consistent approach to the basic concepts of logical proof in a theory of rhetoric requires a philosophical base of analysis. An empirical approach makes possible a consistent and precise explanation of the hey concepts of logical proof in a manner closely approximating what we vaguely have in mind when we use terms like “fact”; and “proof in common sense ways.     

Computer modelling of single sludge systems for the computer aided design and control of activated sludge processes

The initial work for the creation of a new automatic CAD system for advanced effluent treatment processes is presented. The creation of a computer model for a completely mixed aerator is described. The computer model consisted of two interacting non-linear differential equations, which were linearised to give an approximate computer model. Optimal control theory was applied to the design of a controller for this system and a series of experiments examined the system performance using both the new computer model and the new controller.     

Statistical inference on the h-index with an application to top-scientist performance

Despite the huge amount of literature concerning the h-index, few papers have been devoted to its statistical analysis when a probabilistic distribution is assumed for citation counts. The present contribution mainly aims to divulge the inferential techniques recently introduced by Pratelli et al. (2012), by explaining the details for proper point and set estimation of the theoretical h-index. Moreover, some new achievements on simultaneous inference – addressed to produce suitable scholar comparisons – are carried out. Finally, the analysis of the citation dataset for the Nobel Laureates (in the last five years) and for the Fields medallists (from 2002 onward) is considered in order to exemplify the theoretical issues.     

A parallel computer based on simple DSP modules

This article reports on an engineering project at the TUHH aimed at providing a massively parallel experimental computer system to support a number of research projects. The computer nicknamed the PENTAGON is an MIMD system containing a number of identical processing elements (PE's) linked via interfaces. The network is a 3-D torus, and the nodes are based on off-the-shelf signal processor chips, namely TMS 320C40's from TI. The design adds to these standard ingredients an engineering discipline to keep things as simple as possible, and a corresponding, quite unusual physical setup of the total system. These make up for a very cost effective system showing how simple it may be to build a powerful parallel machine.Although based on a standard architecture, the PENTAGON design takes some special choices, the most important being the complete distribution of I/O capabilities. This provides for an unlimited I/O bandwidth, the support of realtime applications and excellent capabilities of expansion. A graphics interface has been designed to provide direct realtime output from the DSP's. Another recent extension is a set of Power-PC modules on top of the DSP nodes.Besides standard commercial compilers for 'C40 networks, the functional language Fifth of the author has been implemented on the PENTAGON. Fifth provides facilities such as distributed objects and the automatical distribution of parallel programs. For well parallelizable applications such as the calculation of a Mandelbrot set, high efficiencies in the usage of the processors have been obtained.     

High quality document production on a personal computer

The following note describes several aspects and the various components of a document production system using raster graphic techniques. The used personal computer Perq offers interesting facilities which have been used in conjunction with some systematic system software design concepts resulting in an experimental system applicable to a variety of document production tasks.     

Planning computer literacy evaluations and lasting changes in introductory computer instruction programs

This paper presents four major issues associated with computer literacy: (1) societal effects brought on by the attitudes of tomorrow's worker and today's student; (2) problems associated with computerizing industries in underdeveloped countries; (3) techniques for maintaining worker productivity in computerized industries; and (4) computers and the future of literacy. Current problems are identified, and possible solutions are reported.     

基于枢轴语言的平行语料构建方法

平行语料库的规模对于统计机器翻译性能的提高具有重要作用,但是平行语料库的人工构建成本很高。针对这个问题,本文提出了一种低成本高效率的平行语料构建方法,利用枢轴语言作为桥梁,借助已有的机器翻译技术并融合主动学习方法构建目标语言对的大规模高质量平行语料库。本文通过以英语作为枢轴语言构建日汉平行语料库的实例研究,利用成熟的基于短语的统计机器翻译技术,描述了基于译文自动评测的良好译文选择方法、基于主动学习的语料选取方法、以及翻译系统的更新迭代和评价实验。实验结果表明,本文提出的方法能够快速构建日汉平行语料,并有效提高日汉翻译系统的性能。