基于状态空间神经网络和扩展卡尔曼滤波的主动交通感应控制

为改善方案选择式交通感应控制输出的交通信号配时方案滞后于实时交通状态的缺点,提出用状态空间神经网络和扩展卡尔曼滤波模型预测未来交通状态的优化配时方案.采用能反映道路网络几何特征的状态空间神经网络拓扑结构,结合当前时段和前一时段的路段交通状态,预测下一时段交通状况并选择与其相匹配的信号配时方案;应用扩展卡尔曼滤波训练状态空间神经网络,提高其训练效率及精度.选用南京市广州路的实测交通数据和由多目标遗传算法得出的最优信号控制方案验证模型的有效性.研究结果表明,与BP神经网络和状态空间神经网络相比,所提出的模型能够根据道路状况选择合适的交通控制方案.     

Deadlock detection using abstraction refinement

This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions as certain and uncertain to make deadlock-freedom conservative, i.e. if the abstraction of a system is deadlock-free, then the system is deadlock-free. An abstraction refinement approach to deadlock detection is proposed, and the correctness of the approach is proved.     

王船山语言文字思想研究述评

王船山语言文字学思想主要体现在其专著《说文广义》之中。其在论述汉字的假借、虚字的特色和演变、多音字的读音、词义引申等方面,都有自己独到的见解。我们应正确认识王船山在语言学史上的贡献,确立其应有的地位。     

语义取象对词义演变的影响——以“牙、齿”为例

词的所指对象依照认知经验会在人的心目中形成一定的心理意象,我们称之为＂语义取象＂。通过对＂牙、齿＂的词义分析,我们发现：受深层认知因素的制约,两个词即使词汇意义大致相当,但它们在人们认知体系中有不同的意象和各自突显的特征,这深刻影响着词的使用和词义的发展,对词义系统的自我调控与平衡是极有利的。聚焦于词的语义取象,使我们获得了词义分析的新视角,能够为多义词的义域分布和发展趋势提供解释,也为同义词的辨析提供了新思路。     

三维复Ginzburg-Landau方程双曲函数形式的精确解

使用了基于两种常微分方程的tanh-函数和扩展的tanh-函数法,构建了三维复Ginzburg-Landau方程的精确解.     

融入拓展训练的大学体育体验式教学

以挖掘潜能、熔炼团队、完善人格为目标的体验式拓展训练,与现行的一般学习模式相比具有许多优点,能够弥补学校体育在培养大学生自主能力、心理健康以及社会适应等能力方面的不足。对融入拓展训练的大学体育体验式教学的流程与实施环节进行了阐述,为高校体育教学改革提供借鉴。     

《诗经·大雅·生民》“居然”义考索

《诗经·大雅·生民》第二章“以赫厥灵,上帝不宁,不康禋祀,居然生子”一句中的“居然”之义,历来众说纷纭,莫衷一是。从本诗所反映的意旨、上下文关系、“居”字字形演变以及词义发展来看,此“居然”非“居然（竟然）”、“徒然”、“居处”或“胡然”、“其是”等义,当为“安然”之义。     

拓展训练引入高职体育课堂的教学改革研究

本文对拓展训练的内涵、分类、价值进行阐释。论证了高职体育教学与拓展训练在目标、原理、过程等方面的内在联系,理性分析了拓展训练引入高职体育教学的必要性和可行性。应充分发挥拓展训练对推进高职教育的重要作用,推动高职院校体育教学改革。     

基于EPR的制造商双源库存控制

探讨了生产者责任延伸制度及其与闭环供应链的关系.在分析了闭环供应链下的库存特点后,研究了一种单修复期、多生产期的库存模型.在假设回收数量受到回收价格的控制且当回收价格确定时,不同周期的回收量相等,回收来的旧产品可通过修复方式得到新产品,修复完成后与新产品无差别的条件下,以单周期系统总费用最低为目标函数,能够求解出最佳的单次生产批量和最佳的产品回收价格,为企业决策提供依据.     

基于河北省城镇居民消费结构的实证分析

消费热点能够促进产业结构优化和带动经济持续、健康发展,运用扩展线性支出系统模型对河北省城镇居民的消费结构进行实证分析,根据消费结构的特点和变化趋势,确定交通通信、衣着和医疗保健为未来城镇居民的消费热点,要实现消费热点的转变,需要提高居民的收入水平,国家财政、金融和税务等政策的大力支持,改善消费环境等。