图书管理系统的设计与应用

结合图书馆信息化发展趋势,对图书管理系统的功能特点进行了总结,并详细介绍了图书管理系统的设计与应用.     

基于JAVA建立树形结构的算法优化

树形结构在程序设计过程具有非常重要的作用,但树形结构的构建相对比较复杂。通过研究设计并实现一种从普通Java对象中建立树形结构的优化算法。     

考虑外委的露天矿剥岩计划的优化研究

针对“剥岩高峰”对矿山生产带来的不利影响，研究了设备配置更新策略与露天开采外委剥离的优化问题.基于铲运设备的运营成本与生产能力随设备役龄变化的关系，建立了决策单台设备退役时间的动态经济寿命计算模型，并根据此模型给出了具体的设备配置算法步骤.设置一系列不同的矿山自剥离量与外委剥离量的分界水平，计算各分界水平条件下的外委单价可行区间，然后在区间内确定外委商谈价格并分析得出与之对应的总成本净现值最低的外委方案.实例计算证明，采用该方法减少设备投资的成本要高于外委岩石剥离成本.     

火焰原子吸收分光光度法测定地表水中铜含量的不确定度评定

根据GB 7475—87《水质铜、锌、铅、镉的测定火焰原子吸收分光光度法》建立地表水样测定的数学模型,并根据JJF 1059.1—2012《测量不确定度评定与表示》的要求,计算测量过程中的不确定度分量,最终得出扩展不确定度.经检测计算,该地表水样品中的铜含量为1.53 mg/L,其扩展不确定度为0.036 mg/L,包含因子k=2,地表水样品中铜含量的测量结果应报告为(1.53±0.036) mg/L, k=2.结果表明,火焰原子吸收分光光度法测定地表水样中铜含量的不确定度主要来源于标准曲线拟合、标准溶液配制和样品重复测量.     

外部治理环境与公司绩效:代理成本的中介效应

中国经济发展过程中存在区域发展不平衡现象,这种不平衡现象对公司绩效产生了重要影响。基于2003-2015年沪、深两市A股上市公司数据,以管理费用率度量上市公司管理层与股东间的第一类代理成本,以其他应收款占比度量上市公司控股股东与中小股东之间的第二类代理成本,采用多元回归和中介效应检验程序,实证检验了外部治理环境通过两类代理成本的中介作用对上市公司绩效影响的内在机理。研究结果表明,外部治理环境的提升能够显著的降低两类代理成本,进而提高上市公司的绩效,两类代理成本在外部治理环境影响公司绩效的过程中发挥显著的部分中介作用。     

基于热中子探测评价裂缝的示踪剂特性研究

针对裂缝热中子示踪探测方法,从中子双组扩散理论入手结合蒙特卡洛数值模拟方法,分析压裂前后地层热中子分布影响因素,并模拟不同类型示踪剂及含量的热中子裂缝响应规律,筛选最佳示踪剂并给出其在支撑剂中含量的上、下限。结果表明:压裂前后热中子计数变化量主要受裂缝宽度和标记支撑剂中示踪剂含量的影响;钆对裂缝宽度变化反应最灵敏,钆元素是作为标记支撑剂的最佳示踪元素;随支撑剂中Gd 2O 3含量的增加,热中子计数率降低,热中子计数变化量D增加;示踪剂中氧化钆的上、下限值随裂缝宽度呈指数降低,且当裂缝宽度为1.0 cm时,Gd 2O 3的质量分数上限为0.68%,下限为0.03%。     

基于重抽样分布的一类模糊累积和控制图

过程变量在代表产品或服务过程信息时并非完美，而使用模糊数可能是另一较好途径。文章进一步完善模糊累积和控制图，其中使用中心和扩展具有重抽样分布的模糊随机变量，并给出模拟例证。     

基于生态交错带理论的生态环境潜在容量评估和预警研究——以重庆三峡库区为例

生态交错带是指两种不同类型的生态系统交界过渡的区域。基于生态交错带理论对重庆三峡库区的生态脆弱性状况进行了分析，并在此基础上运用道夫尼尔和地球环境的潜在指数M，计算人对地理环境的影响，评估土地类型和环境污染状态。通过对生态环境潜在容量指数E的修正评估了库区 22 个区县的生态环境潜在容量，并在此基础上做出预警研究，将其划分为急警、重警、中警、轻警和无警 5 种类型。最终得出重庆三峡库区生态环境状况两极化现象比较严重，发展不平衡，有些地区生态破坏较为严重，因此需要采取相应的对策进行优化发展。
     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.