Moodle平台在高职院校信息化教学中的设计与应用

本文主要从Moodle平台的特点以及高职院校信息化教学中存在的问题展开,在做了详细的需求分析的前提下,对教学方案的实施效果和存在的问题进行了分析和总结,指出必须确立＂教育的最终结果,就是培养一个独立的学习者＂的目标,同时加强师生互动交流和自主学习能力建设,才能构建科学合理的符合网络教学规律的教学方案。     

A novel reversible robust watermarking algorithm based on chaotic system

Reversible watermarking can be applied to the protection for important digital media, such as medical and military image, it allows the watermark to be extracted and the original image to be restored completely, but reversible watermarking with stronger robustness is seldom discussed in existing literature. In this paper, a novel reversible watermarking algorithm based on chaotic system is proposed; chaotic system is not only used to search space of reversibility of the scheme, but also used to randomly select the position of watermarking embedding. Consequently, the proposed scheme achieves larger threshold space of reversibility and better performance of security. For some specific thresholds, the proposed algorithm is not only reversible, but also has stronger robustness against image compression. The experimental results show that the ergodicity and sensitivity to initial values of chaotic system play an important role in reversible watermarking algorithm, and the proposed scheme can achieve balance between reversibility and robustness with the help of chaotic system.     

浅析《计算机网络》课程实验环境架构

本文针对当前贫穷地区高职高专计算机网络实验教学的特点,结合学校和本地实际情况,从实验课程教学内容及形式方法等方面探讨了计算机网络实验环境架构的有关问题.对计算机网络实验的环境构架存在的不足,给出了解决方案.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

一种小型嵌入式Linux Boot Loader的设计与实现

提出了一种小型嵌入式Linux Boot Loader的设计方案,并详细介绍该方案在Arm-Linux平台上的实现过程.方案大大简化了特定应用平台下Linux Boot Loader的设计,并且大大减小了生成的可执行文件的大小,针对特定应用平台自行设计小型的Boot Loader具有一定的参考价值.     

基于MathML的数学公式在线编辑与传输的研究

大量公式和符号的编辑与传输处理是在线数学学术交流与教育活动中很重要的一个内容,MathML(Mathematical Markup Language)的出现为数学公式的在线编辑提供了强有力的支持.在对比分析相关技术的基础上,基于MathML设计一个在线公式编辑器并应用于数学论坛中,实现了公式的在线编辑、发布与显示等功能,具有很好的平台无关性、灵活性和可扩展性.     

基于身份的电子印章设计与实现

随着办公自动化的发展,电子文档逐渐取代了传统的纸制文档。电子印章可以有效保障企业办公自动化中电子文档的安全性。在分析现有电子印章的签名方案的基础上,提出基于身份的电子印章的设计方法,给出基于身份电子印章系统的构架和相应的签名算法。最后指出该方法安全性以及特点。     

合成孔径雷达1553B通信接口设计与实现

介绍某型号合成孔径雷达系统的1553B总线通信接口设计方案与工程实现;方案采用国内自主研发的4M/s速率1553B总线接口芯片,PC/104工控机与FPGA结合,通过硬件系统设计和软件编程,实现对1553B总线数据收发和雷达部分辅助数据的提供,实现项目总体对1553B总线通信接口的要求。实际应用情况表明,该通信接口运行稳定、可靠,具有一定的实用性和良好的应用前景。     

12.1‐in. WXGA AMOLED display driven by InGaZnO thin‐film transistors

Abstract— A full‐color 12.1‐in.WXGA active‐matrix organic‐light‐emitting‐diode (AMOLED) display was, for the first time, demonstrated using indium‐gallium‐zinc oxide (IGZO) thin‐film transistors (TFTs) as an active‐matrix backplane. It was found that the fabricated AMOLED display did not suffer from the well‐known pixel non‐uniformity in luminance, even though the simple structure consisting of two transistors and one capacitor was adopted as the unit pixel circuit, which was attributed to the amorphous nature of IGZO semiconductors. The n‐channel a‐IGZO TFTs exhibited a field‐effect mobility of 17 cm²/V‐sec, threshold voltage of 1.1 V, on/off ratio >10⁹, and subthreshold gate swing of 0.28 V/dec. The AMOLED display with a‐IGZO TFT array is promising for large‐sized applications such as notebook PCs and HDTVs because the a‐IGZO semiconductor can be deposited on large glass substrates (larger than Gen 7) using the conventional sputtering system.     

基于DHT的P2P资源定位的研究

文章对DHT的P2P资源定位进行了分析和比较,并对Chord模型进行了改进。提出了一个新的模型TL—Chord。该模型将自治域中的超级节点上的缓存表的资源定位机制与Chord的资源定位相结合,缩短了搜索路径长度,缩小了路由时间。