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

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

微型电子计算机在物理化学中的一些应用

随着电子计算机的迅速发展,它在物理化学中的应用范围越来越广了.我们结合科研和教育的需要,在Sharp PC-1500计算机上编制了催化剂(或其它固体)的比表面积和孔径分布的计算程序,编制了x-射线衍射峰的晶面指标化和用柯亨(cohen)法计算晶胞参数的程序.采用电子计算机计算,可以大大缩短计算时间,从而迅速获得实验结果,而且还可以提高计算的精确度和正确性.     

克里格法储量计算浅析

克里格法是地质统计学中最主要和最基本的一种局部估计方法.本文围绕计算储量的3大参量,介绍了品位的计算方法,它利用了脉矿的空间变化及其品位的变化特征来计算样品的加权因素和品位、论文据此.改变传统复杂的求体积、体重的计算储量方法,列出了用克里格法计算矿区储量的流程图.     

边缘智能：现状与挑战

作为一种新兴的计算范式,边缘计算将计算资源从云中心转移到网络边缘侧的服务器,为联网的终端设备提供计算支持。与此同时,以深度神经网络为代表的人工智能迅猛发展,在工业物联网、智慧城市、智能家居等领域得到了广泛地应用,为人们的生产和生活带来了极大的便利。边缘计算和人工智能彼此之间相互赋能并催生了新的研究领域——边缘智能。在边缘智能中,边缘计算和人工智能二者相互受益,边缘计算利用人工智能对边端进行智能地维护和管理,人工智能在边缘计算平台上提供智能化的服务。本文从人工智能用于边缘的维护和管理、边缘人工智能两方面对边缘智能的发展现状进行阐述,总结了边缘智能发展过程中所面临的一系列挑战,对未来的发展做出展望。     

可信赖计算平台体系结构

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

物理可计算理论

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

基于粒的二进制运算的关联规则提取方法

讨论了信息粒及其实例。建立了粒与二进制数的对应关系。定义了粒计算与二进制数计算的相似性和互换性，因此用粒计算方法作决策被转换为用二进制计算方法来提取关联规则。这样不仅是速度快，而且效率高。     

强磁场中氢负离子的基态与低激发态

在球坐标系下采用组态相互作用方法,计算了磁场中氢负离子基态与低激发态的能量和结合能.在径向采用高阶B-spline基组,有效地处理了电子关联;角向采用超球谐函数基组,简化了矩阵元角度部分的计算,使计算效率得到了大幅度的提高.用上述方法计算的磁场中氢负离子基态与低激发态能量的高精度结果与已有理论和计算数据作了详细的比较.结果表明,此方法适用于磁场为β=0.000 1~1.0（此处β=1.0时,对应磁场为4.710 8×105T）范围内的精确计算.     

有限温度下微观光学势的解析计算

利用索末菲展开,在核物质和有限核中计算了光学势实部,在核物质中计算了光学势虚部,并和数值计算的结果作了比较,发现实部势的结果令人满意,对虚部,此方法有待改进。     

基团电负性

在电负性均衡原理基础上,提出了一个新的计算基团电负性公式用上式计算了528个开链基团和环状基团的电负性,计算结果与国内外流行几套基团电负性颇为一致,且呈明显的变化规律.     

真丝针织浸渍工艺的研究

通过浸渍剂HV301和太古油处理后生丝的物理性能的测定，探讨分析了它们对生丝的作用原理，并提出浸渍剂HV301的优越性和可用性，通过HV301浸渍工艺的正交试验，采用计算机处理找出了最佳的工艺参数。研究结果对真丝在针织实际生产中提高效率、保证质量、降低成本有一定的参考价值。     

数量曲率的第二空隙

单位球面中极小浸入闭超曲面的第二基本形式S的可取值是否离散一直是受关注的问题．通过对此超曲面主曲率的研究,给出了S的可能值存在第二空隙的两个充分条件,并分别估计了在这些条件下的空隙长度．     

对Mallat的一个定理的推广

证明了Marr小波不满足Mallat定理的条件．利用Marr小波的性质，把Mallat的一个定理进行了推广，并推导出了求突变点的3个参数的公式，数值试验表明最大误差不超过1．5％．     

东海区海岸带景观格局变化对生态系统服务价值的影响

