基于相对可计算性理论的过程模式可计算泛函

研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。     

基于可重构计算技术的ASIP设计与实现

为了加速计算密集或数据密集类算法,设计了Kahn线程定义的虚拟指令,以及嵌入式粗粒度可重构阵列流水线处理器的体系结构。通过指令流水线设计,实现虚拟指令的并行执行,将指令级并行扩展为线程级并行。系统运行时,采用订阅/发布机制作为可重构阵列的通信机制,利用可重构系统可重复配置的特点,提高了系统的计算效率。通过仿真实验验证了基于可重构计算技术的流水线处理器结构的有效性。     

冲淤过程中床沙级配调整的一种计算模式

<正>在河床冲淤过程中,床沙级配在不断调整, 反过来影响到水流输沙能力, 使冲淤各自向自己的反面转化,因此床沙级配的调整对河床变形计算十分重要, 特别是卵石挟沙河床在连续冲刷时更为重要。本文在笔者提出的非均匀沙河床变形计算方法的基础上,对于冲淤过程中床沙级配的调整提出如下的计算模式,作为对前者的补充。     

双原子氟化物分子的密度泛函理论研究

采用密度泛函理论(Density Functional Theory,DFT)的B3LYP方法在Lanl2dz和3-21G*基组水平上分别对10种双原子氟化物分子进行了优化和振动频率计算,得到了它们最稳定构型、键长和电子特性.结果表明:对于同一主族的元素,随着原子序数的增加,氟化物的稳定性下降,不同主族的则没有一个明显的趋势;本文计算的氟化物的电离能都很大,说明这些氟化物在化学变化中要失去电子成为阳离子是困难的.     

基于工作过程系统化课程模式教学改革的实践

结合高职学校的实际情况,通过多年来对船舶柴油机课程的教学模式的探寻和实践,明确了基于工作过程系统化的课程模式是高职教学改革的方向。     

与胸墙连接的沉箱外墙及隔墙内力计算模式探讨

对于大型沉箱重力式码头,沉箱外墙及隔墙的内力计算结果与计算模式的选择有关。按现行有关规范可不考虑上部胸墙对沉箱的约束。但构造要求需符合固接处理条件。结合某沉箱重力式码头工程,在考虑胸墙约束的模式下,对沉箱外墙及隔墙的内力计算．按不同模式进行对比分析,并给出相关结论和建议。     

基于马尔可夫过程的舵机控制系统可靠性分析

应用马尔可夫过程对船舶液压舵机控制系统可靠性数学模型进行建模,并通过元器件计数法计算出各个组件的失效率,得出舵机自动控制系统的可用度,为获得系统的可靠性和故障诊断提供参考。     

柴油机调速系统变参数过渡过程的计算和分析

本文导出了普通适用的过渡过程数学表达式，在Ｚ１２Ｖ１９０Ｂ柴油机上进行了变参数计算分析，得出了调速系统参数对过渡过程的独立影响，提出了改进调节品质的措施     

大型船舶进出港安全乘潮计算模式的研究

本文从分析大型船舶乘潮作业的尺度关系着手,对建立大型船舶进出港安全乘潮通航计算模式进行详细的技术探讨。用所建立的计算模式对长江口北槽一年702个潮的实例分析计算表明,长江口地区的理论通航能力较目前的实际通航能力要大得多,由此可见,开发长江口的通航潜力大有可为。     

码头施工过程中单桩稳定性计算

针对码头施工过程中可能遇到的单桩稳定性问题,分析了处于单桩状态的弹性长桩和刚性桩的不同失稳机理并提出了不同地质条件下相应的单桩稳定计算方法和主要步骤,同时还依据工程实例和模型试验数据给出了刚性桩的稳定安全系数建议值,在码头桩基施工实践中对相关工程技术人员具有参考意义。     

MATLAB在水电站水力过渡过程计算仿真中的应用

在水电站的运行中总伴随着水力过渡过程,对电站进行过渡过程分析与计算相当重要。本文介绍了当今先进的科学计算软件MATLAB的特点,并利用该软件对紫坪铺水电站的水力过渡过程从数学模型、计算仿真等方面进行了分析、计算与研究,以便寻求合适的电站运行方式、机组关闭规律等。为电站及引水系统设计优化、安全运行提供依据。     

