可信赖计算平台体系结构

分析了可信赖计算环境的重要基础可信赖计算平台的体系结构和设计思想，得出可信赖平台可以解决的问题以及不能解决的问题，提出以可信赖计算平台和安全Linux操作系统为基础，构造可信赖计算环境的方法．     

我校建成超级计算研究中心

宁波大学宁波超级计算机研究与应用中心于2005年12月成立．该中心采用曙光4000L高性能机群系统为主的亿次计算能力的超级计算机，旨在提供一个跨学科的科研、计算平台，对校内外提供高性能、大规模的科学计算以及工程计算服务，为宁波的经济腾飞提供高科技的技术支持．宁波大学超级计算中心的建设受到宁波大学和曙光计算机公司的支持，将以宁波大学-曙光高性能计算实验室的名义参与高性能计算领域的研究活动．     

物理可计算理论

近年来,将物理过程本身看作计算、用物理过程代替Turing机算法的想法,伴随着量子计算和其他一些非传统计算模式（例如DNA计算）的研究得到了一定程度的发展.然而由于概念上的不明晰,使得关于这类计算理论的复杂性评估一直处于含糊不清、模棱两可的状态.本文对输入／输出进行了统一,对物理实验的三个关键步骤：制备、演化和测量作了数学上的刻画,并由此引出物理可计算的形式定义（包括确定性的和非确定性的）．在此基础上给出了资源复杂性的概念,本文的资源是指一个物理过程消耗的总资源,不但包括了时间和空间,还包括了质量和能量．对于某个物理计算方法,相应的复杂性则描述了资源关于输入长度的增长情况．在这套形式理论中,以往非形式的“物理可计算”的例子可以在其中得到形式化地表达、且可作严格的复杂度分析．作为例子,考察了均值的统计力学求法、DNA计算和量子计算．在经典Church-Turing论题方面,对于前人试图用物理方法超越经典Turing机计算能力的著名例子,本文也在上述的理论框架下对它们的能行性进行了考察．我们认定：现有的这些例子因不能在有穷资源的限制内得到计算结果,从而都是无效的．     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

结构试验台座的选型与设计计算

综述了各类结构试验台座的特点。介绍了结构试验台座的设计计算方法，结合实例进行了台座的选型，并对台座的基础，板厚，锚固骨架进行具体设计计算。     

论计算智能方法及其应用

近年来在国际上，计算智能（ＣｏｍｐｕｔａｔｉｏｎａｌＩｎｔｅｌｌｉｇｅｎｃｅ，ＣＩ）已成为一个热门的研究开发领域。本文论述ＣＩ的定义、内涵、应用、及其与人工智能（ＡＩ）的区别与联系。指出主要的ＣＩ算法，如神经网络的训练算法、遗传算法、演化算法等，实质上是一类准元算法，特别适合于解决那些难以建立确定性数学／逻辑模型、或不存在可形式化模型的问题。进一步阐述了ＣＩ与ＡＩ的多元复合协同计算系统结构及其在非线性随机动态或混沌系统分析，例如市场价格变化趋势分析，或ＮＰ难问题求解等方面的应用前景，并提出一个由神经网络、遗传算法、模糊决策组成的股票市场预测实验系统作为实例。     

化合物分子体积计算方法的研究

本文提出了一种计算化合物分子体积的有效方法，在确定化合物分子构象的基础上，将随机变量的统计方法引入计算体系，可以计算出化合物任一构象条件下的分子体积．比较计算结果可知，我们的方法与同类其他计算方法同等精确，但算法的简捷、快速显得更为优越．在将我们的方法计算的化合物的分子体积用于化合物的结构一性质相关性研究时发现，分子体积能较好地表征化合物的结构特征．     

叶轮强度的有限元法计算

本文将空间曲面叶片用变密度夹层材料代替,叶轮被简化成一种复合材料的回转体,然后用轴对称有限元法进行计算,同时还对轴对称单元在半径r→0时的奇性问题作了处理。从算得的夹层材料中的节点位移场经过换算得出叶片中的应力场,从而可一次算得轮盘、叶片、轮盖中的应力场,进而还可同时算出与叶轮配合的转轴内的应力与位移。通过对实际使用的多种型号叶轮的计算,并作了超速强度试验,证明计算结果与实际试验结果相符。表明本文的有限元计算具有可靠性、准确性、计算简便等优点。     

聚乙烯的杨氏模量及力常数的计算

