基于R-OPN的集装箱码头物流系统建模与分析

针对集装箱码头物流系统(Container Terminal Logistics System,CTLS)建模存在的问题,通过分析CTLS的结构和行为特点,提出了基于规则的面向对象Petri网(Rule-based Object-oriented Petri Net,R-OPN)的建模方法.该方法在对象子网和门变迁中融入决策规则,建立了CTLS系统动态行为和调度控制模型,简洁明了地描述了系统状态和决策规则之间的关系.在此模型的基础上,分析了模型的结构特性(死锁,冲突等),并提出了解决冲突的决策规则,为CTLS的设计、分析、调度与仿真提供了有效的工具.     

一种整数矩阵求逆方法的证明

本文利用组合的性质证明了一种整数矩阵求逆矩阵的方法，给出了求逆矩阵的公式，并通过了实例验证。     

物流运输中的分配调度折扣模型

利用电子商务发展物流运输，在近年来物流领域的一个研究热点，但是对电子商务物流的具体实现形式的研究还有待发展，文章介绍了在电子商务平台上的物流经纪公司的一个分配调度折扣模型，该模型是在对运输任务集成优化的思想上作出的，并采用运输折扣作为反映这一思想的主要手段，该模型的建立使得具体的物流电子商务有了一个可供采用的模式。且在基础上对模型展开分析，给出了一个简化的模型，从而使其划归为一个网络的最短路问题予以解决，并提出了进一步研究的方向。     

一类转库问题流向优化问题的模型与解法

转库是大型企业物流管理工作中的重要环节·针对企业决策支持系统的子系统转库作业日计划问题进行了分析,为一类转库流向问题建立了优化模型具有特殊约束0-1整数线性规划问题(0-1ILP)·分析了具体问题的性质·为求解这类NP-难问题,给出了一种在实际中行之有效的求解问题的算法降维替换算法·以SAS语言为环境,用实际问题作为计算算例,对这种算法的优点进行了总结:该算法在实际应用中是切实可行的,在时间上是节约的,尤其适合于大规模的问题     

基于图像法的点云数据边界自动提取

提出了一种反求工程中基于图像法的点云数据边界特性的自动提取方法，采用图像处理中梯度求解方法，对点云中每一点处的法矢和曲率进行估计，通过阈值得到候选边界点，再利用曲率极值法得到最终边界点。通过这些边界点可以进一步拟合边界曲线，达到对点云数据进行自动分片的目的。该方法具有较强的可操作性实用性，对于反求工程的自动化和智能化研究具有实际意义。     

生物组织有限元建模与分析

组织工程是生物工程中的一个重要部分，是多学科交叉而形成的新工程学科。利用有限单元法进行组织工程中的组织应力分析具有重要意义。研究了对生物组织采用逆向建模和基于公共界面有限元网格划分技术，给出了一个牙齿三维建模和有限元分析的实例。     

LS-共轭梯度算法的收敛性

对无约束规划 (P) :minx∈Rnf(x) ,其中 f(x)是Rn→R1上的二阶连续可微函数 ,通过引入强迫函数和逆连续模函数 ,证明了一类采用Curry Altman步长规则的LS 共轭梯度算法的全局收敛性质 ,利用比较原理进一步讨论了LS 共轭梯度算法在采用另外三种步长规则下的全局收敛性     

广义时滞Logistic方程的全局吸收性

研究广义时滞Logistic方程N′(t) =r(t)N(t) (1-N(g(t) ) ) α,t 0 ,其中r(t) >0 ,g(t) ∈C([0 ,+∞ ) ,R) ,g(t) 相似文献   

SDS聚丙烯酰胺凝胶反相染色法

该文介绍了近年来问世的SDS聚丙烯酰胺凝胶反相(负)染色法,特别着重介绍了最新的一种反相染色改进方法—咪唑—锌盐染色法。咪唑—锌盐染色法兼具下面几方面的优点:操作简便、快速且重复性好,灵敏度高并能检出小分子量肽片段,蛋白质回收率颇为理想,也未对蛋白质发生化学修饰作用。     

逆胶束系统中脂肪酶对橄榄油的水解

在丁二酸双(2-己基已)酯磺酸钠(即AOT)/异辛烷逆胶束系统中,研究了圆柱形假丝酵母脂肪酶所催他的橄榄油水解过程。结果表明,R=[H_2O]/[AOT]=9.8时,水解速度最快;当R值固定时,系统的含水量越大,水解率则越高。增加橄榄油浓度,可提高水解速度,但水解率随之下降。适度搅拌能使水解速度略有提高,但会降低酶的稳定性。添加少量的甘氨酸或甘油,也会降低酶的稳定性,因而对水解不利。