发布时间：2011-09-16 23:36:56
线性时序逻辑（Linear Temporary Logic, 简称 LTL）是命题逻辑的基础上加了几个算子 因用于程序模型检测而出名。下面用Python编程演示简单的模型检测例子。......【阅读全文】
发布时间：2011-08-31 15:26:17
linux系统虽然有定时守护进程cron，功能嫌太强大了。 如果我们的需求仅仅是提醒自己15分钟后要离开电脑去办某件事 聂锡宁是个编程爱好者. 他的主要工作是编程理论......【阅读全文】
chinaunix网友2009-11-24 13:27
让我想起了我大学时代(83-87年)曾用basic编过这个游戏,正是用的异或方法,来源于克伦维尔的一本小册子<怎样解题>,当时我就有一个对策论的猜想: 对于某个轮番操作的二人对策问题,其状态空间{T} (1).是否一定存在一种划分将{T}分为{T1},{T2},使得对{T1}中状态的任何操作必然转入{T2},对{T2}的操作则可能转入{T1},也可能依然在{T2}内,如此则有必胜之策略. (2).如果存在这种划分,如何找到划分的方法? 假如上述猜想成立,此类问题不就迎刃而解了吗?好多年没去翻对策论的书了,,没想到在这里找到了答案;本人是搞工程的,只是有兴趣. 另外我有一篇元胞自动机的文章<一种广义元胞自动机模型的构想/形式化表述及两个算例>见http://www.swarmagents.cn/bs/forum/viewblog.asp?id=7762 您看看有何建议,我用它还是解决了不少其他现成软件难以处理的问题,有兴趣可以探讨. 我的邮箱:hhh168168@sina.com,黄
