有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献   

边界元法在计算地下水稳定水位和流量中的应用

边界元法是一种新的数值计算方法。该法易于处理无限区域的地下水流问题,并且计算流量也较其他方法准确。本文介绍在二维稳定流的情况下如何计算地下水的水头和流量。承压含水层中的稳定流动,水头H满足拉普拉斯方程。利用格林第二公式,可以得到边界积分方程,即边界元的基本公式。可以用数值方法计算这一边界积分。为此,在边界上选取有限个点,称为节点,两节点间的线段称为单元。本文中选用线性单元和线性插值。引进局部坐标系,可以得到表示H和( H/ n)关系的方程。我们可以选一个节点作为固定的基点,其他节点为动点,对于每一选择都可得到一个方程。依次把每一节点作为基点,可得到N个方程,构成一个线性代数方程组。根据边界条件,每一节点中的H或( H/ n)有一个是已知的,解方程组可求出另一个。解出边界上的全部H和( H/ n)以后,可算出内部的水头和流量。对于非均质问题可划分为几个区域来处理。分界线上要满足相容性方程。对于( H/ n)的不连续点,可用“节点多值法”处理。     

动态可控残差卷积神经网络的低剂量 CT 图像处理

针对计算机断层扫描(Computed Tomography, CT)中因采用低剂量扫描方式,导致图像噪声伪影干扰,尤其 是不同部位噪声和伪影强度存在较大差异这一问题,提出了一种基于动态可控残差的卷积神经网络(DC-ResNet) 算法。 DC-ResNet 的主要思想是在常规残差网络连接中添加一个图像质量指导的控制变量,以允许获取残差的加 权和,从而实现残差特征的动态可控。 所设计的 DC-ResNet 网络是一种包括两个子网络的组合型结构,一个是作 为主干网络的基础子网络,在该子网络中使用全局动态残差块和局部动态残差块来实现低剂量 CT 图像质量的提 高;另一个是作为辅助网络的条件子网络,用来生成基础子网络中不同动态可控残差块的权值,辅助基础子网络的 学习。 通过 Mayo 与 UIH 数据实验验证,其视觉结果表明:处理后的不同部位 CT 图像噪声伪影均能够得到较好的 抑制,并能有效地保留结构细节及组织纹理;量化结果表明:处理后的 CT 图像峰值信噪比( Peak-Signal to Noise Ratio, PSNR)和结构相似性(Structure Similarity, SSIM)均优于对比方法。     

沪蓉路合高段 50～90km 路基工程地质条件评价

通过地质测绘、路线土质勘查、工程地震等综合研究,对沪蓉高速公路合肥至高河埠段５０～９０ｋｍ路基的工程地质与水文地质条件进行了评价,对场地稳定性和路基稳定性,特别是软土和膨胀土地基等岩土工程问题进行了论证,从而为公路建设提供了科学的依据     

对角度规谐和条件下不存在引力辐射和引力波

证明了在对角度规谐和条件下,在不存在引力辐射和引力波,并对Ｂｏｎｄｉ引力平面波和引以立波进了讨论。     

1,6—二磷酸果糖制备研究：Ⅰ.菌种的筛选及培养条件

介绍了１,６－二磷酸果糖产生菌的筛选和最佳培养条件的确定,在所筛选的菌种中９５１８、９５１９号菌株均具较高的产１,６－二磷酸果糖酶系活力。其最佳培养条件为：培养温度２８℃,ｐＨ６．５。     

奇异值估计的Brauer型定理

设Ａ＝（ａｉｊ）为ｎ阶复矩阵．记ｓｉ＝ｍａｘ∑ｊ≠ｉ｜ａｉｊ｜,∑ｊ≠ｉ｜ａｊｉ｜｛｝,ａｉ＝｜ａｉ｜（ｉ＝１,２,…,ｎ）．证明了Ａ的奇异值均属于Ｂｒａｕｅｒ型并集∪ｉ≠ｊｚ≥０：｜ｚ－ａｉ｜｜ｚ－ａｊ｜≤ｓｉｓｊ｛｝,并给出了该并集的显式表达及数值例子．     

离子交换条件对蒙脱石表面酸性的影响

用非溶液测定蒙脱石的表面酸性,结合红外光谱研究交换离子逍度,反应温度,ｐＨ值,焙烧温度等条件对蒙脱石表面酸性的影响。结果表明：反应温度,ｐＨ值基本上不影响表面酸性,但交换离子浓度,焙烧温度对表面酸性有显著影响。     

中介曲面法处理G^2兼容性约束条件

提出一种曲面接拼中分离二阶几何连续兼容性约束的新方法,与直接解约束方程的方法不同,这里使顶点周围曲面片的法向投影与顶点处某一中介曲央具有若干阶逼近,就能分离法向约束,再通过拼接函数的端点值及端点导数的选取使约束的切平面投影得到满足。