任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。     

论大学中的物理演示实验

本文阐述了大学物理演示实验的重要性,并结合我校的特点,总结如何上好物理演示实验。     

Lasota-Wazewska模型的唯一周期正解的存在性

利用一个关于减算子的不动点定理,得到Lasota-Wazewska模型存在唯一周期正解的充分条件.特别地,文章还给出收敛于该周期正解的迭代函数列.与已有文献相比较,文章的结果具有较强的实际应用价值.     

经济增长方式与继续教育工程

文章简述了经济增长方式与继续教育工程之间的关系。指出继续教育、终身教育是当代社会竞争中的重要资本。学习化社会的进步与发展将促进知识创新能力的升迁。面对知识经济时代和经济建设发展的众多需求与挑战,继续教育工程的实施和继续教育事业的发展,必将使整个社会走向知识经济时代的学习化社会,并推动经济社会的全面进步和繁荣     

正态分布和t分布下风险价值计算的对比研究

针对金融数据的尖峰、厚尾性,先在单变量情形下用经验贝叶斯方法得出正态分布和t分布下风险价值(VaR)的计算公式,然后探讨了当金融数据服从多变量分布时,应用delta-gamma二次近似法,分别得出正态分布和t分布下的组合VaR计算方法,从而为解决厚尾问题提供了基础。     

大学创新团队心理契约对知识共享的影响探析

通过对心理契约和知识共享的含义分析以及调查分析发现。大学创新团队的心理契约通过影响成员的工作满意度、工作参与、组织承诺、信任关系等,间接作用于团队的知识共享过程。     

基于多能工配置的巡回式赛汝订单调度优化决策

多能工配置是决定赛汝生产系统效率及生产能力的关键因素,应与赛汝订单调度协同决策.该文以最小化最大完工时间(Makespan)及最小化工人的空闲时间为目标,研究了面向巡回式赛汝生产的基于多能工配置的订单调度问题.鉴于所研究问题的复杂性,该文将模拟退火(Simulated annealing,SA)算法与第二代非支配排序遗...     

以就业为导向的《电机运行技术》教学改革

《电机运行技术》课程作为电力系统及自动化专业的重要专业技术基础课,主要研究电机的工作原理、主要结构、运行特性等的一门课程,在教学计划中起到了承上起下的作用。在课程建设过程中,课程组打破传统课程设计模式,通过就业调查,统计往年本专业毕业生从事的工作,同时与企业沟通,了解就业岗位对本课程的要求,根据岗位要求设计课程内容。以就业为导向,注重学生职业技能的培养,从课程设计、教学内容、教学手段等多个方面提出了改革的措施和具体做法。实践证明,改革后的教学效果良好。     

可折叠微板上的细胞牵张力的计算

基于常见的检测细胞牵张力的方法无法辨别细胞在体内的形态及其周围形态环境的本质差异,通过建立折叠2D微板测量细胞张力的理论计算模型,根据材料力学理论建立微板折叠角和弯矩、牵张力的关系表达式,并应用有限元方法验证公式的合理性。该研究不仅为下一步通过微板折叠角来计算细胞变形后的形状以及细胞产生的牵张力的大小和方向提供了一定的理论依据,也为研究细胞在体的力学生物力学提供分析手段和依据。     

面孔表情进入意识的时间比较——来自双眼竞争的证据

采用连续闪烁抑制范式,以7种基本面孔表情(中性、高兴、厌恶、恐惧、悲伤、惊喜、愤怒)为实验材料,考察何种面孔表情能更快进入个体的意识层面.研究中给被试一只眼呈现动态噪声图片,另一只眼呈现面孔目标刺激图片.面孔图片会在左上、左下、右上、右下4个位置随机出现.要求被试看到面孔后立刻判断面孔的位置.实验记录从试开始到被试按键这段时间,即记录了刺激突破抑制阶段进入意识层面所需要的时间.结果发现,愤怒面孔比中性面孔更快进入意识,表明人们可能对愤怒面孔更加敏感.