基于并发事务逻辑的Web服务编制验证

 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.     

基于红外传感器的智能车系统设计

以飞思卡尔半导体公司的MC9S12DG128B系列MCU为核心,设计智能车的系统框架,软件和硬件的设计方案。详细介绍了电源模块和电机驱动模块在设计过程中遇到的问题和解决方案。     

调Q主动锁模Nd:YAG皮秒激光器实验

为了提高锁模脉冲输出质量,利用"调Q+主动锁模"的方式对Nd:YAG固体激光器进行了实验研究。采用Cr4+:YAG晶体、声光调制器作为调Q和主动锁模的元件。为了减小腔内的FP标准效应,镜Nd:YAG棒的端面切割成布儒斯特角。在实验中比较和分析了主动锁模、调Q主动锁模两种情况下Nd∶YAG激光器的输出特性。其中,主动锁模脉冲序列的单脉冲宽度为173 ps,调Q主动锁模的脉冲系列单脉冲宽度为169 ps,两种方式输出波形的锁模深度和锁模几率均在95%以上。对调Q主动锁模脉冲的输出能量进行了测量,结果表明其有较大提高。     

脉冲气体激光器用固态高压开关的研制

实验研制了基于磁脉冲压缩系统的脉冲气体激光器用固态高压开关,实验中通过调节复位电流大小,负载电阻大小等相关参数实现了磁压缩开关输出效率达到最大值。经两级磁开关压缩后脉宽约压缩为原来的5%。压缩后脉冲上升时间约为180 ns,幅值约为16 kV。其中第一级磁压缩效率为89.2%,第二级磁压缩效率达到97.7%,总的压缩效率达到87.2%。接激光器后测得输出激光脉冲能量约为20 mJ,输出激光脉冲半高宽约为85 ns。     

基于LabVIEW的温度测控系统设计

在一些功能比较复杂的数据采集系统中,通常以PC为上位机,单片机为下位机,由单片机完成数据的采集及对装置的控制,由上位机完成各种复杂的数据处理及对单片机的控制。本文利用LabVIEW图形化编程语言开发设计人机交互界面,STC89C51单片机通过I/O口读取DS18B20的温度数据,上位机通过下位机的全双工串口进行实时通信,完成温度的显示、报警、制表及打印等功能。测试结果表明,该系统性能稳定,界面形象逼真,数据准确、实时性好,具有一定的推广价值。     

应用于早期乳腺肿瘤探测的小型化超宽带天线

设计了两款可以应用于早期乳腺肿瘤超宽带微波检测技术的超宽带天线。两款天线均为平面单极天线,分别由叉形、三角形金属贴片和槽口金属接地板构成,采用微带线对其进行馈电。经过仿真优化,两款天线的-10 dB回波损耗频率覆盖范围分别为4～10 GHz和5～10 GHz,且在此带宽内具有良好的全向性。对叉形极子天线进行了实物测量,试验数据与仿真结果相吻合。两款天线体积小、结构简单、加工简便,能够较好地满足微波成像检测乳腺肿瘤技术中天线阵列的设计要求。     

激光诱变滇"三角大香糯"的遗传效应研究

2 0 0 1年我们用He -Ne激光辐照加电场、磁场激发对滇“三角大香糯”进行了育种研究〔1〕,并得到了五株有较优变异的稻种 (第 1代M1 )。 2 0 0 2年我们种植了这五株稻种 ,并进行了各生育期的田间试验观测。分析了诱变滇三角香糯育出稻种的遗传性质     

光纤光栅外腔半导体激光器的理论和实验分析

从耦合模理论出发,结合激光原理,研究了光纤光栅外腔半导体激光器(FBG-ECL)的理论模型．得到光纤光栅反射率的解析解。利用速率方程理论讨论FBG-ECL的高频响应特性。根据等效腔模型．讨论了耦合系数对FBG-ECL阈值特性的影响。指出存在最佳光纤光栅反射率．使得激光器不仅功率输出大,而且边模抑制比高。最后实测了不同反射率情况下激光器的激射光谱。     

二维寄生电容参数的对偶离散几何法提取

寄生电容参数提取是集成电路领域的关键课题,也是典型的静电场问题之一。通过研究电磁场对偶离散几何法, 探讨在二维非结构化网格离散空间上相应的寄生电容提取算法, 其中重点考察其对偶特性以及能量互补特性。基于该特性,同时采用对偶的两种方法能够有效地消除网格离散带来的误差,比采用单一方法更快地逼近真实解,从而可发展出静电场能量快速算法。并从理论与实例两方面将其与对偶有限元法实施分析对比。离散几何法采用对偶两套网格上的标量电势作为未知量,具有简单的形式与良好的精度,有望成为相关领域的一种主流方法。     

基于双目视觉的低复杂度高准确度手势提取算法

为满足实时人机交互的需求,解决在不同光照、不同背景下,与肤色无关的手势提取问题,提出了一种低复杂度、高准确度、适合硬件实现的手势提取算法.该算法对双目图像基于逐行扫描的机制提取手势.首先检测边缘,由边缘对图像形成分割,获得手势轮廓,随后通过匹配提取出手势,最后消除背景噪声的影响,获得准确的手势.实验采用两个相同型号的网络摄像头在室内光照条件下采集图像.结果表明,该方法在复杂背景中能够快速准确地提取出各种手势,相比传统的基于肤色的手势提取方法干扰更少.