知识产权客体兜底规范的内在关系及适用逻辑——以《民法典》第123条与《著作权法》第3条的适用为分析视角

《民法典》对知识产权客体类型的立法取向秉持法定主义立场,而现行《著作权法》对作品类型的规范选择却经历了由“作品类型法定”到“作品类型开放”的重大转变,致使两法客观呈现权利客体类型开放与封闭的立法模式差异。实践中应揭示这种假性矛盾的本质,厘清私权部门种属概念间错位类比的逻辑误区,明确过渡性知识产权基本规范对各知识产权单行法特殊性问题的解释缺失,以《民法典》与《著作权法》之间互为“表里”的“隔代”调适关系为逻辑基础,支撑知识产权客体相关规范在司法适用中的实践展开。即以作品类型扩张的现实表现和法律解释经验为起点,以民事私权的价值理念为根基,秉持审慎开放、体系化解释和司法确认优先原则,在具体案件中依照知识产权权属定位、著作权权属定位、作品类型定位的逻辑层次,在权利客体兜底款项启用时严格把握相对开放的审慎裁判思路。

以中国话语在生态环境法典中确认环境权

编纂生态环境法典作为重大政治任务和立法任务,已列入全国人大常委会2024年年度工作计划。通过法典编纂,将党的十八大以来生态文明建设理论、制度、实践成果以法典的形式确认下来,适应新时代我国社会主要矛盾新变化,回应人民群众对美好生态环境的新期盼,是生态环境法典编纂的目标和方向。在生态环境法典编纂研究中,我们要以习近平新时代中国特色社会主义思想特别是习近平生态文明思想和习近平法治思想为指引,坚持人民立场,认真对待生态环境新期盼带来的利益关系新变化;坚持改革开放,准确把握我国环境权益保护现状与政策取向;坚持道路自信,以中国话语在生态环境法典中确认环境权并作出一般规定、建立相应的保障制度和救济制度,提升中国生态环境治理体系与治理能力现代化水平,提供加强全球生态环境治理的中国方案。

开源代码库OpenFOAM引入本科工程流体力学的教学实践

本文将大型计算流体动力学开源程序Open FOAM引入本科工程流体力学课程教学,借助数据后处理得到直观的流动演化图案,有利于学生理解流体力学基础理论,培养学生理性分析的能力,从而有效提高教学效果。

面向二维码的开放实验室管理系统设计与实现

在互联网信息技术快速发展的过程中,高校对开放实验室管理手段的要求也不断提升。鉴于开放实验室管理设备种类多、信息总量庞大等特征,传统的管理模式已经无法满足实际工作需求,迫切地需要做出转变和创新,而将二维码技术运用到开放实验室管理工作中,构建信息化水平较高的实验室管理系统,能够大大提升开放实验室管理效率,更好地服务高校教学工作。该研究主要对二维码技术进行概述,对开放实验室管理系统进行总体设计,并介绍面向二维码的开放实验室管理系统的实现,以期构建功能完善、性能强大的开放实验室管理系统,提高开放实验室管理系统的运行速度和管理效率,降低开放实验室管理成本,充分发挥开放实验室的功能。

开源软件漏洞治理的挑战与对策建议

自互联网时代来临以来,开源软件为新一代信息技术的创新发展做出了巨大贡献,同时,开源软件漏洞数量也在持续增加。由于开源软件的开放性和共享性特质,其影响范围与深度也日益扩大。通过分析开源软件和闭源软件的区别,指出了建立开源软件漏洞治理体系的必要性,从开源用户、开源社区、代码托管平台等主体出发,研究发现开源软件漏洞治理存在安全意识缺乏、安全资源投入有限、漏洞情报获取信息差等问题。基于此,提出营造安全氛围、推进开源项目高质量发展、建立开源公共服务平台等对策建议,以期为相关研究和实际应用提供参考。

法典化目标下税法总则的功能定位与立法逻辑

