Linearization Method and Linear Complexity

We focus on the relationship between the linearization method and linear complexity and show that the linearization method is another effective technique for calculating linear complexity. We analyze its effectiveness by comparing with the logic circuit method. We compare the relevant conditions and necessary computational cost with those of the Berlekamp-Massey algorithm and the Games-Chan algorithm. The significant property of a linearization method is that it needs no output sequence from a pseudo-random number generator (PRNG) because it calculates linear complexity using the algebraic expression of its algorithm. When a PRNG has n [bit] stages (registers or internal states), the necessary computational cost is smaller than O(2n). On the other hand, the Berlekamp-Massey algorithm needs O(N2) where N ( 2n) denotes period. Since existing methods calculate using the output sequence, an initial value of PRNG influences a resultant value of linear complexity. Therefore, a linear complexity is generally given as an estimate value. On the other hand, a linearization method calculates from an algorithm of PRNG, it can determine the lower bound of linear complexity.

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

THE STUDY OF MICROSTRUCTURE IN IRON-DOPED AND SULFUR-DOPED INP CRYSTALS BY MEANS OF HREM AND COMPUTER-SIMULATION

The microstructures in iron- and sulphur-doped InP crystals were studied using both electron microscopy and electron diffraction. A modulated structure has been found in S-doped InP crystal, where the commensurate modulations corresponded to periodicities of 0.68 nm and 0.7 nm in real space and were related to the reflections of the cubic lattice in [111] and [113BAR] directions; they were indexed as q111* = 1/2(a* + b* + c*) and q113BAR* = 1/4(-a* - b* + 3c*), respectively. Single atomic layers of iron precipitate were observed, with preferred orientations along which precipitates are formed. Simulated calculations by means of the dynamical theory of electron diffraction using models for the precipitate structure were in good agreement with our experimental results. The relation between the modulated structure and the precipitates is also discussed.

Bump-Surface Multicompartment Micelles from a Linear ABC Triblock Copolymer: A Combination Study by Experiment and Computer Simulation

Novel bump-surface multicompartment micelles formed by a linear amphiphilic ABC triblock copolymer via self-assembly in selective solvent were successfully observed both in simulation and experiment. The results revealed that the block A forms the most inner core, and the blocks B and C form the inner and outer layers, respectively, and the bumps were formed by block A and more likely to be born on curving surfaces. Moreover, the micelle shape could be controlled by changing the solvent selectivity of the blocks A and B. Spherical, cylindrical, and discoidal micelles with bumpy surfaces were obtained both in experiment and simulation.

Computer simulation of reactive extrusion processes for free radical polymerization

The reactive extrusion for polymerization is an integrated polymer processing technology. A new semi-implicit iterative algorithm was proposed to deal with the complicated relationships among the chemical reaction, the macromolecular structure and the chemorheological property. Then the numerical computation expressions of the average molecular weight, the monomer conversion, and the initiator concentration were deduced, and the computer simulation of the reactive extrusion process for free radical polymerization was carried out, on basis of which reactive processing conditions can be optimized.

Computer simulation of the damage evolution of fiber-reinforced polypropylene-matrix composites with matrix defects

The damage evolution of fiber-reinforced polypropylene-matrix composites with matrix defects was studied via a Monte Carlo technique combined with a finite element method. A finite element model was constructed to predict the effects of various matrix defect shapes on the stress distributions. The results indicated that a small matrix defect had almost no effect on fiber stress distributions other than interfacial shear stress distributions. Then, a finite element model with a statistical distribution of the fiber strength was constructed to investigate the influences of the spatial distribution and the volume fraction of matrix defects on composite failure. The results showed that it was accurate to use the shear-lag models and Green's function methods to predict the tensile strength of composites even though the axial stresses in the matrix were neglected.

Computer simulation of Gd(III) speciation in human interstitial fluid

The speciation and distribution of Gd(III) in human interstitial fluid was studied by computer simulation. The results show that at the background concentration, all the Gd(III) species are soluble and no precipitates appear. However as the total concentration of Gd(III) rises above 2.610 x 10(-9) mol/l the insoluble species become predominant. GdPO4 is formed first as a precipitate and then Gd-2(CO3)(3). Among soluble species, free Gd(III), [Gd(HSA)], [Gd(Ox)] and the ternary complexes of Gd(III) with citrate as the primary ligand are main species when the total concentration of Gd(III) is below 2.074 x 10(-2) mol/l. With the total concentration of Gd(III) further rising, [Gd-3(OH)(4)] begins to appear and gradually becomes a predominant species.

Computer simulation of Zn(II) speciation and effect of Gd(III) on Zn(II) speciation in human blood plasma

The speciation and distribution of Zn(II) and the effect of Gd(III) on Zn(II) speciation in human blood plasma were studied by computer simulation. The results show that, in normal blood plasma, the most predominant species of Zn(II) are [Zn(HSA)] (58.2%), [Zn(IgG)](20.1%), [Zn(Tf)] (10.4%), ternary complexes of [Zn(Cit)(Cys)] (6.6%) and of [Zn(Cys)(His)H] (1.6%), and the binary complex of [Zn(CYS)(2)H] (1.2%). When zinc is deficient, the distribution of Zn(II) species is similar to that in normal blood plasma. Then, the distribution changes with increasing zinc(II) total concentration. Overloading Zn(II) is initially mainly bound to human serum albumin (HSA). As the available amount of HSA is exceeded, phosphate metal and carbonate metal species are established. Gd(III) entering human blood plasma predominantly competes for phosphate and carbonate to form precipitate species. However, Zn(II) complexes with phosphate and carbonate are negligible in normal blood plasma, so Gd(III) only have a little effect on zinc(II) species in human blood plasma at a concentration above 1.0x10(-4) M.

Computer simulation of miscibility and self-assembly structure for polymer-containing systems with special interactions

The miscibility and structure of A-B copolymer/C homopolymer blends with special interactions were studied by a Monte Carlo simulation in two dimensions. The interaction between segment A and segment C was repulsive, whereas it was attractive between segment B and segment C. In order to study the effect of copolymer chain structure on the morphology and structure of A-B copolymer/C homopolymer blends, the alternating, random and block A-B copolymers were introduced into the blends, respectively. The simulation results indicated that the miscibility of A-B block copolymer/C homopolymer blends depended on the chain structure of the A-B copolymer. Compared with alternating or random copolymer, the block copolymer, especially the diblock copolymer, could lead to a poor miscibility of A-B copolymer/C homopolymer blends. Moreover, for diblock A-B copolymer/C homopolymer blends, obvious self-organized core-shell structure was observed in the segment B composition region from 20% to 60%. However, if diblock copolymer composition in the blends is less than 40%, obvious self-organized core-shell structure could be formed in the B-segment component region from 10 to 90%. Furthermore, computer statistical analysis for the simulation results showed that the core sizes tended to increase continuously and their distribution became wider with decreasing B-segment component.