IPv6在矿井工业以太网中的应用研究

介绍了IPv6产生的背景和发展现状,阐述了IPv6应用于矿井工业以太网的发展趋势和研究方向,指出对于所有基于矿井工业以太网的硬件和软件的开发都应带有双协议栈,随着IPv6技术的成熟和普及再研发出只有IPv6协议栈的适用于煤矿的网络设备,如支持IPv6的防爆网络设备、组态软件以及相应的数据采集驱动设备、控制硬件等。     

煤矿带式输送机监控软件的设计

采用VB6.0设计了一套煤矿带式输送机监控软件,介绍了软件总体设计及实时监控主画面设计方案,阐述了采用MSComm控件、Winsock控件分别实现上下位机的串口通信、以太网通信的方法。该监控软件画面直观,控制灵活,较为实用。     

当前VB程序设计的教学改革研究

Visual Basic程序设计作为非计算机专业公共基础课,其理论性、实践性强,教学难度大。文章就如何提高教学质量,培养学生综合应用程序开发能力作了探索和改革。     

Arnold置乱在零水印中的二次复用

为了提高水印的鲁棒性和减小对应版权信息的大小,本文提出了一种基于Arnold变换、DWT和SVD的零水印算法。该算法将载体图像进行DWT变换,对低频子带进行分块SVD;比较置乱后的最大奇异值的大小,若大于则对应位为1,否则为0;将结果与预处理过的水印做异或运算,得密钥矩阵。该矩阵为检测水印提供密钥。实验证明,本算法对图像压缩、滤波、模糊、噪声及脏图具有良好的鲁棒性。     

基于IPv6的无线高原冻土监测系统

设计了一种新型的高原冻土监测系统。采用ARM7内核的MCU进行控制,并基于IPv6协议利用IPv6技术和GPRS技术相结合的方式,建立了可自组网的无线传感器网络,实现了对指定区域环境参数的实时监测。系统使用了多个土壤水分传感器、温度传感器、二氧化碳传感器、氮气传感器对高原冻土环境进行全方位实时观测。各监测点将数据通过基于IPv6的无线网络传送给汇聚节点,汇聚节点再通过GPRS网络将数据传送给监控中心。监控中心可以对数据进行记录和分析,更好地指导环境保护和建设工作。     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

IPv6网络安全的实现与测试

IPv4地址日趋枯竭,IPv6协议替代IPv4协议势在必行。与IPv4协议相比,IPv6协议在地址空间、路由聚合、服务质量和网络安全等方面带来了很大的发展和提升空间,但IPv6的网络安全仍然存在。本文对IPv6的防火墙和入侵检测系统进行了测试,并对其结果进行了分析。为正确部署防火墙和定位入侵检测系统提出了系列建议。     

Aluminum. II. Derivation of C v0from C p and comparison to C v0 calculated from anharmonic models

The specific heat at constant pressure, C _p, of aluminum measured by Ditmars, Plint, and Shukla has been reduced to the volume V ₀ appropriate for 0 K employing the Murnaghan equation. The C _v0 thus obtained is compared with the theoretical C _v0 calculated in the harmonic and the lowest-order anharmonic approximation from three different pseudopotentials (Harrison, Ashcroft, and Dagens-Rasolt-Taylor) as well as a phenomenological Morse potential. The higher-order ( ⁴) anharmonic contributions are calculated from the same nearest-neighbor Morse potential as in the lowest-order anharmonic theory. The role of the vacancy and the higher-order anharmonic contributions to C _v0 has been examined and we conclude that the ⁴ contributions to C _v0 are much smaller than the vacancy contribution. After removal of the vacancy contribution, the reduced C _v0 is found to be in excellent agreement with the Ashcroft and Harrison pseudopotentials as well as the Morse potential including the ² and ⁴ contributions to C _v0.     

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining was carried out to investigate microfracture, residual damage, and surface roughness associated with material removal and surface generation. Brittle versus plastic deformation was studied using Vickers indention and nano-indentation. To characterize the abrasive machining response, the 6H-SiC (0001) substrates were ground using diamond wheels with grit sizes of 25, 15 and 7 μm, and then polished with diamond suspensions of 3 and 0.05 μm. It is found that in indentation, there was a scale effect for brittle versus plastic deformation in 6H-SiC substrates. Also, in grinding, the scales of fracture and surface roughness of the substrates decreased with a decrease in diamond grit size. However, in polishing, a reduction in grit size of diamond suspensions gave no significant improvement in surface roughness. Furthermore, the results showed that fracture-free 6H-SiC (0001) surfaces were generated in polishing with the existence of the residual crystal defects, which were associated with the origin of defects in single crystal growth.     

Ti-22Nb-6Zr(at%)合金的超弹性和形状记忆效应

用弯曲法和拉伸法测定Ti-22Nb-6Zr（at％）合金的超弹性和形状记忆效应，研究固溶处理温度对Ti-22Nb-6Zr合金组织结构及性能的影响。结果表明：固溶处理后Ti-22Nb-6Zr合金的室温组织为单一的β相，晶粒尺寸随固溶处理温度升高而增大；合金的静态弹性模量小于30GPa；Ti-22Nb-6Zr合金具有良好的超弹性和一定的形状记忆效应。室温下变形，合金的超弹性和形状记忆效应随固溶处理温度升高而提高。900℃固溶处理后的合金在室温下拉伸变形，应变为5％时，总的最大回复应变达4．12％，其中超弹性回复应变为3．91％，记忆回复应变为0.21％。