我国税法典编纂应坚持汇编型法典与体系型法典之间的综合方案,以提升立法质量、回应征管实践需求为核心。创制税法总则,确保必要程度的抽象性和引领效用;汇编单行法作为分则,尽可能维持既有立法成果和规范体系。税法总则应秉持回应社会经济生活的实践品格,前瞻性地考虑征纳活动的疑难问题,规定对税收征管影响重大的税法基础概念、基本原则、基础制度等,以向法律适用者提供可资援引或参考的判断依据为其创制思路,加强其在分则规则回应不足情况下的规范补充角色;同时,保持一定的体系开放性,赋予行政机关和司法机关法律续造的空间,探索从税务执法和司法活动汲取总则制定和修订思路的创新路径,将其中可反复实践的一般性规则转化为税法总则的条款,实现税法典法律规范的更新迭代,提升税法典的包容度和回应力。

基于OpenMV的单目视觉二维码追踪小车设计与测试

基于视觉追踪的智能小车是自动化领域的研究热点。在OpenMV的基础上,设计了单目视觉追踪小车的硬件和软件。硬件包括OpenMV模块、舵机模块、小车驱动模块和电源模块。同时也设计了系统的软件,为保证对二维码的准确判断,在初始化摄像头时,加入了防止镜头畸变的调节功能。然后判断检测到的二维码是否为系统设定的合法二维码,如果合法,则每一张二维码都将被写入指令,从而使小车执行相应二维码程序。另外,为了保障舵机与驱动电机动作流畅,系统采用了位置式PID算法,当追踪目标出现偏差时进行修正,为整个二维码追踪过程提供保障。经过测试,系统实现了对二维码的准确、快速追踪功能。

基于预训练语义编码的判断句答案推理

目前大规模文本问答依赖句子表征从候选文本中检索答案,但是忽略了有些答案需要进一步推理,无法直接从文中获取,比如判断句。为解决此类问题,一个面向大规模文本的判断句答案生成方法被提出。首先在语义编码器中通过对大规模文本进行预训练获取语义编码器,对问题、依据进行语义编码;其次在答案生成器中基于对比学习构造正负样本进行数据增强;之后在答案依据获取器中通过使用Faiss实现问题和大规模文本的快速表征与匹配。在最终的判断句问答中,准确率高达96.58%,验证了该方法的有效性。

基于OpenVPN识别的APT隐蔽隧道检测

随着因特网与信息安全的发展,出现了一种新的攻击方式:高级持续性威胁(APT)。在APT的最后阶段,当攻击者想要从受害网络中窃取数据时,他们可能会使用隐蔽隧道。虚拟专用网络是私人或公共网络间的点对点连接。在过去几年里,VPN一直被认为是安全的。事实上,它也可以带来很多潜在的安全隐患。例如,攻击者可以利用虚拟专用网,使其称为一个用来传输敏感数据的APT隐蔽隧道。鉴于这样的双刃剑,有必要找到一种方法来检测恶意虚拟专用网,以防止APT隐蔽隧道的存在。

某2号综合楼结构抗震超限分析

某2号综合楼为钢筋混凝土框架-剪力墙结构。因二层多功能厅需要大空间,在三层楼板设置大开洞,在四层楼面处设置转换框架;结构竖向有两次体型收进,结构不规则项较多,属于超限高层,需对该楼进行抗震超限设计。对整体结构进行了小震弹性分析,采用两套软件进行对比计算,相互校核,并且采用弹性时程分析法进行补充计算,确保结构计算的准确性。对设防地震和罕遇地震时关键构件的各项验算,除保证在多遇地震时结构完全处于弹性状态外,还通过专项分析及采取加强措施后,使抗震设计达到应有的性能目标,确保结构的安全可靠。

A SEMI-OPEN-LOOP CODING MODE SELECTION ALGORITHM BASED ON EFM AND SELECTED AMR-WB+ FEATURES

