Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

新常态下制造业转型发展的创新路径探析

中国制造业转型发展的历程表明,自主创新是推动制造业发展壮大的根本动力,唯有自主创新才能获得有竞争力的核心技术.对外依赖过度、自主创新不足,合作机制不稳、平台搭建不牢,制度建设滞后,创新环境欠佳,是影响企业自主创新、制约产业转型发展的根本因素.正视技术创新中存在的现实问题,降低创新依赖、强化自主创新,健全合作机制、搭建创新平台,完善制度体系、优化创新环境,是新常态下推动中国制造业转型、实现"制造强国"战略的必然选择.     

PIPENET管网流体分析软件对供热管网模拟计算的正确性研究

集中供热管网中的热用户热量需求发生变化就会影响到其它热用户的流量,要让热用户的流量在使用中不受用户热量需求变化的影响就要对供热管网进行调节,如果采用人工凭借经验调节,调节效率低下并且精度不高。若采用理论计算方式对集中供热管网进行设计,设计效率低下且容易出错。而管网流体分析软件PIPENET能够对集中供热管网进行模拟计算,计算结果能够对供热管网调节和设计提供指导作用。本文研究了该软件模拟计算的正确性及控制阀流量系数的算法,发现该软件能够正确指导供热管网的调节及设计,能够提高调节效率和设计效率,具有一定的工程实际意义。     

基于多水平发展模型的云南省县域经济增长研究

多水平模型是基于层次结构数据形成的一种统计模型,不仅能深入挖掘不同层次变量对县域经济增长的影响,而且能对县域经济增长的差异性进行分析;基于时间—区县—州市构建了3水平发展模型,分别从居民生活水平、工业发展程度、农业发展程度、交通发达程度、投资程度等视角对云南省县域经济增长差异的影响因素进行研究;经济总量由初始水平和经济增速决定,结果表明初始水平受州市层面上人均蔬菜产量和人均固定资产投资等影响较显著,增长速度受州市公路密集度影响较显著。     

半潜式海上浮式风力机平台随机响应特性分析

为了研究风力机平台的运动特性,利用风压模型模拟风力机气动载荷,基于势流理论和莫里森方程计算平台水动力,采用准静态悬链线理论模拟系泊系统,利用海洋工程工具SESAM软件建立了完整高效的风力机系统数值模型.针对自主设计的半潜式海上浮式风力机基础进行了水动力分析,数值分析结果与实验值符合较好.通过系统运动响应的统计数据和响应频谱研究了风力机气动载荷对风力机平台运动特性的影响.研究结果表明:该系统数值模型时效性较好,可真实反映浮式风力机平台的运动特性,风力机载荷在大幅增加平台的纵摇和纵荡响应的同时会对纵荡和系泊载荷频谱产生最直接的主导性影响.     

基于Gardner位定时同步算法的实验教学设计

介绍了基于Gardner位定时同步算法设计与开发的电子综合设计项目,旨在通过数字下变频以及QPSK调制解调的基本原理,利用Gardner算法进行数字通信系统的位同步设计,以解决接收端解调时产生的位同步问题。该设计通过Matlab对算法进行仿真验证,并最终在FPGA上实现。实践表明,该项目能有效提高本科学生的实践能力,达到电子综合设计的教学要求。     

Iε 类半无限规划的最优性条件

主要研究了一类非光滑半无限规划问题,基于对称梯度,首次引入了Is类凸、拟Is类凸、伪Is类等新广义凸性概念,研究涉及这类函数的一类半无限规划的最优性,得到一些最优性的充分条件.     

南亚热带山地常绿阔叶林林隙及其自然干扰特征研究

【目的】通过对大明山南亚热带山地常绿阔叶林85个林隙的调查,了解南亚热带山地常绿阔叶林林隙的基本特征和自然干扰规律。【方法】在大明山3.2hm^2永久样地内仔细寻找每一个林隙,记录林隙形成木的种类,测量其胸径和高度,判断林隙形成木和林隙的年龄,绘制树冠投影图。【结果】扩展林隙（EG）和冠空隙（CG）在南亚热带山地常绿阔叶林中的面积比例分别为71.70%和52.90%,干扰频率分别为1.793%·a^-1和1.323%·a^-1,林隙干扰的返回间隔期约为76a。南亚热带山地常绿阔叶林中,由树木翻蔸形成的林隙最为普遍,占51.88%,其次是干中折断而形成的,占37.88%。林隙大多由0~1株树木形成,平均每个林隙拥有形成木3.45株。EG的大小多在200~600m^2,其中以200~300m^2者所占的面积比例最大（占56.47%）;CG的大小多在200m^2以下,以100~200m^2者所占的面积比例最大（占37.65%）。大部分林隙是在2年前形成的,占68.40%。林隙形成木种类超过42种,主要是云贵山茉莉（Huodendron biaristatum）、罗浮槭（Acer fabri）、栓皮木姜子（Litsea suberosa）、百色猴欢喜（Sloanea chingiana）、刨花润楠（Machilus pauhoi）、天目紫茎（Stewartia gemmata）、糙皮桦（Betula utilis）和罗浮柿（Diospyros morrisiana）,占形成木个体数的68.51%。林隙形成木分布最多的径级在15~20cm。【结论】南亚热带山地常绿阔叶林林隙特征不同于热带山地雨林,也与南亚热带低地的常绿阔叶林存在显著区别。2008年特大冰冻干扰是造成大明山山地常绿阔叶林林隙分异的主要因素。     

集中控制水电站设备运维专业化管理探讨

随着当今计算机技术的加速发展,以及我国电力市场厂网分离政策的实施,陈旧单一的水电站管理方式已经无法满足水电站群体控制,综合控制的需求。首先介绍了集中控制水电站设备运行维护专业化管理的概念,然后对其特点进行了简要介绍,针对现状从设备运行维护专业化管理、备品备件专业化管理以及文件规范化管理几方面找出问题突破点,使得水电站运营更加顺畅。     

利用实验细菌种群的元素表型尝试构建适应性景观

适应性景观这一概念激发了进化生物学领域内的许多研究,它的性质对预测种群进化过程具有重要意义.理论研究预测了多种景观的形态,但能被实验数据支持的还很少,因为实验构建适应性景观非常困难.一些微生物实验进化研究通过分析种群进化的可重复性,间接推测了景观的崎岖性,但不能给出其拓扑结构的具体信息.本研究尝试将适合度数据映射到表型空间的办法来直接呈现适应性景观的形态.共使用9个不同基因型的大肠杆菌株系作为祖先,对每个基因型建立6个重复家系,在一个限定养分的环境中对这54个种群进行了约1 100代的选择实验.在考察后代种群对选择环境响应(菌株的氮、磷质量分数w及适合度变化)的同时,利用进化断点处的实测数据信息,通过局域多项式回归拟合的方法,构建了基于细菌元素表型的适应性景观.研究发现,不同菌株家系对相同的选择环境表现出不同的响应模式;大部分后代种群相比其祖先提高了适应性;适应性景观呈现崎岖多峰的形态.