陈原小丛书

记录革命知识分子精神理路传承老一辈出版家文化理想陈原(1918-2004),中国当代著名出版家、语言学家、作家、翻译家,世界语运动开拓者和社会活动家。曾任原文化部出版局副局长,商务印书馆总经理、总编辑,国家语委主任,结辑出版'汉译世界学术名著丛书',参与制定并推动实施国家中外语文词典十年规划。

Static CMOS Implementation of Logarithmic Skip Adder

Circuit design of 32 bit logarithmic skip adder (LSA) is introduced to implement high performance,low power addition.ELM carry lookahead adder is included into groups of carry skip adder and the hybrid structure costs 30% less hardware than ELM.At circuit level,a carry incorporating structure to include the primary carry input in carry chain and an 'and xor' structure to implement final sum logic in 32 bit LSA are designed for better optimization.For 5V,1μm process,32 bit LSA has a critical delay of 5 9ns and costs an area of 0 62mm 2,power consumption of 23mW at 100MHz.For 2 5V,0 25μm process,critical delay of 0 8ns,power dissipation of 5 2mW at 100MHz is simulated.

Logical-Structure Modeling for Conceptual Design

Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.

An Integrated and Layered Architecture for Location-Aware Computing

This paper gives an overall introduction to the basic concept of LAC(location-aware computing) and its development status, puts forward an integrated location-aware computing architecture which is useful for designing the reasonable logical model of LBS(location-based service). Finally, a brief introduction is conducted on a LAC experimental prototype, which acts as a mobile urban tourism assistant.

Formalization of P Systems by Maude

Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.

LOGIC STRUCTURE OF PROGRAMMABLE INSTRUCTIONS FOR JAVA PROCESSORS

There are varieties of embedded systems in the world. It is a big challenge to optimize the instruction sets of System on Chips (SoCs) according to different systems' working environments. The idea of programmable instruction set is an effective method to gain embedded system's re-configurability. This letter presents a logic module for Java processor to be capable of using programmable instruction set. Cost (area, power, and timing) of the module is trivial. Such module is also reusable for other embedded system solutions besides Java systems.

A virtual lock-in amplifier,spectrum analyzer,impedance meter and semiconductor analyzer implemented on an SR7265 hardware target

Lock-in amplifiers are used to detect and measure very small alternating current(AC)signals down to the range of nVs.Accurate measurements can be made even when the small signals are buried by noise thousands of times larger.With the digital signal processing(DSP)technology involved in modern instrumentation,a lock-in amplifier is more versatile in sensing and recovering small signals.Combining the virtual instrumentation technology,we reorganize the functional blocks of a programmable lock-in amplifier and build it as a virtual spectrum analyzer,virtual impedance meter,virtual network analyzer,virtual semiconductor parameter analyzer,signal generator,etc.A 4 layer model is used to implement these virtual instruments.The same virtual instrument can also be implemented on a general purpose FPGA developing board.

A new phenomenon of quantum-dot cellular automata

If an external point charge and the movable charges of an isolated quantum-dot cellular automata (QCA) cell have the same polarity, the point charge greatly affects the polarization (P) of the cell only when it is in a narrow band with periodically changing width. The center of the band is on a radius R circle. The ratio of R to the electric charge (q) is a constant determined by the parameters of the cell. A QCA cell can be used as charge detector based on the above phenomenon.

New autocorrelation topological indexes and their application in QSAR study

Considering the problems of classical structure parameters that existed in the study of quantitative structure activity relationship (QSAR). Two new groups of autocorrelation topological indexes V(t), E(t), (P(t)) and A(t), B(t), C(t), D(t) were developed on the basis of molecular topology and autocorrelation function in mathematics. The first group were obtained from Van der Waals volume, electronegativity and topological vertex degree;and the second group were obtained from the different combination of topological vertex degree.Corresponding softwares of ATIJP and ATITP have been developed for calculating these two new groups of indexes. Better results have been obtained from the application of these indexes in QSAR study.

MEXIR： An Implementation of High Performance and High Precision on XML Retrieval

Traditional information retrieval systems respond to user queries with ranked lists of relevant documents. Since, XML （Extensible Markup Language） documents separate content and structure; XML-IR （information retrieval） systems are able to retrieve only the relevant portions of documents. Therefore, users who utilize an XML-IR system could potentially receive highly relevant and precise material. We have developed the XML information retrieval system by using MySQL and Sphinx, which we call MEXIR. In our system, XML documents are stored into one table that has fixed relational schema. The schema is independent of the logical structure of XML documents. Each node in XML documents is represented by labels that express the positions in XML tree, namely ADXPI scheme. Our system has performance experiments on INEX collections and shown an average up to four seconds better than GPX. In addition, it has been reduced the size of the data down by 82.29 % compare to GPX system.

Petro Logical Chemical Investigations for Characterization of Marble Stones Discovered Konar-Sandal （Jiroft-lran）

Jiroft region is one of the most historical cities, placed in the southeastern of Iranian plateau. Its history dates back to the second millennium B.C. The ancient history of Jiroft and its proximity to the River ofHalil Roud have attracted archeologists during the recent decades. So far various historical works have been unearthed from the region of which marble ones are especially noteworthy. Basically, marble works were used more commonly in central plateau of Iran than other ones. The marble works discovered in Jirofl region are only comparable with those from the recently excavation at Shahr-I Sokhta in Zabol. The scientific examination of such works may pave way to identify their internal structures and to compare them in terms of their provenance. The present study will focus on the characterization of marbles discovered in Konar Sandal, Jiroft. In addition to petro graphical studies, XRD and XRF investigations were used to identify the crystalline structures as well as balk chemical composition of the discovered marbles. The obtained results revealed that the major constituents of the discovered marbles in Jiroft were Ca and CaO. The structure of discovered marbles had orderly compact patterns resulted mainly from metamorphism conditions. This structure is actually Unsimilar to those from Shahr-I Sokhta.

