计算机教学中学生主体性作用刍议

本文结合笔者多年的教学经验,阐述了学生在计算机教学过程中的主体地位,并通过几个可行性方法激发学生能动性,充分发挥学生的主体作用。     

浅谈应用软件中自动化测试的实现

本文就现今软件测试中存在的自动化检测过早退化及消亡的现象展开讨论,探讨其消亡原因以及对策,并就软件自动化测试技术的选择进行研究,从而实现应用软件自动化测试驶入"测试的快车道".     

存储虚拟化在Linux中的应用研究

信息计算已经从以服务器为核心的时代逐渐进入到了以存储为中心的时代。本文首先介绍了存储虚拟化技术,然后对Linux系统下块设备缓冲区的I／O体系结构和SCSI协议栈的进行了分析研究,最后提出了在设备驱动程序之上构造异构巷只堕存僮弹虐移居的謇现方法。     

电子政务网站的安全模型分析

电子政务网站关系到国家安全和政府工作的正常运转,积极采用安全技术、认真研究防范措施、预防病毒感染和黑客入侵等安全问题,是电子政务建设中的关键。本文主要探讨了电子政务网站的安全模型的网络安全和应用系统安全,对于提高电子政务网站网络安全具有一定帮助。     

U盘数据恢复方法浅谈

在U盘发生故障后,如何有效地恢复出U盘中的数据,是一个亟待解决的问题。文章从硬件及软件两个方面,简要论述U盘数据恢复的主要方法,并对U盘数据恢复的主要技术及发展前景作出简要介绍。     

浅谈小学语文多媒体课件制作

小学语文是儿童的语言启蒙课,用Authorware制作的小学语文课件能够针对小学语文的学科特点、小学生的心理和认知水平,从教学实际出发,精心组合多媒体中各要素,实现课件最优化,为学生自主学习、协作学习和探究性学习创设良好的学习情境。     

对核心网络安全技术的理解

本文针对防火墙的三种技术方式进行说明,并就信息交换加密技术的分类及RSA算法作以分析,针对PKI技术这一信息安全核心技术,论述了其安全体系的构成。     

基于光纤传感器的菌菇房环境控制设计

本文首先简要介绍了光纤传感器的原理、分类和特点,然后对菌菇房环境控制所需的光纤温度传感器、光纤湿度传感器以及光纤CO2传感器作了进一步的阐述。最后采用上述传感器作为传感单元构建了一个菌菇房环境控制系统。     

Ready to preorder: The case of weak process semantics

Recently, Aceto, Fokkink and Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodríguez and Palomino generalised this result, so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second τ-law. This makes it applicable to all 87 preorders surveyed in “the linear time-branching time spectrum II” that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence.     

An ontological engineering approach for automating inspection and quarantine at airports

Customs and quarantine departments are applying information systems to automate their inspection processes and improve their inspection efficiency and accuracy. The product codes from the Harmonized System (HS codes) are the essential elements of the system's integration, automation and intelligence. The identified HS codes are well-accepted and precise product references used by customs authorities, to match applicable policies to the products being inspected and taxed. Domain ontology for importing and exporting industry can be used to acquire HS codes for given products, and is a prerequisite for an integrated and intelligent automated inspection system. The authors have proposed and implemented an importing and exporting domain ontology. The ontology is composed of an integrated and comprehensive knowledge base derived from static dictionaries and the HS specification, and dynamic processing data. Based on this ontology, a reasoning engine is developed to generate HS codes intelligently for the given product names. Information systems can use the engine to get HS codes for submitted products and find applicable policies automatically. The ontology and the engine have been implemented in a Java-based platform and published as a HS Web service. In this paper, knowledge structure, reasoning mechanism and implementation details for the domain ontology and reasoning engine are presented. A test bed in the application environment has been conducted and experimental results have been obtained. The ontology and the service have the potential to be widely used by authorities and international traders of importing and exporting industry around the world.