我国合宪性审查的新发展与远景展望

随着我国法制建设的不断推进,合宪性审查的重要性也愈发显著。新《立法法》首次将“合宪性问题”写进法律条文,明确了合宪性审查的对象包括法律。新《立法法》中的“存在合宪性问题”与“不抵触”原则同属于合宪性审查的范畴,二者的区别仅在于规范之于宪法的违反程度。合宪性审查在立法上取得了重大突破,展望发展,应当明确法律的事后审查相关规定,完善与应用合宪的附带性审查和合宪性审查结果的溯及力理论以及确立合宪性审查位阶的优先地位。

人工智能文生图的权利属性与归属问题研究

目的:人工智能绘画技术飞速发展,以人工智能文生图为代表的AI绘画技术,让没有经过专业训练的普通人也有机会创作出心仪的画作。文章围绕著作权理论和司法案例,研究人工智能文生图是否具有著作权以及权利归属问题。方法:文章运用案例分析法,以我国首例人工智能文生图侵权案为切入点,并结合其他司法案例,研究文生图是否属于著作权客体。通过将案例分析与实证分析、学理研究相结合的方法,考察VEED.IO、DALL·E等人工智能文生图模型的技术特征,结合我国著作权法相关规定以及学者的理论研究成果,研究人工智能文生图是否具有著作权以及权利归属问题。结果:人工智能文生图并不必然被视为美术作品,用户输入少量概括性的提示词时,文生图不能体现智力创作;只有用户提供足够多的提示词能够决定文生图的基本样貌时,才可以被视为美术作品。从立法目的、“社会化”程度、技术局限性和现行法律规定四个维度看,人工智能模型不能成为著作权主体;人工智能模型开发者缺乏独创性,也不能成为著作权主体;用户只有在文生图满足成为著作权客体条件时,才享有著作权。结论:只有当提示词能够决定文生图的基本样貌时,人工智能文生图才能成为著作权客体,此时的著作权主体是用户。

浅谈聚众淫乱罪的定罪与量刑——以林孟、张弛聚众淫乱案为例

聚众淫乱罪通常指的是在首要分子的组织、策划或者指挥下,多人聚集在一起进行淫乱活动。“淫乱”行为应当限缩解释,一人与不同对象发生有间断的“车轮战”式性行为不属于聚众淫乱;空间上有阻隔且无追求聚众淫乱的性刺激,也不应当认为是犯罪行为。首要分子是组织、策划、指使聚众淫乱罪的人,应当客观公正的评价其行为是否属于上述要件。在法理上,本罪不具有谅解的理论基础。

军队院校建筑智能化技术课程科研反哺教学探索与实践

近年来智慧军营、智慧人防等军队智能建筑领域蓬勃发展,亟需将上述领域的科研成果融入到教学中、转化成人才培养驱动力,解决建筑智能化技术课程内容陈旧、教学方法效果欠佳等问题。为此,该文以军队智能建筑创新能力培养为目标,将军队智能建筑科研过程中产生的关键技术、科学问题、工程案例、科研成果等要素融入教学过程中,构建理论性、实践性与创新性相结合的课程知识体系,探索问题探究式理论教学与任务驱动式实践教学方法,实践多维度、全过程课程考核模式,探索“显性+隐性”相结合的课程思政育人模式,形成新的课程创新与实践体系。实践检验证明,该体系能够有效提升军队院校建筑智能化技术课程的教学质量。

军队院校军事科研反哺教学的路径探索与实践——以国防工程信息管理专业为例

在新时代军事教育方针的引领下,必须加强军队院校教学与科研的有机结合,把军事科研成果融入教学的全过程。为此,文章以国防工程信息管理专业为例,系统分析了军队院校专业课程教学中存在的不足,提出以“军事科研反哺教学”的思路开展专业课程教学改革,围绕“教员能力培养提升、教学内容和方法创新、实践创新体系构建”三个维度提出了科研反哺教学的具体实施途径,提出将军事科研过程中产生的关键技术、科学问题、工程案例、科研精神等要素融入教学实践的全过程,形成具有鲜明特色的军队院校军事科研反哺教学改革思路和举措。实践证明,该方法体系能够促进国防工程信息管理专业科研反哺教学的落地,有效提升专业课程教学的质量。

