Dynamic storage performance of two cyanine dye films and optimization design for a recordable compact disk

The optical constants of two cyanine dye films that we prepared were measured with a RAP-1-type (RAP is rotating analyzer and polarizer) spectroscopic ellipsometer. Toward making a simplified model for the wafers of a recordable compact disk (CD-R), we give their optimization designs developed with the cyanine dye films. in addition, the dynamic storage performances of two sample disks were tested by our dynamic storage testing system. Measurement results of the sample disks were obtained to test and verify our film designs. (C) 2000 Optical Society of America. OCIS codes: 160.4890, 160.4760, 210.4810.

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 computer simulation of primate (Macaca mulatta) spatial visual delayed response and cerebral prefrontal control function

Cerebral prefrontal function is one of the important aspects in neurobiology. Based on the experimental results of neuroanatomy, neurophysiology, behavioral sciences, and the principles of cybernetics and information theory after constructed a simple model simulating prefrontal control function, this paper simulated the behavior of Macaca mulatta completing delayed tasks both before and after its cerebral prefrontal cortex being damaged. The results indicated that there is an obvious difference in the capacity of completing delayed response tasks for the normal monkeys and those of prefrontal cortex cut away. The results are agreement with experiments. The authors suggest that the factors of affecting complete delayed response tasks might be in information keeping and extracting of memory including information storing, keeping and extracting procedures rather than in information storing process.

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

reducing symmetries to generate easier sat instances

Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.

Smoothing LDA Model for Text Categorization

Abstract. Latent Dirichlet Allocation (LDA) is a document level language model. In general, LDA employ the symmetry Dirichlet distribution as prior of the topic-words’ distributions to implement model smoothing. In this paper, we propose a data-driven smoothing strategy in which probability mass is allocated from smoothing-data to latent variables by the intrinsic inference procedure of LDA. In such a way, the arbitrariness of choosing latent variables'priors for the multi-level graphical model is overcome. Following this data-driven strategy,two concrete methods, Laplacian smoothing and Jelinek-Mercer smoothing, are employed to LDA model. Evaluations on different text categorization collections show data-driven smoothing can significantly improve the performance in balanced and unbalanced corpora.

construction of feature-matching perception in virtual assembly

An important characteristic of virtual assembly is interaction. Traditional di-rect manipulation in virtual assembly relies on dynamic collision detection, which is very time-consuming and even impossible in desktop virtual assembly environment. Feature-matching isa critical process in harmonious virtual assembly, and is the premise of assembly constraint sens-ing. This paper puts forward an active object-based feature-matching perception mechanism and afeature-matching interactive computing process, both of which make the direct manipulation in vir-tual assembly break away from collision detection. They also help to enhance virtual environmentunderstandability of user intention and promote interaction performance. Experimental resultsshow that this perception mechanism can ensure that users achieve real-time direct manipulationin desktop virtual environment.

基于参数化求和不变量与特征重整的形状匹配

从特征提取和特征匹配两方面考虑,提出了一种鲁棒的形状匹配方法。首先,基于求和不变量,设计了基于面积的形状参数化和归一化方法,提出了参数化求和不变量,该不变量基于形状局部描述且采用积分算子计算,具有较好的鲁棒性和仿射不变性。然后,为进一步提高形状匹配的鲁棒性,在特征匹配上,分析了参数化求和不变量的先验信息,设计了基于特征重整的匹配距离函数,并通过动态规划进行实现。仿真实验表明了所提方法的有效性。

基于桶内动态融合的透明现象的高效绘制

基于桶排序的顺序独立透明现象绘制算法,采用桶排序原理将投影收集到同一个像素上的多个片元并排序,当发生桶内片元冲突时会产生错误的绘制结果.为此,提出一种基于桶内动态融合的透明现象的高效绘制算法.此算法采用桶内动态融合和并发读/写的方法逐一融合落入同一个桶内的所有片元,并在后处理中按从前向后的顺序融合各个桶内的颜色值.由于同时发生桶内片元冲突和读/写冲突的概率非常小,因而可以大大提高绘制结果的准确性.实验结果表明,与基于桶排序的绘制算法相比,采用文中算法可以更准确地绘制场景,生成与真实结果非常相近的绘制效果,同时算法的效率基本保持不变.

Structures and electrochemical characteristics of Ti0.26Zr0.07V0.24Mn0.1Ni0.33Mox (x=0-0.1) hydrogen storage alloys

Microstructures and electrochemical properties of Ti0.26Zr0.07V0.21Mn0.1Ni0.33Mox (x=0,0.025,0.05,0.075, 0.10) electrode alloys have been investigated. The results of XRD analysis show that the alloys are mainly composed of V-based solid solution phase with body centered cubic (bcc) structure and C14 Laves phase with hexagonal structure. The addition of Mo element can imp ove the activation characteristics, maximum discharge capacity and cyclic durability for the electrode alloys

Rheological properties in blends of poly(aryl ether ether ketone) and liquid crystalline poly(aryl ether ketone)

Rheological properties of the blends of poly(aryl ether ether ketone) (PEEK) with liquid crystalline poly(aryl ether ketone) containing substituted 3-trifluoro-methylbenzene side group (F-PAEK), prepared by solution precipitation, have been investigated by rheometer. Dynamic rheological behaviors of the blends under the oscillatory shear mode are strongly dependent on blend composition. For PEEK-rich blends, the systems show flow curves similar to those of the pure PEEK, i.e., dynamic storage modulus G' is larger than dynamic loss modulus G", showing the feature of elastic fluid. For F-PAEK-rich systems, the rheological behavior of the blends has a resemblance to pure F-PAEK, i.e., G" is greater than G', showing the characteristic of viscous fluid. When the PEEK content is in the range of 50-70%, the blends exhibit an unusual rheological behavior, which is the result of phase inversion between the two components. Moreover, as a whole, the complex viscosity values of the blends are between those of two pure polymers and decrease with increasing F-PAEK content. However, at 50% weight fraction of PEEK, the viscosity-composition curves exhibit a local maximum, which may be mainly attributed to the phase separation of two components at such a composition.