摘要：针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法。将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题。利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述。分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。

摘要：混合动力整车控制系统的开发是以某起动机/发电机一体化(ISG)并联混合动力汽车为例,开发整车控制系统,包括整车控制器硬件的设计、控制策略的制定、控制器软件的开发和基于VC++的混合动力汽车监控和标定软件的开发。实车验证实现了发电电源模式、纯电动模式、混合动力模式等多种工作模式,监控标定软件实时采集实验过程中CAN总线上的数据。实验数据表明,ISG并联式混合动力车整车控制策略设计能满足整车控制需求,可对整车进行有效控制,并联式混合动力整车控制单元的硬软件系统开发和监控标定软件能满足整车控制的需要。

摘要：针对机器人航天员复杂操作场景下的任务规划和仿真验证问题,基于仿真模块集成化的设计思想,集成通信模块、任务调度管理模块、路径规划模块、力控制模块、碰撞检测模块、双臂3D几何模型,通过OSG建立了实体模型及仿真场景,并建立插拔、抓握、对准、旋拧、搬运、转移等典型操作库,实现了机器人航天员双臂多种复杂操作任务的仿真。最后,通过机器人航天员搬运物体任务仿真实现双臂协调操作任务规划的仿真,验证了该系统的有效性和任务规划验证的合理性。

摘要：目的通过计算机虚拟筛选,寻找生存素(survivin)的小分子抑制剂,并对其活性进行初步研究。方法基于sur-vivin与其抑制性配体Smac/Diablo复合物的三维结构,用分子对接的方法对含有149,214个小分子的三维结构数据库进行筛选。通过初步活性测定确定活性较高的化合物,进一步研究其对凋亡,细胞周期及活性氧产生的影响。利用分子图像学方法分析化合物与survivin之间的作用模式。结果通过能量打分并根据结构多样性和类药性原则,最终选择了35个化合物进行初步活性测定,其中有9个化合物显示出明显的抑制活性,3个化合物的半数抑制浓度在30μmol.L-1以下。选择其中活性最高的化合物1-19进行进一步研究,结果显示小剂量的1-19能够促进细胞的早期凋亡,诱导细胞内活性氧产生,导致细胞发生S和G2/M期阻滞。分子图像学分析显示活性最高的1-19能够与survivin配体结合区的71位天门冬氨酸形成两个稳定的氢键。结论通过计算机辅助药物设计、药理活性测试以及分子图像学分析,初步确定了一个针对survivin的全新的先导化合物,为今后survivin小分子抑制剂的研究奠定了基础。

摘要：介绍了一种新研制的可以采集空气中CO2、CO、CH4等C-14取样器的设计、实现及性能测试。该仪器采用低功耗的MSP430单片机为控制核心,并同时具有定量、定时的连续工作模式,可以根据实际工作灵活采用。

摘要：采用Flac3D有限差分法模拟地铁盾构区间隧道下穿既有综合管廊的施工过程。分析下部地铁盾构隧道在不同交角和不同盾尾注浆压力的工况下,对上部既有综合管廊单洞隧道变形的影响特点。计算结果表明:当注浆压力一定时,随着上下隧道相交角度的增加,轴线交点附近处的沉降值就越来越大,而影响的范围却越来越小,并且这种影响与上下隧道相交长度正相关,与相交面积二次相关;当交角不变时,在一定范围内,随着盾构隧道注浆压力的增加,上部综合管廊的沉降会逐渐减小,而随着盾构隧道注浆压力的等幅提升,沉降的变化值越来越小,即注浆压力对隧道沉降的改善越来越不明显。通过结果分析,可采用0.3 MPa的注浆压力下,交角范围为60°~75°的工况进行施工,以减少施工影响。

摘要：考虑到飞行控制系统闭环反馈及实时的特性,设计了多个鲁棒自适应观测器用于传感器的故障隔离与重构.这样有效的抑制了噪声和模型不确定性,以及闭环传感器输出之间的相互影响.同时对残差进行时序概率比检验,避免了故障误报和漏报.应用某型战斗机地形跟随控制系统进行仿真验证,在保证闭环反馈系统稳定的前提下,实现了传感器的在线故障隔离与重构,达到了预期的效果.

摘要：由于传统船舶机舱监控视频检索系统存在检索架构逻辑滞后,无法将视频检索架构数据与视频源文件特征数据对应绑定,出现在对大量视频数据中某一视频段检索时,处理时间过长的问题。为此提出设计船舶机舱监控视频的智能检索系统。通过架设XML云端检索服务器,建立视频检索数据存储硬件平台。依托此硬件平台,引入综合特征处理算法,对视频图像内部特征与检索数据进行对应绑定处理,实现快速智能检索视频数据的效果。通过对比实验证明,设计的船舶机舱监控视频的智能检索系统在大量视频数据中,能够快速检索出所要视频数据段。

摘要：本文基于衍射光学设计理论,提出了仅用一种简单结构实现波长和偏振态同时复用全息显示新方法.构建了不同入射条件下超表面微元的结构参数与透过相位之间的映射关系,建立了科学的评价函数,优化得到超表面每个像素点处最优的单一结构超表面微元尺寸.仿真结果表明,本文设计的超表面实现了波长为532 nm的x线偏振光和波长为633 nm的y线偏振光入射显示不同形状字符的功能.

摘要：将X射线断层扫描技术(CT)与原位三轴剪切试验相结合,分析渥太华砂在剪切过程中的微观动力学演化规律.在试验过程中共完成15次X射线扫描,使用图像分割算法进行颗粒分割并使用球谐函数重构颗粒的表面形貌,根据颗粒的多尺度形态指标序列实现整个加载过程中颗粒的准确匹配与追踪,并分析颗粒位移、转动、局部非仿射运动和局部孔隙率等微观动力学和微观结构指标的演化规律.在剪切过程中颗粒体系的竖向位移分布呈现2个锥形区域,颗粒的转动分布出现明显的X型剪切带.用于度量局部塑性变形程度的局部非仿射运动和局部体积分数呈现出较为明显的相关关系,表明颗粒微观动力学与其微观结构之间存在因果关系,局部自由体积较大的地方更易发生塑性变形.