【摘 要】
：
本文提出了一个具有一般性的、可扩展且可定制的数据流模型RealModel，该模型突出刻画了数据流的时间特性,对数据流上的操作语义深入的分析和定义,并把数据流的数据特性和操作
【机 构】
：
东北大学信息科学与工程学院,沈阳,110004
论文部分内容阅读
本文提出了一个具有一般性的、可扩展且可定制的数据流模型RealModel，该模型突出刻画了数据流的时间特性,对数据流上的操作语义深入的分析和定义,并把数据流的数据特性和操作特性以约束的形式抽象出来，RealModel以三元组形式化描述了数据流的数据结构、数据操作及约束，此外,RealModel将关系和数据流在数据形式和操作上进行统一。
其他文献
随着时代的进步和护理模式的变化,护士必须重新认识护理工作,转变观念,以人为本.随着医疗事业的发展和市场经济的确立,给护理人员提出了更高的要求.任何个人素质的完善过程都
气体火花开关是脉冲功率装置的关键部件之一，其性能对整个脉冲功率装置有重要影响。本文通过对气体火花开关的静态和动态特性实验得到开关的自击穿电压曲线、工作范围以及击穿
本文就卫生监督体制改革进入全方位改革的时期,从卫生监督的立法、执法、守法三个阶段与伦理道德建设的关系及执行谈点看法.
本文通过对重核252Cf自发裂变产生的瞬发γ谱的测量,对丰中子核108Ru的能级结构进行了研究.基带、单声子γ振动带和一个二准粒子带分别得到了确认和扩展,同时识别了一个新的
根据传统的供应链协调契约,提出了“收益共享+剩余”契约(RS)和“批发价格+回购”契约(WB)两种混合契约机制。引入了金融中测量风险的条件风险值(CVaR)来研究由具有风险规避
医德品质由五方面的要素构成,其形成过程包括内化和外化两个有机统一的动力过程,医德情感从中起着关键的作用,本文就加强对医学生的医德情感培养提出了三方面的措施和建议.
2012年,世界卫生大会(World Health Assembly,WHA)通过了全球疫苗行动计划(Global Vaccine Action Plan,GVAP),到2015年努力实现世界卫生组织(World Health Organization,WHO
淮河流域淠史杭灌区的泄水闸多采用挑流消能,由于下游淮河水位变化幅度较大,挑流排架的流态有自由挑流和水跃.挑流排架由于水流脉动载荷的作用可能产生较大的振动,有必要进行
恶性肿瘤是一类常见且严重威胁人类生命和生活质量的疾病,对肿瘤患者进行中医临床实验性治疗既是人体实验的一种形式,也是一种辅助治疗方法.由于中国传统医学蕴含着朴素的"生
本文分析了转型期医院分配制度改革的伦理问题，转型期医院以经济指标为主的分配机制引发出在收治病人方面的伦理问题,本文探讨了对于这些问题怎样去认识分析,如何去面对解决.