论文部分内容阅读
把两个数学集合 SAC和定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.
软件体系结构的数学论域
【摘 要】
：
把两个数学集合 SAC和定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣
【机 构】
：
武汉大学计算中心,武汉化工学院
【出 处】
：
武汉大学学报：工学版
【发表日期】
：
2003年4期
其他文献
"同地同权"是物权平等的必然要求,是城乡一体化的必然要求,但"同地同权"并不必然"同地同价",更不必然"同地同利"。"同地同权"的"同地"只能是符合有偿性、有期限性、非身份性
促进民族团结是党和国家的重要方针政策,党和政府高度重视在中小学开展民族团结教育工作。为了解当前中小学民族团结教育现状和存在的问题,本研究采取分层取样的办法,对云南
介绍了电力系统安全问题、脆弱性概念和电力系统中脆弱性的主要来源,指出了电力系统的脆弱问题所造成的危害,提出了脆弱性指标,结合目前的措施和技术手段阐明如何预防或减少
商户融资的目标客户群及其融资需求商户融资目标客户群的基本情况商户指个体工商户及规模较小的私营企业主,商户融资是指以自然人为授信主体,单户授信金额不超过500万元的私
将离心式空气压缩机组土建基础施工中遇到的一些问题及管道安装过程中制定的施工方案进行了总结，提出了机组配套辅机出厂时的防锈处理方法。
在我国经济迅速发展的同时,风险导向内部审计作为一种审计发展的新模式,在现代经济生活中的重要性显得尤为突出,而随着电力体制的改革,电力企业也面临着很大的市场竞争压力,
优化学生作品展示方式,就是指在学生实践的基础上营造展示、欣赏、评价的生态空间。教师要具有＂以生为本＂的教育理念,在教学中提前设计,把学生的参与作为优化发展的主要阵地,开
1664年巴黎外方传教会的成立,是罗马教廷打破葡萄牙垄断远东教务,夺取中国保教权的关键步骤。至1946年,共有741名传教士派往中国西南五省,创建全部17个教区,牧养至少27万信徒
介绍了工程实验、勘测、设计中常见的列表函数之数值拟合方法、程序实现及工程应用.应用此法可方便地将任何列表函数精确计算到工程设计、施工所需要的数据程度.
介绍了焦炉煤气脱硫前的2种预冷方法：直接冷却法和间接冷却法。给出了各自的流程,比较了它们的优缺点。同时,介绍了间接法预冷的工艺计算方法,指出在实际生产中企业应根据具体