摘要：课程取向是课程设计与课程实施的指导思想，初中数学教师的课程取向直接影响着他们的教学设计、教学的方法和策略，左右着他们具体的教学行为．初中数学教师的课程取向具有综合化趋势；不同教龄的初中数学教师在学术理性和科技发展取向上有显著差异；具有不同教学研修经历的初中数学教师在认知过程和人文主义取向上有显著差异；初中数学教师的新课程培训状况对学术理性、社会重建和人文主义取向有较为显著的影响；不同学历的初中数学教师在多数取向上没有显著差异。

摘要：网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。

摘要：统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。

摘要：局部最优性必要条件是用来设计局部优化算法的一个主要工具。本文将介绍求解全局优化问题的一种新的方法:利用全局最优性条件(最优性必要条件[NC]和最优性充分条件[SC])来研究一类{0,1}双值混合二次规划问题的一些最优化算法。首先利用其全局最优性必要条件[NC]来研究这类双值混合二次规划问题的局部最优化算法,然后针对于这类{0,1}双值混合二次规划问题,研究一类特殊的辅助函数Fr,x-(x)来克服现有的局部极小点,最后利用所得到的辅助函数Fr,x-(x)和局部优化算法LOMMQP以及全局最优性充分条件[SC]来得到具有一定终止准则的全局最优化算法(GOM)。

摘要：为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。

摘要：针对活性污泥污水处理非线性系统中,由于某些状态变量不能在线检测时状态观测器的设计问题,本文采用了一种基于改进激励函数的变步长BP神经网络状态观测器设计方法,设计了改进BP神经网络状态观测器,并进行了容错性实验以验证该观测器的实用性和可靠性。

摘要：利用图像的低阶特征对高阶情感语义"静感"和"动感"进行分类。提出了一种新的特征向量——边缘点曲率方向向量,作为图像分类特征,然后利用支持向量机完成分类的工作。对油画、中国画等艺术图像进行了分类实验,实验结果表明该方法能够取得良好的效果。

摘要：描述了一套能够监控和管理用户在实验室上机的软件系统的设计思想、设计原则、总体结构和实现技术。系统采用账号和密码结合方式管理用户上机,并在系统中设计了一套新的基于SocketAPI的通信方案和独特的进程防杀技术,克服了目前广泛使用的读卡管理系统存在的弊端,取得了良好的实验室管理效果。

摘要：首先分析了程序设计的发展,以及现代技术和经验在软件复用上所做的努力,提出一种新的结合OO和AO的编程方式的简单架构和基本实现.

摘要：视频监控在安全领域扮演着重要的角色,但视频监控通常只是录制现场视频图像,用于事后做证,缺乏主动性和智能性.在分析了视频监控系统的结构,介绍了可用于视频监控的人脸识别技术,最后提出了一种基于人脸识别技术的视频监控系统设计方案,以对视频画面中的人物进行识别,在特定目标出现后能做出相应的反应.