基于INFIL3.0模型的地下水补给计算与分析

采用扩展后的INFIL3.0模型计算了石津灌区根区层下净入渗补给量和潜在入渗补给系数,并分析了其时空变化规律。计算结果显示,石津灌区多年平均净入渗补给量为79mm,多年平均潜在入渗补给系数为0.135;根区层下净入渗补给量和潜在入渗补给系数的空间变异性主要表现为渠灌区>井渠双灌区>井灌区,时间变异性表现为入渗补给量峰值出现在强降雨期间。最后,从水量均衡要素的角度分析了入渗补给过程,表明降雨是引起入渗补给的主要因素,当前灌溉制度是合理的。

聚氯乙烯火灾烟气环境中无铅焊料腐蚀动力学预测模型

采用质量损失法研究聚氯乙烯火灾烟气环境中283.15~323.15 K温度范围内无铅Sn-3.0Ag焊料的腐蚀动力学、表面微观结构和腐蚀机理。结果表明,随着温度从283.15 K升高到323.15 K,Sn-3.0Ag焊料的质量损失从(22.09±2.01)g/m^(2)增加到(44.66±1.20)g/m^(2)。此外,腐蚀动力学符合阿伦尼乌斯定律。Sn-3.0Ag焊料表面腐蚀产物呈叠加生长趋势。在283.15 K,Sn-3.0Ag焊料的表面出现大量的腐蚀产物。Sn-3.0Ag无铅焊料的腐蚀过程为电化学腐蚀,阴极发生析氢和吸氧反应,阳极发生富锡相的溶解。腐蚀产物为Sn_(21)Cl_(16)(OH)_(14)O_(6)、SnO_(2)和SnO。

基于LLWin3.0控制Fischertechnik模型实例

随着计算机的普及,特别是软件技术的发展,基于电脑控制且充分展示个性化创新实验,成为当今高等学校素质教育的重要方式和发展方向。为此,详细介绍了德国慧鱼公司的专利产品“创意组合模型(fischertechnik)的应用实例,结合LLWin3.0图形化编程技术,为教育行业应用提供了有效的途径。

生成式AI的融贯性法律治理——以生成式预训练模型(GPT)为例

随着大规模数据和算式的增长,以及算法的不断优化。围绕生成式AI的前景,存在着支持、反对、中立等不同态度,这些态度背后隐含着认知根源、经济考量和权利思考。立足于法律3.0的融贯性治理注重国家法律、行政规制和技术方案之间的融贯,为治理生成式AI提供了思路和方向。融贯性治理中的“融贯”,既是规范性融贯,强调法律规范的内在一致性和统一性,也是整体性融贯,强调将技术方案融入规范,进而使得技术方案与不同层级规范和引领这些规范的原则与价值得以融贯。在面对以GPT为代表的生成式AI时,可以尝试将AI和区块链作为技术方案对其进行治理,也可以通过自我规制和外在约束培育建设“有道德的”AI,还可以通过“市场+规则”助力生成式AI的发展。生成式AI所涉及的法律问题在现有的法律体系框架内基本能得到有效应对,对于它带来的现实、急迫且法律没有明确规定的问题,可以进行融贯性治理。

NGD 3.0柴油发动机三维数字模型重构

采用逆向/正向混合建模技术,对NGD 3.0柴油发动机进行了三维模型重构。重点研究了逆向/正向混合建模技术在复杂模型重构中的应用技巧。验证了硅胶翻模技术在获取柴油发动机内部复杂水道与气道结构的准确性与可靠性。讨论了发动机结构在逆向重构过程中的误差来源,对如何有效地减少重构误差进行了分析,经过误差分析与检测后,所采用的逆向/正向混合建模方法能够获得高精度的三维数模。通过本次研究,对复杂零件的高精度模型重构的实现具有重要的参考意义。

一种AltaRica 3.0模型中类的平展化方法

AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。

一种AltaRica3.0模型到NuSMV模型的转换方法

AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型到NuSMV模型的转换规则和算法。首先,利用ANTLR构建AltaRica 3.0平展化GTS模型的AST(Abstract Syntax Tree);其次,设计语言结构转换规则,显示AltaRica 3.0和NuSMV之间的行为语义对应关系;然后,设计转换算法G2N,在遍历AST时,G2N对结点存储的GTS模型语言信息进行获取和转换,在保留语义的情况下,通过不断地遍历转换过程来获取转换后的NuSMV文件;最后,以需求工程中的4个典型案例为例进行实验分析,验证了G2N的有效性和需求模型的安全性。实验结果表明,G2N算法可以在词法和语法层次上完成AltaRica 3.0模型到NuSMV模型的转换工作。

基于SPIN的SSL3.0握手协议模型检测

文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。

基于Web3.0的档案开放利用服务平台构建思路

档案开放利用是发挥档案价值的重要途径,是档案保管的目的。随着《国家档案馆档案开放办法》的公布实施,档案开放利用工作也将逐步得到加强,单位和个人利用档案也将越来越频繁,如何优化档案开放利用服务流程,使单位和个人更加便捷高效地利用这些开放的档案,是各档案服务机构将要面对的问题与挑战。本文根据web3.0的特性,构建了基于Web3.0的档案开放利用服务平台模型,对档案的服务流程进行了优化和整合,深化档案资源建设,以期提升档案服务能力。

基于串空间模型的SSL3.0协议认证性分析

形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空间的SSL协议握手过程的模型,并验证了SSL协议的认证性。

GML3.0应用模式的开发及应用研究

