基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

基于Windows Media的网络媒体服务系统的实现

介绍了Windows Media系统的体系结构和通信协议,构建了采用Windows Media技术的网络媒体服务系统,详细叙述了系统的连接、配置和技术要点,以较低的代价实现了媒体服务系统的应用。     

含3-三氟甲基的均三唑并[3,4-b]-1,3,4-噻二唑类化合物的合成

以 3-三氟甲基 - 4-氨基 - 5 -巯基 - 1 ,2 ,4-三唑为原料 ,分别与 2 - ,3- ,4-吡啶甲酸及α-萘乙酸在 POCl3催化下反应 ,制得 4种新的 3-三氟甲基 - 6-取代均三唑并 [3,4- b]- 1 ,3,4-噻二唑( 3a～ 3d) ,并利用 EA,IR,1H NMR等确定了其结构     

爆炸冲击波作用下核电站安全壳动力分析模型

根据某国防科研课题，建立核电站安全壳在爆炸冲击波作用下的动力分析模型，讨论并分析了质点杆模型在安全壳预应力混凝土结构中的应用。质点杆模型可用于计算爆炸冲击波作用下的结构响应。     

建设项目的投资工期和质量控制

根据监理工作实践，论述了投资、工期和质量的控制，提出控制工期是保证投资效益的重要途径，控制质量是保证工程投资的有效手段；设计阶段是投资控制的重要环节。     

包钢连铸结晶器液位控制系统中控制器的设计应用

本文采用FUZZY－PID复合式自适应控制器来满足冶金连铸系统中对结晶器液位控制的要求，由于在长时间的连续铸钢过程中，塞棒头部受钢水的冲刷和腐蚀，使得塞棒头部为形较大，导致塞棒位置与钢水流量的特性关系发生较大变化，而这种变化无法用确定的数学关系式来描述，用常规PID控制器不能对此变化进行有效调节。本文采用模糊控制器对此变化作出反映，通过模糊控制运算结果来调节PID控制器的放大系数Kp始终在理想的范围内，从而使控制系统达到对结晶器液位控制的要求。     

ZVF型调节阀中不同阀瓣型线对局部流阻的影响

调节阀中不同阀瓣型线构成的通道，其局部流阻是不一样的。通过应用ANSYS2软件对DN50mmZVF型调节阀几种阀瓣型线在不同开度下构成的通道结构模型进行计算，从而得出流阻系数与开度的关系，并通过比较得到最佳阀瓣型线。该方法有很好的工程应用价值。     

浅谈济钢新建石灰窑窑型的确定

通过对世界上先进的石灰窑窑型的各项指标比较 ,结合济钢的实际情况 ,确定选择意大利弗卡斯公司的套筒窑为新建石灰窑的窑型     

提高传感器输出特性线性化的神经网络方法

采用BP神经网络结构和LM网络学习规则对传感器系统的非线性误差进行线性校正和补偿,并对网络结构进行了适当的改进.用Matlab语言实现,计算比较了使用两种不同初始化规则和网络结构时对网络性能的影响.计算机仿真实验表明使用NW初始化规则并改进网络结构后,网络的收敛速度更快,拟合精度也有所改善.     

虚拟现实系统中的视觉延迟研究

视觉延迟将致虚拟现实系统的沉浸感遭到破坏，并导致用户产生运动高，对产生视觉延迟的检测延迟和成像延迟进行了研究。