构建“TCSP”四位一体市场营销教学体系的研究

围绕旨在培养理论与实践相结合的复合性高级营销专业人才目标要求,结合具体教学实践,研究构建"TCSP"四位一体综合教学体系的基本理论内涵及其在市场营销专业中的具体实施过程。

“TCSP”教学法在市场营销教学中的应用研究

市场营销是一个实践性很强的专业,把知识转化为能力是复杂的过程,如何提高学生的专业素养和动手操作能力,这是高校教育追求的目标。文章结合营销专业的特点,探索了四位一体的"TCSP"教学法,对提高学生专业能力有很好的借鉴作用。

基于TCSP的实时软件体系结构描述语言的实现

在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。

基于“建构主义”的“TCSP”教学模式探索与研究——以《市场营销学》为例

简述了建构主义理论研究现状,从理论教学、案例分析、情景模拟、实践教学四个环节阐述了"TCSP"模式在市场营销学课程教学中的具体运用及注意事项。

面向TCSP四位一体的服装电子商务教学研究

传统的服装电子商务教学模式以教师说教、学生听课为主,填鸭式的教学导致老师和学生之间无法有效的互动,教学效果大打折扣。根据服装电子商务课程目前存在的问题,探索在服装电子商务课程中构建四位一体的"TCSP"教学方法,以提高人才培养质量,推动教育教学改革。

Wright语言的实时扩展

Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言。文章针对Wright语言对实时性描述支持的不足,利用TCSP对其进行了行为语义的扩展,增强其对具有实时并发特性的系统进行建模的能力。利用扩展后的Wright语言,在系统开发的早期即可对系统的活性、安全性等时间相关的特性进行模型检验。

国际结算课程的教学模式探索与研究

文章从理论教学、案例分析、情景模拟、实践教学四个环节阐述了"TCSP"模式在国际结算课程教学中的具体运用,并指出只要教师在教学中能充分尊重学生的主体地位并努力提高教师自身的综合素质和业务能力,就一定能够很好地实现教学目标。

一种嵌入式实时系统软件能耗建模与分析的方法

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.

基于进程代数规约生成软件体系结构模型的方法

需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程 ( TCSP)的基础上对离散事件动态系统 ( DEDS)进行建模、规范和证实 .介绍了 TCSP中与 DEDS相关的一些研究成果 ,根据离散事件的特点作了符号语义上的改进 ,就两个具体的例子——自动导引小车 ( AGV)和火车道口系统建立了 TCSP模型 ,给出了它们需要满足的特性 。

浅谈市场营销学教学模式的改革

课程教学模式改革是专业教学模式改革的基石和突破口。本文认为,市场营销学教学模式改革首先明确教学目标,同时结合社会需求、我校申本的培养目标以及学生的实际情况,并提出了市场营销学课程的“TCSP教学模式”,对课程的各个教学环节进行深入的分析和改革。

奥运通勤线路公交调度问题研究

奥运通勤线路上的人员调度问题可以归结为公交人员调度问题,解决公交人员调度通常采用“生成与选择”模式,此种模式具有的局限性使之不能满足解决奥运特色通勤线路上人员调度的要求.针对多条运营线路的奥运特色通勤线路人员调度问题,给出了奥运特色通勤线路人员调度问题的改进模型,模型的目标是在满足工作时间、就餐时间、换班要求等相关约束的条件下使人员完成任务的间隔时间最小.本文对已有蚁群算法解决车辆路径优化问题的算法进行了改进.对算法中相应的转移规则和轨迹更新规则进行了重新设定,改进了算法转移策略和信息素更新策略.给出了算法的实现步骤.通过仿真,对模型的正确性进行了验证.证明了改进蚁群算法解决奥运特色通勤线路人员调度问题的高效性和较强的适用性.