教学课程资源库 更多>>

关键词： 图算法生成   构件   生成式程序设计   PAR方法  

摘要： 软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度优先搜索、单源最短路径、所有顶点对最短路径等一类问题进行抽象,设计出相应的泛型图算法构件,进一步借助PAR方法中的泛型机制进行描述,并在PAR平台程序生成系统上进行构件组装生成具体的算法程序.

关键词： 海洋工程   管理信息系统   材料管理   二次开发   预套料  

摘要： 基于美国石油学会(API)规范对组合梁预制的要求和Visual Basic(VB)编程语言,通过型钢排版原理构建组合梁排版算法模型,编写完成了一套集合材料估算和套料校核的软件BYMAX 1.0。该软件主要功能分为两部分,第一部分可以对组合梁的采办用量进行估算,实现采办过程的标准化;第二部分在AutoCAD二次开发的基础之上构建预套料模块,并通过生成的套料排版图实现对第一部分估算结果的校核,保证采办工作的准确性,提高文件校核工作的效率。

关键词： 职业教育   教学资源建设   结构化设计   Moodle平台  

摘要： 在科学的理念支持下,利用Moodle平台建设课程资源是一种便捷的途径。基于传播学理论、心理学理论、学习理论基础,利用Moodle平台对教学资源的结构化设计进行探讨,归纳出Moodle平台下教学资源建设的基本结构,对校本网络课程资源建设具有一定的借鉴意义。

关键词： 操作系统   正确性验证   形式化方法   系统状态模型  

摘要： 由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS(verified secure operating system,简称VSOS)为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.

关键词： 汽车后市场   体系结构   运行模式  

摘要： 我国的汽车产业也在逐渐的朝着成熟化和国际化的方向发展,后市场的规模正在一步步扩大,并且可能引发新一轮汽车产业的利润再分配。在汽车产业链中,汽车后市场是下游产业,会直接影响到消费者对汽车的消费意向,进而在一定的程度上影响着我国整体汽车销售市场的发展状况,对此,本文围绕我国的汽车后市场进行研究和分析,首先阐述了汽车后市场的概念,其次对汽车后市场的体系结构以及相关内涵进行论述,最后对我国汽车产业汽车后市场的运行模式进行了详细的研究和阐述,希望能够在我国汽车后市场未来的发展过程中得到较好的应用。

关键词： 无头轧制   中间坯   剪切挤压   连接机构   结构化设计   ADAMS  

摘要： 在静态试验及大量数值计算的基础上提出一种中间坯快速剪切挤压连接机构,可以同时完成上、下剪刀的水平运动和相对运动,从而实现中间坯的快速连接。为了探究该机构的特性,基于ADAMS动力学分析软件,建立了连接机构的多刚体模型,仿真模拟了机构的运动过程,求得了连接机构上、下剪刀的运动轨迹和水平速度变化曲线,利用ADAMS中带约束的目标函数法进行了结构化设计,优化结果保证了中间坯的连接厚度,改善了连接过程中速度超前、滞后的问题,有助于中间坯连接过程的顺利实现,基于ADAMS的分析和优化方法为快速剪切挤压连接设备的结构设计奠定理论基础。

关键词： 智能合约   形式化方法   建模   验证   SPIN模型检测工具  

摘要： 智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程,以支持规模化智能合约的生成.研究提出了一个应用于智能合约生命周期的形式化验证框架和验证方法,针对一个智能购物场景,采用Promela建模语言对智能购物合约进行建模,用SPIN进行了模型检测,验证了形式化方法对智能合约的作用.

关键词： Android系统   辅助体育   跑步   UML建模   SQLite数据库  

摘要： 结合当前的智能手机应用程序开发技术,以人们喜爱的跑步运动作为切入点,提出一种基于Android的跑步运动软件。利用UML建模工具,对跑步运动软件的功能进行分析,包括功能需求和非功能需求;然后对系统整体架构、具体功能模块等进行设计;利用Eclipse 4.0+Android SDK+SQLite数据库对系统各项功能进行开发,从而让广大的跑步运动者通过该软件可记录自己的跑步轨迹,并可享受音乐播放服务。最后通过系统测试,验证了方案开发的可行性。

关键词： VisualBasic语言   既有结构加固改造设计   受弯构件增大截面法   粘贴钢板法  

摘要： 根据《混凝土结构加固设计规范》GB50367-2013,采用VisualBasic程序语言编写混凝土结构受弯构件增大截面法、粘贴钢板法加固计算工具,在既有结构改造加固设计工作中,可进行构件受弯承载力计算、复核。

关键词： 联锁   形式化方法   SCADE   模型开发   安全性  

摘要： 计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于SCADE工具进行联锁软件开发过程,使用模型化的方法从系统需求到最后代码验证,为软件安全认证的各个阶段提供了解决方案和实施工具,实现了开发过程的自动化和过程省略,大大提高了安全软件开发的效率和安全性.