谈思想政治课教学的导入方法

思想政治课教学的导入方法:⑴引人入胜法——导入要具有趣味性。⑵开门见山法——导入要具有精炼性。⑶独具匠心法——导入要具有新颖性。⑷有的放矢法——导入要具有针对性。⑸与时俱进法——导入要具有时代性。⑹承前启后法——导入要具有衔接性。⑺以人为本法——导入要具有主体性。     

职业学校计算机专业培养目标和培养模式的思考

计算机专业培养目标:具有良好的思想政治素质、敬业精神和社会责任感;具有基本的文化知识和科学素养;具有人口、资源、环境等可持续发展意识;具有健康的生理和心理素质;具有基本的欣赏美和创造美的能力;具有一定的科学思维与自主学习的能力;具有一定的沟通与交流能力;具有扎实的计算机专业基础知识和基本技能;具有一定的计算机及相关岗位的职业技能;具有创新精神、实践能力以及立业创业能力等.培养的模式:全面素质与综合职业能力培养;灵活学习制度;以学生为中心;理论与实践一体化;产教结合等.     

高职院校"两课"教师基本素质探析

“两课”是高职院校的重要课程之一,而提高“两课”教学质量的关键是教师。高职院校“两课”教师的基本素质应该是:具有先进的教育观念;具有广博厚实的专业知识;具有较丰富的自然和人文科学知识;具有较强的理论联系实际的能力;具有了解学生思想动态的方法和技巧;精通“两课”教育教学理论;具有较强的科学研究能力;具有一定的职业技术能力。     

谈数学教师的课堂语言艺术

针对数学课堂教学的特点,为提高课堂教学的效果,在教师课堂语言艺术方面提出了：教学语言要标准、规范、表达流利具有准确性;要符合逻辑具有科学性;要幽默质朴富有哲理具有活泼性;要综合运用有声语言和无声语言具有直观性;要富有感情具有激励性。     

感应电动势的相对论效应

根据狭义相对论原理，电磁场具有相对性，导致电磁感应现象具有相对性，感应电动势随着参考系的改变而具有不同的值，即感应电动势的观测值亦具有相对性。     

具有约束条件的均衡规划问题的微分方程方法

提出了具有不等式约束的均衡规划问题,运用该均衡规划问题的拉格朗日函数和投影算子将具有不等式约束的均衡规划问题转化为方程组.进一步,应用所得到的方程组建立了具有控制过程的微分方程系统,并证明了具有控制过程的微分方程系统的解的聚点是具有不等式约束的均衡规划问题的解.最后,给出了2个具有不等式约束的均衡规划问题的数值算例,并分别运用具有控制过程的微分方程系统对其进行求解,描绘了每个算例的微分方程系统的解的轨迹图,从图中可以明显地观察到具有控制过程的微分方程系统的解的轨迹收敛于均衡规划问题的解,从而说明了微分方程方法求解具有不等式约束的均衡规划问题的可行性和有效性.     

微生物之间竞争模型的全局分析

本文讨论具有再生养分流的具有质粒与不具有质粒微生物之间竞争的数学模型．假定再生养分流不具有时滞时，我们对的模型的平衡位置进行了全局分析．     

浅论电视新闻播音员素质

重视和切实加强电视新闻播音员的综合素质十分必要,包括四方面:电视新闻播音员必须具有较高的政治素质;电视新闻播音员必须具有扎实的业务素质;电视新闻播音员必须具有较高的文化素质;电视新闻播音员必须具有良好的心理素质。     

我国合伙企业当为“法人”之正当性理由

通说认为我国合伙企业属于“非法人组织”.合伙企业具有“法人”的民事主体功能,具有权利能力,具有独立的意志及其执行机关,具有独立的财产,具有独立利益,且法人之“独立责任”并非完全独立,合伙企业亦能以自己的财产独立承担责任,亦即合伙企业具有高度独立性,为权利义务之归属体,本质上符合团体组织当为法人的条件,当为法人.     

物理科学研究中错误的价值探析

在物理科学的研究中出现错误是难免的,但错误并非一无是处。它对于物理科学中正确理论的创建具有铺垫性价值,对正确理论的形成具有指向性价值,对正确理论的确立具有检验性价值,对正确理论的完善具有升华性价值。因此,错误对于科学研究是具有一定启示意义的。     

形式规约模式及其重用技术研究综述

设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。     

平面艺术设计中的形式美认识与探讨

文章尝试从艺术设计的角度，对形式美的成因，形式美与美学的关系，形式美的构成，形式美共性与特性进行理论上的探讨，并以格式塔心理学为基础，从设计的角度剖析形式法则与视觉心理内在的关联。通过对形式美的理论探讨，促进人们对形式美的认知和理解，进而提升设计者在平面艺术设计中对形式美法则应用地实践。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

平面艺术设计中的形式美构成探讨

文章从艺术设计的角度,对形式美的构成、形式美共性与特性进行理论上的探讨,并以格式塔心理学为基础,从设计的角度剖析形式法则与视觉心理内在的关联。通过对形式美的理论探讨,促进人们对形式美的认知和理解,进而提升设计者在平面艺术设计中对形式美法则应用的实践。     

形式美在艺术设计中的应用

形式美是人类在长期的生活实践中所积累的美感经验与艺术表现形式。它既是一种审美体验与审美思维,也是指导人们创造美感的形式规律。从设计美的规律出发,阐述了形式美在海报招贴设计、标志设计、产品设计中的应用。     

一种形式语言代数模型

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论...     

一种对象式软件开发方法及其支持工具

提出了一种改进的对象式软件开发方法,该方法支持从概念建模、逻辑建模到实现的软件开发全过程;介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制;简要地介绍了支持这种方法的一个软件工具的设计与实现。     

形式化方法在飞机轮刹系统安全性分析中的应用

在民机设计领域,大多数传统的系统安全性分析具有高度的主观性并依赖于工程师们的实践经验,其分析结果无法做到完整、一致、无误。而近年来兴起的形式化方法却能弥补这些不足。形式化方法就是用具有形式语义的记号和工具明确地表述出所设计系统的安全性需求,即给出系统的规范,并根据系统规范利用上述记号和工具对给定系统所具有的性质和最终实现的正确性进行严格的证明。本文将以ARP4761中所述的轮刹系统为例,简单介绍形式化方法是如何应用于验证民机设计方案的。虽然做不到面面俱到,但可以让人们对该方法的执行过程有一定的了解。     

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.