论文部分内容阅读
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术，Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题，降低了并行系统形式化开发的复杂度。
形式并行需求规约向Java程序框架的转换
【摘 要】
：
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术，Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的
【机 构】
：
云南大学经济学院,云南大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2000年8期
【基金项目】
：
云南省自然科学基金项目!（98F005G）,,云南省中青年学术技术带头人培养基金!（1998－37）
其他文献
通过分析银行清算网络路径问题，指出问题的实质：单向图上两个底层节点逐层向上搜索，寻找最佳汇集点.并提出了采用产生式系统和A*算法解决此类问题的一般方法.
<正> 2001年,天润曲轴有限公司各项经济技术指标再创历史新高,全年完成销售收入20242万元,实现利润2208万元,全员劳动生产率183702元,同比增长分别为11％、4％、12％,圆满完成既定
介绍了目前防范SYN/Flooding网络攻击的几种典型的方法,在模拟高速交换网络的环境下实施了SYN/Flooding网络攻击的实验,通过对网络带宽和系统遭受攻击的影响的分析和比较实验
阐述了信息系统开发的复杂性,以及开发过程中所遇到的一些问题;提出了将统一建模语言应用于信息系统设计和开发的方法,并以实例阐述了信息系统中3层数据处理的设计和实现.
讨论了ＤＣＯＭ技术的特点和基本的编程模型，并提出了一个简单的应用模型。
介绍了分布式机载机电设备综合仿真平台的软件结构。仿真平台提供机载机电设备仿真中所要使用的各种通用模型库及完整的仿真实验框架，利用仿真平台可以进行各种型号的机载机电
本文从分析地方科技情报部门长期存在的弊端,以及目前体制改革未能克服这些弊端的现实情况和主要原因出发,阐明要解决科技情报部门内部活力问题,关键是要落实和扩大情报机构
本文分析了大理石与萤石配比在低合金高强钢焊条研制中其电弧吹力、熔滴表面张力等对该渣系焊条工艺性能的影响,探讨了部分含金过渡对熔敷金属力学性能的损益,为完善我省低合
本文通过川藏铁路成雅段软基水泥搅拌桩加固处理项目．从室内配合比设计、施工现场质量控制等方面阐述了水泥搅拌桩在成雅项目中的应用，对类似工程有借鉴作用。