MEISRDL静态图模型的一致性检查方法

复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN（D）描述MEISRDL静态图图元,实现半形式化的MEISRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明：该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.     

基于数据挖掘的数学课程辅助教学系统设计

为解决传统教学系统资源调度效率偏低的问题,提出基于数据挖掘的数学课程辅助教学系统。首先,设计数学课程辅助资源管理模块,为教师与学生提供对应的课程资源信息;其次,采用模糊关联特征匹配方法设计系统资源调度功能,提高资源调度的质量与效率;最后,利用数据挖掘技术设计数学课程教学数据库,存储各项教学信息与资源。通过系统测试可知,该教学系统的准确率较高,优于传统系统。     

基于大数据的思政课程线上教学资源推荐系统设计

为提高资源推荐系统的运行性能,为用户提供更高品质的教学资源推荐服务,应用大数据技术设计思政课程线上教学资源推荐系统。硬件部分研究了数据库服务器选型及底层物理主机选型,软件部分分析了线上教学资源读取与检索及基于用户行为偏好的教学资源推荐。实验结果表明,设计的推荐系统运行性能更强,且用户对推荐结果的偏好度更高,有利于提升教学资源推荐服务水平。     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

基于模糊UML的装备保障知识建模方法

装备保障业务需求建模是装备保障信息系统研发的重要环节,准确描述业务概念和关系是获取高质量需求分析产品的重要前提。然而,该业务领域中用户目标、业务效果等核心要素常包含模糊或不确定信息,容易引发系统研发各方的需求理解偏差,从而给系统后期的设计、开发带来巨大隐患。针对上述问题,首先从装备保障领域知识建模出发,挖掘本领域核心知识,构成装备保障领域知识本体,在此基础上借助UML建模语言MOF层扩展机制,引入模糊评估属性和建模元素,进而形成一种可用于该领域信息系统业务建模分析的领域特定建模语言。该建模语言对领域内存在的明确和模糊需求信息同样具有良好的表达能力,便于系统研发各方在信息系统需求分析阶段达成共识,进而为准确捕捉装备保障业务需求提供技术支持。     

基于MATLAB的发夹型滤波器设计

随着无线微波通信技术的迅速发展,滤波器作为具有选频功能的无源器件,它的设计与性能直接关系着整个通讯系统和射频链路的指标,因此,对滤波器的性能要求也变得越来越高。基于MATLAB与HFSS结合,使用MATLAB实现有关发夹型滤波器的相关初始设计条件,然后调用HFSS设计1款中心频率为5GHz,相对1dB带宽500MHz、带内纹波≤0.1dB的发夹型滤波器。     

单点登录技术在军事信息系统中的应用研究

随着军队信息化工作的进行,越来越多的军事信息系统被开发出来,如何更好地管理各个系统的用户和权限已成为一个重要的研究课题.单点登录技术可以实现一次登录,访问所有授权的系统.在分析了军事信息系统的现状和现有单点登录技术的特点基础上,得出了适合于军事信息系统的单点登录技术.针对某军事信息系统,总结其单点登录需求,给出了总体方案和系统组成,设计了权限管理、用户身份映射等关键模块,并给出了具体实现方法.实践表明,单点登录技术的应用将会大大提高工作效率,促进信息化工作的进行.     

半连续函数的rp-凸性

在半连续前提下,给出rp-凸函数不等式刻划,进而给出凸函数的一个与上半连续性相结合的等价定义.