财经类计算机通识课程团队建设与实践——以数据库技术与应用课程为例

在人工智能及大数据技术的快速发展背景下,复合型“新财经”人才培养对财经院校计算机通识课程提出新的要求和挑战。如何有针对性地开展有效的教学改革,为各专业人才培养提供充分保障,是计算机通识课程团队普遍面临的问题。基于此,以数据库技术与应用课程团队多年来的建设实践为例,对计算机通识课程团队建设中围绕师资队伍、课程教学内容、教学技术及方法、课程评价方式等方面开展的教学改革及实践进行具体讨论。

无冲突Petri网系统活标识判定的结构化方法

为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML格式文件,系统能够导入和导出基于PNML(PetriNetMarkupLanguage)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(PetriNetsbasedAgentsEnvironment) .

无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。

多主体行为冲突的Petri网方法研究

将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petri网系统运行时的一个死标识对应多主体系统的一个冲突,特别是资源冲突。

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.

多主体计划的Petri网方法及其研究

利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Pefir网系统进行描述,进而得到多主体系统相应的有界层次Petri网系统。利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合,对可行可达动作序列及其中动作间关系确定得到多主体系统的计划。

中德比较视野下保险业反垄断豁免制度

文章通过比较中德反垄断法豁免的不同规定,在总结德国保险业豁免立法沿革和制度特征的基础上,就我国对保险业反垄断法豁免予以特别规定这一问题进行分析,并结合我国实际对建立保险业反垄断豁免制度提出了建议。

环境税征收可行性的博弈论分析

简要论述了环境保护的迫切性,利用博弈论的方法论述了对企业征收环境税的必要性,并进一步对环境税的不同利益主体之间的利益博弈进行分析,各利益主体之间虽然具有利益冲突,但均可通过合理方式进行协调和目标一致。

财经专业计算机类课程思政实施策略探究

作为立德树人和提升高等学校人才培养质量的重要途径,课程思政在高校正得到逐步的深入及开展,如何有效组织与开展课程思政也成为当前课程思政相关研究的热点问题。该文通过对课程思政当前开展过程中遇到的问题及挑战进行了整体分析,尤其财经专业计算机类通识课程的课程思政,分别对课程思政建设的组织与激励、教师开展课程思政的意识和教学能力的提升、课程思政评价体系等方面问题进行了具体而深入的分析,并提出具体的求解策略,同时以《数据库技术及应用》课程为例对相关的策略进行举例说明,对财经专业计算机通识课程的课程思政的有效建设与实施进行了有益的探讨。

一种超高压水射流切割机的探究

超高压水射流切割机是冷加工行业的重要装备之一。根据超高压水射流切割机的性能要求,介绍了超高压水射流切割机的工作原理,阐述了其硬件组成以及数控软件的建构。该切割机具有性能稳定、操作简单的优点。

Petri网在传输协议中的应用

传输层[1](也称运输层),只存在于端开放系统中,是介于第三层通信子网系统和高三层之间的很重要的一层。传输层协议在网络协议中处于非常重要的地位,对于不同的状态给出相应的网模型来进行进一步的研究具有很重要的意义。

竞争倡导与竞争文化

竞争倡导通常被看作'软'监管,与法律规范的'硬'监管相对,也被视为优于法律规范监管的手段,因为监管意味着国家对市场的干预,其本身也可能扭曲甚至阻碍竞争。建设竞争文化成为竞争倡导的主要任务。本文将引入跨文化管理与组织行为学领域的研究,旨在回答竞争倡导是什么以及竞争文化须满足什么样的前提条件以实现竞争倡导的目标。文章的主要部分将重唤文化对人们行为的意义,并进而讨论能否以及如何建立并成功地实施特定的竞争文化,而其中竞争倡导又能扮演什么样的角色。

上海浦东空港物流园区物流需求量预测研究

本文结合浦东空港物流园区实际情况,运用灰色系统理论建立物流需求量的灰色预测模型——GM(1,1)模型,对浦东空港物流园区2008年至2012年的物流货运量进行预测。通过预测和检验得出浦东空港物流园区货运量的增长幅度,对于物流园区的物流货运量进行具体情况分析,对于现有物流园区的发展,今后物流园区的扩建,提供一定的借鉴方案。

基于原点速度反馈的推进轴系横向振动传递控制研究

螺旋桨脉动力诱导的轴系-壳体耦合振动是水下航行器低频振动声辐射的重要原因之一。针对推进轴系横向振动传递控制,提出一种基于原点速度反馈的主动艉支承控制方法。建立包含六自由度主动艉支承的螺旋桨-轴系-壳体耦合振动模型,考虑原点速度反馈策略,计算主动支承对推进轴系横向振动传递的控制效果。分析结果表明,将六自由度主动艉支承用于横向振动传递抑制,能够在0～200 Hz内有效降低系统固有振动幅值,而且与推力轴承处主动控制相结合,在重点模态频率处可取得更优的控制效果。

推进轴系橡胶艉轴承刚度等效研究

研究推进轴系橡胶艉轴承刚度等效方法,给出重力作用下的轴系艉轴承的等效支承位置及刚度。建立转轴-轴承非线性接触有限元模型,获得轴承表面压力和位移分布,然后采用单点、多点支承模型进行刚度等效。结果表明,单点支承等效可以较为准确地描述转轴位移,但转角不够准确;5点支承等效较单点支承等效具有更高的精度,可以较为准确地描述轴系变形,而且动刚度等效也能较准确地描述频响特性(微幅振动条件下),尤其对于低频区域(小于60 Hz),与转轴-轴承接触模型的计算结果几乎一致。