精密工作台的设计与实验研究

微器件装配技术是实现组合结构的微机械电子学系统(MEMS)的关键技术之一,精密工作台系统则是微装配系统的一个重要组成部分。精密工作台系统包括粗动工作台和微动工作台:粗动工作台包括精密机械及其传动系统、光栅定位系统、直流力矩电机驱动系统及计算机控制系统;微动工作台包括微动台、压电陶瓷驱动电源和电感测微移。实验结果表明,粗动台系统的最高速度为5mm/s,最低速度为3.4μm/s,系统的重复定位精度为±1μm;微动台系统的定位精度可达到±1μm。     

带弱"平台"皮秒光孤子的数值研究

通过数值求解变系数非线性薛定谔方程,发现光纤系统对带有弱“平台”的皮秒光孤子有独特的传输特性。在常参数光纤系统中,这种光孤子体现“呼吸”特性,而在特殊的分布参数光纤系统中,则能较平稳地传输。     

云制造平台加工能力分享调度优化研究

云制造平台加工能力分享的调度优化是云制造模式的核心运营问题。为提高云制造平台对参与能力分享企业资源的利用率,解决实际云制造需求环境下企业级制造资源调度问题,达到云制造平台动态实时的要求,以最小化工期和成本为目标函数,构建了基于平台并面向分享的云加工能力调度模型。为快速求解多个云任务订单的最优调度序列,引入任务简易编码和随机权重,设计了改进的二阶粒子群算法,并提出可分享加工能力时间窗的更新策略。最后,通过算例验证云制造平台加工能力调度机制的可行性和有效性。     

开源教学平台的可用性研究——以Sakai为例

越来越多的国内外高校开始考虑使用基于开源软件的网络教学平台,在投入使用之前,开源教学平台一般需要进行二次开发过程,其中需要重点解决平台的可用性问题,因为网络教学平台的可用性是影响学习效果的重要因素.发现并解决网络教学环境中的可用性问题,是促进人机交互、提高学习效率的重要途径.开源教学平台的可用性指的是系统的有效性、效率和满意度,分析了网络教学平台的可用性诉求,并以浙江大学Sakai开放学习平台为例,进行个案研究.使用了ThinkAloud、观察法和访谈法等可用性测试方法,研究结果发现,浙江大学Sakai开放学习平台主要功能人机交互设计合理,但是由于文化差异和用户使用习惯问题,部分功能存在一定的可用性问题,值得学习平台设计者借鉴.     

Modelling,Synthesis, and Simulation of Supervisory Process Control Systems

Modelling, synthesis, and simulation issues of the supervisory systems in process control are investigated in the paper. Petri nets are used as a basic modelling framework for the supervisory part of the system. It is shown how the final verification effort can be minimised by applying formal synthesis methods. A straightforward approach to the industrial implementation of the developed solutions is suggested by means of sequential function chart representation. A batch process cell case study is used to illustrate the described concepts. Corresponding continuous and discrete event models of the process cell units are developed and a co-ordinating supervisor is designed by the method of place invariants. The system is simulated by the continuous simulation tool Matlab-Simulink, which is enhanced for simulation of the sequential control logic represented by sequential function chart.     

结构试验台座的选型与设计计算

综述了各类结构试验台座的特点。介绍了结构试验台座的设计计算方法，结合实例进行了台座的选型，并对台座的基础，板厚，锚固骨架进行具体设计计算。     

基于TPM的家庭基站安全架构

针对基于SIM卡安全机制的家庭基站平台完整性无法保护,容易产生通过家庭基站的恶意攻击等安全威胁,提出了基于TPM的家庭基站保护机制,采用TPM的安全计算、安全存储和认证机制,实现了核心网对家庭基站的设备认证、家庭基站软硬件完整性验证、家庭基站身份认证、家庭基站位置认证与锁定、用户接入家庭基站的认证.     

基于VMM的SATA控制器功能验证

针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.     

Flow injection hydride generation electrothermal atomic absorption spectrometric determination of toxicologically relevant arsenic in urine

Analytical procedure for the determination of toxicologically relevant arsenic (the sum of arsenite, arsenate, monomethylarsonate and dimethylarsinate) in urine by flow injection hydride generation and collection of generated inorganic and methylated hydrides on an integrated platform of a transverse-heated graphite atomizer for electrothermal atomic absorption spectrometric determination (ETAAS) is elaborated. Platforms are pre-treated with 2.7 μmol of zirconium and then with 0.10 μmol of iridium which serve both as an efficient hydride sequestration medium and permanent chemical modifier. Arsine, monomethylarsine and dimethylarsine are generated from diluted urine samples (10–25-fold) in the presence of 50 mmol L⁻¹ hydrochloric acid and 70 mmol L⁻¹ l-cysteine. Collection, pyrolysis and atomization temperatures are 450, 500, 2100 and 2150 °C, respectively. The characteristic mass, characteristic concentration and limit of detection (3σ) are 39 pg, 0.078 μg L⁻¹ and 0.038 μg L⁻¹ As, respectively. The limits of detection in urine are ca. 0.4 and 1 μg L⁻¹ with 10- and 25-fold dilutions. The sample throughput rate is 25 h⁻¹. Applications to several urine CRMs are given.