模糊逻辑在模拟演练系统智能体设计中的应用

根据模拟演练系统对智能体智能程度的要求为模拟演练系统添加模糊推理机,以增加演练系统的逼真程度及适应性. 本文以模糊逻辑理论为基础,以模拟演练系统为背景,对一个具体的应用实例进行数学建模,阐述了如何运用模糊逻辑来解决问题,并设计了模糊逻辑模块,通过应用实例演示验证了设计的可行性.     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

论复杂科研生产领域如何应用专业软件

随着软件行业的不断发展,各个行业都出现了适应各自行业发展的专业软件。在发达国家,应用专业软件辅助科研生产已成为非常普遍的事。但在我国的各个行业中,应用专业软件辅助科研生产仍处在研究阶段。对此,笔者参考相关资料,并结合自己的工作经验,提出了如何应用专业软件辅助科研生产的方法。     

星地时间同步任务规划综合评价技术研究

星地时间同步是导航定位系统的重要组成部分,准确评价星地时间同步任务规划的好坏,是卫星方案设计及优化提高卫星导航系统运行效率的基础。针对导航卫星星地时间同步任务规划评价问题,建立了基于任务、资源、性能的多层次评价指标体系,构造了通用的综合评价框架,最后通过仿真验证了方法的可行性,为导航系统的顶层设计与地面资源配置优化提供决策支持。     

一种污水处理仿真语言编译器的实现与应用

MSL语言是一种用于描述污水处理数学模型的仿真语言,本文针对MSL仿真语言,使用词法分析工具Flex和语法分析工具Bison,提出一种MSL语言的编译器,并将其用于污水处理仿真软件WEST中。实验结果表明,使用WEST软件,可对污水处理厂进行建模与仿真,优化指导污水处理厂的工艺流程。     

2-硝基-4''''-氨基二苯胺-4-磺酸的工艺改进

将3-硝基-4-氯苯磺酸与对苯二胺进行缩合反应制得2-硝基-4’-氨基二苯胺-4-磺酸。传统的合成工艺：缩合反应的收率只有83％，主含量86.4％，必须精制后才能使用。本实验对缩合工艺的反应条件如温度，缚酸剂，抑制剂以及加料方式等进行了较为详细的探讨，通过正交实验，选择了最佳缩合反应条件，m（硝化物）：m（对苯二胺）=1.10：1，分次加料，分段保温，获得纯度94.7％的产品。收率提高了8％-10％，减少了废物的排放量，并省去精制步骤。     

C程序设计中循环结构的教学设计与探讨

循环结构在C程序设计中占据重要的位置,是教学中的重点,同时也是教学中的难点。在教学中,如何使学生建立“循环”的概念、理解“循环”的含义、设计“循环”算法、实现“循环”功能,是教学设计的重点。通过对循环结构教学设计,理清教学思路,明确教学目标,化解教学难点、突出教学重点,寓趣味性、目标性于教学中,采用了项目引导、任务驱动、演示法、分析法、讨论法等多种教学方法,调动学生学习的积极性,培养学生程序设计能力。     

钢铁企业常见变频器维修

钢铁厂采用的变频器有很多种,现针对常用的丹佛斯、两门子、ABB变频器出现的故障,总结概括维修经验,对部分故障进行分析,供有关技术人员在维修变频器时借鉴.     

脂肪酸系列表面活性剂的研究进展

概括和综述了4大类10余个脂肪酸系列表面活性剂的合成、性能和应用现状，重点评述了烷醇酰胺及其衍生物、乙氧基化脂肪酸甲酯、脂肪酸甲酯磺酸盐、N-酰基ED3A、氨基酸、咪唑啉、甜菜碱、双子表面活性剂等脂肪酸系列表面活性剂的研究进展。此系列表面活性剂易生物降解、安全、多功能和高效能。     

资源受限项目调度问题的改进文化微粒群算法求解

为了克服标准微粒群算法在求解资源受限项目调度问题上存在的早熟现象,提出一种改进的文化微粒群算法。该算法框架基于微粒群算法的主群体空间和文化算法的知识空间,两种空间具有各自的群体并可独立并行演化,形成双演化双促进机制,提高了算法的全局搜索能力和运行效率。同时为了避免文化算法知识空间自我演化限制,引入遗传算法的演化机制来改进知识空间的演化操作。通过具体的算例比较,验证了提出的改进文化微粒群算法在求解资源受限项目问题时的有效性。