用不同于通常的计算力常数的方法，采用适于准一维链的力场，将势能表示为力常数的函数，并用STO-3G基的从头计算方法计算总能，由此求得杨氏模量和力常数．所得结果与实验符合很好，说明这种计算力常数的方法是有效的,所提出的用以拟合聚乙烯能量曲面的表达式能达到很高精度(误差在10^-3Hartree左右),本文为高分子聚合物势能曲面拟合提供了一个简单而有效的方法．     

图像处理的可重配置计算实现

可重配置计算（RC）是一种新的计算实现方式．本文详述了在该方式下的多种常用图像处理算法的实现．通过利用RC的可重配置特性，以FPGA为基础，可实现图像处理虚拟硬件，并获得高效率与通用性的统一．     

弹性分析法程序及箱形梁剪力滞系数的影响参数分析

本文首先介绍弹性分析的力法基础,流程框图及编制计算程序过程。通过程序来分析箱形梁剪力滞系数的影响参数,这里包括静定结构参数分析,其中探讨宽跨比、固端截面剪力滞系数的变化,宽高比的影响。截面型式对λ的影响,悬臂长度的影响以及荷载型式(集中力与均布力)对沿梁为直线变截面,抛物线变截面及等截面的悬臂固端梁的变化及影响。     

卷积Turbo码编码器及CPLD实现

详细探讨了卷积Turbo码编码器实现过程中的关键问题,结合CCSDS及IMT－2000国际通信标准给出了具体解决方案,使用Maxplus2开发工具在CPLD上实现整个卷积Turbo码编码器并给出了系统分析,实验结果表明了该编码器的正确性和合理性。     

普通高校节水模式

阐述了当前水资源紧缺的状况和节水的重要性。介绍了高校节水的几项措施：首先必须树立全员节水意识，加强用水管理；同时制定合理的生活计划用水定额体系；并结合学校类建筑的给排水特点，提出了中水回用的可行性。     

模型网络度分布关于时间独立性的模拟和分析

鉴于现实网络的实证分析、不同模型的理论研究和模拟都集中在某个时间点的网络度分布,这势必导致一些研究具有一定的不完整性.通过对几种典型的复杂网络模型在不同时间点的计算机模拟,结果显示：BA模型、H＆K模型和加速复制模型的网络度分布是关于时间独立的,而变m模型和年龄模型的网络度分布与时间相关的.这为实证研究工作提出一个新观点,即需要从不同时间点的角度来分析现实网络的一些普适性的特征,同时也为理论研究网络模型度分布的时间独立性条件和成为无标度网络的条件提供了计算机模拟上的支持.     

中国海水养殖鱼类的病害及防治

综述了中国海水养殖鱼类的疾病种类，病原检测技术以及病害防治的研究成果，提出了海水养殖鱼类病害防治中应当重视的几个问题，以期为海水养殖鱼类的病害防治研究提供参考材料。     

概念格的规则约简与属性特征

在研究了概念格形成的偏序结构的基础上，引进了由两个形式背景形成的决策形式背景，讨论了外延集类上等价关系和交一致关系，给出了决策形式背景下规则提取与属性约简方法．同时对于在规则约简中起不同作用的属性，区分了核心（存在于任何约简中）、相对必要属性（存在于某些约简中）和不必要属性（不存在于任何约简中），给出了各类属性的特征和判别方法．这些方法为概念格规则提取的启发式算法打下了基础．     

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

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

适当半群上的模糊好同余

引入了富足半群上模糊好同余的概念,给出了富足半群上模糊好同余的性质和特征.在此基础上,给出了适当半群上模糊好同余的性质.最后,得到了适当半群上的模糊好同余为幂等可分的充要条件.     

木质渔船稳性研究

对我国木质渔船稳性出事故的主要表现进行了分析和研究．同时,根据以往的研究成果和实践经验,分析了影响我国木质渔船稳性的主要要素．提出了我国木质渔船满足稳性要求应采取的措施,并总结了我国木质渔船衡量稳性的具体指标．此外,对渔船职业船员加强培训方面也给出了相关的建议．     

可靠性设计在化工装置中的运用

可靠性设计是当代较先进的设计理论，广泛应用于航空、机械、化工等领域装置设计及寿命诊断。本文对可靠性设计方法进行了叙述，对可靠性设计中的常见模型进行了分析计算。针对大化肥生产的甲铵泵装置，利用可靠性设计原理建立了逻辑框图，提出了技术方法，并取得了满意的结果。