To solve the problems of the AMR-WB+(Extended Adaptive Multi-Rate-WideBand) semi-open-loop coding mode selection algorithm,features for ACELP(Algebraic Code Excited Linear Prediction) and TCX(Transform Coded eXcitation) classification are investigated.11 classifying features in the AMR-WB+ codec are selected and 2 novel classifying features,i.e.,EFM(Energy Flatness Measurement) and stdEFM(standard deviation of EFM),are proposed.Consequently,a novel semi-open-loop mode selection algorithm based on EFM and selected AMR-WB+ features is proposed.The results of classifying test and listening test show that the performance of the novel algorithm is much better than that of the AMR-WB+ semi-open-loop coding mode selection algorithm.

论走向法典化的网络法律体系建设

法典化是消解网络法条碎片化、法条竞合冲突等问题的一条可靠路径,也是推进中国网络空间法治化的必由之路。网络法法典化可行性的理论基础在于法典化思潮的形成、网络法学学科的确立、学术研究队伍的壮大;其可行性的制度基础在于网络法治受到国家高度重视、网络法治基本制度逐渐成熟、网络法体系化基本经验形成。现阶段应以汇编型法典为目标,对标法治中国建设划定的网络法治建设总目标,实行先易后难策略,以网络法的体系化为突破口,理顺各个单行法律之间的位阶与关系,以《网络安全法》为主体,通过立、改、废、释等立法方法,有步骤地推进网络法的法典化。网络法不是现代部门法的理论增补,也不是现有部门法的新兴分支,而是现代部门法适应网络时代变革发展的转型升级。

基于LDA和ISM法从“结构-过程”视角解构政府数据开放能力

概念是研究的起点。现有研究对政府数据开放能力的理解借用私营部门的理论知识,忽视了公共部门特性,因此有必要对政府数据开放能力进行重新界定。本文运用LDA主题模型法对国内相关政策进行文本数据挖掘,识别出政府数据开放能力的构成要素,再通过ISM法厘清各要素在“宏观-中观-微观”的层次关系与传导路径,最后根据研究发现从政府数据开放能力的角度对政府数据开放实践提出对策建议。

程序员编写代码产生标准?——算法标准在服务过程中进行控制的内在逻辑

本文首先梳理学术界对标准和标准化基本概念、基本理论以及关于算法标准的研究现状,然后在此基础上讨论源代码、算法和标准,以及算法标准的特性。作者结合标准、标准化的基本概念指出,软件系统服务的解决方案通过算法固化为标准,一方面对系统本身进行规制,另一方面也对服务对象进行规制,属于软件开发企业的私有标准;算法标准具有黑箱特性和社会渗透性。然后作者考察了4个算法标准案例:电商平台、CAD软件、医院挂号及就诊管理系统、交通信号灯与健康码。作者通过讨论认为,算法标准在微观层面发挥协调和控制的作用,在各个领域控制人的社会生活,而且是私有标准大行其道。作者还讨论了软件开源带来的标准化体制变迁。

基于二维码技术的开放实验模式设计与实践

针对学生不熟悉实验内容和设备操作、自主开展实验困难等问题,提出了基于二维码技术的开放实验教学模式。通过将实验方案、实验设备功能参数和操作流程、常见问题解决方案等信息制成二维码,为学生提供实验预习指导、实时答疑辅导以及开放实验安全培训,从而实现实验室开放共享的全过程辅导和管理。实践证实,该模式有助于提升使用者的学习效果,提升其开展设计性、综合性实验的能力。

长链非编码RNA编码小肽的生物医学意义及研究策略

长链非编码RNA(lncRNA)通常认为不具有蛋白质编码能力,广泛参与细胞增殖、信号转导等生命过程。但近年来研究表明,部分lncRNA的短开放阅读框(sORF)可编码具有生物活性的短于100个氨基酸的小肽,在钙离子稳态、胚胎发育等生命活动及恶性肿瘤的发生发展中发挥作用,是潜在的药物靶点和癌症生物标志物。目前大多采用生物信息学工具预测可编码的sORF、核糖体图谱筛选潜在编码的lncRNA、体外翻译初步检测lncRNA的编码能力、质谱鉴定潜在翻译的小肽、特异性抗体及表位标签验证小肽的内源性表达等。本文介绍了近年来鉴定的lncRNA编码小肽的生理功能、病理作用以及预测lncRNA编码潜力的研究策略。

