汇编语言程序设计课程的教学探讨

汇编语言是高等院校计算机专业课程中公认的一门难教难学的课程,本文首先明确了汇编语言学习的重要性、必要性,然后对教学过程中的难点进行了主客观两个方面的解析,最后给出了有关汇编语言教学的几点建议和意见.     

基于PCI扩展槽数据密码卡的安全性设计

基于PCI扩展槽的数据密码卡是一种采用密码技术对网络上敏感数据进行加密传输和存储的专用硬件。该密码卡作为一种硬件单元也同样面临着安全威胁,针对这些安全威胁本文采用具有针对性的安全性设计原则来确保密码卡和系统的安全,增强网络信息安全。     

中波转播台报警及环境监控系统

本文介绍了一种中波转播台报警及环境监控系统,重点对系统构成、原理、功能和特点等,进行了阐述。     

Windows操作评分程序初探

本文讨论了如何利用VB开发Windows上机操作评分程序,列举了程序的主要模块和代码,并对程序的主要特点做了简要的描述。     

一种通用权限管理系统的设计研究

通过对业务系统中权限管理需求的分析,提出了一种通用权限管理系统的设计方案。在定义了基本术语基础之上,对其设计思路、体系结构、功能设计、外部调用及数据库设计进行了深入探索,并在实际应用中证明,采用这种方法,能够解决业务系统中权限管理的问题。     

化学热力学体系的逻辑演绎剖析

讨论了化学热力学体系逻辑演绎的出发点，主要内容及对提高教学质量的意义。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。