企业电能管理系统的通信研究

通信层是企业电能管理系统必不可少的组成部分,本项目采用TI公司的TMS320F2812 DSP作为通信终端主芯片,传输网采用RS485总线手拉手布网并采用广播应答通信方式,设计电路板和布网时应用抗干扰技术保证通信质量,考虑到未来系统的发展选用Modbus通信规约方便日后与外界相连网.     

基于DCOM的远程教学系统开发

在探讨国际上流行的分布式实现技术DCOM工作机制及其特点的基础上,针对远程教学的特点,探索了基于DCOM的远程教学系统的实现策略与技术,并开发了一个能使教师和多站点学生之间进行交互式实时教学的应用系统。     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

基于构件的动态配置应用框架设计与实现

以软件复用为背景, 对基于构件的软件开发和应用框架技术进行了研究.为使基于构件的软件开发更具灵活性与适应性,基于.NET平台设计并实现了一种基于构件的动态配置应用框架.该框架把"依赖注入"思想封装为一个构件,通过该构件可以灵活便捷的加载其他构件,不必关心其他构件复杂的内部实现,并且可以动态更新,加载构件而不必重新编译系统.最后举例介绍了一个应用实例以说明相应的系统开发流程.该技术思想在实际应用中取得了良好效果.     

格基规约算法研究进展

格是一种线性结构,基于格的密码具有无可比拟的低能耗优势,故而在未来的智能终端上将有很好的应用前景.相比传统的RSA,ECC密码体制,格问题可证明的安全性在后量子密码时代已经显示了重要的作用.格算法的核心问题归结为格基规约问题,20多年来,在LLL格基规约算法启发下,出现了各种更强、更快的规约算法,有精确的也有近似的,对密码分析和密码设计产生了重要的推动作用.对各种规约概念和算法进行了全面的分析和总结.     

鹰式钢结构门式钢架经济跨度试算

结合某工程实例,分析了不同尺寸的鹰式型钢门式钢架在某特定荷载组合下的受力情况,并考虑冷弯效应对构件强度的影响,结合现行的《冷弯薄壁型钢结构技术规范》和《建筑结构荷载规范》对其压弯构件进行强度和稳定性计算分析,并应用大型有限元程序ANSYS建立单榀钢架的模型,对计算结果进行校核,可为同类工程提供参考。     

尖端形椭圆钢管混凝土构件压扭复合受力性能分析

文章基于等效本构模型建立了尖端形椭圆钢管混凝土(oval-ended elliptical concrete-filled steel tubu-lar,OECFST)构件在压扭复合受力下的有限元分析模型,揭示了OECFST构件在压扭复合受力状态下的受力机理和破坏模式,探讨了不同截面形式下轴压比对扭矩转角曲线的影响,分...     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

混凝土构件裂纹损伤的分析与评价

混凝土构件难免会出现裂缝、损伤,裂缝等出现以后判断裂缝的类型,了解其是否在允许范围之内,评价和预测裂缝的危险性和涉及范围,是结构安全和正常使用的重要保证。文章对一些常见的混凝土构件裂缝作了分类研究和损伤定位分析,介绍一种评价方法,旨在为混凝土结构的养护、管理提供参考。     

直十一型机叉形构件数控加工工艺

本文主要介绍了数控加工直１１型机叉形构件的工艺过程。通过对该零件加工工艺的分析、论证和实施，旨在对类似铝合金模锻件的数控加工起借鉴作用。