基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展--INDU网络,将Heisenberg不确定性原理应用于INDU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表.FINDU网络在军事多自主体系统中可以得到很好的应用.     

放下过去以及现在

人生最大的焦虑之一就是:无论我们如何努力,在人生的终点我们都有可能发现自己虚耗了生命。而在本书中,威廉·欧文教授运用斯多葛主义深邃的心理探索与有效的实践技巧,为我们描绘新生命的路线图。斯多葛主义者认为,保持我们安宁的一种方法,就是对发生在我们身上的事情采取一种宿命论的态度。根据塞涅卡的说法,我们应该把自己供奉给命运,因为"知道自己同宇宙一起漂流沉浮,对我们就应该是一个巨大的安慰"。根据爱比克泰德的说法,我们应该在心里牢牢地记住,我们只是另外某人——更准确地     

纪念过去，是为了探索未来

今年是国际空间站发射十周年纪念。十年历程,一个符号,神话般地记录着人类航天的勇气与执着。国际空间站从1998年发射第一个组件开始至今,在美、俄两国为首的十几个国家的共同努力下,以燕子衔泥造窝般的耐心在太空组建起一个供人类长期试验和居住的"行宫",将人类活动长居梦想定格在大气层外。虽然它的组建和运行不是一帆风顺,虽然它的下一步走     

早安,新年!

<正>每一缕清晨的阳光都是一次完美的雕琢,无论身处北面的漠河,西藏的珠穆朗玛峰,东面的东极岛,还是美丽的海南岛,新年的第一缕晨光都将给我们无限希望。在娓娓流淌的岁月里,我们都是时间光荣的使者,每天     

航天器时态规划技术研究进展

结合航天器自主运行的迫切需求,阐述了航天器任务规划问题给智能规划技术带来的挑战,并重点分析了具有时间属性的规划方法研究必要性。给出航天器时态规划定义,分别总结了状态空间时态规划建模方法和基于时间线的时态规划建模方法,并给出时态规划知识模型关键元素定义。根据规划方法发展现状,归纳总结前向链、模型转换、规划空间规划和分层任务网络四种方法在时态规划技术方面的特点和研究进展,着重描述各种方法对规划中时间要素的处理。在对目前的航天器时态规划技术发展趋势总结分析基础上,给出了未来航天器时态规划技术的发展建议。     

秘地新探:开启时间之窗

时间之窗能够让我们观看到过去已经发生过的事情. 要理解时间,我们必须对过去、现在和将来之间的关系有一个正确的认识. 但是什么是正确的,什么又是现实?     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

倔强女人 舒淇

舒淇肯定是很多人的"心头肉",因为她是性感的、撩人的,但她没有性感的高高在上,她也是朴素的、天真的。更难能可贵的是,舒淇并没有让女生讨厌,她是连女人也喜欢的女人。这样两边讨好的特质并不是一般的性感女神可以做到,因为舒淇身上总带着让人我见犹怜的韵味和故事。     

外币报表折算理论探讨

外币报表折算属于会计计量问题，折算方法的理论选择与合并报表的编制要求之间存在严重矛盾，其外因是公司管理当局追求收益平衡化，内因则是企业跨国经营拓展了会计计量的空间，非单一货币环境使传统的单一货币计量尺度假设受到冲击。解决矛盾的途径应从计量尺度人手，以货币组合(如：SDR)而不是单一货币作为会计计量尺度或许是一项有益的尝试。