软土路基沉降计算新方法及应用研究

介绍了一种动静结合的软土路基沉降计算新方法,并将该方法应用到动力固结路基处理工程实践中.对软土路基沉降进行了计算,通过将沉降计算值与实测值进行比较,验证计算方法的可行性.计算结果显示,路基断面总沉降量计算值为669.6 mm,实测值为675 mm,两者比较相近,说明该沉降计算方法是可行的.     

共晶强制性熔化的界面形态

对透明共晶系ＣＢｒ４－８．４ｗｔ－％Ｃ２Ｃ１６生长的典型层片共晶组织强制熔化进行实时实地观测．表明相对于强制生长时的“界面滞后”现象，熔化界面温度高于静止时界面温度，熔化界面比静止界面更靠近热端，称为“界面超前”．随熔化速度增大，“界面超前量”增大；共晶组织分层熔化，出现两个熔化界面，α和β相熔化秩序不同，α，β相分别单独熔化，两熔化界面的相对位置由α，β相成分，熔化速度和共晶相间距等因素决定．     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

艺术设计实践教学模式的探寻与创新实践——以环境艺术设计实践改革为例

本文简述欧美艺术设计实践教学模式的发展及优秀经验,阐述我国艺术设计实践教学模式的现状。以我校环境艺术设计实践教学创新改革为切入点,介绍两个实践案例。     

基于X8632位CPU的开放式实验平台设计

开发开放式实验平台,不仅能实现与现有教学内容相匹配,而且能让学生深入理解和掌握X86 32位CPU的工作原理和接口技术,对提高教学质量具有非常重要的意义.文中设计的开放式平台,基于486系列CPU,采用Verilog语言实现总线时序和控制逻辑,具有8位/16位/32位操作特性以及可扩展功能.软件平台包括PC宿主机集成操作环境软件和开放平台目标机固件程序.集成环境调试软件支持汇编语言实模式程序和保护模式程序,也支持C语言程序的编辑、编译和符号化调试.     

标准模型下的无证书代理环签名方案

由于无证书公钥密码体制是一种新型公钥密码体制,它既克服了密钥托管问题,又不需要使用公钥证书,而在标准模型下所构造的方案与在随机语言模型下所构造的方案相比,具有更高的可证安全性,因此,该文在标准模型下,提出了一个无证书代理环签名方案。与现有的代理环签名方案相比,它具有更高的执行效率和可证安全性,能够归约于CDH（computational diffie-Hellman）问题假定。分析结果表明：它既能有效抵制来自密钥生成中心和授权人的伪造攻击,又能满足代理环签名的其他安全性需求;并且,该方案具有更高的执行效率,只需要两次对运算。     

物联网技术发展困境之研究

文章从科技哲学视角探析了物联网技术三位一体的内涵,在此基础上,总结了物联网技术在发展过程中面临的技术异化困境、通用目的技术困境和中等收入陷阱困境,最后就如何摆脱以上三大技术困境进行了思考,提出应当从主观意识上防止和消解物联网技术异化,从客观上认识物联网技术的连续性与阶段性统一发展,最终实现物联网技术的自由和谐发展的观点。     

基于模板的．Net三层架构的代码自动生成

三层架构是数据库开发中最常用的分层架构。三层结构能够提高代码重用率,降低项目开发难度。为了解决手工编写三层架构的代码工作量大且容易出错的问题,使用．Net平台提供的动态编译和反射技术,设计并实现了基于可定制模板的自动代码生成器。该代码生成器利用三层架构的代码依赖数据库的架构信息这一特点,以数据库架构信息、Xml配置文件和模板文件作为输入,输出三层架构的各层代码。用户可以修改Xml配置文件的内容和使用该代码生成器提供的模板语言定制、修改自己的模板文件,方便、灵活地控制输出的目标代码。代码生成器的使用在实际的项目开发中具有重要的意义。