论文部分内容阅读
基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，指导出符合实际 模块化规范的转换方法，用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的，直接处理多模块划分的规范分解算法。
分布实现完全LOTOS规范的转换方法
【摘 要】
：
基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，指导出符合实际 模块化规范的转换方法，用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行
【机 构】
：
长沙工学院计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1999年6期
【基金项目】
：
国家自然科学基金,国家863高科技项目基金
其他文献
2020年9月11日，习近平总书记在主持召开科学家座谈会时寄语广大科学家和科技工作者肩负起历史责任，坚持面向世界科技前沿、面向经济主战场、面向国家重大需求、面向人民生命健康，不断向科学技术广度和深度进军。本期我们节选刊登邓小平的《在全国科学大会开幕式上的讲话》一文，并刊发赏析文章，旨在引导广大党员干部认真贯彻党中央关于科技创新的决策部署，落实好创新驱动发展战略，尊重劳动、尊重知识、尊重人才、尊重创
欧盟在今年初通过了“涂料和亮光漆”类产品的环保检验标准。从此,涂料和亮光漆可以和其他七种产品如洗衣机、洗碗机、卫生纸、厨房纸巾、洗衣粉、单头灯泡和土壤改良土等同
并行软件设计本身的复杂性使它的复用成为一个引人注目的问题。分布对象技术不仅可以将并行软件封装成相应的构件，而且提供了利用各种异构系统进行并行计算的可能性，但这样往往
天水师范学院,坐落在历史文化名城——"羲皇故里"天水市,是甘肃省属普通本科高校。学校创办于1959年,2000年升格为天水师范学院,2013年开始教育硕士研究生培养工作,是甘肃省
实用文体资料的翻译涉及多文体、多学科领域。要搞好实用文体的翻译，首先弄清源语语义，避免译语模棱两可；其次，实物名称的翻译要做到名物相符；第三，正确处理翻译术语名词。
北京作为国家"四个中心",高校云集,高等教育地位重要、作用特殊。高校领导干部作为高等教育改革发展的引领者、实施者、推进者,承担着重要职责与使命。走进这一群体,通过问卷
在推进国家治理体系和治理能力现代化、高等教育深化改革发展的大背景下,良好的高校形象愈发凸显其价值和意义,网络舆情对高校形象的影响也日益引发关注。研究采用近年被引入
提出一种用于频域的快速Ｂ小波变换方法和阶跃谱分析理论，并把它们用于磁共振缺损频谱数据中提取高频频谱、恢复完整频谱，重建图像．在此方法中，首先用快速Ｂ小波变换方法，从低频磁共振数据中提取、恢复缺少的高频分量的特征信息；然后用阶跃谱分析理论，由这些特征信息构成高频磁共振频谱、恢复完整频谱数据；最后用ＦＦＴ（ｆａｓｔＦｏｕｒｉｅｒｔｒａｎｓｆｏｒｍ）重建磁共振图像．实验和模拟结果都表明，重建图像质量优于
以大数据、深度学习和强算力为典型特征的人工智能正深度参与社会领域的重塑,给高校思想政治教育带来契机和挑战。人工智能为思想政治理论课教学、思想政治状况调查、思潮舆
发掘和探索马克思"批判哲学"的另一个积极建构新世界、面向新未来的"承认维度",是超越当代西方"承认政治"的一个重要实践反思课题。在新时代,高校思想政治教育认同越来越难以