教学课程资源库 更多>>

关键词： 结构化   设计   道路桥梁  

摘要： 道路桥梁设计中运用结构化设计的手段,需要结合工程的自身特点和具体的施工情况,对于项目设计方案中存在的问题要不断完善和改进,不断提高其可靠性和针对性.结构化设计运用在道路桥梁工程中,彻底改变道路桥梁的设计模式.在道桥设计中运用结构化设计,对我国道路桥梁事业的发展起到了积极的推动作用.

关键词： 模糊系统   模型检测   时序逻辑   系统合成   博弈图  

摘要： 形式化验证是以数学理论为基础,来确保计算机软硬件系统的正确性和可靠性.经典的形式化验证是基于二值逻辑展开的,它并不能用于处理含有量化信息的系统验证问题.因此,量化形式化验证应运而生,为含有量化信息的系统验证提供了一种有效的验证方法,受到了学术界和工业界的重视.模糊系统的形式化验证是量化形式化验证中的一个重要研究方向.当前关于模糊系统的形式化验证方法的研究还处于起步阶段,自动化的模型检测技术和系统合成技术尚未得到深入研究.其主要原因是模糊逻辑的多样性和模糊系统的复杂性使得很难给出有效的形式化验证方法.本文的目的是解决模糊系统的验证问题,主要包括模糊系统的模型检测问题和模糊线性时序逻辑的系统合成问题,以及模糊开放系统的可达性验证问题.主要贡献如下:(1)提出了基于模糊系统的计算树逻辑的模型检测方法.引入了不确定型模糊Kripke结构作为模糊系统的模型.给出了模糊计算树逻辑的语法和语义,用于刻画该模型的分支时序性质.提出了基于不确定型模糊Kripke结构的模糊计算树逻辑的模型检测算法,使得该模型检测过程可以在对数多项式时间内完成.(2)研究了基于不确定型模糊Kripke结构的模糊计算树逻辑在公平语义下的模型检测问题.为确保模型检测是在不确定型模糊Kripke结构中的公平路径上进行验证,引入了基于不确定型模糊Kripke结构的模糊计算树逻辑的公平语义.给出了模糊计算树逻辑在公平语义上的模型检测方法.(3)为了解决模糊线性时序逻辑的可实现性验证问题,引入了模糊博弈,给出了在模糊博弈中任一参与人的获胜策略的构造方法.把模糊线性时序逻辑的系统合成问题归约为在模糊博弈中最优获胜策略的构造问题,分析了该归约方法的时间复杂性.(4)解决了模糊开放系统的可达性验证问题.引入了格值可达博弈图,作为模糊开放式系统模型.给出了两个参与人在格值可达博弈中的任意状态上获胜真值的计算方法,证明了两个参与人在任意状态上具有相同的获胜机会.把模糊开放系统的可达性验证问题转换为在格值可达博弈图中获胜真值的计算问题。

关键词： 工程能力培养   应用型本科人才   软件工程  

摘要： 针对软件工程专业的工程能力培养的模式进行了一些尝试性工作。提出了以真实项目开发为基础、以软件需求为导向、以问题求解为主线的工程能力培养新模式,利用该模式进行了项目驱动教学的实践。本文介绍了本次实践的背景、项目实验环境特点、项目实验情况和实验结果,并总结了实践中的一些经验。

关键词： 形式化   局部算法  

摘要： 形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法.本专题公开征文,共收到投稿18篇,内容涉及形式化方法的理论基础各个方面.特约编辑先后邀请了30多位专家参与审稿工作,每篇投稿至少邀请2位专家进行评审.稿件经初审、复审,有14篇稿件进入复审阶段,并

关键词： 高职院校   在线学习   UML建模   数据库技术  

摘要： 数学是高职院校重要的公共基础课,在当前的高职院校数学教学中,传统的数学教学模式已无法满足个性化的教学需求,在线学习系统便于更好地交流与资源交换从而被快速应用于教学中。论文通过开发数学在线学习系统建立高职院校数学在线学习模式。首先介绍了数学在线学习系统的发展概况,然后确定了系统开发过程中应用到的关键技术。在充分分析高职院校数学知识体系以及用户需求的基础上,构建了系统总体设计框架,进行了可行性分析。采用面向对象技术,对数学在线学习系统的各个功能模块进行设计,利用SQL Server完成了系统数据库管理,从而满足不同类型的用户需求,并对系统进行了初步测试与运行,验证了系统设计的可行性。结果表明,系统有效地实现了数学课程在线学习的功能,充分满足了高职学生个性化的学习需求。系统创新了教学模式,提升了教学效果,成为高职院校进行数学课程改革的重要手段。

