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

本文介绍了一种层次式有穷状态机（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化合物给出了预测值     

基于有效裁剪被遮挡单元的非规则数据场体绘制算法

提出了一种被遮挡单元的裁剪算法,以加速非规则数据场的体绘制过程。在基于一组平行切割平面的体绘制方法上,新算法通过对图像不透明度缓冲区中的值进行求平均操作,并将所计算的结果存储在一个与不透明度缓冲区间同样大小的平均不透明度缓冲区中,使得只需根据每一数据单元重心投影点在平均不透明度缓冲区中的值,就可得到此数据单元的可见性,从而有效裁剪掉被遮挡单元,降低需处理的数据量,加速体绘制过程。     

熔体流动时间法测定PBT树脂特性粘数的研究

开发了一种新的特性粘数分析方法 ,该方法采用熔体流动时间计算特性粘数 ,与经典特性粘数分析方法有很好的相关性且具有分析时间短、费用低、无污染等优点。