简介：生产者与消费者系统（PCS）是一个经典的进程同步问题，Hocine等学者运用抽象状态机（ASMs）对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型，并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测，检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型，中间的转移过程是无法知道的，TLA能同时规约出PCS的执行过程和系统属性。

简介：松锦之战失败后，清军在锦州屯驻军队，步步紧逼，明朝在辽东前线陷入被动挨打的状态，双方展开了一系列攻防较量，先后发生了两次小规模的战争和若干次的侦查骚扰活动。明朝丧失了四座城池，造成了宁远孤悬关外的态势，明清双方的力量消长，预示着明朝的灭亡和清军的即将入关。

简介：深圳提出实施文化立市战略,并提出推进＂两城一都一基地＂建设,这一策略可概括为＂文化建设的211工程＂,十年之后检视这一策略,可以发现当初的设计是有远见的而且是卓有成效的。

简介：人类科技创新的历史表明,科技创新需要相适应的文化土壤,而我国的传统文化以及现代思想观念中存在一些阻碍科技创新的藩篱,如天人合一、道统独尊、崇祖好古、经世致用等传统文化观念,以及派生到现代的＂官本位＂文化思想等。基于此,我们应该辩证看待传统文化、流行文化,打破有碍科技创新的文化藩篱,努力构建有利于科技创新的文化生态。

简介：《来去花莲港》是台湾新晋女作家方梓的小说处女作。作品以女性为主体，主要刻画了三位于不同时期移民至台湾花莲港开荒破土的艰难女性。在后殖民主义中心和男权话语中心的双重压迫下，她们作为“她者”和“属下”，历经命运的坎坷和文化左右的挣扎，用自己的生命在花莲地区扎根生长，完成了一部回归主体身份的美丽史诗。

简介：强制要约收购制度是指投资者在持有一个上市公司的有表决权股份达到法律规定的比例时,投资者就应当依法向该上市公司的所有股东发出收购要约,购买其手中持有的股份,除非经法定机关豁免[1]。在收购制度中,强制要约收购制度以维护各股东之间的利益权衡为目标。我国在证券市场发展初期就确立了强制要约收购制度[2],由于目前我国证券市场的不完善以及有许多缺陷的制度存在,在上市公司收购中,强制要约收购制度并没有很好地保护到中小股东的合法权益。因此,如何完善我国强制要约收购制度,将成为我国证券市场发展未来必须解决的问题。

简介：汉语“程度副词＋名词”结构作为目前流行的一利，特殊语言现象，引起了学者的广泛关注。文章首先分析“程度副词＋名词”结构的类别特征，然后运用沈家煊提出的“转喻的认知模型”来探讨这一结构的转喻本质，最后讨论该结构的语法化问题。

简介：随着大学章程制定工作暂告一段落,能否依章治理成为学校能否真正依法治校的＂试金石＂。以大学章程建设为核心的依法治校,不仅需要形式上的＂要件＂,更需要建立在法治基础上,实现在依法治校与依章治理的＂软件＂上下功夫,有效地落实执行力,从而真正使我国高等教育的大学章程建设成为现代大学制度的＂基础性工程＂。

简介：课堂引入方法丰富多彩、种类繁多,没有固定的形式。正所谓“教学有法,教无定法,贵在得法”,他们各有各的功能和优势作用,特点也不尽相同。教师如何在实际课堂的引入环节中,仔细地选择和运用课堂引入的方法就显得格外重要。课堂引入要有利于教师的教学流程,更要有利于学生的学习过程。文章结合光的折射这一内容,对引入方法的设计和使用进行总结、分析。

简介：回首农村基础教育,喜忧参半,目睹现行农村教育,又添一丝担忧。发展农村基础教育,涉及千家万户;提高农民素养,关乎国计民生。展望未来农村基础教育,信心满怀。面对现行的农村基础教育,作为一个教育者,引发如下思考:一、农村基础教育的回顾"文革"期间,农村基础教育处于瘫痪状态,教师忙于搞运动,学生忙于做劳动。学生夏有锄草假、秋有秋收假,劳动是经常的事,锄草、施肥、掰苞米……教育出现停滞不前的状况。