关键词： 纳税管理   税务登记   UML建模  

摘要： 纳税管理信息系统是某地税务机关“一个系统、两个门户、三级覆盖”信息化建设思路的重要组成部分,该项目建设旨在消除已有信息化系统之间存在的数据壁垒,整合现有的税务机关人力资源和数据资源,最终实现税务登记申请和纳税申报的网络化操作,以及税务工作和纳税评估的信息化处理。本文采用UML建模工具,深入分析了系统的业务流程和功能需求,在此基础上,完成了系统技术架构、网络结构、功能结构、数据库结构的设计工作,并通过类图和时序图,详细探讨了系统主要功能模块的内部逻辑结构和功能实现流程。本文讨论的纳税管理信息系统采用了JavaEE技术和SSH框架,基于MyEclipse程序开发平台和Microsoft SQL Server数据库平台,利用Java语言开发完成。系统共包括税务登记、发票管理、纳税申报、纳税评估等核心业务模块。其中,税务登记模块面向纳税人和税务人员提供税务登记申请、登记申请审核和税务登记的功能;发票管理模块实现发票领用管理和发票单据的维护;纳税申报模块实现了正常申报和延期申报的网络化、信息化处理;纳税评估模块依据评估指标和评估任务,实现对纳税人的纳税评估,并对可疑的评估结果进行处理。本文在系统测试部分重点讨论了纳税管理信息系统的功能测试和性能测试,表明该系统设计和实现达到了预期目标。本文设计的纳税管理信息系统针对的是某地税务机关的实际业务流程,与该单位已有的税务系统相比,在技术方案上,采用了当前流行的Web开发技术,如MVC框架,体现了系统的灵活性和可维护性,同时,该系统整合了某地全域范围内的纳税人信息和纳税数据,实现了对税务数据资源的集中利用和管理。目前,该系统已投入试运行,在一定程度上简化了税务登记和纳税申报流程,提高了纳税管理工作的效率。

关键词： 杠杆收购   融资方式   并购基金   结构化设计  

摘要： 近年来,并购逐渐成为企业开拓市场、提升盈利能力的主要手段,而企业完成并购的主要条件为寻找合适的融资渠道。随着国家强调要不断创新金融产品、完善金融财税政策,与以往内源融资、股权融资以及债券融资方式相比,并购基金作为一种创新的融资方式被上市公司广泛运用。从清科研究中心发表的数据来看,2017年中国私募股权投资市场统计结果显示,2017年完成募集的私募股权投资基金共有2533支,募集数量较2016年有所上升,募集金额增幅高达43%。此外,PE/VC渗透的并购交易数量也一直呈上升趋势,并购基金在企业并购过程中的参与越来越常见。本文通过研究首例公开披露并购基金结构化安排并且成功过会的案例——旋极信息收购泰豪智能,并结合并购基金相关理论,为上市公司在运用并购基金时提出一些建议,以供其他企业参考。本文主要采用文献研究以及案例分析等方法,以委托代理理论、信息不对称理论以及协同效应理论为理论基础,详细分析了上市公司旋极信息在收购泰豪智能时运用并购基金汇达基金、新余京达此种交易机制。在并购交易前,上市公司实际控制人参与到并购基金中,并购基金收购标的公司50%股份成为标的公司的股东,上市公司通过换股交易收购标的公司,标的公司原股东成为上市公司股东。并购基金在此次交易中的参与既为上市公司降低了融资压力,也为上市公司引进了战略合作伙伴,同时保障了上市公司的控制权稳定。但并购基金的参与仍为上市公司带来了一些问题,实际控制人与并购基金形成关联关系,有可能损害中小股东的利益。现行金融政策对并购基金的限制也需要上市公司在运用并购基金时设计更合理的基金安排。通过对理论及案例的研究发现,在并购基金的三种组织形式中,有限合伙制并购基金在企业的运用中最为广泛,其结构化安排吸引投资者参与,但也存在一些问题。并购基金在企业并购过程中的参与主要为企业提供了资金支持,但也为企业带来了一定的风险。上市公司控股股东参与到并购基金中使其维护了控制权,帮助企业顺利完成收购,但控股股东为并购基金优先级合伙人提供的保本保收益将会对上市公司及中小股东造成影响。对于上市公司而言,在相关政策的限制下,上市公司要想顺利完成交易,应该将换股交易的规模进行压缩,避免形成单一交易。此外,收购方可将并购基金与其他融资方式相结合,将投资者按风险偏好进行分层,设计更多更灵活的投资方案。另一方面,基金管理机构与上市公司在设计并购基金时也需降低杠杆倍数,适当拆除结构化安排,既可以吸引更多投资者参与,同时更符合当前去杠杆的经济形势。

