基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题。但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法。采用该方法对Puzzle合约的公平性进行验证,找到了一个已知的交易顺序依赖漏洞。结果表明提出的方法可以为发现智能合约中存在的漏洞提供新的思路。     

论双重合约与婚姻——一个经济学的研究新框架

双重合约的内外合约就是,没有参与特定相关合约(称为内部合约)的其他人,对于内部合约产生了(外部性)影响,则上述其他人一定是同内部合约参与人达成了另外的其他合约即外部合约。双重合约是一个普遍的存在,婚姻就是其中的一种。双重合约的内、外合约既具有统一联系又存在区别。内外合约可以是排他性质不同的合约,其中一定程度内公外私性质的双重合约,是包括婚姻在内的一般组织的基本特征。根据合作博弈与讨价还价理论,可以建立双重合约下的婚姻稳定模型,其中包括合约效用、会计成本、机会成本、交易成本等重要变量。分析这些变量随社会经济条件的变化,可以解释人类婚姻规模、形式和稳定性的历史演变。     

基于改进遗传算法并考虑尾气排放的公交组合调度

为在提升公交运行效率和服务水平的同时减小其对环境的负面影响,针对公交单线路单向客流差异较大以及双向客流不均衡的现象,建立以乘客时间总成本、公交车运行总成本与尾气排放成本之和最小为目标的跳站与区间车组合调度模型。考虑公交停靠方案与发车频率在优化过程中的重要性差异,提出一种概率随迭代次数变化的动态概率遗传算法,对最佳停靠方案与发车频率进行求解。通过算例分析得出:该公交组合调度方案的总成本比单一全程车调度方案节省4.49%,虽然乘客时间总成本上升了5.04%,但公交运行总成本下降了7.12%,尾气排放成本下降了8.22%;提出的动态概率遗传算法的求解时间小于2min,表明此算法适用于求解有明显主次影响关系的多要素优化问题。     

闭环供应链中智能托盘共用的价值研究

随"互联网+物流"产生的智能托盘,为带板运输提供新的发展机遇,而目前对智能托盘应用价值的研究较为缺乏.本文以三级供应链中托盘共用为背景,构建智能托盘与传统托盘混合共用的闭环循环流通系统,将循环周期分为八个阶段,建立系统总成本和效益测算模型,分别以传统托盘返还率、损坏率和智能托盘损坏率为随机变量测算系统总成本与效益.测算结果表明,相较于传统托盘的在途丢失和周转效率,使用智能托盘能更有效地降低系统总成本并提升效益,传统托盘的适量损坏并不会提高系统总成本,而智能托盘的损坏与系统总成本呈正相关关系,因此智能托盘的使用将提升托盘共用系统的稳定性.     

探析物流运输环节外包合约及绩效评估

目前企业越来越热衷于将物流活动外包出去。运输环节是物流外包中占最大比重的部分。订立物流运输合约是良好物流运输外包的关键。但目前,国内企业对于物流运输合约的重视程度却不高,对运输外包的绩效评估也没有具体的参考内容。就这些问题展开分析,提出了物流运输外包合约的内容及订立思路,并对如何评估运输外包绩效提出了建议及措施,以作为企业决策的参考。     

地铁运营成本分析与研究

通过总结北京地铁运营成本的发展变化情况，研究了地铁成本构成要素及其对总成本的影响，计算和分析了地铁平均人次运输成本及其与现行运价之间的关系，建立了成本预测模型，并对地铁未来运营成本进行了预测研究。     

考虑船舶排放的班轮公司船队部署研究

针对集装箱海运中船舶排放、船队部署问题,分析了班轮运营总成本的构成,依据班轮远洋多港挂靠循环航线特征及集装箱转运特点,以可变船舶航速为决策变量,船舶运营总成本与船舶排放量最小化为目标,建立了基于低碳经济下的班轮公司船队部署多目标混合整数非线性规划模型,并引用了多目标递推算法进行求解。算例中通过对航行速度的灵敏度与帕累托分析,发现了船舶最低排放的航行速度。其次,运用航运轴辐式网络的特点,从众多港口中选择部分枢纽港进行转运形成干线运输规模效应。结果表明:该模型可以同时决策船队部署和集装箱转运,其优化结果更符合实际情况,对航运市场供需平衡的运力配置决策具有借鉴意义。     

非参数VaR方法在SPAN系统中的应用

