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.

etl workflow analysis and verification using backwards constraint propagation

University of Twente; Centre for Telematics and Information Technology; Netherlands Organisation for Scientific Research; Jacquard; Capgemini

Abnormal phenomenon of the dependence of the retention factors for uncharged species on applied voltage in capillary electrochromatography

Polymethacrylate-based monolithic columns were prepared for capillary electrochromatography (CEC) by in situ copolymerization of butyl methacrylate (BMA), 2-acrylamido-2-methyl-1-propanesulfonic acid (AMPS), and ethylene dimethacrylate (EDMA) in the presence of a porogen in fused-silica capillaries of 100 mum I.D. The abnormal phenomenon that retention factors for neutral species decreases with applied voltage in CEC was observed. Capillary electrophoresis (CE) instruments usually require a period of time to increase voltage from 0 kV to desired value, which is called as ramp time. Such ramp time and any error in the determination of dead time should be taken into account during the accurate calculation of retention factors. After the correction of the retention factors, the plots of the corrected factors for alkylbenzene versus applied voltage were made, the absolute value of the plot slopes are less than 1.8 X 10(-4), Which indicates that the corrected retention times for neutral species do not show any dependence on applied voltage. Further, the plots of the corrected retention times for acidic and basic compounds versus the reciprocal of applied voltage were drawn, where the target compounds were eluted in neutral form. The very nice linearity of the plots was obtained. The linear correlation coefficients are over 0.999. Here, the slopes of the plots represent

separation of duty in trust-based collaboration

Chinese Assoc Cryptol Res, State Key Lab Informat Secur, Inst Software, Grad Univ Chinese Acad Sci, Natl Nat Sci Fdn China