基于JupyterHub的Python教学平台的建设

随着大数据和人工智能的兴起,Python编程也得到了快速的发展。目前的Python学习开发环境,以基于Web的Jupyter Notebook为主。通过介绍基于JupyterHub来建设统一Python学习平台的方法,为学生提供统一的开发环境。针对JupyterHub进行扩展,使得平台在第三方用户管理和作业布置方面得到强化。通过为学生提供统一的编程和测试平台,可以提高教学质量与学生的学习效率。

工作流可满足性的约简增量模式回溯法

在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提出新颖的简指派图概念,证明其可取代k指派图用于模式授权匹配验证,且尽管其块邻域大小耦合了图的整体信息,但仍可以增量方式计算。进而,分析了增量化简指派的实施条件和效果,及其主要影响因素。由此建立了约简增量模式回溯法(Reduced Incremental Pattern Backtracking, RIPB)。在资源配比为2~100的两个仿真实例集上测试,实验结果表明:在其基本子集上,RIPB较IPB有0.96~1.24倍时间性能优势;当资源比例升高或约束密度降低时,RIPB的优势有不同程度扩大;特别地,对资源配比为10而授权比例在1/2左右的两个子集,RIPB的平均优势分别可达1.29和1.61倍。

资源独立工作流可满足性的最小增量模式回溯

工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及其(左完备)匹配,分别需要O(kn)和O(k^(2))时间.利用父子模式的原子差异增量计算完全指派图,只需O(n)时间,特别是其实际性能,将随模式块规模增长迅速提高.但该图的O(kn)规模导致了同样的增量匹配时间.进而引入完备k核心匹配概念,证明其存在性等价于左完备匹配,且其增量计算时间为O(k^(2)).由此,建立了时间复杂度更低的最小增量模式回溯法.在含互斥和两种全局值势约束而授权比例约为1/4的扩展公开实例集上进行实验,结果表明:当n/k=10(及n/k=100),而k变化时,该方法较IPB有平均超过2(及5)倍、最低1.5(及2.9)倍的性能优势;当k=18(及k=36),而n/k=2~4096(及n/k=2~2048)时,该方法有平均超过2.6(及3.6)倍优势;而较2021年Minizinc挑战赛的冠军求解器Google OR-Tools CP-SAT,该方法最低有超过3倍优势.

业务过程协同模式的研究

在对协同业务过程进行分析的基础上,总结了多个业务过程在进行协同时的45种协同模式。首先针对双边的交互和协同,总结了7种基本协同模式。在此基础上,研究了几种常见的扩展模式,包括回执、授权撤销、多边协同等,并总结了38种扩展模式。给出了这些基本模式和扩展模式的一些基本应用场景。使用Petri网,给出了这些协同模式的形式化表示。

化学镀非晶态Ni-P镀层孔隙率及其结构研究

运用化学镀技术在碳钢表面沉积了非晶态NiP镀层。系统研究了镀液周期对各项参数的影响,镀液使用寿命可达6个周期。优化了施镀工艺,分析了稳定剂对镀层孔隙率的影响,稳定剂加入量质量分数为原镀液体系1.5倍时孔隙率提高一个等级。得出厚度与孔隙率间关系,确定了镀层厚度为40 m时可改善镀层在海水中的防腐性能。应用X射线衍射仪(XRD)及扫描电镜(SEM)分析了其相结构、元素分布。镀层结构均匀,致密,为典型的非晶态结构。

非晶态化学镀镍磷合金稳定剂研究

研究了化学镀镍溶液中稳定剂对镀液稳定性、沉积速度的影响 ,并对镀层的磷含量及耐腐蚀性能进行了测试。在原有镀液体系基础上找到了一种较理想的复配稳定剂 M9。研究表明 :稳定剂M9的适量加入提高了镀液的稳定性 ,延长了镀液的使用寿命 ,而对沉积速度与镀层磷含量影响不大 ,所得镀层均为非晶态结构。

基于Web Service的WebGIS系统的研究

WebGIS作为网络技术和GIS技术的结合点,在近几年得到了飞速的发展和应用。WebService的出现,彻底改变了在Web上进行软件设计的方法,也引起了WebGIS实现体系的变革。该文详细阐述了WebService的理论和体系以及利用WebService技术提供地理服务的方式,对国内外采用WebService技术的研究进行了总结,给出了利用WebService实现WebGIS的总体框架。

基于域的综合访问控制模型

首先分析了企业实施产品全生命周期管理对于访问控制方面的需求,然后按照层次化的方式分析了访问控制模型的特点,将访问控制模型分为访问检查、授权和管理3个方面,分析了现有访问控制模型在支持这些需求方面的不足。在此基础上,提出了基于域的综合访问控制模型。该模型能够支持基于用户、基于角色和基于任务的多种主体授权方式,以及基于类型、基于实例化对象、基于属性和基于对象生命周期的多种客体授权方式。通过在国产产品全生命周期软件系统中的实际应用,证明了该模型能够较好地满足产品全生命周期系统中访问控制的特定需求。

高原环境对装甲车辆动力系统性能影响机理研究

本文以理论分析为基础,结合典型装甲车辆高原使用环境试验数据,从动力及经济性、冷却效能和起动性能三方面,探索了高原环境对装甲车辆动力系统性能的影响机理,对开展装甲车辆高原环境适应性试验和分析解决动力系统暴露的问题具有指导作用。

