张君华作品

张君华，男，1962年生，山东省济宁市嘉祥县人，1984年考入曲阜师范大学艺术系美术专业，1988年毕业分配到济宁广告装潢公司工作，1990年以后转机关做行政工作。其闲暇之余经常外出写生，其作品多是乡间小景，画面中山水、一草一木都透射出大自然的原始美，充分反映了画家对大自然的美的欣赏和热爱。绘画形式多样，擅长水彩、水粉、油画、国画、版画等。近年来加大写生量，绘画技巧不断提高。

模型检测基于概率时间自动机的反例产生研究

模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例.

高职教师专业发展的内涵及发展途径探讨

文章从教师专业发展的内涵分析入手，探讨了高职教师专业发展的内涵，澄清了人们对“双师型”教师认识上的一些误区，提出了“双师型”教师应具备的条件。并探讨了促进高职教师专业发展的一些举措：政策支持、经费保障和培养模式多元化。培养模式多元主要包括外出学习模式、校本培训模式和自我更新模式。

导生制分层分组教学:高职项目课程实施的有效模式

分析了高职项目课程实施中常见的问题，提出导生制分层分组教学模式有助于解决这些问题；详细介绍了导生制分层分组教学模式的含义，该教学模式在解决上述问题时的作用，及其实施细则和注意事项。

非自治屈曲薄板全局分叉与混沌动力学(英文)

基于多自由度哈密尔顿系统的Melnikov理论,研究了参数激励下四边简支矩形薄板在屈曲状态下的全局分叉与混沌动力学．直接对非自治常微分方程进行全局分析,比文献中经过多次化简近似所得到的规范形更加接近原系统的性质．薄板的屈曲状态是文献中用多尺度方法所不能研究的．分析结果表明参数激励下四边简支矩形薄板存在Smale马蹄意义下的混沌,数值模拟进一步验证了解析方法的正确性．

非自治复合材料层合板的混沌动力学

本文研究了参数激励与外激励联合作用下的简支对称铺设的复合材料层合板的多脉冲混沌动力学。基于经过Galerkin方法截断后的两自由度非自治常微分方程,运用广义Melnikov方法研究了复合材料层合板的多脉冲混沌动力学行为。直接以非自治常微分方程为研究对象,省去了利用多尺度方法和规范形理论两次化简,更加接近原系统的性质。数值计算也发现了复合材料层合板系统存在多脉冲混沌运动,进一步验证了理论分析结果。

高职培养可持续发展的初级软件服务外包人才模式研究

初级外包人才首先要具备完成任务的能力,经过3-5初级岗位经验的累积可以发展为中级人才。能否升为中级,关键看是否具有用外语顺利交流的能力。基于上述分析,高职软件外包人才应定位在培养"适用性、国际性、复合型,可持续发展的初级服务外包人才";课程设置应加大计算机专业课程、某一专业方向课程和英语课程的融合,校企合作开发课程;通过全真企业项目案例实践教学,培养动手能力,通过浸入式双语教学,培养外语沟通能力,校企实体合作是有效的培养途径;建立多主体参与、多种评价方式并行的科学评价体系;加强外包人才培养所需的软硬环境建设。此外,政府应充分发挥政策支持、规划指导和协调服务作用。

一种智能充电系统的模糊控制方法

介绍一种智能充电系统的模糊控制方法。这种方法将系统分为宏观和微观两级进行控制,宏观部分为管理级;微观部分为典型的模糊控制级。通过查询离线计算得到模糊控制表,对系统进行精确的控制。现场运行结果表明,这种控制方法资源开销少,响应速度快,控制过程稳定,能满足实际要求。

代价和概率时间自动机上概率有界的成本优化可达性

着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题。在该模型中搜索满足概率要求的路径,据此路径构造相应的代价时间自动机,求解此路径的最小代价,从而求得满足概率要求的总的最小代价。另外,通过扩展代价和概率时间自动机模型,得到多代价和概率时间自动机。相应的可达性问题,即满足一定概率要求的符合辅助成本约束的主成本最小代价问题,也可类似地得到解决。

项目课程在网络专业实施的案例与心得

实施项目课程教学模式,是保证高职院校教学质量和人才培养目标的有效手段。如何更好地在教学实践中实施好项目课程教学模式,是一个重要的研究课题。本文通过对比的方式给出了在计算机网络技术专业实施项目课程的一个典型案例,并在对案例进行分析的基础上,提出了一些实施好项目课程的建议。

基于抽取-精化的概率系统假设-保证验证

假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。

导生制分层分组教学法在高职IT类项目课程实施中的应用研究——以《网络安全技术》为例

当前,高职IT类项目课程教学中存在着对学生指导与评价力量不足、对学生因材施教不足等突出问题,导生制分层分组教学法是解决上述问题的有效手段。以《网络安全技术》课程为例,介绍了该教学方法的使用方法与注意事项。

提升高职项目课程教学质量的对策探讨

实施项目课程模式的教学改革,是高等职业院校提高教学质量的新的有效途径。但在项目课程模式的教学实践中,存在一些亟待解决的问题。本文在具体分析这些问题的基础上,给出了解决问题的办法。

复合材料层合板的多脉冲混沌动力学研究

利用非自治系统的广义Melnikov方法研究了受面内与横向简谐激励共同作用的四边简支复合材料层合矩形板的多脉冲混沌动力学行为。基于含有多个相互耦合非线性项复合材料层合板的二自由度非线性常微分运动控制方程,利用非自治系统的广义Melnikov方法,从理论上证明了复合材料层合板存在多脉冲混沌运动,并根据理论结果作了相应的数值模拟研究,进一步验证了所得出的结论。

蜂窝夹层板的多脉冲混沌与分叉研究

广泛应用于航空航天领域的蜂窝结构大多可以简化成蜂窝夹层板。研究了蜂窝夹层板在面内激励和横向激励联合作用下的多脉冲混沌与分叉行为。直接以2自由度的非自治非线性系统为研究对象,利用改进的广义Melnikov方法研究了蜂窝板出现多脉冲混沌运动的参数域及系统的全局分叉,给出了系统出现同宿、异宿分叉的参数条件。基于理论分析,数值计算得到了蜂窝夹层板的多脉冲混沌运动,并给出了分叉图。

全产业链导向渐进式复合应用型人才培养体系研究——以网络信息安全产业为例

作为正在蓬勃发展的朝阳产业,我国网络信息安全产业总体人才缺乏,但也存在人才供需失衡的问题。目前高校的人才培养课程设置要么来自于学科研究的驱动,要么偏向于较窄的热门就业岗位的需求,不能满足产业各方面的人才需求,也不利于信息安全毕业生的长远职业发展。该文从信息安全全产业链的视角出发,在剖析目前的各类信息安全人才培养方案的基础上,提出新的信息安全复合应用型人才培养方案,为网络信息安全产业培养所需的各类人才提供新的参考解决方案。