带时间约束的智能合约验证

在现实生活中有一类智能合约与时间紧密相关,而合约是否满足这类时间性质将直接影响应用的正确性.为了避免合约部署后出现严重的问题,将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义,再将智能合约转换为时间自动机模型,接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质.最后对竞拍合约以及飞...     

有时间约束的允许缺货的供应商的选择问题的研究

在有时间约束且有多个供应商可供选择的前提下,讨论如何给出一个满意的供应商选择方案,确定参与的供应商及各自所供应的物资数量使总成本最小.对该问题在允许缺货前提条件下给出了单一物资需求和多物资需求的0-1混合整数规划模型及其求解算法,证明了算法的最优性,给出了算法的复杂度.     

工程网络计划的费用工期优化

费用和工期是施工单位需要考虑的重要因素,建立网络计划技术模型,为综合考虑费用工期提供了新的思路,并以某公租房项目为例做了实证分析。     

求解低维约束优化问题实用方法的探讨

对单纯法进行了必要的修正,探讨了求解低维约束优化问题的实用方法,数例的计算结果令人满意．     

一类带平衡约束优化问题的可行性条件

概述了一般的带平衡约束的优化问题（ＭＰＥＣ）,研究了其中带线性关联约束的一类ＭＰＥＣ的可行性问题,给出了两个新的可行性充分条件。     

求解不等式约束优化问题的一个非线性Lagrange函数

本文提出了一个求解具有不等式约束优化问题的非线性Lagrange函数,讨论了该函数在K-T点的性质,证明了在适当条件下,当参数k大于某一阈值k0时,由算法产生的点列具有局部收敛性,并给出了与罚参数有关的解的误差估计.     

关于不等式约束优化问题的一类SQP算法的注记

指出参考文献[3]中主要结果定理1的证明中的一个错误.     

广义互补问题及其约束优化问题的转化形式

对于广义互补问题，本文给出了它的约束优化问题的两种转化形式，讨论了它们的KKT点为原问题的解的充分条件．     

界约束非线性优化问题的信赖域滤子法

提出一种信赖域滤子方法来求解界约束的非线性优化问题，该方法将滤子技巧和投影梯度方法相结合，简化了算法的形式，证明了算法的全局收敛性，并给出了数值试验     

面向船舶制造企业的多层次生产计划模型与系统

船舶制造企业属于国家支柱性产业,在国民经济中的地位举足轻重,但针对其生产计划与控制的研究还很缺乏,导致其管理落后、生产效率低下.为此,提出面向船舶制造企业的多层次生产计划模型、基于WBS任务包的任务管理模型、多层次资源管理模型,并根据某船厂实际情况进行系统实现,对模型的正确性和有效性进行了验证.     

网络课程系统设计研究

介绍了国内外网络课程的现状,指出了目前国内网络课程存在的主要问题,从学习环境和学习活动设计、导航设计以及页面设计等三个方面进行了探讨,提出了网络课程设计过程中应注意的一些问题.     

基于传输时差最小的OFDM系统信道划分优化方法研究

随着OFDM技术在移动通信中的广泛应用,信道划分问题逐渐被人们所关注。主要讨论了在信道状态和传输总量已知的情况下,基于传输时差最小的OFDM系统信道划分优化问题。首先证明了该问题属于NP完备问题,因此必须使用随机算法代替穷举来求解。主要讨论了遗传算法和粒子群算法在此类问题中的应用。通过仿真所给出的具体结果,可以证明尽管随机算法不能保证解的最优性,但搜索时间较短;同时在相同条件下,粒子群算法可以显示出比遗传算法更强的搜索能力,因此对于OFDM这类实时性要求较高的系统,具有更大的实用性。     

优化生物化学实验教学体系 培养创新人才

针对生物化学实验教学中存在的问题,结合多年积累的教学经验和体会,从教学大纲的制定、实验教材的编写、实验内容的调整以及教学方法的改进等方面对生物化学实验教学体系进行了优化.有助于培养学生的创新意识、综合分析和解决问题的能力,促进学生创新能力与实践操作能力的提高.     

完善地质类野外实习的建议

野外实践教学是地质专业的一个重要教学环节，在提高人才培养质量方面具有重要作用。作者根据自己的教学实践，从加强思想教育，培养学生的创新精神，严格业务要求，树立学生为主体的教育观等方面提出了完善地质类野外实习的建议。     

网上课件管理系统的设计与实现

通过对现有技术条件下不同网上课件管理方法优、劣的探讨,建立了网上课件管理的基本设计思路,并在此基础上构建了B/S模式下课件管理系统的功能与基本流程,同时还提出了系统实现的技术方案.     

医疗监护系统中无线传感器网络节点的研究与设计

介绍一种基于Zigbee技术的无线传感器网络的病房监护系统,给出了系统的总体设计框图,详细介绍了无线传感器网络节点的硬件设计方案.研究表明,该系统灵敏度高、通信性能可靠、功耗低,能应用于病房的温湿度、病人体温等参数的监测.     

剩余时间增补变量法在可修复系统中的应用

在传统的可修复系统的研究中,通常利用增补变量的方法,构造向量马氏过程,建立密度演化方程来得出系统的一些可靠性指标。利用剩余修复时间作为增补变量,建立在常规错误下两同型部件并联可修复系统的数学模型,并应用Laplace变换的方法得到系统的稳态解。通过对p0的比较分析,得出系统剩余时间修复率和已修时间修复率之间互为倒数的关系。     

土地利用规划课程体系的优化与重组

在回顾我校土地资源管理专业的专业背景与学科特色基础上,对该专业土地利用规划课程组教学计划修订、课程组定位、课程体系优化等诸方面教学改革实践进行详细研究,并借鉴、比较和分析研究了南京农业大学等五院校土地规划课程组的课程建设情况,据此提出了土地利用规划学课程内容优化设计的四条原则。     

弹性学分制下高校学生管理

本文针对现行学生管理模式与弹性学分制不相适应的情况,提出应重视高校后勤管理与采取分学区管理相结合。从而达到取消班级、与系分离的现代高校学生管理。