论文部分内容阅读
P-LOTOS表达式的数据类型是受限制的,它只使用整型和布尔类型,并且整型运算被限制为加法、减法和比较运算.引进了P-LOTOS表达式的定义并介绍了对P-LOTOS表达式的一种自动分析和测试例推导方法.
对P—LOTOS表达式的自动分析和测试例推导
【摘 要】
：
P-LOTOS表达式的数据类型是受限制的,它只使用整型和布尔类型,并且整型运算被限制为加法、减法和比较运算.引进了P-LOTOS表达式的定义并介绍了对P-LOTOS表达式的一种自动分析
【机 构】
：
内蒙古工业大学信息工程学院计算机科学与技术系,内蒙古大学艺术学院
【出 处】
：
内蒙古电大学刊
【发表日期】
：
2004年4期
其他文献
会计是伴随着人类生产实践和经济管理的客观需要而产生和发展的.会计人员的行为同样需要会计法律、制度和会计职业道德来约束和规范.会计信息的真实性、可靠性和完整性,不仅
采用Adriano单片机实现对伺服电机的控制。阐述了该实验台的机械结构,绘制出了系统硬件框图,编写了控制程序,搭接了系统电路,实现了单片机控制伺服电机的插补控制。通过实验
研究了船用尾滚筒的工作原理及其受力形式，利用ANSYS软件对大型船用尾滚筒的结构强度及稳定性进行了分析及计算，得到了尾滚筒的应力和位移的分布规律，找出了尾滚筒结构的薄弱环
介绍了无压旋流器的涡型入介方式,结合分选过程分析了入介形式的影响,阐述了涡型入介方式的设计思路,新式涡型入介方式入介具有阻力小、压力损耗小、处理能力大的特点。
多媒体技术、计算机网络技术以及通信技术的发展为人类的学习提供了更多可能的途径和方法.网络化学习作为一种新兴的学习方式,逐渐成为现代远程教育的主要特征.
目的：建立利脑心胶囊中丹参素的含量测定方法.方法：采用反相高效液相色谱法,Inertsil C18 色谱柱（4.6mm×250 mm,5 μm）,流动相为甲醇-1%冰醋酸（10∶90）,流速1.0 mL·min-1
在AMC25.1591的基础上建立了计算污染跑道起飞性能的新模型,该模型引入了跑道上的污染物产生的额外的阻力。以某型飞机为例,进行了动力学仿真。仿真结果证明,在计算起飞性能