关键词： 校企合作   项目驱动   软件工程   教学改革  

摘要： 文章以培养适应地方社会经济发展需求的全方位工程化的应用型技术人才培养目标为出发点,以沈阳科技学院《软件工程》课程教学为例分析现状,发现存在诸多制约因素,从客观实际情况出发,积极探索多方吸取经验,谋求结合多种教学模式的教学改革与创新,拟借助校企合作平台资源共享,项目驱动教学思想引入课程,激发学生积极性与主动性,促进学生专业技能和综合能力的全面发展,以满足社会对软件工程技术人才的需求。

关键词： 高职院校   人事管理   信息系统   需求分析   UML建模  

摘要： 随着现代信息科技发展,我们的工作和生活都发生了巨大的变革,面对信息化发展趋势,高校管理机制受到了严峻挑战,处于改革和发展瓶颈的高校越来越认识到信息化管理重要性,特别是对于人事管理方面,信息化系统应用已成为高职院校发展重要组成部分。本文讨论了国内外人事管理发展现状及趋势,以云南经贸外事职业学院人事处人事管理业务为核心,首先分析了学校组织结构及各部门职能,然后分析了人事处日常管理工作中存在的问题和对信息化的需求,梳理原有手工模式下招聘管理、人事变动管理、培训管理、合同管理、考核管理的业务流程,结合信息技术,对手工业务流程进行优化和再造。采用统一建模语言(UML),对系统的功能、数据进行分析和描述:使用活动图对业务流程进行描述,使用用例图对系统功能进行描述,使用包图对系统功能结构进行描述,使用缩略类图对系统功能数据进行描述,使用E-R图描述了实体之间的关系,并构建了数据库表。最后,总结了本文研究成果和存在不足,后期将继续改进和完善研究成果,为设计和实现云南经贸外事职业学院人事处日常工作管理系统功能提供有力支撑,较好地满足我校人事处工作需求。

关键词： 后勤服务   网络报修管理   J2EE架构   UML建模  

摘要： 与高校的信息化建设密切相关的是信息系统技术的发展,随着现代信息系统与技术的迅猛发展,我国高校根据发展的需要,都在不同程度上实现了高校的信息化。为了给学生提供更好、更方便的学习条件,改善教职工和学生的教学工作、学习生活环境等,高校应该大力推进校园信息化建设,采用先进的信息化技术,来加快学校的信息化进程,创建信息化的校园。目前我国高校在教学工作的信息化方面已取得显著成果,但是在后勤服务管理方面的信息化建设进展依然缓慢。随着教育现代化建设,以及由国家大力推进建设以信息化带动现代化工程,高校后勤工作也有相应的独立的信息化设备,但在实际工作中,这些设备并没有与学校校园网络兼容,导致后期使用过程没有发挥出应有的作用,后期使用和维护不到位,使这些设备更是接近于无用的状态。为了使学校的资源能够发挥出更大的作用,特开发此系统。主要完成的工作如下:(1)分析和了解国内相关高校相关人员对于后勤服务管理系统具体要求后,整理出整个高校后勤服务管理系统的需求,做出后勤管理系统的整体规划,设计各个系统功能的用例图,并做简要说明;(2)根据系统功能需求将后勤管理系统拆分成多个子系统模块,并对系统的详细功能模块进行设计,做出了一套具备:食堂管理、公寓管理、校园公告管理以及网络报修管理这样四个子系统功能模块的后勤管理系统设计与实现方案。在进行各个功能模块的设计时,通过UML建模方式完成了各个功能模块类图、工作流程图以及工作时序图的设计,通过SQL Server 2012数据库技术实现了数据库的搭建,并设计出了系统总体E-R图和相应的数据表结构。同时采用了较新的J2EE架构对系统进行设计与实现。(3)本文对系统的各个功能进行了具体实现。并完成了系统的功能测试和性能测试。结果表明该高校后勤服务管理系统完全满足当前的管理需求,各项性能指标均满足要求。当前本系统还处于内部测试与试用阶段,待正式投入使用后,必将加快该高校后勤信息化建设的步伐,全面提高整个高校后勤工作人员的工作效率,为广大教职员工提供更加便捷的服务。