冻土隧道的保温隔热层参数设计新方法

目前几乎所有冻土隧道设计都会采用保温隔热层避免冻融作用发生,但是在保温隔热层的参数选取时,保温隔热效果是主要考虑的因素,而对其成本考虑较少。为了使保温隔热层既能防止冻融作用的破坏,又能节约成本,以优化理论为基础,结合扩展内点罚函数及冻土隧道特点,建立了保温隔热层的数学优化模型,期望该模型能够达到此目的。以大坂山K0+785断面和风火山隧道K0+835断面为例,验证了该数学模型不仅能用于季节性冻土隧道,而且也能用于多年冻土隧道。优化结果不但能够防止冻害发生,而且还能产生较大的经济效益。由此可见该数学优化模型及求解方法可以为冻土隧道工程中的保温隔热层参数的合理选取提供指导。     

求QoS路由的整数线性规划方法

QoS路由的任务是在网络中寻找一条满足多个约束条件的路径使网络资源的利用达到最优. 该问题是一个NP-完全问题. 提出了一种新的基于整数线性规划模型选择路由的方法. 思路是将复杂约束引入到目标函数作为罚项, 得到一个松弛整数线性规划问题. 因为约束系数矩阵是全幺模矩阵, 松弛问题可以通过线性规划很快地求解. 拉格朗日乘子的调整用罚函数的方法很容易计算. 数值实验表明提出的方法是有效的.     

一种新的低阶罚函数的光滑化方法

对于约束优化问题,给出了一种用二次连续可微函数光滑低阶罚函数的方法;在一些弱的假设条件下,证明了光滑后的罚优化问题的最优解是原优化问题的ε-近似最优解.     

中断风险下新产品供应链的配置

针对确定性环境下提出的供应链配置方法已经难以适应逐渐复杂的企业经营环境．文章在已有的供应链配置模型上,对具有中断风险的供应商选择问题进行研究,有效缓解供应链中断带来的巨大风险．     

我国社区矫正的性质反思：从刑罚到刑事政策

在我国,社区矫正诞生于刑事司法实践.社区矫正的早期试点被视为回家服刑,社区矫正的性质被认为是一种非监禁性刑罚执行活动.对此,我国学者质疑之声不断,一种新的观点应运而生,即从社区矫正教育改造罪犯、预防犯罪和防卫社会的视角出发,主张社区矫正是一种社会防卫或保安处分措施.但前者存在拘泥于传统刑罚的强制性、严厉性之嫌,而后者又有社区矫正被泛化、扩大的倾向和司法实践操作难题.因此,理性的社区矫正性质界定应基于刑事政策的视角,即我国社区矫正是一种刑事政策.     

基于约束优化问题乘子罚函数方法的全局收敛性分析

针对最优化问题的增广Lagrange乘子罚函数方法给出了其收敛性结论。该方法提出的惩罚机制使得迭代点的可行性得到有效控制,通过添加Lagrange乘子有效避免了罚因子无限增大所带来的数值病态问题。全局收敛性结论表明了此方法的可行性。     

基于指向惩罚的交通信息发布下随机交通分配*

提出了通过对发布交通拥堵信息的路段进行阻抗惩罚的随机交通分配方法。出行者被分为“随机型”与“信息型”两类并进行logit型的随机路径选择,前者不受交通信息发布的影响,根据正常路阻进行路径选择,而后者会根据发布的信息,改变对下游路网阻抗的认知并根据新的阻抗进行路径选择。通过对发布拥堵信息的路段的路阻施加路段到路段的指向惩罚来反映“信息型”出行者的路阻变化,分别对两组类型的出行者进行随机网络加载,给出了基于混合流量加载的交通分配算法。实例验证了方法的有效性,并分析了交通信息服务的市场占有率和信息的发布方案对信息发布效果的影响。     

基于改进DPSO算法的航空发动机失谐叶片排序

通过叶片模态实验获得叶片失谐参数,建立了叶盘系统动力学模型,提出了一种新的排序方式.在标准粒子群算法中引入遗传算法的交叉算子和变异算子以及遗传选择的思想,利用罚函数法兼顾错频与减振的应用需求,保留了粒子群算法收敛较快的优秀特性,改善了粒子群的全局寻优能力,并得到比其他优化算法精度更高的排序结果.结果表明,恰当的叶片排布顺序可有效降低叶盘系统振动局部化,采用提出的离散遗传粒子群算法进行叶片排布可使叶盘系统振动幅度较小或者在可接受范围内.     

死刑独立量刑程序的必要性研究——以死刑案件司法实务为视角

我国当前死刑案件审判的核心在于量刑而不是定罪,与此同时,越来越多的酌定量刑情节在决定是否适用死刑上前所未有地发挥起关键性作用。我国传统以控制定罪为中心、定罪量刑一体化的审判模式及制度安排,已明显滞后于当前死刑案件审判的实践需要及形势发展,构建专门、独立的死刑量刑程序,通过正当程序实现量刑公正已成大势所趋。     

支付红利的双险种复合二项风险模型的Gerber-Shiu折现罚金函数

对支付红利的双险种复合二项模型,考虑当盈余大于或等于一个给定的非负红利界时保险公司以一定概率给股东分红的情形,利用更新理论,得到该模型的Gerber-Shiu折现罚金函数满足的瑕疵更新方程及其渐近表达式,并给出破产概率、破产时破产赤字分布和破产前瞬时盈余的概率函数的递推公式及其渐近表达式.