具泛函变元的偏微分方程组的振动性定理

讨论了一类二阶偏泛函微分方程组,获得了方程组所有解振动的若干充分条件,同时也给出了实际应用例子.     

局部弱sharp最小的几个等价条件

在一般Banach空间的框架下,证明了参考文献[1]中给出的法锥型必要条件也是局部弱sharp最小的充分条件,同时也给出了局部弱sharp最小的切锥型刻画.     

冷卷热处理生产调度模型的启发式算法

针对某钢铁公司冷轧厂热处理车间冷卷热处理生产调度中车间大、炉区小的实际状况,建立了以热罩和冷罩为机器,冷卷为工件的一类不允许等待的混合流水车间排序模型．利用参数排序策略,实现炉区之间冷卷的重新分配;利用值排序策略,确定新的热处理顺序,使得所有冷卷最长热处理时间最短．在此基础上开发的冷卷热处理生产调度系统正在冷轧厂试运行,目前系统运行稳定、速度较快、功能较强,预计每年可创直接经济效益5000多万元．     

跳跃扩散型离散几何平均亚式期权的定价

在股票市场有重大信息公布时,股票价格会发生跳跃.在股票价格服从Ito-Skorohod跳跃扩散过程的条件下,运用概率论的方法研究离散几何平均亚式期权的定价,并得出其定价公式.     

周期性需求下多级库存缺货控制模型研究

从一个以区域分销中心(DC)为主导地位且由多个供应商与零售商共同组成的多级库存系统出发,系统在假设DC和零售商都实行连续性盘点的(R,Q)库存控制策略,提前期为常量,零售商需求为正态分布的前提下,采用缺货策略的思想来确定订货临界点及订货批量.并且以确定DC的库存策略为目标,建立了缺货条件下的多级库存控制模型,从而达到有效控制库存的目的.最后,给出了一个算例,说明了该库存控制模型的可行度.     

一定条件下PA序列部分和的完全收敛性

根据PA序列的一些基本性质和定理,比照独立随机变量下的结论,对PA序列的完全收敛性作了初步的推导和论证,从而完善了相关结果.     

简单管水力系统水击的级数解析解

针对简单水力系统的基本方程,考虑阀门按线性关闭历时规律的初始条件和边界条件,利用该偏微分方程组的形式解,推导出时间关于系统末端水击的一阶线性微分方程,从而求解了系统末端水击的隐式解析解.进一步从数学上将水击分解成均具有级数解的两部分,利用三角级数展开的方法分别求解其级数解,最后给出了水击级数解析解的表达式.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

一类混合单调算子方程组解的存在和唯一性定理

利用锥与半序理论和迭代技巧,给出了具有凹凸性但不具有任何连续性和紧性条件的混合单调算子方程组的解的存在唯一性定理,所得结果拓展了文献[1]中的混合单调算子方程的相应结果。     

随机生产中拖后需求的变质产品最优生产策略

针对部分短缺量拖后的变质产品,建立随机生产状态下的生产-库存模型.所谓随机生产状态,是指生产过程会随机地从一种可控状态向另一种不可控状态转移,当生产处于不可控状态时,会生产出一定比例的次品.其中,生产状态的转移服从均匀分布.通过生产-库存模型得到了随机生产状态下总成本函数,分析得到,该总成本函数是一个关于生产次数的凹函数,并由此提出了最优生产次数算法.最后给出了算例.算例结果表明,最优生产次数算法能够有效地将一个4n 1维的最优问题转化为一个一维问题,为变质商品的生产-库存决策提供了简便有效的方法.