无界问题无网格方法和自然边界元的耦合计算

为充分利用无网格方法和自然边界元的优点,用无网格和自然边界元耦合的方法来解决带方孔的无界平面弹性问题,通过引入人工边界,用自然边界元方法来描述无界问题,编制无网格和自然边界元耦合方法的相应计算程序。与有限元方法计算结果的比较,表明了耦合方法的有效性。     

一种基于Rough集的数据约简方法

在对Pawlak的属性约简数据分析方法和Skowron的分明矩阵方法进行深入研究后,通过引入排斥矩阵提出了一种新的数据约简方法,经过实践证明这种方法在对决策表进行数据约简时可以和Pawlak的属性约简数据分析方法取得同样的效果.     

降低轴流风机噪声的两种方法

本文对轴流风机的噪声源进行了理论和实验分析,对降低风机噪声的方法进行了总结。在此基础上,研究了降低风机噪声的两种新方法——叶片不等距分布方法和叶片穿孔方法。理论分析和实验结果表明,这两种方法为降低轴流风机噪声提供了新的途径。     

SSPH核近似的降元算法研究

本文首先介绍传统光滑粒子流体动力学（Smoothed Particle Hydrodynamics,简称SPH）方法的基本公式,用对称（Symmetric）光滑粒子流体动力学（SSPH）核近似方法函数.函数一阶导数和函数二阶导数的计算进行了研究,在SSPH方法的基础上提出了精度较高、计算量少和所占内存空间较低的降元算法.对SSPH核近似方法和降元算法的精度进行了分析,SSPH方法和本文提出算法用于一维函数的一阶导数和二阶导数的计算,并进行误差对比分析发现精度有所提高.最后本算法应用于非稳态热传导问题上,同时进行数值计算和对比分析,验证了本方法的有效性.     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

情报检索中的集成相似性测度法研究

提出了一种将距离和方向因素集成在一起的相似性测度方法．这种集成方法将传统的基于距离的相似性测度法和基于方向的相似性测度法的优点融为一体，使其能够弥补单独采用某一种传统方法可能造成的缺陷．分析比较了新的集成方法与传统方法的特点和同位相似曲线，以及各种参数、变量对集成相似性测度的影响．最后给出了该领域未来的研究课题     

算子理论的重要进展──《电磁理论中的并矢格林函数》出版回眸

剖析了矢量场论中由于在散度和旋度上使用吉布斯算符而长期存在的相互混淆等问题，介绍了由戴振蜂教授创建的符号矢量方法．随着符号矢量方法这一新理论方法的传播和应用，电磁理论中矢量场论的研究与教学将会更加准确和严谨．     

关于多元一次不定方程的行列式解法

众所周知通常求二元一次不定方程的整数解的方法有辗转相除法,矩阵方法和求连分数的渐近分数等方法。本文要提供一种方法,称为行列式解法,这种方法核心是将原有的连分数方法中的渐近分数的计算转化为行列式的计算,该方法清楚、简洁,并易于推广。     

基于dj图检测特殊布尔函数的图形方法

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外,还讨论了求∫（x1～xn）的dj图的改进的图形方法．     

Multipoint Shooting方法寻找混沌系统周期轨迹

利用牛顿拉夫申方法和Muhipoint Shooting方法分别寻找了Henon映射和Henon-Heiles体系的小稳定周期轨迹,给出民 Henon-Heiles体系周期3、周期5和周期7在庞加菜截面上的截点以及相应的相空间轨迹.结果显示,利用Muhipoint Shooting方法只用 8次迭代即可算出精度为1014的周期7的点,比牛顿拉夫申方法需要的176次迭代少得多.     

计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.     

软件构件的设计与重用

根据软件工程的原理和方法研究了计算机软件重用的过程、方法及关键性技术;提出了一种基于可重用构件库的软件重用方法;并简要地介绍了支持这种方法的一个原型系统。     

基于优化策略和深度学习的低光照图像增强

