基于.NET平台的组织工作信息远程传输系统的设计与实现

结合全省组织部门远程文件传输需求,研究设计基于.NET平台三层B/S架构的组织工作信息远程传输系统,实现全省组织工作信息的发送、上报、审核、分类、发布、评分等功能,具有较强的可移植性、扩充性和可维护性,在实际应用中获得良好的效果。     

Radl 形式规格说明相对正确性研究

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.     

一种改进型PPM方法的设计与仿真实现

针对传统概率包标记(PPM)中存在遗失标记信息、重构困难、准确率低等问题,提出一种动态概率标记方法。运用NS2软件对相应的网络进行模拟,并在模拟环境下对传统方案及动态概率标记方法进行测试、比较和分析。仿真结果表明,该方案的路径重构效率和准确性均优于传统PPM方案。     

习近平新时代中国特色社会主义思想国际化传播范式研究

党的十九大将习近平新时代中国特色社会主义思想写入党章,并确定为中国共产党长期坚持的指导思想,充分体现了习近平新时代中国特色社会主义思想的历史地位及时代价值。推动习近平新时代中国特色社会主义思想的国际化传播是中国理论传播新的使命与担当。构建新思想的传播范式是实现传播效果、确保传播质量的重要举措,需要从求同存异,寻求思想价值的最大公约数;扩大"主体、形式、渠道"之间的公倍数;"借势"国际性会议平台,坚持"走出去"与"引进来",三方面并举是构建习近平新时代中国特色社会主义思想范式的必要举措。     

基于GIS的土地执法监察系统设计与实现

为了推进土地执法监察信息化,以ArcGIS API for JavaScript和ArcGIS Runtime SDK for Android为WebGIS和移动GIS开发框架,基于REST服务,构建Web端土地管理系统和移动执法巡查系统。该系统支持国土数据可视化、案件查询、轨迹记录、案件审查等功能,解决国土执法监察中数据传输慢、处理不及时、缺少监管等问题。充分利用移动GIS的移动性、便携性、实时性特点和WebGIS的跨平台多用户特点,建立土地执法监察GIS系统,将执法数据进行高效整合和服务共享,为提高土地执法监察效率提供技术支持。     

多局部约束自表示的谱聚类算法

谱聚类是一种有效的子空间聚类方法被广泛应用于图像聚类、图像分割等领域中。然而,谱聚类方法的性能在一定程度上依赖于图的构建,因此如何构建有效的图成为谱聚类中的关键问题。为了解决现有图构建方法存在的不足,提出一种基于多局部约束的自表示图构建方法。该方法不仅考虑样本的自表示能力,而且考虑样本的局部结构信息。尤为重要的是,在构建局部约束项时,通过自适应加权方式融合多种不同距离度量准则。提出一种迭代优化算法求解目标函数。在三个标准人脸数据库上,验证了该方法的有效性。     

分布式本体的构建与一致性维护方法

本体已经成为在语义Web环境下呈现和管理知识的重要手段。目前针对单个本体的创建、发布、浏览、编辑和存储等方面的研究已经较为成熟;随着知识规模的不断增大,在分布式环境下构建本体也已成为一种流行的方案。然而,分布式本体的构建受到多用户协同与一致性维护等问题的挑战。针对这种情况,提出一种分布式本体的协同构建与一致性维护方法,该方法以层次化的分布式本体组织形式来构建大规模的本体。在此基础上,该方法归纳了在本体构建过程中所涉及到的针对概念引用关系的编辑操作,并给出了相应的约束。另外,该方法还提出了在概念变更时的协同一致性维护方案。最后,通过模拟本体编辑人员对本体的编辑操作集合,实施了冲突检测、冲突消解和更新操作的实验。其结果表明,针对分布式本体的协同一致性的维护时间与单个本体的维护时间基本保持一致。     

老年人精神需求满足与社会支持的关系机制研究——基于中国老年社会追踪调查（CLASS）的数据

老年人精神需求满足与否是衡量老年生活质量的重要指标之一。本文假设社会支持资源(操作化为物质支持和精神支持两方面)越充足,老年人精神需求越容易获得满足;子女数量越多,精神需求越容易获得满足;老年服务越丰富,精神需求越容易获得满足。并基于中国人民大学组织的中国老年社会追踪调查的数据进行分析,发现物质支持和精神支持中任何一种支持资源的丰富都有利于老年人的精神状态向积极的方向发展。其中,精神支持层面作用较显著的变量是"可求助的亲友数"和"婚姻状态",而"健在的子女数量"作用并不显著;在物质支持资源中,社会保障资金总额的影响最为显著,当下的中国老年人明显受国家社会保障政策的影响更大。老年社会服务和老年活动场所这些相对正式的支持类型则影响不显著。我国在为老服务方面还相对薄弱,亟待加强相关工作。     

级联信号转导系统结合免疫层析法检测大肠埃希氏菌O157:H7

首先通过免疫磁技术实现目标菌的有效富集，然后经同时标记了大量抗体与β-内酰胺酶的胶体金纳米探针介导，利用β-内酰胺酶高效水解青霉素实现检测信号转导及放大，再通过免疫层析法对青霉素含量变化的灵敏甄别，最终实现大肠埃希氏菌O157:H7的超灵敏检测。建立的检测方法对大肠埃希氏菌O157:H7的检测灵敏度为2×102 CFU/mL，相比传统的免疫层析法检测灵敏度提高了570 倍。实现超灵敏检测食源性致病菌的同时规避了双抗夹心免疫层析法中Hook效应的影响，为免疫层析高灵敏准确检测大分子目标物提供了新的思路。     

基于核心素养培养的口语交际教学策略初探

在传统语文教学中,与口语交际教学相关的教师和资源严重不足,口语教学水平与其在学生核心素养培养中的地位极不相称。本文阐明了语文核心素养下的语文口语交际的内涵及意义,分析了口语交际教学存在的问题、问题原因及发展的紧迫性。据此,基于核心素养培养的要求与口语交际的内在联系,提出语文口语交际教学新策略。