论文部分内容阅读
在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则：构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。
软件体系结构的行为求精
【摘 要】
：
在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则：构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。
【机 构】
：
湖南工业大学计算机与通信学院
【出 处】
：
湖南工业大学学报
【发表日期】
：
2007年5期
【基金项目】
：
国家自然科学基金资助项目（60773110）,湖南省教育厅优秀青年科研基金资助项目（06B023）,湖南工业大学成人教育研究基金资助课题（05B06）
其他文献
介绍了在Multisim7中进行放大器动态指标测试的方法，指出了在放大器动态指标测试中的注意事项，并将部分测量值与计算值进行了比较，结果验证了该方法的可行性与有效性。
介绍了CAN总线在电气监控系统中的应用，给出一种基于独立的CAN总线控制器SJA1000和STC89C51单片机的系统总体结构、硬件设计以及软件设计方法。该CAN总线网络适用于多数电厂和
针对矿井风量的非线性，时变及滞后的特点，介绍一种适用于PLC的模糊控制系统，通过PLC查表方式实现模糊控制的设计方法。给出了PLC程序设计的算法流程图及输入量量化程序、模糊控
介绍火灾智能控制系统的构建，并探讨了基于模糊算法在火灾控制中的应用。该系统采用了软、硬件抗干扰措施，能有效地完成分布式远程控制和故障诊断。
在对PAUSE功能以及其他研究分析和总结的基础上，提出了名为FRACE的可用于全双工以太网的流量控制机制，利用这种机制可以提高以太网的网络性能、保障用户服务质量。
以附有动力吸振器的两自由度振动系统作为研究对象，利用达朗伯原理建立了数学模型，并进行无量纲化运算。针对动力吸振器的4个参数（κ，γ，δ，μ），综合运用变度量法中的Davidon-Fletche
从实验、课程设计、案例教学、作业设置等几方面，阐述了《运输包装》课程实践教学的作用及相互关系，旨在改善课程实践教学环节的效果，培养有竞争力的包装工程专业人才。并在分析
结合边缘检测技术和数学形态操作，提出了一种基于视觉的铝带表面检测方法。应用中值算法滤除缺陷图像噪声后，用边缘算子提取缺陷边缘，经形态学处理后得到完整缺陷目标，然后提取缺
中国民间吉祥图案始终保持着达观向上的精神，并以浪漫的想象和奇异的吉祥寓意独树一帜，在造型、构成、色彩等方面都形成了特有的语汇。探索其艺术表现有助于弘扬中华民族传统文