Virtual Reality Simulation of Fuzzy-logic Control during Underwater Dynamic Positioning

In this paper, graphical-user-interface （GUI） software for simulation and fuzzy-logic control of a remotely operated vehicle （ROV） using MATLABTM GUI Designing Environment is proposed. The proposed ROV＇s GUI platform allows the controller such as fuzzy-logic control systems design to be compared with other controllers such as proportional-integral-derivative （PID） and sliding-mode controller （SMC） systematically and interactively. External disturbance such as sea current can he added to improve the modelling in actual underwater environment. The simulated results showed the position responses of the fuzzy-logic control exhibit reasonable performance under the sea current disturbance.

Lukasiewicz and Lorenzen as Interpreters of Aristotle＇s Syllogistic

Jan Lukasiewicz acknowledged that Aristotle＇s syllogistic does not admit singular terms and presents syllogism as an implication. But he failed to recognize syllogistic necessity, reducing this necessity to ＂formal implication＂ as introduced by Russell, when Aristotle shows it as binding relations between three terms. On the contrary, Paul Lorenzen directly recognized syllogistic necessity as the typical example of his own logical implication. His reconstruction of syllogistic differs from the original by his interpretation of particular propositions as the determination of classes which are specified by predicates. The result is the representation of valid moods as the board of all multiplications of relations which are permitted. These relations are not only the Aristotelian ,4, E,I, O, but also the new converse asymmetrical relations of A and O： （a） and （o）.

Virtual reconfigurable architecture for evolving combinational logic circuits

A virtual reconfigurable architecture(VRA)-based evolvable hardware is proposed for automatic synthesis of combinational logic circuits at gate-level.The proposed VRA is implemented by a Celoxica RC1000 peripheral component interconnect(PCI)board with an Xilinx Virtex xcv2000E field programmable gate array(FPGA).To improve the quality of the evolved circuits,the VRA works through a two-stage evolution: finding a functional circuit and minimizing the number of logic gates used in a feasible circuit.To optimize the algorithm performance in the two-stage evolutionary process and set free the user from the time-consuming process of mutation parameter tuning,a self-adaptive mutation rate control(SAMRC)scheme is introduced.In the evolutionary process,the mutation rate control parameters are encoded as additional genes in the chromosome and also undergo evolutionary operations.The efficiency of the proposed methodology is tested with the evolutions of a 4-bit even parity function,a 2-bit multiplier,and a 3-bit multiplier.The obtained results demonstrate that our scheme improves the evolutionary design of combinational logic circuits in terms of quality of the evolved circuit as well as the computational effort,when compared to the existing evolvable hardware approaches.

A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities

In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders-von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are： the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic （events） belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.

Self-similarity Based Editing of 3D Surface Textures Using Height and Albedo Maps

This paper presents an inexpensive method for self-similarity based editing of real-world 3D surface textures by using height and albedo maps. Unlike self-similarity based 2D texture editing approaches which only make changes to pixel color or inten- sity values, this technique also allows surface geometry and reflectance of the captured 3D surface textures to be edited and relit us- ing illumination conditions and viewing angles that differ from those of the original. A single editing operation at a given location affects all similar areas and produces changes on all images of the sample rendered under different conditions. Since surface height and albedo maps can be used to describe seabed topography and geologic features, which play important roles in many oceanic proc- esses, the proposed method can be effectively employed in applications regarding visualization and simulation of oceanic phenom- ena.

Knotted Picture of Single Qubit Quantum Logic Gate

This paper briefly introduces the five types of the surgical operations in knot theory and obtains the expression of single qubit quantum logic gate in terms of these surgical operations.

INSTRUCTION FOR AUTHORS

World Journal of Integrated Traditional and Western Medicine（WJITWM）is a journal published quarterly in English by China Association for Science and Technology,and sponsored by China Association of Chinese Medicine.WJITWM aims to report the experience and achievements of Chinese medicine and integrative medicine in clinical, scientific research, etc., to explore the ideas and methods of the future development of Chinese mad western integrative medicine.

Instructions to Contributors

The English edition of Chinese Journal of Integrative Medicine is edited and published by the Chinese Journal of Integrated Traditional and Western Medicine Press. Original scientific papers of advanced clinical and experimental medicine in the field of integration of traditional Chinese and western medicine are expected. Articles must not have been published in English elsewhere and are not under simultaneous consideration by other publications.

Study on the forecasting and maintenance system of special railway subsidence in mine area

The fully mechanized caving coal mining under the railway in mine area will result in difficulty maintenance of railway because of great distortion and subsidence speed of terrene and railway. If the subsidence forecasting is incorrect and maintenance measure is not suitable in the preceding and the process of mining, the normal operation of the railway in mine area will not be ensured and perhaps the safety accident will be resulted. The railway subsidence forecasting and maintenance system for fully mechanized caving coal face are studied and developed in this connection. Based on the accurate subsidence forecasting of the terrene and railway, the maintenance measure for track and switch turnout in railway is put forward in this system.