O-表达式的性质定义与规范（英文）

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式（stand-alone O-expression,saloe）。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。     

两相交错并联双向DC-DC变换器研究

对一种两相交错并联双向DC-DC变换器进行i了研li究,变换器由两个半桥拓扑交错并联构成,采用电压、电流双闭环控制。首先介绍变换器电路结构和工作原理,然后通过MATLAB/Smu变换器可以实现稳定的能量转换,交错并联能有效减小纹波,变换器在双闭环控制下均流效果好响应速度快、抗干扰性强,对于实现稳定可靠双向DC-DC变换的相关领域具有研究意义。     

一种高速可控脉冲信号发生器的设计与实现

本文介绍了一种基于FPGA高速和可编程的特点,配合外围器件,设计并实现脉冲信号发生器的方法。该脉冲信号发生器具育四种可控的输出模式,可以输出频率为数百兆持兹的高速脉冲信号。利用VHDL／Verilog HDL语言编写了核心模块,并在Altera公司提供的Quartus II6．0开发软件上实现了仿真通过。经实际验证,该实现方法达到设计要求     

一种生物机器人遥控导航系统

给出了一种生物机器人遥控导航系统,通过刺激大鼠脑部特定部位实现对大鼠的导航控制.系统主要包括:无线参数发射装置和植入式神经刺激系统两部分.发射装置主要由单片机(C8051F330)、无线调频发射芯片(QN8027)和功率放大电路组成,神经刺激系统由单片机(C8051F330)、无线调频接收芯片(QN8025)、模拟开关和植入式电极组成.植入式刺激系统采用表贴原件焊接,体积为20mm×15mm×3mm,质量为6g(含可充电锂电池3g).大鼠内侧前脑束(MFB)区单侧和丘脑腹后外侧核(VPL)左右双侧被选中作为刺激神经位点,每个神经位点植入1对电极.每对电极作为1个通道与神经刺激系统相连,可以通过无线发射装置实时调节每个通道的电流刺激参数.实验结果表明:适当的电流刺激大鼠MFB区可以实现对大鼠的虚拟奖励使之向前行走,适当的电流刺激VPL区可以控制大鼠左转或右转.     

DK——12型移置式胶带输送机在金属矿山上的应用

为了强化矿山运输,我们在矿山开拓设计中,采用了 DK—12型移置式胶带输送机。它同汽车运输,电机车运输比较有很多优点:(1)经营费低。皮带0.07元/吨·公里;电机车0.101元/吨·公里;汽车0.25元/吨·公里,本溪南芬铁矿用玛斯525汽车运输矿石时,经营费曾高达0.63元/吨·公里。(2)能爬陡坡。皮带可在16°～18°坡度上运行;电机车爬坡能力为30‰(1°43′);汽车爬坡能力8%(4°34′)。(3)可连续作业,操作     

低产低效井举升技术应用优化策略研究

抽油机是目前各油田主要的机采举升方式。根据低渗透油田的井深和产液特点,目前使用的抽油机主要有6型、8型和10型三种类型。其中,8型机是最常见的机型,而6型机和10型机的数量相对较少。针对低产低效井,采取提捞采油和优化管理与地面设备的方式是有效的治理方法。     

几种海藻中紫外吸收物质性质的研究

以广东紫菜、江蓠中提取的MAAs（Mycosporine-like amino acids）为原料,通过改变对其性质起决定作用的两大因素（pH、温度）的条件,研究这两种海藻中的MAAs在不同溶液中的稳定性。结果表明:在pH为3⁹的范围内,pH、温度对MAAs的吸光值和最大吸收波长影响较小;在pH≤2的强酸条件下,pH和温度对MAAs的紫外吸收光谱均有影响,最大吸收波长发生蓝移,吸光值也随着温度的增加和pH的降低而降低;而在pH≥10的强碱性溶液中,随着pH、温度的升高,吸光值明显下降,而且比在强酸性范围（pH≤2）所表现出来的影响更加显著。      

半导体激光器调制驱动电源的研制与实践

目的　为半导体激光器合成外差干涉研制一调制驱动电源 .方法　选用现有大规模集成芯片 ,设计力求简单、实用、成本低及高性能 .结果　利用数码调制驱动芯片线性区实现各种方式的调频是可行的 .结论　该调制驱动电源满足各种波形的合成外差干涉 ,具有广泛的应用价值 .     

线列CCD像机交汇测量精度分析

目的 探讨提高线列ＣＣＤ像机交汇测量精度,在此基础上分析了ＣＣＤ像机交汇测量的原理。方法 采用空间虎拟的光电靶代替实物靶来实现对弹丸目标脱靶量的实时获取。结果与结论 在分析了ＣＣＤ像机测角精度与布站方式等影响交汇测量精度的因素后,对光电靶面上不同位置点的ＣＣＤ像机交汇坐标测量结果进行了计算,最终给出了测量精度与布站的,ＣＣＤ像机视轴正交时系统具有最高的测量精度。     

城市轨道交通综合指挥调度系统中全景化事故反演的设计与实现

文章介绍了一种在城市轨道交通综合指挥调度系统(TIDS)中进行全景化事故反演的实现方式。针对该系统对事故反演的要求,介绍了一种基于Bekeley DB的全景采样数据库,TIDS系统的各监控专业变化数据都可以存储在全景采样数据库中,该全景采样数据库支持基于时间戳的数据存储,高效的数据查询和数据断面获取,以及“回放态”的概念和切换过程,并据此设计完善的事故录制与事故反演实现方案。本方案能够保证用户在正常监控过程中随时切换至回放状态,查看以前任意时间断面的列车运行情况、设备工作状态以及调度员的所有操作、历史事件,方便操作员反演事故过程,有助于提高列车监控及其他专业监控的管理水平,加强综合指挥调度系统的完整性。