VHDL综合系统HLS/BIT中永真式的判定算法

在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。     

高校规章制度法治化研究

高校依法治校是依法治国方略在高等教育领域的具体体现,面对新的发展机遇与挑战,如何强化高校法治化管理,建立法治化的现代高校规章制度,实行依法治校,是高校改革和发展的必然趋势和要求。     

努力构建高校学生党员先进性教育的长效机制

党员先进性教育是长期而深入的,怎样加强高校学生党员先进性教育却是令人深思的。本文从学习机制、教育机制、管理机制三方面进行了有益探索。     

用光伏法及红外吸收法分析硅单晶质量

本文用光伏法测定样品的少子扩散长度,论证放宽直线拟合的T.S.Moss条件,用红外吸收法测定样品的氧、碳含量并样品的品质,实验发现,硅单晶的红外吸收光谱(a-λ~(-1))的基线愈高,则其中的少子扩散长度愈短;反之亦然,还探讨了基线的物理性质。     

液态炉渣粘度测定微型计算机控制系统

本文介绍液态炉渣粘度测定微型计算机控制系统。用该系统控制炉温按规定的梯度快速降温及稳定温度和测定扭角,可得出液态炉渣粘度与温度的关系曲线。     

ADTLG通用图书流通计算机管理系统

ADTLG是一个通用型、采用国产条形码阅读器、在微机上实现并正式运行的多用户实用图书流通管理系统。本文介绍其设计、实现、功能和特点。     

基于手势识别的大屏幕文字输入系统

目前基于手势交互的系统应用越来越多,但都是简单的利用手势操作鼠标进行交互,没有向系统进行文字输入的功能。利用盲人字母手势作为输入手势,采用微软的体感设备Kinect获取深度图像,对其进行手势分割,再利用SIFT提取特征,得到手势字母,利用拼音输入法,提供了一种向系统输入汉字的功能。