针对低光照条件下采集的图像存在视觉感官较差、细节信息丢失的问题,本文基于非线性相机响应函数模型,提出了一种融合传统优化策略和深度学习技术的低光照图像增强方法。该方法采用非线性相机响应函数模型生成更优的中间图像,并通过专门设计的神经网络实现对中间图像细节的进一步增强。利用自建数据库和公共数据库对该方法进行测试,并与现有的方法进行比较。结果表明,在传统优化方法的支持下,所提出的深度学习方法能够恢复低光照图像的清晰细节,更接近真实的参考图像,为智能导航和自动驾驶提供高质量图像。     

宁波市道路货物运输价格指数研究

为提升宁波市道路货物运输市场供需双方交易效率，防范恶性价格竞争，改善行业监管，设计了宁波市道路货物运输价格指数体系及相应的基础数据采集方法和运价指数计算方法。实际数据测试结果表明，所设计的层次化运价指数体系不但能够充分体现宁波市道路货物运输市场特点，而且有助于为不同用户从不同角度提供个性化的信息服务；所设计的基础数据采集方法和指数计算方法能够保证宁波市道路货物运输价格指数的科学性、可靠性和实用性。     

基于非线性预处理的SAR图像浮点数据压缩

提出了一种基于非线性预处理和DCT的SAR图像浮点数据压缩方法,通过对预处理前后DCT系数的熵和恢复图像信噪比的分析,确定符合SAR数据特征的预处理方法,再应用区域编码对其进行定值压缩。实验表明该方法可取得非常明显的效果。     

计算实对称矩阵特征值特征向量的幂法

幂法是一种计算实矩阵主特征值的一种迭代方法,在幂法的基础上进行了扩展,提出了一种能计算实对称矩阵所有特征向量和特征值的迭代方法,并对该方法的收敛性进行了证明,最后通过数值实验验证了该方法的有效性。     

广义基本解方法求解一维非齐次热传导方程的反边界值问题

给出一种求解一维非齐次热传导方程反边界值问题的无网格方法,即广义基本解方法．该方法将问题的解分成特解和相应齐次问题的解两个部分：齐次解用基本解方法求解,而特解则是利用相应的特征方程的基本解近似得到．鉴于所考虑问题的不适定性,应用截断奇异值分解和L曲线准则求解离散后得到的高度病态的线性方程组．最后给出数值例子说明该方法的稳定性和有效性,并分析了数值解精度与各参数之间的关系．     

综合热流计法在夏热冬冷地区的应用

对目前夏热冬冷地区建筑围护结构传热系数现场检测方法及其局限性进行了分析和思考，结合综合热流计法的基本原理和检测技术，研究得到了能够不受季节与环境因素影响的围护结构传热系数的检测方法，并使用该方法对2个工程进行了现场检测试验．试验结果表明：该检测方法完全适用于夏热冬冷地区．     

基于信息流模型的TCB完整性策略分析方法与工具

TCB(trusted computing base)完整性保护对于计算机系统安全具有十分重要的意义,目前的静态度量方法并不完善,而动态度量方法还很不成熟,因而提出一种基于策略的分析方法来分析系统TCB和域TCB的完整性.这一方法将系统策略文件中的描述解析成信息流形式,然后再将其抽象为有向图形式,最后利用图论中的方法分析信息流情况,给出完整性破坏的信息流传播路径.此方法的思想可以用在任何通过执行某些操作会产生信息流的环境中.根据这一方法,开发了一个原型工具,并以SELinux操作系统为例进行了实验分析.实验表明它能分析策略中的信息流向,并能实时给出策略违反图.此方法和工具可以作为现有完整性度量方法的有效补充.     

自适应迎风格式求解奇异摄动两点边值问题的高精度算法(一)

基于误差校正方法给出了用等分布原理求解一类奇异摄动两点边值问题的自适应数值新算法,用理论方法和数值试验证明了该算法的可行性和高效性.