对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性

本文介绍了当前工厂设计软件的种类和应用情况及PDS软件的适用范围。通过介绍一号高炉的PDS建模过程,叙述了如何对PDS数据库进行增补,使之适合高炉工艺的特点,并通过实体模型的建立,解决高炉设计中存在的问题

论述了柱径与柱高对逆流浮选柱浮选过程的影响,提出了气阻、面积负荷的概念.通过研究矿化气泡的受力及运动,建立了表征矿浆运动的理论模型,并对模型的参数做了经验处理.给出了用矿浆流速确定柱径、用柱径和浮选柱容积来确定柱高的设计方法.通过对细粒钼铋矿物的回收实验表明,在同等实验条件下,无论是精矿品位还是回收率,按该方法设计的柱体浮选效果明显好于其他尺寸的柱体

（1)熟悉带的工作原理、传动特点及应用范围; （2)掌握带传动的受力分析、弹性滑动与打滑现象和带传动的失效形式、设计准则; （3)掌握V带传动的设计方法以及提高带传动承载能力措施; （4)了解各种类型传动带的结构形式、特点和应用,并加以比较。着重了解平带传动V带传动的特点。 （5)了解带传动的张紧方式和带轮的结构设计

一、问题:有时候,拥有私人信息的一方有积极性通过一定的行动向另一方传递自己的私人信息,但有时候他们没有积极性或没有有效的办法传递自己的私人信息; 二、机制设计没有私人信息的一方通过设计不同的分配方案使得有私人信息的一方通过自我选择揭示自己的私人信息

一、设计调查指标 调查指标就是在调查过程中用来反映社会现象的特征属性或状态的项目设计调查指标的过程就是在一定研究假设指导下逐步分接触一套既反映研究假设内容,又符合客观实际情况的社会指标体系和调查指标体系的过程

❖安全操作系统的设计原理 ❖安全操作系统的设计 ❖安全操作系统的开发 ❖安全操作系统关键技术的实现

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

以Windows NT为背景，提出了设计多线程进程与实现多进程启停同步的面向对象的表驱动方法，给出了1种通用的实现框架.基于该框架设计多任务应用，可充分利用系统资源，实现多个任务的并发执行