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

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

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

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

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

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

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

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

Group interaction analysis in dynamic context.

Computer understanding of human actions and interactions is one of the key research issues in human computing. In this regard, context plays an essential role in semantic understanding of human behavioral and social signals from sensor data. This paper put forward an event-based dynamic context model to address the problems of context awareness in the analysis of group interaction scenarios. Event-driven multilevel dynamic Bayesian network is correspondingly proposed to detect multilevel events, which underlies the context awareness mechanism. Online analysis can be achieved, which is superior over previous works. Experiments in our smart meeting room demonstrate the effectiveness of our approach.     

建筑空间形式美的探赜

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

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

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

单苯环氯取代指数法预测二噁类化合物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化合物给出了预测值     

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

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

An improved correlation for the calculation of liquid thermal conductivity

Eighteen correlations appearing in the literature for the prediction of thermal conductivity, , of liquids are critically analyzed, and their reliability is checked using coherent input data and selected experimental values. The best results are obtained using the Reid, Sherwood, and Prausnitz correlation with a mean deviation of about 8% between predicted and experimental values. An improved correlation is proposed starting from the Viswanath equation, chosen because of its simplicity and convenience. The values of thermal conductivity obtained by this new correlation agree with the experimental values within 1%.