实战化教学导向下军队院校防抗专业复合型教师队伍建设

教师队伍建设是军队院校落实为战育人培养要求的重要举措。文章以实战化教学为导向,对军队院校防抗专业教师专业素质要求进行研究分析,提出“学、跟、训、研、练、考”多措并举、交叉融合的教师培养机制,为防抗专业开展实战化教学与培养高素质军事人才建设复合型教师队伍。

新《立法法》视域下合宪性审查探究

新《立法法》多处涉及合宪性审查制度,丰富了合宪性审查的理论内涵,使其具备了审查主体特殊、审查对象广泛、审查内容全面的特征。基于这些特征以及宪法监督、备案审查的自身特点,可以证得合宪性审查是宪法监督的具体措施;合宪性审查与备案审查呈双线并行之状,二者相互独立又相互交融;宪法监督与合宪性审查、备案审查是总体和部分、目标与手段的关系。

软件自适应:基于控制理论的方法

软件自适应是软件系统为应对外部环境、用户需求和系统自身的频繁变化而进行自我调整的一种能力,是近年来软件工程领域研究的热点.由于基于"感知-决策-调整"的软件自适应环与基于"感知-规划-动作"的控制环有着天然的相似性,采用控制理论作为手段来研究软件自适应问题已成为一种重要风范.该文对基于控制理论的软件自适应研究工作进行了综述.首先,阐释并定义了软件自适应的概念内涵;其次,讨论了基于控制理论的软件自适应基本思想、代表性研究工作;第三,在给出综述方法和过程的基础上,建立了综述分类框架;而后,结合分类框架分别从控制工程视角和软件工程视角,即控制结构、概念框架、理论基础、开发方法、评价验证等方面对研究现状进行了详细讨论和比较.最后,分析了当前研究所存在的不足并展望了未来的研究趋势.

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.

面向软件模糊自适应的UML用例扩展

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法———Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入新的构造型和标记值,建立了Fuzzy Case的一般模型;同时定义了Fuzzy Case的语法结构,并用对象约束语言(OCL)定义了其语义描述,形成了完整的SFSA建模设施。实例验证表明,与传统方法相比,Fuzzy Case能更清晰地表达SFSA的结构,准确定义软件的内部语义,建模过程更加简单方便,能有效提高SFSA的开发效率。

自适应软件动态过程时间特性建模与验证方法

现有自适应软件建模与验证方法较少考虑时间约束,然而,在时间攸关应用领域,自适应软件能否正确运行,不仅要考虑自适应逻辑的正确性,还要考虑自适应软件动态过程的时间特性。为此,首先显式定义了自适应软件的时间特性(监控周期、延迟触发时间、自适应过程截止时间、自适应调节时间和稳定时间等);然后,构造了一种基于时间自动机网络(TAN)的自适应软件动态过程时间特性建模模板;最后,将自适应软件时间特性描述为定时计算树逻辑(TCTL)的形式,并对时间特性进行了形式化分析和验证。结合具体案例验证了该自适应软件时间特性建模和验证方法,结果表明该方法能够显式刻画自适应软件时间特性,降低其形式化建模的难度。

面向软件模糊自适应的语音式任务目标识别与结构化转换

已有语音识别方法将用户用英文语音表达的任务目标直接施加到模糊自适应环中,采取直接将识别结果匹配规则前件的方法,限制了系统的识别能力。为此,提出一种语音式任务目标的结构化转换方法。对于语音式任务目标进行句法分析和关键成分提取,对关键成分进行语义关联拓展,建立与任务目标等价的语义关联集合,基于集合完成面向模糊规则前件的结构化转换。通过搭建任务机器人实验系统,验证了该方法具有较好的语音式任务目标识别能力。

BPEL过程一致性度量

