Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

黑龙江省低山丘陵区水保措施减蚀效应研究

黑龙江省低山丘陵区土壤贫瘠,农业生产活动剧烈,加之降雨多以夏季暴雨为主,造成了严重的土壤侵蚀现象。通过对宾县三岔河小流域7个试验小区径流和产沙观测资料的分析,总结得出不同水保措施下的水土保持效益,为合理安排耕作方式提供参考。图1,表2,参16。     

现浇混凝土梁板裂缝分析

本文通过对3例典型现浇混凝土结构梁、板裂缝的检测鉴定,分析该类裂缝的发生原因及处理措施。     

高速公路材料质量的控制

本文介绍了公路常用材料的检验项目，频率和主要质量控制项目，通过预防，采取措施，达到监控为目的，有效地控制了原材料的质量。     

浅谈高校英语教学中提高学生语言技能和交际能力的教学方法

文章指出提高学生语言技能和交际能力，关键在于教师和教学方法，同时也需要学生的自身努力。     

量子通信实用化现状分析与探讨

量子密钥分发和量子隐形传态不断取得的新突破,使量子通信实用化问题日益成为关注的焦点。本文简析了量子通信研究的发展历程,并对量子通信的实用化现状进行了概括：实用化量子密钥分发技术已近在眼前,但量子隐形传态的实用化仍尚需时日。针对认识和理解量子通信时的典型误区,本文做了简要澄清。根据量子通信实用化发展态势,为我国量子通信的发展提出了4点对策和建议     

视觉感知结合学习的自然图像轮廓检测

本文结合非经典感受野的视觉特性与机器学习的方法,提出了一种自然图像轮廓检测模型.当非经典感受野中的刺激与感受野中心刺激形成一种精确的空间结构时,将对中心产生一种增强效应;另一方面非经典感受野中抑制作用会降低同质成分的响应,我们将这两个机制分别用于增强光滑的轮廓和减少背景中与结构无关的干扰成分.利用逻辑回归概率模型将感受野中的信息与来自非经典感受野中的信息进行有效融合,并根据图像的手工标注数据库,通过学习方法获得一组最优的模型参数.自然图像的实验结果表明该轮廓检测方法能极大地抑制来自纹理的局部边缘,减少虚假轮廓,同时能增强具有一致空间结构的成分,避免轮廓缺失.最后利用Berkeley图像数据库定量地评价了我们方法的性能,并与相关方法进行了比较.该模型不仅为复杂场景中的轮廓检测提供了一个可行的策略,并有助于对生理视觉机制的理解.     

日本"国语高考"中汉文试题的选文来源研究

汉文试题是日本"高考"——日本大学入学中心考试(大学入試センター試験)国语科目中固定的考试题型,其考查内容源于我国古代的文史经典原著.在选取2001—2019年日本大学中心考试"国语"科汉文试题为研究对象的基础上,发现"汉文"试题的选材主要来自我国"子部"典籍中的笔记小说、史类随笔、议论散文三类,以及"集部"典籍中的别...     

用改革精神推动创新 用创新方式深化改革 努力提升创新驱动发展强大势能

<正>2021年5月,习近平总书记在两院院士大会上将科技管理职能定位由“抓战略、抓规划、抓政策、抓服务”,调整为“抓战略、抓改革、抓规划、抓服务”。“抓政策”替换为“抓改革”,且“抓改革”的顺位排在“抓战略”之后、“抓规划”之前,彰显出“规划”要服务“战略”、服务“改革”的总体思路,“抓改革”的紧迫性和重要性不言而喻。党的二十大报告强调“深化科技体制改革,深化科技评价改革,     

阻流板对双桨船阻力和伴流场影响数值研究

基于RANS(Reynolds-averaged Navier-Stokes)方法针对安装了3种不同深度阻流板的DTMB5415船模进行数值计算,以研究阻流板对船舶阻力以及伴流场的影响.分析了安装阻流板前后的船舶水动力性能,并探讨了船艉波形、船身压力以及轴向标称伴流场的变化.研究结果表明:阻流板的安装能够降低DTMB5415的阻力,平均减阻率可达4.19%;船体虚长度的增加以及方尾船尾流场的改善是船模总阻力降低的主要原因;阻流板的安装增大了船舶尾部的边界层厚度以及轴向标称伴流,当弗劳德数Fr=0.35时,d/L_(PP)=0.001 5(d为阻流根深度,L_(PP)为船长)的桨盘面平均伴流分数增大了11.9%.