简介：一、教学质量评价的研究背景构建教学质量评价体系要符合以下原则：一是目标性，二是特色性，三是可行性，四是科学性。此外，只有评价指标也还不够，最主要的是执行力度和后期整改力度。

简介：在新感觉派小说中,摩登女郎是一道常见而又靓丽的风景,她们的形象和活动构成了她们在文学作品中存在的两大理由。形象之美促进了活动之繁,而活动的性质和等级又传达出文学作品书写的潜在话语,与都市密切相连的现代性、颓废化、消费主义、媚俗主义等理论借助摩登女郎这一新颖的视角被展现得淋漓尽致。同时,在结合摩登女郎心理分析的基础上,我们又能进一步预示出摩登女郎的悲剧性未来。摩登女郎们的主动性享乐、堕落,一方面展现出女性对其主体地位的诉求,另一方面展现出她们精神上的懒惰和无能。

简介：如何落实数学教学中培养＂发现和提出问题的能力＂这个教学要求,文章从教学素材的角度阐述了自己提出问题的做法。

简介：学生先学后，在课前或课始已有体验和感悟，故教师应改变原有教学方式，关注学生现有学习经验，灵活调整教学预设，找准教学切入动点，从纵向和横向拓宽知识面。让学生当堂完成作业，更好地理解和掌握基本的数学知识与技能，有效地体会和运用数学思想与方法，获得更富的数学活动经验。

简介：由于信息技术走进了课堂，语文课犹如春风化雨，顿时有了声、色、形，把所传授的知识形象化，让文学鲜活起来，让沉寂的课堂热闹起来，让感情奔涌起来，让未知的眼睛明亮起来，让狭窄的思维广阔起来。信息技术在教学中的运用，把感性认识与理性认识结合起来，把抽象思维与形象直观融为一体，义趣结合，既可获得与文体相应的知识，有提升审美情趣，让学生直观而顿悟，乐学爱学。

简介：研究了基于认知评估原理的多维耳语音情感识别.首先,比较了耳语音情感数据库和数据采集方法,研究了耳语音情感表达的特点,特别是基本情感的表达特点.其次,分析了耳语音的情感特征,并通过近年来的文献总结相关阶特征在效价维和唤醒维上的特征.研究了效价维和唤醒维在区分耳语音情感中的作用.最后,研究情感识别算法和应用耳语音情感识别的高斯混合模型.认知能力的评估也融入到情感识别过程中,从而对耳语音情感识别的结果进行纠错.基于认知分数,可以提高情感识别的结果.实验结果表明,耳语音信号中共振峰特征与唤醒维度不显著相关,而短期能量特征与情感变化在唤醒维度相关.结合认知分数可以提高语音情感识别的结果。

简介：＂有一个漂亮的女朋友是怎样的体验？＂抑或＂在奢侈品行业工作是一种怎样的体验？＂在问答网站上,这种句式已经成了流行。但是王青璨是一个社交网站绝缘体。他没有微博,鲜少发朋友圈。你问他：＂大神,数学好是一种怎样的体验？＂他端端正正地坐着,眼睛习惯性地向左下角瞟,几秒钟之后,又看向你：＂老师,这种问题一般人会怎么答？＂王青璨是北京大学数学科学学院科学与工程计算数学专业的本科生,今年大四。

简介：教师集备教师间互相取长补短、集思广益、提高效率与互相促进。让集备在教学中发挥应有的作用，本文联系我校的情况，来谈谈如何集体备课。

简介：文章重点运用了文体学批评的变异分析方法,对王安石的《游褒禅山记》作文本细读。文章从词汇变异的角度,分析了王安石为什么多用“所谓”;从句式变异的角度,分析了王安石为什么采用一组双重否定句;从篇章变异的角度,分析了王安石的几个“欠流畅和完整的句子”;从语域变异的角度,分析了王安石在“表达方式”上的苦心安排。

简介：产品特征抽取是产品评论挖掘中的关键一步，针对现有产品评论挖掘方法对产品特征抽取的不足，提出了一种Apriori算法和文本模式相结合的产品特征抽取方法，并运用特征修剪算法对候选产品特征进行过滤。实验结果表明，该方法具有较好的效果。