在约束条件下考虑红利提前退休的最优投资组合

分别研究了在退休期限和借贷约束条件下提前退休的最优投资组合问题,其中考虑风险资产派发红利的情形;退休期限和借贷约束条件会使代理人相应地改变投资策略;运用了随机控制等方法,得到了代理人在约束条件下最优消费投资组合策略显示解.     

矩阵方程AXA~T=B行反对称解的正交投影迭代法

讨论了矩阵方程AXAT=B的行反对称解及其最佳逼近的正交投影迭代解法,首先利用行反对称矩阵类的结构与性质、正交投影及奇异值分解,构造迭代算法,证明了算法的收敛性,得出了收敛速率的估计式;其次给出数值实例,验证了算法的有效性.     

新形势下建筑安全监督的要点分析

我国近些年以来,城市的发展以及经济建设的显著提高,加快了城市建设的脚步,与此同时,建筑行业也有了突飞猛进的扩大,从结构上以及技术含量上都呈现出了多样化和复杂化,有了一定的提高。然而在建筑施工当中也会存在很多的不安全隐患,增加了安全事故的发生,为此,如何提高安全管理,并且加强建筑管理体系,降低事故的发生率,确保安全生产,已经成为管理人员最关心的问题。     

一种改进的路面裂缝图像分割方法

针对公路裂缝检测中的图像分割问题,运用机器学习领域的方法,以裂缝图像为研究对象,在深入分析经典K-Means聚类算法以及高斯混合模型（Gaussian Mixture Model, GMM）之后,提出一个利用全局K-Means和高斯混合模型来对公路裂缝图像进行分割的方法。该方法在全局K-Means聚类算法的基础上,采用改进策略,同时,将传统GMM的每一个概率分布,进一步再细分成单个的概率成分,在辅助变量计算过程中,采用EM算法。仿真图像和实际裂缝图像实验结果显示,本研究得到了比使用传统K-Means算法和普通GMM的分割方法精度更高、稳定性更好的分割结果。     

溶胶凝胶法制备NiV2O6的丙烷氧化脱氢催化性能

以柠檬酸、苹果酸、甘氨酸、葡萄糖为络合剂,用溶胶凝胶法制备NiV2O6,用差热一热重分析(TGADTA)法考察催化剂前驱物分解过程中的热效应变化和失重情况,以X射线衍射分析(XRD)、电感耦合等离子体原子发射光谱(ICP)、比表面积测定(BET)、扫描电子显微镜分析(SEM)、透射电子显微镜分析(TEM)、氢气程序升温还原(H2-TPR)和X射线光电子能谱(XPS)等方法测定了催化剂的物理化学性质,并研究了其丙烷氧化脱氢制丙烯反应的催化性能.结果表明,以葡萄糖为络合剂,溶胶凝胶法制备的NiV2O6催化剂的丙烷氧化脱氢反应催化性能较好.     

酸雨对Cu在长三角地区4种典型土壤中的解吸影响

主要研究在不同环境条件下,长江三角洲地区不同母质发育土壤中铜解吸规律.试验采用具有代表性的长江三角洲地区4种母质发育而成的土壤,加入外源铜培育污染土样,以不同pH酸雨为解吸液对污染土样进行解吸.结果表明:随着酸雨的加入,已污染土壤中Cu的解吸量增加;在酸雨pH相同时,酸雨对Cu的解吸量与污染土样中Cu含量呈正变关系;在已污染土壤中Cu含量相同时,Cu的解吸量随着酸雨pH的下降而增加.比较不同母质发育而成的土壤,在pH=3.0、4.0、5.6时,已污染土壤中Cu的解吸量由强到弱的顺序为:沟沟堆积母质、湖相沉积物母质、河相沉积物母质,海相沉积物母质.在pH=2.0时,河相沉积物母质、海相沉积物母质Cu的解吸量增加迅速.     

一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

一类矩阵方程的中心对称定秩解及其最佳逼近

通过采用一种新方法得出了矩阵方程AXB=C有中心对称解的充分必要条件、解的一般表达式;利用矩阵对的商奇异值分解、广义逆,给出了其解的最小秩、最大秩,及最小秩解的一般表达式．另外,推出了中心对称最小秩解集合中与给定矩阵的最佳逼近解．     

极度濒危植物中华水韭的保护遗传学研究进展

极度濒危物种中华水韭为水韭科水韭属的水生植物,分布在东亚(中国、日本和韩国).由于生存环境的破坏、农耕过度和外来物种的入侵,中华水韭已濒临灭绝,被国际保护联盟列为极度濒危种.从细胞遗传学、居群遗传学、分子进化机制等方面对中华水韭的研究进行综述,为制定该物种的保护措施提供科学依据.     

采用Wallace树优化的分像素运动估计插值滤波算法

提出一种基于Wallace树优化的HEVC/H.265分像素插值滤波算法的实现方案.模块采用按行流水插值架构,通过Wallace树压缩器对插值过程中的各项进行压缩,仅在最终输出结果时使用加法器.该算法不仅减少了硬件面积,而且提高了模块可工作的最高频率.将所提算法在硬件上进行验证,硬件设计以Verilog HDL语言描述,以8 px×8 px大小PU为最小插值单元,使用Modelsim进行功能仿真验证,在Synopsys Design Compiler中以SAED(Synopsys Armenia education department) 32 nm标准单元库进行综合,模块可达到的最高工作频率为636.9 MHz,逻辑门数为32 960,吞吐率为11.3 px/时钟周期.