互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

B值m相依随机元序列的完全收敛性

设{Xn;n≥1}是均值为零的B值m相依随机元序列,X1∈CL(B),对于1≤t<2,r>1有E‖X1‖rt< ∞,记Sn=∑ni=1Xi.利用构造法证明了{Xn;n≥1}的完全收敛性.     

基于二值图像的手写体快速细化算法

针对查表算法模板数量多、匹配过程耗时长的缺点,分析手写体节点与周围像素邻点的相对位置,提出了一种手写体快速细化算法.该算法仅需要44个标记模板和15个优化模板即可实现对手写体二值图像的细化.实验结果表明,改进算法能够在有效降低算法复杂度的同时准确识别手写体的骨架.     

Fe-C二元合金包晶相变的相场法模拟

以Fe-0.79 mol%C二元合金为例,采用多相场法,模拟研究了包晶相变过程中不同过冷度下奥氏体的演化过程,讨论了过冷度对奥氏体生长速度与形貌的影响.结果表明:包晶反应过程中,在界面迁移率与溶质富集的影响下,靠近三相节点处的部分δ相重熔,导致γ相向δ相内生长;当液相中的球状δ相表面发生包晶相变时,γ相作为一个外壳包围着δ相生长,最后在δ相周围形成一层γ相的核壳;随着过冷度的增加,包晶相变的驱动力增加,γ相的生长速度加快,γ相包围δ相的量越多。     

二叉树排序非递归算法推导及形式化证明

非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义.     

低温环境下木材细胞中冰晶的形成和传播研究综述

活立木树干内部水分状态对其生理作用的发挥具有重要的影响。低温下,活立木内部水分状态的改变,导致其结构发生变化,这给基于声波技术的活立木材质无损检测带来了一些困难。笔者从宏观和微观角度,综述了树干和木质细胞中冰晶的形成、传播、分布和冰晶体含量的最新研究结果; 讨论了木材细胞内和细胞外水分的冻结模式和冻结行为; 介绍了时域反射技术、低温扫描电镜、差热分析、核磁共振等研究木材内部水冻结过程的方法并比较了各方法的特点。认为当前研究在技术手段、研究对象和深度上仍需进一步拓展,未来应重点以活立木树干及枝干为对象,利用多种手段加强原位检测,对冰晶形成原因、扩展过程及产生结果进行系统研究。通过对低温木材中冰晶的形成和传播机制的综合分析,可为后续开展低温活立木无损检测和树木抗寒性研究提供参考。     

基于BPSO算法电力系统故障可观的PMU配置

针对电力系统故障可观状态下的PMU最优配置,提出了使用二进制粒子群优化算法(BPSO)进行处理.为了使用最少的PMU数目找到电力系统网络任一支路的故障,首先使用线性整数规划(ILP)对系统进行建模,再将BPSO算法引入进行优化,最后将该算法应用到IEEE-14,30和57节点标准测试系统,其优化过程亦考虑了零注入节点的影响.结果表明:该算法快速有效,适应用电力系统各种问题的优化.     

3个变形背包问题的形式化推导

在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用.     

侧柏古树扦插试验及插穗营养物质变化

【目的】 提高侧柏古树的嫩枝扦插生根率,建立侧柏古树扦插繁殖技术体系。【方法】 采用3种植物生长调节剂[ABT1,NAA和IBA+NAA(等质量比)]的3组质量浓度(200~600,1 000~3 000和4 000~10 000 mg/L)处理采自5、100、300、700 a侧柏的插穗,对插穗生根进程、生根性状(生根率、生根数量、最长根长)、生根进程中营养物质(可溶性淀粉、可溶性糖)含量进行动态测定。【结果】 通过观察发现:0~35 d为愈伤组织形成期;35~65 d为不定根形成期;65~95 d为不定根伸长期。50 a侧柏以南面上部的插穗生根效果较好,生根率为40.8%。100 a侧柏6月扦插的生根率为20.1%。5 a用质量浓度600 mg/L的ABT1处理4 h时的生根效果最好,而100、300、700 a侧柏插穗用中浓度的IBA+NAA (1:1)处理时扦插生根率较高。进一步筛选发现质量浓度为1 000 mg/L的IBA+NAA (等质量比)处理1 min的插穗生根效果最好。全部年龄段侧柏插穗在愈伤组织形成期,可溶性糖、淀粉含量都上升,而5 a侧柏插穗上升的幅度最大。【结论】 选择侧柏古树幼嫩枝条夏季扦插有利于促进插穗不定根的形成。     

混凝土外观质量半定量评价系统研究

运用计算机图像纹理分析的原理,对混凝土外观质量采取半定量的评价方法,以Delphi 7.0自行开发设计了混凝土外观质量测评系统.该系统通过获取规范的混凝土外观图像,可以自动将图像信息转换为数据信息,并提供二值化与平均灰度偏差2种方法进行测评,将混凝土外观质量的表面缺陷数据化、系统化并客观地呈现出来.该系统界面友好,操作简单,能准确应用于实际工程的混凝土外观质量的监督与控制.