可执行时序逻辑介绍

来源 :管理科学文摘 | 被引量 : 0次 | 上传用户:snowsky001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
据报道.不久前研制了适应于过程按时间展开的编程语言。这些语言中使用的逻辑和操作.构成表示不同对象行为动态的基础。指出,这些语言的研制迄今还带有有限应用的试验性质.但将来会大力推广。迄今为止.这些编程语言主要用于计算的理论与实践方面和研制人工智能系统。但是它们未来的使用范围,包括用户界面。过程控制和社会现象的模拟。作者侧重描述这两种语言的语法和语义。属于第一种标准的是离散型语言.它的语句描述在给定的时间序列内所研究的对象状态之间的联系。以所谓区间时态逻辑(ITL-IntervalTemporalLogic)
其他文献
目前对道德教育者的角色定位大多承袭了在知识传授过程中的定位方式,而缺乏对其理论前提的反思。知识角度的道德教育者角色定位有可能导致教育者在道德教育中的角色错位,进而导致道德教育的错位乃至低效。庄子对道德教育者的角色分析值得我们借鉴。从道德教育过程中可能隐含的个人名利看,教育者不能以师表自我标榜;从道德教育的方法看,道德教育者不是道德管理者;同时,从已经显现出的道德教育效果看,在道德教育上不能过度依赖道德教育者,道德教育者在道德教育过程中的作用是有一定限度的。我们对道德教育者的角色重新进行定位具有重要意义。
构建研究型大学科研质量标准,对于深化研究型大学质量评价体系,完善与加强研究型大学的理论基础与实践建设都有深刻的意义。坚持科研质量标准本体性、内适性、外适性的价值取
摘 要:新时代下,企业党建工作仍然在改革中,企业党建工作开展期间面临的问题逐渐体现出来。党建工作是企业改革的重要组成部分,对企业未来发展有一定的引导作用。因此,相关企业必须积极参与党建工作创新,以提升企业核心竞争力和发展空间。  关键词:企业;政工工作;重要作用;不足;改进措施  1政工工作对于企业发展的重要性分析  (1)企业政工工作通过对企业员工开展思想教育,加强了员工的思想道德素质,充分地推
我国道路工程自改革开放发展至今其建设规模和建设技术处于世界领先水平。随着我国经济的不断发展和社会的日益进步,交通运输业也得到快速发展与完善。交通运输业的发展已经
季札观乐,出于聘礼仪程。鲁襄公不享季札,由叔孙穆子主飨。以叔孙穆子对礼乐的精通和坚守,季札请观周乐,必合乎聘礼规格及仪程。故叔孙穆子使乐工演《风》、《雅》、《颂》,
摘 要:我国当前建筑行业的发展速度较快,建筑工程施工的数量也在逐渐增加。但建筑工程在实际施工的过程中,施工技术管理工作在其中占据较重要的位置,而施工技术管理工作的水平与整体工程施工质量之间也具有密切的联系。所以,建筑工程在实际施工的过程中,相关部门和工作人员就需要提高对施工技术管理工作的重视程度,还需要采取科学合理地优化措施,保证能够加强建筑工程施工技术管理工作的水平,从而避免对整体工程施工的质量
基于素质教育发展背景,人们逐渐意识到体育课程的重要性,其已经成为中职教育体系中不可缺少的一部分。体育教育不但有助于学生理解掌握体育技能,而且能强健学生的体魄。
期刊
摘 要:本文分析了校园文化建设与思政教育协调发展的意义,从建立二者协调发展的保障机制,营造良好的校风,优化校园物质文化环境,完善教职工团队建设,加强校园主题活动的开展多方面探索了高校校园文化建设与思政教育协调发展对策,对于高校教书育人工作的创新发展是一种促进。  关键词:高校校园文化建设;思政教育;协调发展;对策  在高校育人工作中,要不断实现育人方法途径的创新,才能保障高素养人才的有效培养。高职