法国研究软件开放共享的政策分析及实践案例

自2021年起,法国相继出台新的开放政府政策、开放科学政策和开放数据政策,这些政策均将开放软件和源代码作为重点领域,对其进行介绍和系统分析可为中国优化开放科学政策提供借鉴和参考。采用网络调查和文献分析的方法,以法国研究软件的开放共享为主线,介绍相关政策的主要目标和关键举措,以及实践进展,进而提炼对中国有益的启示。在“软件与数据并重”的全球开放科学运动时代,法国作为科技强国和开放科学实践领先国家,其研究软件开放共享已走在世界前列,在推动数据与软件统一开放、建设面向软件的开放科学基础设施和促进国际合作方面值得中国学习和借鉴。

基于规则的高风险动态类型代码检测研究

近年来,Python的应用呈爆炸式增长。虽然Python的动态类型特性为开发人员提供了强大的编程抽象能力,但同样也导致代码库中聚集了与类型相关的缺陷。为了减少软件代码中的类型缺陷,文中分析并检测了6种可能导致类型缺陷的高风险动态类型代码。首先,形式化地描述了每种类型的高风险动态类型代码的规则;然后,提出了一种基于规则的高风险动态类型代码检测技术;最后,对25个Python开源软件项目(总规模超过945kLOC)展开了实验评估。结果表明,高风险动态类型代码在开源软件项目中广泛存在,尤其是单个Python函数中可能存在多处变量类型不一致的代码,而基于规则的检测技术在Python软件项目中具有较高的准确率和较好的性能表现。针对高风险动态类型代码的检测技术及实验结论,将为动态类型特性的良性发展以及软件项目的质量保障提供有力的参考和支持。

TensorFlow开源软件社区中贡献修订的实证研究

人工智能(artificial intelligence, AI)的飞速发展得益于开源社区的开放协同,大量的开发者通过提交PR(pull-request)为AI开源软件做贡献.然而,外部贡献者所提交的PR质量参差不齐,开源项目管理团队需要对PR进行代码审查,并要求贡献者根据审查意见对PR进行修订. PR的修订过程对AI开源软件的质量有着重要的影响,因此对该过程进行更加全面、深入的实证研究很有必要.首先,从TensorFlow开源软件社区中收集一组PR的修订历史,通过对PR的代码提交信息以及审查评论进行定性分析,归纳总结PR修订类型的分类体系.其次,根据此分类体系人工标注一组修订数据集,并基于此数据集定量分析不同修订类型的频率分布、次序分布以及关联关系.研究结果表明:TensorFlow开源社区中的PR存在3大类共11种不同类型的修订,其中完善类修订出现的频率最高;此外,相比于其他类修订和完善类修订,修正类修订更常发生在PR的早期更新中;与结构相关的修订更有可能与其他类型的修订同现或邻现,配置修订以及变基修订有较大概率会接连出现.实证研究结果可帮助AI开源实践者和研究者更好地理解PR的修订过程,特别是有助于引导PR的审查和修订行为、提高开源群体协同效率.

一种开源代码缺陷识别系统的实现

近年来,软件开发中使用开源软件的比例越来越高,开源代码引起的一系列软件安全问题不容忽视。安全开发管控最重要的手段就是对源代码进行静态分析,当前的源代码静态分析技术主要包括语法分析、语义分析、数据流分析及控制流分析等,此类静态分析技术主要是针对缺陷类型构建分析模型,并不考虑开源代码漏洞问题。通过从开放漏洞数据库中抽取所有可用的漏洞记录,并从开源项目所在开源代码库中收集易受攻击的代码建立开源缺陷代码库,挖掘代码缺陷库中的缺陷匹配信息,并通过应用实例证明这是一种有效的源代码安全漏洞挖掘技术,具有较高的缺陷搜索匹配速度和准确性。