介绍了国外主流的保证金计算系统——标准资产组合风险分析(SPAN).针对交易所采用柱状图方法确定价格扫描区间,用历史模拟方法与之对应.考虑到传统的历史模拟方法存在的缺点,采用基于核估计的历史模拟方法获得估计值及其置信区间,并用实例进行了分析.分别从国内三大交易所中各选出一个期货合约,用SPAN计算流程计算其所需的保证金比例,并与实际收取的交易保证金比例进行比较,发现三支期货合约收取的保证金比例并不能很好地反映真实的风险.     

金融衍生工具引发的会计问题及对策

金融衍生工具作为一种金融合约 ,对传统财务会计要素定义、会计确认、会计计量以及会计报告的披露带来了全面的挑战 ;文中就此进行了论述并提出了对策。     

缓解交通拥挤的多目标优化模型和算法研究

多路径选择下,机动车分布不均衡造成了交通资源利用不合理的情况.合理征收的拥挤费可以达到个人和社会总成本最优、交通分配合理的目的.使用合理的路阻函数,提出了多路径选择下个人成本总量与社会总成本最优的多目标优化模型,并给出求解方法.算例分析不同拥挤费对交通量分配的影响,结果表明,所提模型比UE模型优越,可以控制社会总成本和个人成本总量更加平衡,能够兼顾各方利益、合理确定拥挤费率.     

企业成本管理的变动成本法

变动成本法是企业成本管理的一种有效方法，可以更加真实、全面地反映生产管理中的实际情况，是企业提高经济效益．加强管理的一个有力工具。为此，具体讨论了如何运用变动成本法计算产品边际贡献额，建立量、本、利分析模式，测算目标利润，制定产品的价格。以使企业更好地进行市场经济条件下的经营决策。     

公路工程合同管理在项目成本管理中的作用

公路工程建设项目的涉及面广、任务重、技术含量高、时间周期长、投资大且管理难度非常高,因此其合同成本管理显得尤为重要,对合同成本管理的要求也更高。鉴于此,探讨公路工程合同管理在项目成本管理体系中的作用,具有一定的实际意义。     

浅析有效控制建设项目工程造价

就建设项目的投资决策阶段、设计阶段、建设项目发包阶段、建设实施阶段的工程造价如何控制进行探讨,针对实际中存在的问题,提出各阶段控制造价的一些措施.     

施工总承包模式的全过程投资控制浅见

通过对做好造价控制的若干环节来论述施工总承包模式的全过程项目投资控制。     

建设项目施工阶段造价的有效控制

工程施工是工程投资的主要阶段,也是极有可能造成投资浪费的阶段,因此施工单位对工程造价的管理除了加强合同管理、工程结算管理外,重点应加强工程施工现场管理,从而对工程造价进行有效控制。     

基于效益成本比法确定公路养护工程设计阶段的研究

针对目前公路养护工程还没有明确的问题,分析公路养护工程两阶段设计总成本和总收益变化情况,同时从投资可行性的角度．利用效益成本比法（BCR）对不同规模下养护工程两阶段设计的需求进行研究,并用线性函数和多项式函数确定两阶段设计的临界点,给出相关的建议值,可为公路养护管理机构提供一个判定养护工程是否进行两阶段设计的标准。     

关于工程项目成本管理的若干探讨

项目成本管理是在保证满足工程质量、工期等合同要求的前提下,对项目实施过程中所发生的费用,通过计划、组织、控制和协调等活动实现预定的成本目标,并尽可能地降低成本费用的一项科学的管理活动,它主要通过技术（如施工方案的制定比选）、经济（如核算）和管理（如施工组织管理、各项规章制度等）活动达到预定目标,实现盈利的目的。     

高速公路建设项目成本控制研究

高速公路建设工程成本的控制与管理具有复杂性、多层次性。鉴于此,分析高速公路建设工程成本控制存在的问题,从合理借款、节约开支、加强合同管理等方面提出成本控制对策,并结合工程实例阐述不同项目阶段的成本控制与管理方法。     

建设单位在工程量清单计价模式下的工程造价控制

根据工程量清单计价模式的特点,建设单位应从三个阶段采取相应措施加强工程造价的控制:在招标投标阶段,编制完善的招标文件和准确的工程量清单,评审投标报价的合理性,进而确定合同价的计价方式;在工程施工实施阶段,严格合同管理和工程变更签证管理;在工程竣工结算阶段,严格按合同和签证审核竣工结算,从而强化对工程造价的控制。     

施工项目管理与成本控制

施工企业只有把管理的基点放在项目管理上，通过加强项目管理，实现项目合同目标，进行项目成本控制，提高工程投资效益，才能达到最终提高企业综合经济效益的目的。