对大尺度、长时序的海岸带景观格局和生态系统服务价值(ecosystem services value,ESV)的研究,有利于更好地促进区域生态系统保护工作的开展。以1990,1995,2000,2005,2010,2015年6期遥感影像解译结果为基础,对东海区海岸带景观格局变化特征和ESV时空演变进行了分析,并探讨了ESV与景观格局变化二者间的关系。结果表明,1990—2015年的25 a间,受人类活动的影响,东海区海岸带农田和海域面积大量减少,建设用地面积大幅增加;在所研究的5类地貌类型中,除中起伏山地外,其余地貌类型景观面积转移都较为剧烈。25 a间东海区海岸带斑块数量、斑块密度、边界密度、shannon多样性指数等不断增加,景观破碎化、复杂化、多样化增强。农田景观的最大斑块指数、形态指数、边界密度等变化均较大。东海区海岸带ESV呈先增加后减小的趋势,其中森林景观对ESV总量贡献最大;水文调节、生物多样性维持、气候调节、土壤保持、废物处理和气体调节是东海区海岸带主要的生态系统服务功能;在空间上表现出以单位面积中、低ESV为主导的空间分布,高、极高和极低ESV分布较少。研究区ESV总量与农田和海域以及水域和建设用地面积显著相关;与斑块密度、边界密度和形态指数呈显著负相关。同时,食物生产、气体调节、气候调节、土壤保持和生物多样性维持的服务价值与景观指数间均显著相关。     

东海区海岸带景观格局变化对生态系统服务价值的影响

对大尺度、长时序的海岸带景观格局和生态系统服务价值(ecosystem services value,ESV)的研究,有利于更好地促进区域生态系统保护工作的开展。以1990,1995,2000,2005,2010,2015年6期遥感影像解译结果为基础,对东海区海岸带景观格局变化特征和ESV时空演变进行了分析,并探讨了ESV与景观格局变化二者间的关系。结果表明,1990—2015年的25 a间,受人类活动的影响,东海区海岸带农田和海域面积大量减少,建设用地面积大幅增加;在所研究的5类地貌类型中,除中起伏山地外,其余地貌类型景观面积转移都较为剧烈。25 a间东海区海岸带斑块数量、斑块密度、边界密度、shannon多样性指数等不断增加,景观破碎化、复杂化、多样化增强。农田景观的最大斑块指数、形态指数、边界密度等变化均较大。东海区海岸带ESV呈先增加后减小的趋势,其中森林景观对ESV总量贡献最大;水文调节、生物多样性维持、气候调节、土壤保持、废物处理和气体调节是东海区海岸带主要的生态系统服务功能;在空间上表现出以单位面积中、低ESV为主导的空间分布,高、极高和极低ESV分布较少。研究区ESV总量与农田和海域以及水域和建设用地面积显著相关;与斑块密度、边界密度和形态指数呈显著负相关。同时,食物生产、气体调节、气候调节、土壤保持和生物多样性维持的服务价值与景观指数间均显著相关。     

聚乙烯的玻璃化转变温度的计算

本文提出了一种计算无定形高聚物玻瑞化转变沮度(T,)的方法,利用稀溶液中高分子单链的配分函数,能够确定它的T,·本文利用用构象的完全计算法得到的聚乙烯单链的配分函数,计算了聚乙烯单链的二级相变沮度)和聚集态聚乙烯的玻璐化转变温度(T,),T,的值与实验值相当接近.     

长江经济带与“一带一路”沿线国家贸易地区结构的实证研究

利用贸易额的绝对值和指数实证分析了长江经济带与“一带一路”沿线国家的贸易地区结构. 结果表明: 长江经济带与“一带一路”沿线国家的贸易过于集中, 且进出口贸易的整体地区结构和主要10个国家的内部地区结构均有所优化, 但不甚明显, 其中出口的整体地区结构更为分散, 进口的内部地区结构更为均匀. 最后基于分析结果, 为促进长江经济带与“一带一路”沿线国家贸易地区结构合理化发展提出了建议.     

基于SD的城镇就业人数影响因子模型及其仿真

运用协整与Granger因果分析理论确定了国内生产总值、固定资产投资、国家财政收入、全社会消费品总额和第三产业产值为城镇就业人数的影响因子,运用系统动力学的理论与方法构建了城镇就业人数的系统动力学模型,在不同的投资和消费力度下对城镇就业人数进行了模拟。结果表明,消费相对投资而言更能提高就业水平,进而提出相应的对策及建议。     

近代历史海图集编制的特殊原则和方法

本文讨论了近代历史海图集及其编制的了'}i夕殊问题,主要有近代历史海图集的功能与编辑方针、数学基础的选择、图集结构的总体设计以及若干特殊图载要素的技术处:理、它们已在浙江海区近代历史海图集的编制中得到应用和验证,并对我国其它海尽近代历史海图集的编制具有参考价值.     

杭州城市环境对降水影响的统计分析

本文使用杭州地区1962—1981年的降水资料,进行统计分析后,发现杭州城市环境使降水量增加了约13—15％,多雨区位置有随风向改变的现象。