排序方式: 共有152条查询结果,搜索用时 187 毫秒
1.
产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础,而Petri网是一种行之有效的模型描述语言、论述利用Petri网建立面向企业新产品开发过程的工作流模型,并对其进行简化、 相似文献
2.
3.
<正> 人教版高中生物选修本"免疫"一节的内容,由于受教材篇幅和课时所限,不可能描述得具体而详细。但这样就带来一些问题:学生常对教材中的一些概括性描述语言感到"不知其所以然";另一方面,部分学生却又从教材的个别语句中"悟"出一些不符合事实的"道理"来,以致陷入多个理解上的误区。这是学生天生的求知欲与好奇心造成的,同时也反映了传统教材在编写上的一些弊端。笔者将对此做一简要剖析,以供大家参考。1 淋巴细胞为什么会由骨髓造血干细胞分化、发育而来?教材 P.18只提到"淋巴细胞是由骨髓中的造血干细胞分化、发育而来的",再无相关内容的描述。部分学生依此 相似文献
4.
本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。 相似文献
5.
在现在的数字系统设计中,FPGA发挥着越来越重要的作用。首先分析了FPGA的内部结构特点,对FPGA设计技术进行了详细阐述,针对现代数字系统的特点,研究了FPGA的设计流程。其次,简要介绍了SOPC技术,SOPC是Altera公司提出的一种灵活、高效的片上系统设计方案。它将处理器、存储器、I/O口等系统设计需要的组件集成到一个PLD器件上,构建成一个可编程的片上系统。接下来,介绍了VGA的相关知识.VGA(视频图形阵列)作为一种标准的显示接口得到广泛的应用。笔者依据VGA显示的原理,抛弃VGA显示专用芯片,采用FPGA(现场可编程门阵列)设计VGA接口可以将要显示的数据直接送到显示器。最后,在Altera公司的开发软件QuartusⅡ中,利用VHDL语言,实现模块的设计,达到图像动态显示的目的。 相似文献
6.
软件演化过程描述语言是一种面向对象的可视化建模语言.使用软件演化过程描述语言,在建模过程中不仅可以建立整体的软件演化框架,还能以极强的描述能力在不同的抽象层次上描述演化过程.软件演化过程描述语言编译器作为软件演化过程的CASE环境的基础,基于Java的软件演化过程描述语言编译器的设计思想和实现方案,可以有效解决编译器平台性问题,具有良好的扩展性. 相似文献
7.
介绍了"硬件描述语言"课程教学改革的思路,从理论教学、实践教学和考核方式等方面论述了教学改革的具体做法。通过采取"案例式"教学、增加设计型与综合型实验、构建"开放型"实验室和建立辅助教学网站等措施,使学生课内和课外学习效果形成有机的互补。 相似文献
8.
CPLD在LED广告屏中的应用研究 总被引:1,自引:0,他引:1
介绍单片机和CPLD在公交车内LED广告屏中的应用设计。单片机将点阵码写入双口RAM后可处理其它事务,只要向CPLD发出扫描触发指令,扫描工作将由CPLD硬件负责,实现了由单片机软件到CPLD硬件的转变,大大提高了扫描频率和CPU的处理能力。 相似文献
9.
为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的. 相似文献
10.