检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于形式化方法的需求分析

计算机工程 2003年第18期29卷 107-108,191页

作者：塔维娜何积丰华东师范大学计算机科学技术系上海200062 联合国大学国际软件技术研究所中国澳门

利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从... 详细信息

利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。

关键词：需求分析形式化方法 B方法规范化管理

802.11无线局域网安全现状及其解决方案

在线全文

学校读者我要写书评

暂无评论

计算机工程 2003年第4期29卷 112-114页

作者：苏鹏胡志远塔维娜顾君忠华东师范大学计算机系系统所上海200062

主要分析了802.11无线局域网的安全现状，并针对其安全漏洞提出了相应的解决方案，介绍了数据完整性检查以及防止弱IV攻击技术。

关键词：无线局域网 802.1标准网络安全 EAP/802.1X 访问挖掘数据完整性安全漏洞

在线全文

学校读者我要写书评

暂无评论

苏联著名诗人弗拉基米尔·索科洛夫采访记

世界文化 1987年第1期 22-24页

作者：塔玛拉·维利娜徐正华

“我所写的一切都是有关俄罗斯的,即便写我自己时也是如此。”"著名俄国诗人叶夫根尼·巴拉金斯基说,'人们应从每一朵花中看到整个世界。'我觉得他的话也可用来评价你的诗,但是与巴拉金斯基所说的相反的一面是你也能在整个世界中看到一... 详细信息

“我所写的一切都是有关俄罗斯的,即便写我自己时也是如此。”"著名俄国诗人叶夫根尼·巴拉金斯基说,'人们应从每一朵花中看到整个世界。'我觉得他的话也可用来评价你的诗,但是与巴拉金斯基所说的相反的一面是你也能在整个世界中看到一朵花。因

关键词：诗人弗拉基米尔索科洛夫

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

绿色经济在实现可持续发展中的作用

鄱阳湖学刊 2017年第5期 47-51页

作者：塔玛拉.维塔.伊夫娜.乌斯科娃刘长松俄罗斯科学院社会经济发展与国土研究所研究室国家应对气候变化战略研究和国际合作中心

本文聚焦可持续发展问题,强调环境污染的严峻形势,指出继续忽视环境因素可能会对全球经济产生各种负面影响。绿色经济是全球经济向可持续发展转型的基础。本文特别关注俄罗斯联邦向绿色经济转型的相关问题,为俄罗斯实施绿色经济原则向... 详细信息

本文聚焦可持续发展问题,强调环境污染的严峻形势,指出继续忽视环境因素可能会对全球经济产生各种负面影响。绿色经济是全球经济向可持续发展转型的基础。本文特别关注俄罗斯联邦向绿色经济转型的相关问题,为俄罗斯实施绿色经济原则向可持续发展模式转型提出了一系列重要的目标和对策。

关键词：可持续发展环境问题绿色经济

大学生强迫症状的发展轨迹:一项潜变量增长模型分析

在线全文

学校读者我要写书评

暂无评论

中国全科医学 2025年第5期28卷 607-611页

作者：郭泽希伊力扎提·麦麦提古丽格娜·艾塔洪新疆心智发展与学习科学重点实验室新疆维吾尔自治区乌鲁木齐市830017 新疆师范大学心理健康教育服务中心新疆维吾尔自治区乌鲁木齐市830017

背景大学生是强迫症状的高发群体,已有大量横断面研究考察大学生强迫症状的整体发展趋势,但缺少对于大学生强迫症状发展轨迹的研究。目的通过纵向追踪的方式,考察大学生强迫症状的发展轨迹及影响因素。方法采用整群随机抽样的方法,选取... 详细信息

