论文部分内容阅读
本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.
代数规范与对象行为约束
【摘 要】
：
本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.
【机 构】
：
中国科学院软件研究所北京100080
【出 处】
：
计算机学报
【发表日期】
：
1992年12期
其他文献
本文是继《制冷工程中单级压缩机选择的 CAD》之后,对一级节流中间完全冷却双级氨压缩制冷循环压缩机选择,给出了程序设计结构和应用举例。采取最大制冷系数时的中间温度为最
需求侧管理将成为电力公司一项常规性管理工作，然而现有电力营销系统主要完成一般业务处理一不能满足需求侧管理的决策分析要求，因此提出构建面向DSM的营销决策支持系统解决方
发电企业的ERP建设与电力公司的ERP建设有许多不同。作为典型的资产密集型企业．发电企业ERP的效益应该更多地体现在物资管理模块(MM)和工厂维护模块(PM)；而电力公司ERP的效益应
本文提出了一种求解圆顶点m着色的“智能”回溯算法.实验结果表明,对求解适当规模的顶点着色问题,新算法较常规算法快2～7倍.分析结果表明,对求解难度更大的这类问题,新算法则
本文探讨了用2次周期性NURBS表示闭合圆锥曲线的方法,导出了精确表示椭圆、抛物线和双曲线的条件,并给出了精确表示圆弧的充要条件;提出了用2次NURBS精确表示圆的新方法.和其
EAM以提高设备资产可利用率．降低设备运行维护成本为目标．以优化企业维修资源为核心．通过信息化手段．合理安排维修计划及相关资源与活动，从而提高企业的经济效益和市场竞争力，它是
本文提出了一种自适应的噪声和纹理图象分割算法.观察图象被模拟为由区域过程、映射过程和噪声过程三个层次综合作用构成的.整个算法包括两个独立的步骤:第一步是层次图象模
喜欢新鲜事物的"玩"家张水凌是江苏镇江人.受在电力行业工作的父亲影响,从小就着迷于新事物,虽然在文化大革命时代没能正规而系统地学习,但因为成长在比较好的家庭环境和学习
<正> 冷冻食品的品质主要由冻结速度、冻结温度等冻结过程和包装材料、包装方法等包装工艺决定。为了防止冷冻食品的脂肪氧化和风味散失,隔气性包装材料和真空包装方法得到了
联邦数据库管理系统FDBMS是对一组给定DBMS的扩充,它支持异构多库间的数据共享,交互操作和自治,并支持涉及多库查询但最多仅涉及一库修改的联邦事务,FDBMS的数据语言与原DBMS