简介:摘要:锅炉生产过程具有多变量、非线性、强扰动、大滞后等特点,传统PID控制方法难以取得理想效果。随着人们对控制精度要求的不断提高和环境保护意识的加强,迫切需要对锅炉生产过程中关键参数的精确控制问题进行研究,设计符合问题特点的算法,提高控制精度,优化控制变量。
简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:罪数问题,就是指犯罪是一个还是数个,在刑法理论上指一罪与数罪。在一罪形态中,由于手段方法或者结果方法的不同,其量刑原则往往有自己的特点,如有的从重处罚,有的从一重处断,有的只作一罪处刑,有的本为从一重处断,法律却规定数罪并罚等等。在我国刑法中,有些罪数形态如连续犯、继续犯、牵连犯、集合犯等,与刑法的空间效力、时间效力、追诉时效等制度都有密切关系。如《刑法》第89条规定;“追诉期限从犯罪之日起算;犯罪行为有连续或者继续状态的,从犯罪行为终了之日起计算。”如果不能对连续犯、继续犯等罪数形态作出科学的解释,就会影响时效制度的正确适用。
简介:自孔宪中先生开始“骂祖宗”以来,一直是“骂”声不绝。围绕中文的“骂其可骂”之处,语文界随之便有“帮骂”、“反骂”,继而又有“辩骂”。如果通过“骂”、“帮骂”、“反骂”和“辩骂”而凸显出汉语的精神来,孔先生功莫大焉。如果证明孔先生的观点都是错的,这也无损孔先生的威名,因为我们面对的是语言这一客观事实,对它的探究属于科学范畴,而科学的标准之一就是可证伪性(falsifiability)。孔先生对前人观点之否定是证伪,同仁对孔先生的否定之否定也是证伪。在科学史上证伪和证实有着同样的价值。如果孔先生的观点有1%是正确的,这便是孔先生贡献的又一体现了。孔先生并非故作惊人之语,而是拳拳的赤子之心的“善骂”,犹柏杨之“骂”矣。