Inductive semimodules and the vector modules over them

The notion of an inductive semimodule over an ordered *-semiring is introduced and some related properties are investigated. Inductive semimodules are extensions of several important algebraic structures such as Kleene modules, Kleene algebras and inductive *-semirings. We prove that an inductive semimodule over an ordered *-semiring K is a Kleene module if and only if K is a Kleene algebra. Moreover, we establish that the vector module of an inductive semimodule over an ordered Conway semiring is again an inductive semimodule over the matrix semiring. Consequently, in an inductive semimodule over an ordered Conway semiring, least solutions to linear inequation systems can be denoted by linear expressions, avoiding the least fixed point operator. In addition, we also introduce a related notion called weak inductive semimodules, and propose several open problems on them.

宽频介电谱仪热激励去极化电流功能研究

利用宽频介电谱仪拓展热激励去极化电流模块测量介质材料的TSDC操作简单实用,它不仅容易把材料中的各种不同活化能或弛豫时间的荷电粒子区分开,并且能从TSDC谱中直接得出被测材料的介电性能以及相关微观参数,这为研究材料内部机理提供了一条捷径。     

基于多协议网关的短信增值业务系统的研究与设计

在竞争激烈的移动增值业务领域中，业务提供商为了快速占领市场，一套稳定的和有效的业务运行系统是不可缺少的。根据国内各大电信运营商的短信网关接口协议的特点，设计出一套能够支持不同短信网关接口协议的短消息增值业务系统模型，并对该模型的系统架构和优越性进行分析。     

开关电源模块的几种典型应用

本文中给出了开关电源模块几种典型应用电路，并简单介绍了它们的工作原理。     

适用于Living PSA的故障树求解方法

Living PSA是当前核电厂的安全分析与评价中最热点的问题之一，Living PSA实现中最为根本而又关键的问题是“速度”问题：在现有PSA方法的基础上，根据Living PSA的特性，设计了一种适用于Living PSA的故障树求解方法，即独立模块排序求解法，并通过例子详细地说明了该方法实现过程：这个方法除了能快速地求解故障树以外，当故障树结构或故障树中部件可靠性模型或数据发生变化时能实时地求解故障树。     

基于固定参数轨道的动态精密解算精度

为了验证动态精密解算在地震等连续运动平台中的应用效果,使用采样率为1 Hz的双频GPS接收机,并利用参数已知的轨道进行了动态模拟实验.以地震模拟动态平台进行实验,并利用GAMIT软件中的Track模块进行实验分析,通过对GPS数据的精密处理及对不同距离基准站数据的分析,得到了运动轨道图.结果表明:Track模块可使测量点的水平和垂直方向解算精度达到毫米级,说明此种解算方法适合在实际动态测量中进行应用,可以用来反演在地震发生时的地表动态变化情况.     

钼铁矿自动化计量机械系统改进设计与应用

针对原有大颗粒、高比重钼铁矿计量机械部分由于设计缺陷导致的各称重传感器受力不均衡、精度不高、称重偏差较大、自动化程度相对较低等问题,结合生产工艺条件,综合利用静态称重的低成本、高精度与动态称重的高效率优点,对称体结构进行优化设计。节约了成本,降低了操作人员的劳动强度,提高了生产效率,满足了生产需求。     

利用图模型存储算法依赖关系的方法

在大数据时代,用于数据处理的算法数量呈爆发式增长,当前对大量算法的管理方法通常是对算法分类、打标签或以任务为单位存储由算法构成的流程,对任务集合中的算法间拓扑关系未能给予足够的重视.随着领域知识与任务流程的积累,算法间的依赖关系愈发重要.本文基于巨量算法管理的需求,提出了拆分有分支依赖关系为无分支依赖关系的管理方法,通过免索引邻接图数据库的指针搜寻拓扑关系,避免Join操作,在管理算法依赖关系时具有先天优势.另外为突出算法模块复用能力,提出“连接点”的概念,在图模型中用节点表示依赖关系边,区分算法模块在不同任务流程的位置,使被多个任务复用的算法模块在图中只需用一个算法模块节点表示.最后,基于具体项目验证了本文提出的算法关系管理方法,证明本文算法关系管理方法在算法数量成规模且算法模块高复用的场景下具有明显优势.     

基于改进YOWO算法的学生课堂行为识别

当前,大部分的学生课堂行为识别工作主要基于单帧图像进行,忽略了行为的连贯性,因此不能充分利用视频信息来对学生的课堂行为进行准确刻画.所以,本文提出一种改进的YOWO算法模型,有效利用视频信息对学生课堂行为进行识别.首先,本文采集某高校真实课堂教学中的授课录像,制作出包含5类学生课堂行为的AVA格式视频数据集;其次,采用时移模块TSM (temporal shift module),用来增强模型获取时间上下文信息的能力;最后,采用非局部操作模块non-local来提高模型提取关键位置信息的能力.实验结果表明,通过对YOWO模型的优化,使得网络的识别性能更佳.在学生课堂行为数据集上,改进后的算法的mAP值为95.7%,相较于原YOWO算法在mAP值上提高了4.6%;模型参数量为81.97×10⁶,计算量为22.6 GFLOPs,参数量和计算量分别降低32.3%和9.6%;检测速度为24.03 f/s,提升了约3 f/s.     

网上招聘系统的设计与开发

运用软件工程的开发原理开发了网上招聘系统,描述了系统的整体结构、用例设计和模块设计。企业工作人员通过这个招聘系统可以统计整理应聘者的简历,并提取出需要面试的人员。提高了企业的工作效率,同时及时招聘到满意的人才