形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

模拟多孔介质中质量输运现象有限颗粒法的应用

有限颗粒法是一种新的颗粒跟踪法,特别适合模拟污染物的运移过程。用有限颗粒法对多孔介质中纵向弥散度进行识别。纵向弥散度是表征含水层中介质弥散特征的重要参数．也是一个很难确定的参数。给出具体算例,并做进一步的讨论。     

任务驱动的大学信息技术教学改革

针对高校学生的特点,以提高学生对信息技术知识结构和应用能力为目标．进行基于任务驱动教学方法的改革。任务驱动教学可以大大提高学生学习的积极性．同时也取得显著的教学成果。现就教学过程提供一些实践依据和方法措施以供借鉴。     

基于博弈论的社交网络的控制方法

社交网络虽然实现了网络化的人际信息交流和交友．但同时也存在着大量的例如个人隐私信息泄露等问题。面对这种情况,计算机学术界提出一种基于博弈论的能够避免泄露用户隐私信息的新型的社交网络的访问控制方法。就这一基于博弈论的社交网络控制方法进行相关的简述和分析,以便于人们了解和认识这种社交网络的博弈论控制方法。     

Hysteresis Compensation and Adaptive Controller Design for a Piezoceramic Actuator System in Atomic Force Microscopy

This paper presents an indirect adaptive controller combined with hysteresis compensation to achieve high accuracy positioning control of piezoceramic actuators and illustrates the results with an atomic force microscope (AFM) application. A dynamic model of a piezoceramic actuator system in AFM is derived and analyzed. A feedforward controller based on the Preisach model is proposed to compensate for the nonlinear hysteresis effects. Then an indirect adaptive controller is designed to achieve desired tracking performance as well as deal with the uncompensated nonlinearity from hysteresis and the system parameter variation due to creep. Experimental results indicate that the proposed controller can significantly improve the positioning control accuracy of the piezoceramic actuator as well as achieve high image quality of the AFM system. The maximum scanning error was reduced from 2µm to 0.3µm in comparison with a proportional‐integral‐derivative (PID) controller. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

低负荷维氏硬度法的负荷选择

本文按照维氏硬度测定的技术条件,将基本公式H_v=1854P/D~2加以变换,从而得到一些较为简单的数学关系式.利用这些关系式,可以对不同金属薄带材料,很容易计算出较合理的负荷大小,既能保证不被"打穿",也使视场内有一个适合观测的压痕图象.     

让案例教学走进高职计算机学科

"案例教学法"(CaseStudy)是一种以案例为基础的教学法,把真实的情景进行典型化处理后供学生思考分析和决断,让学生分组自助谈论和研究,从而提高学生对于问题的分析和解决的能力。     

相关函数脉冲响应法系统实时辨识

结合了相关函数法和脉冲响应法两种经典系统辨识方法原理,在随机信号干扰的情况下,设计对系统实现实时辨识的仿真软件,获得系统的非参数模型。该仿真设计中,以M序列作为输入信号,白噪声信号作为干扰信号,进行了Matlab仿真实验,讨论了M序列的幅值,采样时间和周期长度对系统辨识效果的影响,以及分析M序列的选取方法来减少系统辨识误差。     

Cu—Cr合金电极触头板铸件的熔制

含０．４％～１．０％Ｃｒ的Ｃｕ－Ｃｒ合金具有优良的导电、导热性能，铸件经热处理强化后可获得较高的综合力学性能。近年来该合金作为一种新材料被广泛地用于制作电子工业、电器设备上的电极触头板、接触环、夹持体等零件。Ｃｕ－Ｃｒ合金存在易氧化吸气、凝固范围窄、收缩较大、易形成集中缩孔等缺陷，这些铸造特性给生产优良的Ｃｕ－Ｃｒ合金铸件带来一定的困难。以采用常规的熔炼设备和造型材料熔铸出Ｃｕ－Ｃｒ合金铸件——高压大电流电极触头板为例讨论这一熔铸的工艺方法。     

管线用钢氢致裂纹(HIC)影响因素分析

研究了管线用钢的化学成分和金相组织对钢的氢致裂纹(HIC)性能的影响。研究认为,带状组织和马氏体含量对HIC性能有很大影响,S含量及Cep对HIC有不同程度影响。含有少量Cu、Ni的钢更适合在酸性环境下使用。