一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

CAS-LIBB微束计算机控制系统运行与改进

作为辐射生物学发展的前沿,微束已经成为当今世界上用来研究低剂量辐射生物效应的一个强有力手段.单离子微束装置是一种将离子束斑的直径限制在微米量级范围内,并能将预定数目的离子精确注入到细胞中某一指定位置的辐射装置.结合一套自行开发的控制程序,CAS-LIBB微束装置的计算机控制系统可以实施对生物样品的精确定量和定点辐射.本文首先给出了装置定量和定点辐射的精度测定结果,该精度完全能够胜任细胞-亚细胞尺度的精确辐射.接下来详细探讨了控制系统的改进工作,最后对控制系统进行了展望.     

案例教学与适应性学习之初探

以适应性学习为基础,提出了在自适应性学习(Adaptive Learning)中如何将案例教学(Case-based Learning)融入其中,在学习中如何对学习进行评价,并根据评价为学习者提供与其相适应的案例,让学习者在情境中学习,使得学习更加高效可行。     

基于ASP.NET的Web打印技术研究

打印是很多Web应用系统不可或缺的功能,而且是一项比较复杂的技术,针对ASP.NET中的Web打印问题提出了五种解决方法,并指出每种方法的优缺点,在开发过程中可以根据用户的需求作相应选择。     

建筑空间形式美的探赜

维特鲁威认为建筑是由模式、布置、比例、均衡、适合和经营构成的。在这六个方面中,适合和经营关系到建筑的适用性、经营管理;而前四个方面关系到建筑的模式、结构和外观。他说:"当建筑物的外观优美悦人,细部的比例符合正确的均衡时,就会保持美观的原则。"在维特鲁威的观念中,比例就是建筑美的核心。     

从修辞学的角度对设计符号学中象征功能的再认识

我试图通过解读修辞学的发展历程,探究符号学发展的必然性,由本不存在修辞,到需要修辞,再到修辞的消亡的逻辑关系,联想到设计符号学的发展历程竟与其如此惊人的相似,由仅追求原始功能,到添加装饰满足非本质的需求,继而又摒弃装饰成分,聚焦其本质所在的现代设计,就像我在文章开头说的乙杂邢薜姆绞奖硐治尴蘧褪敲烙是象征的精髓一样,以最简洁的形式传达了最准确的信息,是设计符号学的核心所在。     

单苯环氯取代指数法预测二噁类化合物PCDDs的正辛醇/水分配系数

采用单苯环氯取代指数作为氯代二苯并二口恶口英类化合物 (PCDDs)的分子结构描述符 ,通过正向逐步线性回归方法建立了PCDDs的logKow与分子结构描述符之间的定量关系模型。与文献报道的MOD模型相比 ,该模型不仅具有显著的相关性 (n =43,Radj=0 898,SE =0 195 ,在α =0 0 5时 ,F =2 0 45 5 ,p =0 0 0 0 0 ) ,而且对于分子结构具有更好的区分能力。利用建立的模型 ,对没有logKow文献值的其他 33种PCDDs化合物给出了预测值     

现代化水利建设迫切需要完善质量监督工作体系

江苏省的市、县级水利工程质量监督体系尚未建立,远未健全。质量监督存在制度不完善、效能不到位等问题。今后一个时期,大规模水利建设和水利现代化建设,需要质量监督作为工程质量重要保障,应通过健全监督体系、完善监督制度、抓住质量监督重心、强化质量检测管理、实现全程监督检查等措施,来确保质量监督工作的成效。     

浅析AP1000核电技术对中国内陆核电发展的适应性

介绍了世界内陆核电发展概况,分析了中国内陆核电发展的必要性,从水资源安全、核辐射安全和公众环境安全角度分别论述了AP1000核电技术对内陆核电的适应性。     

两种水轮发电机组开机控制技术的比较及优化

本文建立了水轮发电机组仿真模型,并以某电站的水流特性、机组惯性等实际参数作为仿真模型参数,着重研究水轮发电机组的两种开机控制规律,分析了原有以空载开度为限制的机组开机控制技术,提出以恒转速变化率为控制目标的机组开机控制技术,并将两种开机控制技术进行了仿真比较。通过仿真波形分析比较表明,两种开机控制技术各自具有的优越动态性能。在工程实践中,将这两种开机控制技术都应用到水轮机调速器开机程序中,可以根据水电站现场对开机动态性能的不同要求在停机态切换两种开机控制流程。