基于Petri网的物流自动化系统建模与仿真研究

本文简要地介绍了物流自动化系统的研究状况，基于Petri网理论，对烟草行业的卷接包车间的AGVS进行了分析，并对该系统构造了一Petri网模型，并进行了仿真研究，仿真结果表明该模型是合理且高效的。     

具有旋转对称性混沌吸引子的计算机可视化

利用群的封闭性,构造等变(equivariant)函数,结合动力系统生成具有旋转对称结构的混沌吸引子.由于本文方法不需要对具体函数进行等变性证明,因此本文对于迭代函数的选择非常自由,可以生成美观丰富的奇怪吸引子.     

浅谈房屋安全鉴定工作的基本特性与常用方法

房屋安全质量已越来越多地受到全社会的关注。阐述了房屋安全鉴定工作的重要性,探讨了房屋安全鉴定工作的基本特性,对常用的鉴定方法进行了分析与对比。     

超细金属丝中电子的关联函数和关联能

对于具有库仑相互作用的超细金属丝，该文提出了一种新的准一维模型，从而得到了准-维超细金属丝体系的电子有效库仑势形式．并在相关基函数理论框架下，利用准一维电子体系的集体振荡行为，确定了具有库仑相互作用的二体关联的Jastrow-Feenberg-Slater多体变分波函数，通过对实空间关联函数的方程的自洽迭代求解以及体系能量的变分计算，得到了金属钾L=4．967细丝的关联函数、关联能．该文得到的关联函数是恒正的，并且满足归一化条件．     

用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现     

红外线维修安防设备-来车报警装置的研制

为保证红外线维修人员的施工安全,研制了一种无需人工干预的、全自动无线来车报警装置.该装置采用太阳能加蓄电池的混合供电方式,可满足野外使用条件;来车信号采用无线传输方式,具有信号抗干扰性能好,传输距离远,接收灵敏度高的特点.本文介绍了系统硬件主要电路及软件的设计以及系统采取的抗干扰措施.     

中国履行OPRC90公约的现状及建议

通过对OPRC90公约进行解读,分析中国在履行OPRC90公约中所取得的成绩和存在的问题,为更好地履行该公约提出建议.     

中美高校素质、创新、创业教育三位一体协调发展的比较研究

提高大学生的素质和国际竞争力是当今高等教育改革和发展的关键。美国通识教育与专业教育的平衡、职业教育与精英教育的结合、理想性和现实性的交融为我国高等教育改革提供了有益的借鉴。适合我国特色的教育创新与发展之路是高等教育必须将素质教育、创新教育、创业教育三者相结合。     

激光超声表面波检测薄板残余应力的数值模拟

应用ABAQUS有限元软件模拟了脉冲激光激发的超声表面波在半无限大弹性薄板内的传播.首先把激光激励等效为作用在薄板表面的高斯分布的脉冲载荷,模拟输入的超声信号,在边界处采用无限单元来消除边界反射波对接收信号的干扰,接收到的表面波信号具有典型的表面波特点.其次,通过修正弹性模量的方法得到薄板在单向应力状态下的应力场,采用时差法得到表面波在应力区的传播速度,所得的数值结果和理论解与实验结果拟合良好,为激光超声检测残余应力提供了一种有效的数值方法.     

一类新节点集上的Newman有理插值逼近

为了得到在[-1,1]上对非光滑函数|x|逼近误差的上界,构造了一组全新的节点集,并证明了基于该节点集的Newman型有理插值算子逼近函数|x|的误差上界为e-2/1+εn其中ε为仅依赖n的小正数,可随着n增大任意减小乃至趋于零。该误差上界优于利用Newman节点集所得到的结果。同时通过合理分配节点集在区间上的分布及改进不等式的证明方法,逼近的误差阶可进一步提高。