简单介绍了GML3.0,然后详细阐述了GML3.0的主要模式;论述了GML应用模式开发的若干技术问题;最后提出了基于GML的城市道路网络模型,并实现了基于GML的空间数据转换引擎。

基于情报3.0工作思路的自动简报系统设计与实现

自动简报系统使情报服务更加实时、精准、个性化,它不但能及时将有价值的情报信息可视化展现,还支持管理者日常的决策、连接情报部门与决策层的交流,对提高情报3.0服务质量有着重要的作用和意义。本文通过设计基于情报3.0工作思路的自动简报系统框架,构建了自动简报的管理系统、定义了自动简报模型ABM,描述了自动生成的路径,并通过科技文献简报实例研究,总结出了情报3.0工作思路下,自动简报的服务范式。

对GML3.0的探讨

Internet与GIS结合成互联网地理信息系统(InternetGIS)是GIS软件发展的必然趋势,InternetGIS用于分布式地理信息的在线发布,并为分布式地理信息提供在线实时处理与分析的工具。对GML3.0(GeographyMarkupLanguage3.0,地理标记语言)的发展和核心技术进行了深入的研究,其主要内容包含了GML3.0的数据类型、要素、要素集合、几何模型的类型及元素、时态、层等,给出了一些内容模型以及相关内容的UML表示,还给出了使用GML3.0进行数据共享和互操作的应用实例,并对未来的GML版本进行了预测。

基于用户动态画像的科技情报服务推荐模型构建研究

[目的/意义]构建以用户动态画像为基础的科技情报服务推荐模型以满足新时期科技情报用户对情报服务及时性、专业化与精准性的要求,更好地服务"双创"工程。[方法/过程]通过文献调研法分析情报3.0时期科技情报用户结构与需求变化,提出对科技情报用户动态画像分级架构的思想,进而借鉴其他领域对用户画像的实践应用,构建以用户动态画像为基础的科技情报服务推荐模型。[结果/结论]以用户动态画像为基础的科技情报服务推荐模型能够实现科技情报产品与用户之间的精准对接,增强用户粘性,更好地服务科技情报用户。

CORBA 3.0新特性的分析及评述

随着分布式与面向对象技术的日益成熟，作为业界重要的面向对象分布式系统模型，ＣＯＲＢＡ也不断发展完善。在其新的３．０规范中，ＯＭＧ引入了ＣＯＲＢＡ组件模型、新的异步消息处理机制、可移植对象适配器等重要的概念和模型。文章对其进行了较为详尽的阐述，并分析、评述了各自的特性。

基于向量空间模型的科技情报用户画像及场景化服务推送研究

[目的]为了满足情报3.0时代用户对科技情报服务个性化与智能化的要求,采用用户画像方法挖掘科技情报用户情报需求与偏好。[方法]以TAM理论的两个关键因素(感知有用性与易用性)为理论基础,通过挖掘科技情报用户行为日志数据以及问卷调查等方法深入挖掘科技情报用户在不同情境下的科技情报需求偏好以及搜索行为习惯,以专家访谈法为基础,基于VSM理论构建科技情报用户画像模型。[结果]通过协同过滤算法对不同场景的科技情报用户进行服务推送。[结论]运用标签云技术(Tagxedo技术)为处于不同场景的科技情报用户定制有针对性的个性化服务方案是情报3.0时代一种有效的智能化服务途径。

用CSR4.0+CS模型计算海潮负荷改正

介绍了CSR3.0与CSR4 .0 +CS海潮模型 ,并对两模型进行了分析和实算比较 ,认为CSR4 .0 +CS比CSR3.0海潮模型精度更高 ,在计算中国测站海潮改正时 ,顾及中国近海海潮图是必要的。对我国第二期水准路线用CSR4 .0 +CS模型计算了海潮负荷改正 ,结果表明 :海潮负荷对高精度水准测量的影响 ,主要取决于水准路线的近海位置 ,越是近海地区越明显 ;在近海区域 ,这项改正不能忽略。

基于Creo3.0凸轮机构设计及机构压力角的分析

以Creo3.0为辅助工具,提出了一种直动推杆盘形凸轮机构在实现不同运动规律时凸轮轮廓曲线的设计方法和基本尺寸的优化设计方法,得到了凸轮轮廓曲线上各点的压力角分布;分析计算了一定凸轮轮廓曲线下摆动从动杆盘形凸轮机构压力角的分布规律。该方法简单直观,并具有较高的设计精度。

IEC870-5-101与DNP3.0远动通信规约比较

IEC 870 5 10 1和DNP 3 0是当前远动通信规约中占主导地位的两种。为加深理解、选择和使用相关产品及设备提供参考 ,对两者在功能、结构、标准化等方面的异同点作详细说明。两种规约都是面向SCADA系统提供数据传输和控制功能 ,都采用EPA模型。但在分层定义中 ,特别是数据链路层和应用层的许多方面都存在不同程度的差异。从内容、实现和应用范围等方面综合考虑两者各有千秋 。

实现Web3.0互联网盈利的计算机系统平台

在Web3.0时代将会涌现出大量以WebService作为接口的产品存在于社区网络中,互联网企业需要一种相应的盈利模式去承载这一时代性的产物。针对这一问题,本文提出了实现Web3.0互联网盈利的系统平台,该系统平台将互联网企业对WebService产品发布的盈利来源设计为两个部分:客户利润和广告收入,而对广告的投放将采用窄告技术,从而使互联网企业利润最大化。