服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定性回答,要么是从控制流层面数量化地度量一致性,导致度量结果不符合用户的预期评判。因此,采用活动间的行为约束作为度量基础,以事件日志中活动的发生概率为权重,一种数值化地度量BPEL过程行为一致性的方法被提出,并且实现了计算一致性的软件工具。通过对6组BPEL过程进行分析,验证了该方法的可行性和有效性,且度量结果符合用户的预期。

基于改进朴素贝叶斯的入侵检测方法

工业控制系统的网络安全问题越来越严峻,遭到的入侵威胁也越来越复杂。伴随着网络的开放性、复杂性不断增强,入侵威胁正在不断加深。为了抵御愈趋复杂和多样的入侵威胁,需要设计高效的入侵检测方法。朴素贝叶斯分类算法是一种有效而简洁的分类算法,能较好地应用于工业控制系统网络的入侵检测。但是它的属性独立性假设使得该方法无法表示属性变量之间存在的关系,影响了它的分类效果。针对该缺陷,借鉴前人的经验,提出了一种改进综合加权系数的朴素贝叶斯分类算法(Compositive Weighted Naive Bayes Classification,CWNBC)。该算法既考虑了不同属性取值对分类结果的影响,又考虑了属性值的内容对分类的影响,巧妙地引入了综合加权系数。将该算法与其他几种算法比较,经实验表明,该分类算法有较高的分类准确率,能更好地适用于比较复杂的工业控制系统网络的入侵检测。

设备自动巡检控制逻辑的层级时间自动机建模与验证

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。

基于连续图像深度学习的Wi-Fi人体行为识别方法

针对基于深度学习的Wi-Fi人体行为识别技术存在抗噪声能力弱、信号尺寸不兼容和特征提取不充分等问题,提出了一种基于连续图像深度学习的识别方法。首先把时变Wi-Fi信号重构为若干个连续图像帧,确保输入尺寸一致;进而设计低秩分解算法,对噪声湮没的关键运动信息进行分离;同时提出一种时间域和空间域信息融合的深度模型,自动捕捉变长图像序列的时空域特征,并在WiAR数据集和自主采集数据集上对所提方法进行验证。实验结果表明,所提方法平均识别精度分别为0.94和0.96,具备普适场景下的高精度和稳健性。

基于控制理论的工业控制系统入侵防御方法

工业控制系统随时都面临遭到攻击的风险,为了保障其安全可靠的运行,文章在前人提出的入侵防御系统的基础上做出了改进,简化了原本的防御逻辑流程,提高了入侵防御的效率,并以时间为自适应目标,突出了时间在工业控制系统中的重要性,提出了一种基于控制理论的工业控制系统入侵防御方法。然后用UPPAAL对其建模,分别验证了其安全性、可达性、活性,充分证明了该基于控制理论的工业控制网络入侵防御系统是高效可行的。

军校专业课对分课堂模式理论探究与实践应用——以工程伪装与防护课程为例

对分课堂教学模式提倡教与学在课堂上的结合,对促进学生综合能力的培养具有正面作用。文章以军校专业课工程伪装与防护课程为例,在对对分课堂理论与应用分析的基础上,利用对分课堂相关理论研究作为指导,研究设计了对分课堂教学模式下的教学内容、教学组织,并通过教学实践对该教学模式进行了检验。阶段性实践结果表明,通过对分课堂教学模式能够有效提升学生的课堂积极性,帮助学生高效掌握课程知识,提高学生的知识归纳总结与解决问题能力。

研究生“数字信号处理”课程改革研究

该文针对我校研究生“数字信号处理”课程在教学实践中存在的问题,结合课程内容特点、教学对象特点和教学活动特点,以人才培养和能力养成为主要目标,从课程优化设置、教材建设两个方面提出了具体改革举措,为课程教学效果提升提供了可行的解决方案。

“数字信号处理”课程的教学改革

文章首先分析了“数字信号处理”课程的教学现状,然后论述了“数字信号处理”课程的教学改革,包括研究多媒体课件与板书的最佳结合、充分利用MATLAB作为教学辅助工具、加强实践环节、设计拓展型作业和开放性作业、设置灵活的成绩考核方式。