论文部分内容阅读
利用面向对象程序设计语言Ｊａｖａ完善从文体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件，使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开，而且为了方便用户，满足工业界和其它领域的要求，给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。
一种有效的形式描述技术：CE—LOTOS
【摘 要】
：
利用面向对象程序设计语言Ｊａｖａ完善从文体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件，使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开，而且为了方便用户，满足工业界和其它领域的要求，给出了一个从ＧＥ－ＬＯＴＯＳ到
【机 构】
：
内蒙古大学计算机学院,内蒙古铸锻厂
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金资助项目!( 69863 0 0 1 )
其他文献
8月3日，第10号热带风暴“达维”于凌晨1点进入山东境内。受“达维”影响．临沂地区出现强降水。为加强应对，临沂市委市政府于次日晚22时启动防范“达维”的一级响应。与此同时，临
采用真空蒸发法和热氧化制备纳米ZnO薄膜,分析掺杂对薄膜结构的影响.实验发现,掺入一定比例的In,可以得到沿c轴择优取向的纳米ZnO薄膜,薄膜结晶度有所下降,影响薄膜沿c轴的择
简要介绍了现代油藏经营管理的基本模式，从油藏经营管理的组织机构设置及人员配备情况和运作模式两方面，深入分析了中国石化胜利油田有限公司采油厂的油藏经营管理现状，找出了影
近年来ＣＥＲＮＥＴ有了长足的发展，越来越多的院校和科研部门连入了ＣＥＲＮＥＴ。网络计费是ＣＥＲＮＥＴ上一个十分迫切和关键的问题，目前已多种上计费系统，但大多数计费都是基于ＩＰ地址的，这种方法对于多人使用同一台
二元关系的闭包运算在网络、语法分析以及开关电路中的故障检测和诊断等领域有着重要的作用。通过求二元关系各幂的并获得关系闭包方法后来被认为是十分困难的和甚为繁琐的。
用半群方法得到的力学中具有重要意义的广义非线性对流扩散方程的混合初边值问题的整体解的存在唯一性。
用真空蒸发ＳｎＯ２－ＺｎＯ，获取超微粒结构的ＳｎＯ２－ＺｎＯ薄膜，实验发现ｗ（ＳｎＯ２）：ｗ（ＺｎＯ）＝８０％：２０％薄胡较低的电阻率，对乙醇有较高的敏感性，是较好的酒敏材料。
在乙醇溶液中合成了ＴｂＣｌ３，Ｔｂ（ＣｌＯ４）３与Ｌ－脯氨酸，甘氨酸形成的二种三元固态配合物Ｔｂ（Ｐｒｏ）０．５（Ｇｌｙ）２．５ｃＬ３．５Ｈ２ｏ和Ｔｂ（Ｐｒｏ）０．５（Ｇｌｙ）２．５（ＣｌＯ４）３，并通过摩尔电导，红外光谱，热分析及粉晶荧光光谱等进行了表征。