背景大学生是强迫症状的高发群体,已有大量横断面研究考察大学生强迫症状的整体发展趋势,但缺少对于大学生强迫症状发展轨迹的研究。目的通过纵向追踪的方式,考察大学生强迫症状的发展轨迹及影响因素。方法采用整群随机抽样的方法,选取新疆师范大学大一学生为研究对象,使用症状自评量表(SCL-90)中的强迫症状分量表与焦虑分量表对大学生进行为期3年的3次追踪测试,第一次施测时间为2020年11月(T1),第二次施测时间为2022年3月(T2),第3次施测时间为2023年3月(T3)。对调查结果使用潜变量增长模型进行数据分析。结果采用同时参与3次测量的3289份有效被试数据进行数据分析。3289名大学生中女性1966人(59.8%),汉族2352人(71.5%),首次施测平均年龄(21.0±0.7)岁。大学生焦虑得分分别为:T1(1.48±0.51)分,T2(1.38±0.45)分,T3(1.33±0.43)分;强迫症状得分分别为:T1(1.75±0.58)分,T2(1.66±0.55)分,T3(1.53±0.53)分。Pearson相关分析结果显示,各时间点大学生强迫症状与焦虑均存在正相关关系(P0(P0.05),即女大学生强迫症状起始水平高于男大学生,下降速度不存在差异。纳入焦虑协变量后,发现各时间点焦虑正向影响强迫症状(P0.05),即控制焦虑的影响后,女大学生强迫症状的下降速度低于男大学生。结论大学生强迫症状随年级升高而下降,高起始水平不一定带来长期困扰。焦虑阻碍强迫症状的缓解,并更大程度地影响女大学生强迫症状的出现及男大学生强迫症状的下降速度。

关键词：强迫症状发展轨迹焦虑性别差异潜变量增长模型

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

融合区域嵌入表示的城市功能区识别方法

地球信息科学学报 2025年

作者：韦烨娜吴升福州大学数字中国研究院(福建)

【目的】城市功能区是城市规划和人类活动共同作用、相互影响的结果，其准确识别对于优化配置公共资源和高效组织商业活动具有重要意义。目前，许多研究利用新兴的社会感知大数据进行城市功能区识别，但往往未能挖掘这些数据中蕴含的深... 详细信息

【目的】城市功能区是城市规划和人类活动共同作用、相互影响的结果，其准确识别对于优化配置公共资源和高效组织商业活动具有重要意义。目前，许多研究利用新兴的社会感知大数据进行城市功能区识别，但往往未能挖掘这些数据中蕴含的深层次特征，或者未能充分捕捉和利用不同特征之间的相互关系和关联性，导致识别精度较低。【方法】针对这些问题，本研究提出了一种融合区域嵌入表示的城市功能区识别框架。该方法基于手机定位数据和兴趣点数据（Point of Interest,POI），采用Node2vec算法提取工作日与周末6个时段的区域间空间交互特征，并利用GloVe模型提取区域的语义特征。随后，通过多头注意力机制进行特征融合，并结合部分人工标注的功能区进行分类识别，在福州市三环以内地区进行了实证研究。【结果】实验结果表明，本方法生成的区域表示特征具有较高区分度，能够有效识别6类功能区，总体精度（OA）为81%,Kappa系数为0.77。【结论】与DTW＿KNN和Word2Vec方法相比，精度分别提高了30%和20%，能够充分挖掘具有全局性质的空间交互特征和语义特征。此外，消融实验进一步表明，与单一数据源或简单融合方法相比，本方法在捕捉区域内部和区域间复杂关系的同时，对重要特征赋予更高的权重，使得模型的整体OA值相较于单源数据提高了约18%和6%，相较于简单融合方法提高了约13%，尤其在住宅区和混合区的识别方面表现出了显著优势。

关键词：城市功能区识别区域嵌入表示多头注意力机制出行有向图手机定位数据 POI

智能传播时代的人机依恋：虚拟偶像青年用户的情感依恋构成研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国青年研究 2025年第1期 86-93+85页

作者：斗维红兰州大学新闻与传播学院

在互联网与人工智能技术的快速变革影响下，青少年群体不仅与虚拟偶像发生了多方面互动，还对其产生了情感依恋。就作为情感联结的依恋而言，不同用户面对不同对象时的依恋构成存在差异。本文通过对19位关注虚拟偶像A-Soul的青年用户的... 详细信息

在互联网与人工智能技术的快速变革影响下，青少年群体不仅与虚拟偶像发生了多方面互动，还对其产生了情感依恋。就作为情感联结的依恋而言，不同用户面对不同对象时的依恋构成存在差异。本文通过对19位关注虚拟偶像A-Soul的青年用户的访谈收集一手资料，并基于经典质性研究方法扎根理论探究青年用户对虚拟偶像的情感依恋构成。经过三级编码发现，青年用户对虚拟偶像的情感依恋由虚拟偶像认同、亲密关系构建、发展提升支持、用户自我联结四个维度构成。本文认为，青年用户与虚拟偶像的交往正在产生超人际互动效果，即双方通过网络虚拟交往能够实现比肩甚至超越面对面互动的效果。

关键词：虚拟偶像情感依恋人机关系智能传播扎根理论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

玛琳娜·茨维塔耶娃诗选

诗歌月刊 2013年第12期 45-49页

作者：玛琳娜·茨维塔耶娃王家新

自适应量测-通信联合框架下基于RMPC的AUV编队控制

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

控制与决策 2025年第1期40卷 271-278页

作者：王朝阳刁维卿徐博于双宁哈尔滨工程大学智能科学与工程学院中国船舶航海保障技术实验室

针对复杂海洋环境下自主无人航行器(autonomous underwater vehicle, AUV)编队协同控制问题,提出一种自适应量测-通信联合框架下基于鲁棒模型预测的编队控制策略.所提出方法能够避免基于水声广播的显式通信交互方式在水下复杂条件下的... 详细信息

针对复杂海洋环境下自主无人航行器(autonomous underwater vehicle, AUV)编队协同控制问题,提出一种自适应量测-通信联合框架下基于鲁棒模型预测的编队控制策略.所提出方法能够避免基于水声广播的显式通信交互方式在水下复杂条件下的延迟和丢包等不利因素.首先,提出一种自适应量测-通信联合框架,利用非显式通信实现编队内部状态的观测,并引入自适应卡尔曼滤波对量测-通信链路中存在的外部扰动进行补偿;然后,在该框架下,设计辅助控制律并将其引入分布式鲁棒模型预测控制器,实现多条件约束下的AUV编队跟踪控制,并通过Hamilton函数和终端约束等理论验证编队控制器的稳定性;最后,通过对5艘AUV组成的编队在不同情景下的仿真结果进行对比分析,验证所提出方法的有效性.

关键词： AUV 编队控制自适应量测-通信联合框架虚拟轨迹鲁棒预测控制