论高职院校图书馆文献信息资源建设

从与本科院校对比入手,分析了高职院校图书馆文献信息资源建设的现状,介绍了高职院校图书馆进行文献信息资源建设的具体措施和方法。     

略论图书馆资源共享

简述了图书馆资源共享的必要性以及图书馆资源共享的范围,指出了实行图书馆资源共享需要克服的障碍,提出了实行图书馆资源共享的几点建议。     

考虑经纪人投资情绪的委托代理合同研究

从行为金融学角度,提出将经纪人的投资情绪考虑进资本市场的委托代理关系中.通过建立数学模型,分析了非理性经纪人的投资决策给委托人带来的影响,得到了此时委托人与经纪人之间的最优委托代理合同.结果表明,经纪人的乐(悲)观投资情绪可以使委托人的代理成本得到补偿,并且委托人对经纪人的最优激励强度随着经纪人乐(悲)观程度的增加而降低.这说明在一定条件下,经纪人的乐(悲)观投资情绪,对委托人具有积极意义.     

如何恰当激励零售商的过程创新行为

回购契约可以协调单供应商单零售商组成的供应链系统的订货行为,然而本文研究发现这一契约将过份地激励零售商的过程创新行为,从而损害供应商及整个供应链的利益．在零售商的过程创新行为不可被供应商观察和测量的条件下,利用数量折扣契约机制修正了原有回购契约,并利用这种综合契约机制恰当地激励了零售商的过程创新行为,使得供应链在创新行为下达到协调．     

自选子密钥的(t,n)门限方案

基于单向函数,提出了一个新的可自选子密钥的(t,n)门限方案．在该方案中,子密钥由各参与者自己选择．秘密恢复过程简单,公布参数较少．     

引入微元法思想的混合测控资源联合调度方法

针对混合测控资源联合调度中存在的资源属性繁多、偏好差异大以及可能出现的调度弧段冲突等问题,借鉴单体制测控网调度研究中的任务需求描述方法,对混合测控任务需求的特点进行分析,给出其任务需求的规范化描述。以测控调度收益值最大为目标,建立混合资源联合调度模型;引入微元法思想,提出了可用弧段扩展复用方法,以此为基础提出了基于改进遗传算法的求解策略。仿真结果表明：所建模型和相应的解冲突算法能有效提高测控需求满足率和测控收益。     

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

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

试论劳动合同期满终止劳动合同的经济补偿

《中华人民共和国劳动合同法》第四十六条规定了劳动合同期满终止劳动合同的经济补偿,该条款引起了社会上的较大争议。规定劳动合同期满终止的经济补偿符合劳动合同法的立法宗旨,符合我国劳工标准不断提高的要求,但是《劳动合同法》关于劳动合同期满终止劳动合同的经济补偿仍有几点值得商榷。     

Bloom Filter和Weighted Bloom Filter的比较与研究

Bloom filter是一个简单的空间效率极高的数据结构,用于判别一个元素是否属于某个集合.Weighted Bloom filter和Bloom filter已经被建议作为共享Web cache信息的一种方式.利用Bloom filter表示共享信息的内容,大大降低了用于存储索引的空间消耗,减少了访问延迟.因为在代理之间只需传输Bloom filter而不是完整的cache目录表.分别从理论和实践方面比较了Bloom filter和Weighted Bloom filter,结果证明Bloom filter比Weighted Bloom filter更好.     

一种新颖的多目标优化算法

粒子群算法的特性使得其在解决多目标优化问题时具有很强的竞争性,提出了一种结合小生境思想和在线归档策略的多目标粒子群优化算法,该算法能够在进化过程中保持优良种群。通过3个测试函数来评价算法性能并将算法与NSGA-II做比较,结果表明提出的算法的时间耗费明显小于NSGA-II算法且解集沿着Pareto非劣最优目标域有很好的扩展性。