“数字逻辑设计”课程教学改革与实践

数字逻辑设计是计算机专业学生的基础课,这门课的学习质量直接影响后续课程的学习。针对人才培养过程中存在的一些问题,我们在教学内容、教学方法和教学手段上进行了改革。本文介绍了具体做法和实施效果。     

浅谈高校英语教学中的合作学习

随着当前素质教育的大力推进,高校英语教育也必须对传统的"灌输式教育"进行改革,不能只局限于语言形式上的教育,而应当注重培养学生的综合能力。要针对高校学生的学习特点,采用合作学习的方式,让学生参与到课堂教学的互动当中来,从而提高学生的学习兴趣和学习效率。     

一个求解加权MAX-SAT问题的改进蚁群算法

加权MAX-SAT问题(WMSAT)是一个NP-难问题,针对WMSAT的特点,提出一个改进的蚁群算法。该算法的研究对象由"边"转化为"顶点",简化算法模型;提出取值概率的概念,并以之替换信息素,实现对蚁群进化的直接控制,提高蚁群的可进化性。实验结果表明新算法是有效的。     

如何控制空心板梁预制气囊上浮

本文提出了预制空心板梁内模气囊上浮的问题,并对预制空心板梁内模气囊上浮的控制方法做了详细的介绍。     

网络时代高校师生关系模式的解析和重构

师生关系是教育活动中最基本最主要的关系，对教育效果及学生成长有着重要影响。随着计算机技术和网络信息技术的发展，传统儒家文化的师道尊严的教育模式受到强烈的，中击，作为大学核心角色的教师和学生，他们的人际关系模式既决定着人才培养的质量，又关系着高等教育发展的方向。网络时代，大学师生关系应该呈现出宽容、平等、交流、互动的特征。因此，开展大学师生关系的研究是一个很有意义的课题。     

2012最值得关注的八大IT创业商机

美国总统奥巴马曾在就职演说中向创业者致敬，并慷慨激昂地宣讲：“通往伟大的道路是由肯冒险的人、实干家、创造者铺就。这些人有些得到颂扬。但多数都是在默默耕耘。他们带领我们走过漫长崎岖的道路。走向繁荣和自由。” 时光如梭．过去的无数案例令人们发现：创新创业精神正是低迷的经济中最宝贵的亮点。而盘点这些五花八门的创意，能否为中国新一代IT创业者带来新的灵感？     

浅谈工业自动化控制的现状及趋势

科技的发展必然会带动经济的发展,那么经济的发展反过来也会带动科技的进步,所以科技和经济的进步对于工业化的发展也有很大作用,众所周知,对于科技力量的重视必然会带动生产力的发展,而工业自动化技术的发展,一定会为工业生产注入新的动力,但是此时也应该看到其存在的问题,本文就是从当前的情况出发,从而分析探讨个由自动化的发展方向。     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

基于准时制的主生产计划方法

在当今的市场竞争中，能否及时供货和满足客户的要求关系到企业的信誉。为了提高企业的竞争能力，制造业都致力于采用日本的准时生产的策略。在前人研究的基础上，建立了适合于单件小批的主生产计划模型，这一模型有３个特点：（１）保证产品及时交货，也就是提前和滞后于交货期都要受到惩罚；（２）模型考虑了带有小批与单件并存的生产情况；（３）产品对能力的需求数据，考虑了分时段分布特点，并采用聚合算法从工艺路线和产品结构数据聚合而成。在对这一模型构造启发式算法的基础上，实现了主生产计划系统。该系统具有方便的人机界面，能够对由启发式算法产生的解进行修改。     

关于在广西高等院校中强化标准化教育的思考

针对目前高等院校中标准化教育这一薄弱环节，论述了在广西高等院校中强化标准化教育的重要性及必要性，认为应在广西高等院校中开设标准化课程，这对于高等院校培养出来的人才在专业范围内的综合分析能力、独立工作能力和创造性才能的提高，以及促进广西的科学技术进步和经济振兴具有重要意义。