论文部分内容阅读
在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序。为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序。
程序属性的UniNet描述
【摘 要】
：
在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序。为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序。
【出 处】
：
系统仿真学报
【发表日期】
：
2003年S1期
【基金项目】
：
国家自然科学基金(69973003),973项目(G1999032706)
其他文献
通过对住宅外窗密闭性与通风的矛盾以及常见空气渗透和雨水渗漏等问题的分析，提出利用合理的设计与施工等综合技术措施，提高外窗的气密性和水密性，以改善住宅居住舒适性并提高节
建立了辐射噪声中线谱、连续谱、调制谱的传播损失模型,对线谱、连续谱、调制谱的传播特性进行了研究;获得了鱼雷与目标相对运动过程中,在目标处所得到的鱼雷辐射噪声特征的
摘 要：随着国家政府对动漫产业的扶持，各高职院校为更好地建设动漫设计与制作专业，加大了对专业实训基地的投入，但由于缺乏系统规划和有效管理，常常将动漫实训基地建成了学校的一个形象工程，实训室开放率低下，没有很好地为人才培养服务。该文从实训基地建设的实践出发，提出了高职动漫设计与制作专业实训基地建设的思路。 关键词：高职 动漫设计与制作 实训基地 中图分类号：G712 文献标识码：A 文章编号：1
摘 要：在计算机技术、网络技术、移动通信技术迅速发展的影响下，传统的参考咨询服务已经不能满足现阶段高职院校读者的需要，在新技术推动下，参考咨询的服务内容及模式不断向数字化、合作化、个性化发展，该文化论述了高职院校利用数字化技术开展参考咨询服务。 关键词：参考咨询 数字化 服务模式 个性化服务 中图分类号：G252 文献标识码：A 文章编号：1672-3791（2016）03（c）-0148-0
采用面向对象的建模方法与仿真技术,建立南水北调中线工程系统仿真模型,开发系统仿真试验平台。借助该平台模拟水量调度过程,合理充分地利用各种水资源,实现水资源的优化配置,为决策部门提供有效可靠的参考方案。通过系统仿真试验表明近期调水方案能够较好的解决华北地区的缺水问题。
提出了一个可以描述VHDL中对象和控制流的Petri Nets模型,对比了只支持控制流CFPN模型的描述能力,给出了VHDL中对象:信号、变量和数据类型对模型的影响,并以具体实例分析了两种模型的不同抽象结果。
自现代意义上的大学诞生以来，高等院校的职能不断丰富和演进，总的方向是在坚持培养人才、发展科学的基本职能前提下，各高校逐渐把社会服务作为自己的使命和对社会责任感的重要体
提出了利用Cholesky分解来构造有陀螺效应机械系统的低维控制模型的一种新方法。利用所提的方法,构造了电力储存用10MWh级飞轮系统的低维控制模型,并设计了相应的零消耗控制器。仿真结果表明了此方法的有效性。