工作目的是建立一个以因特网为介质的铝电解质物理化学性质的计算与查询系统，系统的查询和运算首先是通过表单接收数据，抗后调用JavaScript函数传递数据，在Java applet小程序中处理这些数据，再利用Graphics类中的方法绘制相应的曲线．系统目前收录的铝电解质物理化学性质包括：液相线温度、三氧化二铝的溶解度、电导率、蒸气压、密度、表面张力、粘度、金属的溶解性等．

程序设计语言很多,各有特点。本课程不试图 介绍某种具体的语言,而是抽象出程序设计语 言的共同特点,力图系统讲述程序设计语言的 语法、语义和编译实现之间的关系,介绍数据 结构、顺序控制、子程序、封装、继承等概念 及其实现技术,涉及函数式语言、逻辑式语言 命令式语言和面向对象的语言。讨论程序设 计语言的一般设计和实现方法

对一个系统进行分析和研究,首先要知道 该系统的数学模型,也就是要建立该系统 特性的数学表达式.所谓线性系统,在许多 场合,它的数学模型可以用一个线性微分 方程来描述,或者说是满足叠加原理的一 类系统.这一类系统无论是在电路理论还 是在自动控制理论的研究中,都占有很重 要的地位.本节将应用拉氏变换来解线性 微分方程和建立线性系统的传递函数的概 念

程序设计语言很多,各有特点。本课程不试图 介绍某种具体的语言,而是抽象出程序设计语 言的共同特点,力图系统讲述程序设计语言的 语法、语义和编译实现之间的关系,介绍数据 结构、顺序控制、子程序、封装、继承等概念 。 及其实现技术,涉及函数式语言、逻辑式语言 、命令式语言和面向对象的语言。讨论程序设 计语言的一般设计和实现方法。本课程分为12 章

针对目前视网膜血管分割中存在的细小血管提取不完整、分割不准确的问题，从血管形状拓扑关系利用的角度出发，探索多任务卷积神经网络设计，提出骨架图引导的级联视网膜血管分割网络框架。该框架包含血管骨架图提取网络模块、血管分割网络模块和若干自适应特征融合结构体。骨架提取辅助任务用于提取血管中心线，能够最大限度地保留血管拓扑结构特征；自适应特征融合结构体嵌入在两个模块的特征层间。该结构体通过学习像素级的融合权重，有效地将血管拓扑结构特征与血管局部特征相融合，加强血管特征的结构信息响应。为了获得更完整的骨架图，骨架图提取网络还引入了基于图的正则化损失函数用于训练。与最新的血管分割方法相比，该方法在3个公共视网膜图像数据集上均获得第一名，在DRIVE，STARE和CHASEDB1中其F1值分别为83.1%，85.8%和82.0%。消融实验表明骨架图引导的视网膜血管分割效果更好，并且，基于图的正则化损失也能进一步提高血管分割准确性。通过将骨架提取模块和血管分割模块替换成不同的卷积网络验证了框架的普适性

物理量仅是时间的函数一常微分方程 普遍性、共性 物理量仅是时间和空间的函数一偏微分方程 必须考虑对象所处的“环境”—边界条件 求解具体问题 必须考虑对象所处的“历史”初始条件 边界条件和初始条件反应了具体问题的特定环境和历史,即问题 的特殊性、个性.在数学上,边界条件和初始条件合称定解条件 物理问题的共性一物理规律的数学表示:数学建模,通俗地讲, 就是把物理规律用数学语言“翻译”出,体现为物理量在时空中的变 化关系.这种关系通常是偏微分方程

一、发展史: 复变函数理论被人誉为19世纪最独特 的创造,这个新的数学分支统治了19世纪。几 乎象微积分的直接扩展统治了18世纪那样,曾 被称为19世纪的数学享受,也曾被称为抽象科 学最和谐的理论之一

针对单核学习支持向量机无法兼顾学习能力与泛化能力以及多核函数参数寻优问题，提出了一种基于群体智能优化的多核学习支持向量机算法。首先，研究了五种单核函数对支持向量机分类性能的影响，进一步提出具有全局性质的多项式核和局部性质的拉普拉斯核凸组合形式的多核学习支持向量机算法；其次，为增加粒子多样性及快速寻优，将粒子群优化算法引入了遗传算法中的杂交操作，并用此改进的群体智能优化算法对多核学习支持向量机进行参数寻优。最后，分别采用深度特征与手工特征作为识别算法的输入，研究表明采用深度特征优于手工特征。故本文采用深度特征作为多核学习支持向量机的输入，以交叉遗传与粒子群混合智能优化算法作为其寻优方式。实验选取合作医院数据集对所提算法进行训练并初步测试，进一步为了验证所提算法的泛化能力，选取公开数据集LUNA16进行测试。实验结果表明，本文算法易于跳出局部最优解，提升了算法的学习能力与泛化能力，具有较优的分类性能

基本要求：理解逻辑代数的基本逻辑运算，懂得在数字电子技术中数学运算是用逻辑运算实现的；掌握逻辑运算规则、逻辑函数的表示、逻辑函数的标准表达式、卡诺图化简等基本理论；懂得从电子技术角度，逻辑运算通过电路实现；初步理解逻辑门电路的基础概念及其接口特性；掌握利用逻辑代数知识分析组合逻辑电路的一般过程及其方法；了解用逻辑门电路设计组合逻辑电路的一般过程；掌握译码器、编码器、数据选择器等常用中规模组合逻辑电路芯片的逻辑功能及其特点；掌握利用译码器、数据选择器实现组合逻辑电路的一般过程及其应用方法

在研究某些实际问题时，经常无法直接得到各变量之间的联系，问题的特征往往会给出关于变化率的一些关系。利用这些关系，我们可以建立相应的微分方程模型。从另一个方面来讲，从微小的变化量来研究函数变化的规律，微分提供了一种人们认识系统更加深入的描写和刻画。从这个角度说，微分方程模型在模拟客观事物时更加具有机理性和本质性