基于Petri网的分布式系统冲突消解

针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试孤,从而形成一个能够描述更复杂分布式系统的Petri网模型.利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义.结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性.     

适用于青藏高原地区的风光柴互补能源系统的优化设计

为研制出更适用于青藏高原地区的风光柴互补能源系统(下文简称为"青藏高原风光柴互补能源系统"),通过对青藏高原地区的风能和太阳能资源分布情况进行统计、对蓄电池组进行热模拟、对能量控制进行仿真,以及对光伏组件安装倾角、蓄电池组的温度控制、能源控制、能源管理策略进行优化设计等方式,使青藏高原风光柴互补能源系统更适应青藏高原的...     

上海卡聂高千商大会盛大开幕世界品牌与全国酒商在温“亲密接触”

11月18日，卡聂高首届世界级酒类品牌合作与发展高峰论坛暨干商大会在温州金球国豪大酒店隆重举行。这是上海卡聂高国际贸易公司继成都春季全国糖酒会1500人大型酒宴后的又一大手笔。上海卡聂高国际贸易有限公司是一家专注于进口和销售国际品牌葡萄酒的商贸型企业，是中国最具规模最具专业的国际品牌葡萄酒采购商、进口商、批发商之一。     

一种无标记点三维点云自动拼接技术

基于相位投影和双目的三维光学测量系统已经广泛应用于各领域.受投影光测量系统单次测量范围大小的限制,对大型物体的测量需要在表面粘贴圆形标记点进行多次拼接的缺点,探讨一种基于SIFT的无标记点自动拼接技术.该技术采用SIFT方法获取两次测量的特征点,其次结合RANSAC求出图像特征点的匹配关系,再根据立体匹配中图像特征点与三维点云之间的对应关系,将二维特征点的对应关系映射到三维点云的对应关系上,最后由SVD奇异值分解算法求得旋转和平移矩阵实现拼接.实验证明:该方法可以避免在被测量对象上粘贴标记点,能够快速准确地实现自动拼接.     

MapInfo在基于GPS／GIS调度监督系统中的应用

文章提出了单线铁路定位难的问题。详细分析了在GPS／GIS环境下的单线铁路调度监督系统中，关于MapInfo的嵌入、系统图层的设置以及怎样进行列车运行轨迹的显示，从而实现了单线铁路的列车定位问题。同时证明系统具有良好的应用前景。     

PLC构成PROFIBUS网络原理及应用

微机联锁系统中,一般是将联锁置于上位机中,这样安全性、可靠性得不到保障。文中用西门子S7-400HPLC完成联锁功能,构成PROFIBUS-DP/MPI分布式网络系统,这样整个联锁系统安全可靠。通过介绍DP/MPI网的概念和实现,结合唐山钢铁公司焦化站联锁实例,着重阐明用PLC实现DP/MPI网络,以解决该联锁系统中分布式输入输出等。经现场调试、安装,整个网络运行良好,安全可靠地实现和完成车站信号联锁系统的联锁功能,应用前景很好。     

LaNi5基合金电极性能与其电子结构的相关性

利用电荷自洽离散变分Xα(SCC DV Xα)方法计算了LaNi4 M (M =Ni,Cu ,Mn ,Al)及其氢化物的电子结构 ,分析了电子结构对吸氢性能的影响。结果表明 :LaNi4 M氢化物的稳定性与氢原子的电荷转移密切相关 ,进入H1s轨道的电荷增大 ,将会降低其稳定性 ;LaNi4 M的循环寿命与合金中La的 4f和Ni(1)的 4p轨道间的成键强度有关 ,杂化成键越强 ,相应的循环寿命越长 ;Ni(3)的 3d轨道也与La的 4f轨道有成键作用 ,但这种作用在吸氢后被减弱     

空位缺陷对方铅矿电子结构及浮选行为影响的密度泛函理论

利用基于密度泛函理论的第一性原理赝势方法,计算含有硫空位和铅空位的方铅矿的电子结构,并讨论空位缺陷对方铅矿可浮性的影响.计算结果表明,铅空位缺陷使方铅矿费米能级降低,带隙变窄;而硫空位缺陷则使方铅矿费米能级升高,带隙变宽,同时,方铅矿的半导体类型由p型变为n型.空位缺陷引起的电荷布居数变化改变晶体中电子运动的状态,从而影响方铅矿的浮选行为.     

不同初始温度对航空煤油表面火蔓延的影响

采用微细热电偶、红外热像仪、CCD摄像及纹影技术对不同初始温度航空煤油表面火蔓现象及机理进行实验研究.结果表明:当航空煤油(开杯闪点为66℃)的初始温度T0≤82.5℃时,其火焰蔓延主要受液相控制,在此阶段表面流预热作用是火焰脉动蔓延的主要控制机制,火焰蔓延平均速度随初始温度升高呈指数增长关系;当航空煤油初始温度T0＞...     

基于多频外差相移结构光的三维测量系统

基于相位投影和双目视觉的三维光学测量系统已经广泛应用于各领域。系统通过平板标定技术得到摄像机的内参和外参;针对格雷码与相移结合技术在测量物体边缘位置解相位误差大的问题,采用多频外差原理的测量方式,使用拟合负指数求解像素点的绝对相位,使用对极几何进行亚像素立体匹配。实验证明:该系统可以完成复杂面型测量并且获得高精度点云数据,测量标准偏差为0.03 mm。