长江流域（重庆—上海）段VHF无线电波的计算模式

通过公式及图表给出了长江流域（重庆－上海）段ＶＨＦ无线电波的两种计算模式。一种用于长江上游（川江）段；一种用于长江中下游（宜昌－上海）段。两种模式不但具有理论依据而且经过实测验证，同时作为交通部重点科学技术发展项目成果通过了鉴定。     

长江流域（重庆—上海段）VHF无线电波的计算模式

此文通过公式及图表给出了长江流域ＶＨＦ无线电波的两种计算模式。一种用于上海上游段；一种用于长江中下游段。两种模式均具有理论依据而且经过实测验证。     

V0,±2 团簇的密度泛函理论研究

采用密度泛函理论(DFT)中的B3LYP方法,在6-311 G 和Lanl2dz基组下研究了V0,±2 团簇的平衡几何结构、稳定性以及光谱性质.计算结果表明,团簇V0,±2 的基态构型都是D*H对称.阴离子和阳离子的多重度都为4,中性的为3和5.计算的总能量、结合能、键长和文献符合得很好;电离能和实验值相吻合.得到了团簇结构的稳定性信息,比较了6-311 G和Lanl2dz两种基组对团簇的适应性所表现出的差异.     

基于可用性理论的导弹装备使用可用度评估模型研究

结合当前部队关心的导弹装备战备完好性问题,对影响导弹战备完好性的重要参数使用可用度进行了研究,给出了基于可用性理论的导弹装备使用可用度评估方法和模型,根据部队导弹装备服役的相关信息,对该模型进行了评估验证,经验证,该方法可有效地分析导弹使用可用度,且对于后续提升改进导弹战备完好性具有参考价值。     

基于波导模式的甚低频场强计算方法

受电离层反射的影响,甚低频（VLF）电波传播过程中会发生干涉,再加上电波传播本身的衰减、地理环境、电离层高度等多因素影响,使得甚低频场强计算十分困难。基于地球-电离层波导的传播模型,运用波导模式理论对甚低频电波的场强进行计算。对计算结果和实测数据的对比分析表明,波导模式理论能够准确地对甚低频场强进行预测。     

基于切片理论的波浪载荷直接计算

提出了波浪载荷直接计算方法。该方法基于线性切片理论,在频域范围内进行。通过水动力分析得出波浪载荷的响应幅值算子,采用统计方法对波浪载荷进行长期预报,并将线性波浪载荷预报结果进行非线性修正,以模拟实际波浪载荷的非线性效应。最后以某一船型为例,结合IACS推荐的波浪谱和波浪散布图以及超越概率,采用该方法进行了计算并将计算结果与规范值进行了比较。     

V2^0,＋团簇的密度泛函理论研究

采用密度泛函理论（DFT）中的B3LYP方法，在6—311＋G和Lanl2dz基组下研究了V2^0,＋团簇的平衡几何结构、稳定性以及光谱性质。计算结果表明，团簇V2^0,＋的基态构型都是D＋H对称。阴离子和阳离子的多重度都为4，中性的为3和5。计算的总能量、结合能、键长和文献符合得很好；电离能和实验值相吻合。得到了团簇结构的稳定性信息，比较T6—311＋G和Lank2dz两种基组对团簇的适应性所表现出的差异。     

TNT及其代谢产物致毒机理的密度泛函理论研究

用DFT- B3 LYP/6 -31G*方法模拟研究了2,4,6-三硝基甲苯(TNT)、2-氨基-4,6-二硝基甲苯(2A)和4-氨基-2,6-二硝基甲苯(4A)在生物体内的代谢还原中间体亚硝基芳烃与一模型靶分子的动态反应过程,从理论上探讨了硝基芳烃的关键致毒反应机理.通过计算获得反应各驻点的电子结构、能量及相应的反应...     

用定时器实现复杂计算过程的实时显示

提出了在VC＋＋环境下通过定量器实现复杂，耗时较长的船舶航行性能计算过程的实时显示技术，并应用于笔者开发的ShipPO软件中，实践证明该技术是可行的。