西门子S7可编程控制器在内衬层生产线上的应用

介绍了用西门子S7-400可编程控制器（PLC）在内衬层生产线上的应用,根据生产线的生产工艺和控制要求,对电气系统的硬件组成和软件程序进行了设计,并且应用了组态软件设计生产线和配方画面。     

基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

基于击键特征的手机用户身份认证系统

针对目前手机的高普及、高智能和安全性差的问题,统计并研究了不同手机用户使用手机的击键特征。依据数理统计知识发现其符合正态分布,进而设计和实现了基于击键特征的手机用户身份认证系统。经测试表明,该系统能显著提高手机安全性。     

悬索桥主缆初应力对桥梁动力特性的影响

为掌握主缆初应力对桥梁动力特性的影响,以悬索桥为例,采用静力非线性分析方法计算应力变化过程中悬索桥的跨中挠度、缆索轴力及加劲梁的轴力变化;将得到的内力作为结构的预加应力进行有预应力的模态分析. 应用ANSYS软件进行分析,其中有限元建模时采用4种单元类型:空间梁单元BEAM4用于模拟加劲梁和塔;空间杆单元LINK10用于模拟主缆及吊杆;通过设定BEAM4和LINK10单元初应变进行有预应力的模态分析;采用MASS21单元模拟横隔板、吊杆锚固装置和桥面上的栏杆,并分别考虑质量和质量惯性矩的作用. 分析表明,悬索桥主梁竖弯振动频率受主缆初应力的影响较大,而侧弯振动频率和扭转振动频率受此影响较小. 该结果为同类桥梁的动力特性分析提供参考.     

PBL网络课程教学内容的设计

以网络课程《刑法学》为例,从"问题情境设计"、"教学资源设计"两方面,对PBL网络课程中教学内容的设计进行了探索。     

基于遗传算法的自动组卷系统研究与实现

自动组卷系统是在已有的题库基础上,按照考核目的,按一定算法生成一份满足一定要求的试卷管理系统。计算机如何自动选题形成一套科学合理的试卷算法是最关键的问题,本文首先比较了几种常见的自动组卷方法,然后介绍了遗传算法组卷算法,最后给出了实现方法。     

课堂教学与家庭测验软件设计与开发

本教学软件满足了小学数学课堂教学与家庭测验的需求。在直观展示演示窗口和设计窗口的基础上,分析程序的逻辑结构和流程图,并给出了主要的关键代码。     

数据库管理系统的现状及发展方向

数据库是计算机应用的重要领域之一,也是实现对数据的组织、存储、管理等功能的有效形式。随着信息化的快速发展及计算机数据库技术的不断升级,数据库目前得到广泛的应用。本文分析了数据库发展现状,并展望了数据库技术的发展趋势和方向。     

出行信息服务关键技术研究进展与问题探讨

随着城市交通出行需求的不断增长.出行信息服务应运而生.介绍了出行信息服务产业的国内外发展状况,提出了出行信息服务技术平台的体系结构.分析了通讯平台、定位平台和地图平台的地位、作用及其发展趋势.从交通信息采集与处理、空间数据模型、路径规划算法、短时交通预测、信息可视化和服务标准规范等方面评述了关键技术的研究进展,分析了出行信息服务产业发展需要重点解决的科学与技术问题.以促进出行信息服务技术研究的进一步深化.     

一种带有路由反射的BGP路由预测算法

由于路由反射器的影响,路由器可能只知道非常有限的到达外部目的地的路由的子集,BGP路径选择过程并不会形成一个确定的路径等级顺序,使得路径预测变得非常困难.给出了一种算法,该算法不需要对路由协议动态进行复杂的模拟,只需要静态的路由数据就可以计算出带有路由反射的路由选择结果,并在一个模拟的大型ISP上验证了预测算法的正确性.结果显示配置的改变可以引起路由表的变化.