简介：《文心雕龙·时序》是刘勰阐述“文学是随着时代变化而变化”的文学发展规律的篇章。文章对有争议之处提出了个人见解,即“梗概”有大概、耿介、慷慨三个含义,《文心雕龙·时序》中“故梗概而多气也”的“梗概”应解为“慷慨”;“尽其美者何,乃心乐而声泰也”中“何”属上句。

简介：本文简要介绍了状态机理论以及时序逻辑电路的特点，给出了一种时序逻辑电路的设计模型，在此基础上将时序逻辑的设计问题转化为组合逻辑的设计问题。本文给出的时序电路模型将状态机的理论和技术应用其中，并可借助于EDA软件进行设计和仿真。本文提出的设计方法简洁实用，可用于数字电路课程时序电路部分的教学。

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

简介：采用＂二次分类选典法＂构建评价指标体系,基于指标相关性的权重确定方法（criteriaimportancethroughintercriteriacorrelation,CRITIC）和几何平均法赋权并进行静态评价,发现多数寿险公司都能保持增长趋势;利用时序动态多指标综合评价方法计算动态绩效并进行排序,分析绩效高低的原因,提出寿险公司健康发展的建议。

简介：<正>一自1985年《北京大学研究生学志》(原名《北京大学研究生学刊》,1999年改为《学志》)创刊,至今已整整走过20个年头。20年间,在《学志》发表的论文中,历史学类论文始终占有一个相对稳定和重要的位置。据我们初步统计,总79期刊物,共发表史学论文106