编译原理多媒体辅助教学软件的设计与实现

设计开发了编译原理多媒体CAI课件PCMCAI(Principle of Compile Multimedia CAI)。PCMCAI采用多媒体技术、程序组装技术和软件自动生成技术设计，在把抽象的概念和算法生动形象地演示的同时，提供了编译程序各个阶段(词法分析，语法分析，语义分析，中间代码生成和优化，目标代码生成)的自动生成及把各个部分组装成完整的编译程序的功能。该系统在教学过程中作为一种辅助教学手段，不仅方便教师在上课时使用该课件来演示部分关键算法和难点，提高了教学效果，而且也使学生从实践中进一步理解基本原理和实现算法，提高了大型软件开发能力。     

从教师的角色转换看教学行为变化--略谈教师与研究性学习的实施

开展研究性学习着眼于学生学习方式的转变,但着手点却是改变教师教的观念和行为方式.教师在研究性学习中如何审视、定位自己的角色,如何进行教学与指导,是研究性学习能否有效实施的关键.探讨教师在研究性学习中的角色定位与教学行为策略,有利于促进教师真正走进并有效地指导研究性学习.     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

再论数学问题解决教学

数学问题解决教学是近年来受到国内外广泛关注的教学模式之一，它强调以数学问题解决为中心，在问题解决中进行数学知识的学习。基于对数学问题解决教学的质疑，本文尝试从建构主义学习的角度出发，探讨在数学问题解决中进行知识建构的机制和途径。     

数控焊接变位机指令系统的设计与实现

针对自行设计的弧焊机器人用数控焊接变位机设计了一套指令系统 ,利用该系统可以编程控制数控焊接变位机的运动 ,与弧焊机器人配合后可实现对各种工件的柔性焊接生产 ,实验表明效果良好 .     

关于几个缺项微分方程特解最简形式的探讨

本文讨论了n阶常系数线性非齐次微分方程中几种特殊类型方程的特解的最简形状,并得到了一些特解中相关的系数公式.这对用待定系数法来求同类方程的特解起到了简化作用.     

新型偶氮染料中间体2-氨基-5-氨甲基-1-萘磺酸合成条件的研究

2-氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )是一种新型活性偶氮染料中间体 ,文献报道大多采用首先把 2 -氨基 - 1-萘磺酸的氨基乙酰化保护 ,然后氨甲基化及水解反应的合成方法 ,其不仅合成步骤长 ,而且需要在高压反应釜中进行。这样的制备条件在实验室操作以及进一步中试及工业化的生产中存在很大局限性。针对这种情况 ,本研究工作对反应条件进行系统的研究后 ,改用直接将 2 -氨基 - 1-萘磺酸氨甲基化合成 2 -氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )的方法 ,去掉了氨基乙酰化反应 ,使反应步骤简化 ;去掉了高压操作 ,使整个反应过程容易操作。改进的合成方法反应条件温和 ,整体收率稳定 ,维持在 87.2 % ,获得了较好结果。     

Salt and pH-dependent properties of native and mutant insulin

A fast and effective model for predicting the salt and pH dependent properties of protein complexes is presented. It is based on the formal charge parameter sets of ionizable groups and applied in conjunction with the finite difference Poisson-Boltzmann (FDPB) method to calculate the electrostatic interactions. All simulations were performed on the native 2Zn insulin and its fast-acting mutants such as B9D (B9Ser→ Asp), B9E (B9Aer→ Giu), B9EB10D (B9Ser→Glu, B10His→ Asp), and B10D (B10His → Asp). The salt and pH dependent properties of these dimers were analyzed from the aspect of electrostatic interaction, and the theoretical basis of the fast-acting behavior of these mutants was explained. It is found that the results agree well with experimental observations.     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．