C型压力机机身的有限元分析与优化

应用ANSYS有限元分析软件对C型压力机的机身结构进行强度和刚度分析,获得了在满载工况下整个机身的应力和变形的分布规律,并根据此分析结果对其结构进行改进,从而实现了压力机机身的优化设计.     

考虑侧向约束的门式刚架柱计算长度

本文着重研究了侧向约束对门式刚架弹性稳定的影响,导出侧向约束的近似计算公式,并在此基础上给出了考虑侧向约束时门式刚架柱计算长度的计算图表。     

如何给你的Flash“瘦身”

Flash在网络中的应用非常广泛,在观赏Flash的动画效果的同时我们也应该关注Flash的庞大文件量。如何给Flash"瘦身"已经是很多Flash制作人员关心的话题。这里,我们讨论了Flash的"肥胖"的原因,并针对这些进行相应的"瘦身计划",使我们的Flash作品能在网络上"畅通无阻"。     

逻辑加密存储IC卡系统中的加密技术及其应用

本文对逻辑加密存储IC卡系统提出了一套切实可行的加密解决方案,对于采用带写保护IC卡系统均可使用本方案。它很好地解决了IC卡硬件本身加密方式固定和不可变的缺点。     

载货汽车车架零件冲压模具三维CAD技术

本文首先分析了载货汽车冲压零部件的分布,说明模具设计制造在新车型开发研制中的作用,介绍了三维CAD技术的优势及应用模具设计的必要性和必然趋势,以PRO／E为支撑环境,着重探讨了数量最多的车架零件模具设计过程及其三维CAD的一般方法,最后给出了一典型横梁成型模具的零件、部件、模具结构的三维特征模型。     

电子商务技术的探析

本文介绍电子商务所涉及的关键技术,并对电子商务的应用框架进行了详细论述。     

A Hybridization of Irreflexive Modal Logics

This paper discusses a bimodal hybrid language with a sub-modality (called the irreflexive modality) associated with the intersection of the accessibility relation R and the inequality ≠. First, we provide the Hilbert-style axiomatizations (with and without the COV-rule) for logics of our language, and prove the Kripke completeness and the finite frame property for them. Second, with respect to the frame expressive power, we compare our language containing the irreflexive modality with the hybrid languages and . Finally, we establish the Goldblatt-Thomason-style characterization for our language.     

基因表达式编程ORF过滤算子的设计和实现

基因表达式编程(GEP)的个体代表了问题的候选解。在缺乏先验知识的情况下,个体长度的设定是个"两难"问题,过长或过短都会降低GEP的效率。对此,分析了个体长度对GEP求解效率的影响;设计了开放阅读框(ORF)过滤算子根据最优个体的进化历程动态调节个体的有效编码区域;验证了ORF过滤算子的有效性,实验结果表明,在同样的进化代数内,引入ORF过滤算子,GEP能进化出更高适应度的最优解且减少平均运行时间17.0%。     

基于PCC的水轮机组现地控制单元的设计与实现

本文基于新型的B&R2005系列可编程计算机控制器——PCC(ProgrammableComputerController),设计并实现了一种功能丰富、稳定可靠的水轮机组现地控制系统,并且基于PCC强大的通讯功能实现了机组的上位机远程监控。PCC基于分时多任务系统,在拥有可编程逻辑控制器——PLC(ProgrammableLogicController)的高稳定性的同时,也拥有计算机的快速、高效以及编程功能强大等特点,能够胜任实时性、准确性要求较高的控制任务。