MOOC与SPOC学生学习行为对比分析——以“计算机基础”课程为例

随着互联网技术的发展,出现了MOOC、SPOC等多种新型的"互联网+教育"的教育形式。这些新的教育形式对教师在教学内容、教学手段、教学效果评估等方面都有着重大的影响。本文以UOOC联盟平台上的"计算机基础"为例,收集了不同MOOC和SPOC班级学生访问网站的日志数据,通过这些日志数据分析出这些班级学生的学习行为。经过对比发现,有教师线下授课的SPOC班级学生的学习情况大大优于无教师线下辅导授课的MOOC班级,并且MOOC班级与SPOC班级的学生呈现出了不同的学习分布情况。本文的分析方法和结论对于探索更合理的MOOC/SPOC教学方法有着积极作用。

本科大数据公选课程群的实践与分析

大数据时代,再次掀起了技术推动社会进步的浪潮。目前,大部分大数据课程群都是面向计算机、数学、大数据等专业开设的。针对本科大数据公选课程群,提出将核心课程组成一个完整的大数据体系,向学生全面介绍大数据、云计算、人工智能等领域的核心技术与概念,并以金融领域、文本信息处理应用领域为基础,培养学生使用大数据分析的能力和挖掘方法,通过分析公选课程群的开设情况及学生评价,提出了后续需要改进的方面。

图像数据采集及智能识别技术研究

作战试验是当前部队工作的研究重点,其在数据采集、数据处理及数据识别过程中会产生大量的音视频文件及图片。对这些图像数据的分析结果表明,存在某些图片不清晰、视频数据采集不方便、数据识别结果不准确等问题。因此,为进行作战试验领域的深入研究,对这一过程中所用到的数据采集技术和数据处理识别技术进行探究和改进,从拍摄设备选型和数据采集指导两个方面对数据采集进行分析,提出了图像转化、图像二值化、图像平滑去噪、图像分割和图像边缘检测等主要图像预处理操作,并采用YOLO算法和SSD算法分别建立图像识别模型,通过对采集图像的试验获得了相关实验结果,所提方法有助于指导作战试验工作的开展,提升试验鉴定数据处理及分析能力,增强数据管理控制效能,以至极大拓展数据的利用率,提高作战工作的效率和准确度。

《算法设计与分析》课程教学方法探讨

《算法设计与分析》是计算机类专业的专业基础课,是一门处于计算机科学与技术学科核心地位的教育课程。本文从教材选择、课堂教学、实践教学等方面探讨有效教学的方法。

化学镀Ni-P复合覆层设计与耐蚀性能研究

针对海水介质对机件耐蚀性能要求较高的特点,对比试验了3种化学镀复合覆层方案,即:镀层+铬酸盐封闭、镀层+有机封孔剂处理和双镍层复合覆层。优化了双镍层中的高磷镀镍层与中磷镀镍层的厚度匹配。研究表明:3种复合覆层方案有效地降低了镀层孔隙率,提高了镀层耐腐蚀性能。

基于OpenGIS WMS的空间信息搜索引擎系统原型

面向在线空间信息的搜索引擎是空间信息共享和互操作领域一个新的研究内容 ,为了帮助用户能够自动地找到感兴趣的空间信息 ,提出了一种遵循 Open GIS WMS规范构建的空间信息搜索引擎系统原型 ,并详细介绍了研究背景、设计方案、系统实现以及性能测试结论。实践证明 ,该搜索引擎不仅能自动地搜索互联网上的 WMS服务器 ,并能不断更新和维护相关的 WMS信息数据库 。

高原环境对车用柴油机的影响分析及对策

总结了高原地区环境特点,全面深入分析了高原环境对车用柴油机的影响。通过特种车辆高原适应性分析,发现加速特性和爬坡性能是制约车辆高原适应性好坏的最主要因素。特别针对柴油机的加速特性和扭矩特性曲线进行研究,并提出了相关技术措施,为研究进一步提高柴油机高原环境适应性提供了思路。

任务状态敏感的访问控制模型及其有色网仿真

针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.

互斥约束工作流可满足性决策的匹配剪枝模式回溯法

针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势。

工作流可满足性(≠)计数的固定参数线性算法

工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS(≠)决策,现有的最低时间复杂度为O~*(2^(|S|)(|C|+|U|~2))(S,C,U分别为步骤集、约束集、用户集).然而,仅WS(≠)有解时,工作流授权规划未必合理,对资源异常可能缺乏鲁棒性.若能统计所有解的个数,不仅可判定WS(≠)有解与否,还能为授权规划提供重要的参考,相应的问题称为WS(≠)计数.该文提出WS(≠)计数问题,并根据Bjorclund关于集合划分权重和的结果证明其时间复杂度为O~*(2^(|S|)|U|),即其以|S|为固定参数,关于|U|线性时间可解,由此降低了当前的WS(≠)判定时间复杂度.进而,该文提出了一种快速的动态规划递推式,并全面优化Bjorclund方法的空间利用方式,使该文算法的实际性能随之提高,而O~*时间复杂度不变.随机合成数据集上的实验表明,该文最终的计数算法相对前述决策算法,执行时间平均降低了93%,峰值空间平均降低了87%,而求解规模提高了44%.