隐式愿望及其形式化

隐式愿望的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉、有利于提高智能主体的自主性等等.     

安全操作系统的设计

SECOS是一个自主产权的安全操作系统，符合国家4级标准。该文总结了SECOS设计过程中的关键技术，包括：安全增强，改进设计方法，在Bell-La Padula强制访问模型基础上修改建立的理论模型及其实现，系统开发过程形式化设计，隐蔽信道分析方法及防范措施，客体重用等。安全系统性能估算测试表明SECOS的设计和实现是成功的。     

基于化工爆炸事故案例的化工设备机械基础课程教学改革

安全意识培养在高校化工专业人才培养中占有重要地位。将化工设备事故案例融入理论教学中,有助于激发学生的学习兴趣,促进学生理论联系实际,同时提高学生的安全意识。文章以化工设备机械基础课程为例,介绍了化工爆炸事故案例在教学中的应用,并探讨了案例教学效果评价方法,以期为相关课程案例教学提供参考。     

OBE理念下电子系统设计课程改革与实践

针对电子信息类专业四年级学生开设的“电子系统设计”,开展了逆向设计与正向实施。首先明确层次化的学习目标,设计了情境化的学习活动,模拟解决工程问题的全环节,最后强化形成性评价,完成学习成果合理科学地反馈,并持续改进学习活动和学习目标,充分体现产出导向的教育(OBE)理念,帮助学生更好地达成预期的学习目标,锻炼学生的实践动手能力和创新能力。     

柔直换流器单滑模观测器电网电压观测方法

常规柔直换流器电网电压观测方法需要设计多个观测器，使用多个滤波器，且受直流偏置的影响。为此，提出了一种基于单滑模观测器和单三阶广义积分器的柔直换流器电网电压观测方法。首先介绍了基于滑模观测器的电网电压观测方法。然后通过充分利用二阶广义积分器的优点，提出了一种基于单滑模观测器和单二阶广义积分器的电网电压观测方法。为了实现直流偏置抑制，进一步分析了三阶广义积分器的输入输出关系，并最终提出了一种基于单滑模观测器和单三阶广义积分器的电网电压观测方法。所提方法仅需使用1个滑模观测器和1个三阶广义积分器即可实现电网电压观测，并消除直流偏置的影响。对比仿真和实验研究验证了所提方法的有效性。     

C_4烃在混合吗啉溶剂体系中的相对挥发性

用静态法测定了不同温度下C4烃与混合吗啉溶剂体系(吗啉和N-甲酰吗啉的混合物)的压力-组成数据,并与纯C4烃的饱和蒸气压曲线比较,以此确定了萃取精馏分离丁烯与丁烷的关键组分为正丁烷与丁烯-1, 其相对挥发度为1．30-1．45;混合溶剂中吗啉和N-甲酰吗啉的最佳配比为w(N-甲酰吗啉)=40%-50％。     

一个新的意图后承形式系统Lm5c

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于"归约蕴涵"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.