电子图书——粉墨登场

有着几千年历史的古老图书正悄悄地进行着一次洗新革面,这就是正在兴起的电子图书。     

布尔置换与Costas阵列

研究了通信系统中重要的Castas阵列。给出一种简洁的证明一般布尔代数上的布尔置换的充要条件的方法,并依此给出了一类Costas阵列。     

谈会计电算化内部控制

针对会计电算化工作对企业内部经营活动控制的特殊要求,阐述了操作人员的工作职责、工作权限,以及会计档案制度、会计信息系统的安全性和会计人员业务素质等管理方式,有利于增强企业内部规范化管理和决策工作.     

级配集料的分形特性研究AC-16C

为了研究沥青混合料微观结构不均匀性的分布规律,基于分形的理论方法,从沥青混合料中集料的分布状态入手,对10组AC-16C级配类型的沥青混合料采用双对数坐标的方法计算其级配质量分形维数,研究沥青混合料级配质量分形维数的规律.研究结果表明:随着集料级配质量分形维数的增大,集料的空间填充能力增强,沥青混合料的空隙率也越来越小;随着粗集料中针片状含量的减小,集料颗粒被压碎或断裂的机率减小,从而提高了沥青混合料的均匀性.     

分布式信息系统中数据交换平台设计与实现

为了提高分布式信息系统的性能,加快系统间的数据流通实现信息的共享和集成,需要为分布式信息系统建立数据交换平台.通过对数据交换平台现有的一些解决方案分析,在研究JMS (Java message service)等技术基础上,设计并实现了新的数据交换平台.利用JMS消息模式实现消息持久化,以开源消息中间件为交换中心,在SOA (service-oriented architecture)平台技术上完成了分布式信息系统的数据变换平台.详细介绍了平台设计架构、信息交换过程、数据封装格式,重点描述了发送接口、轮循器以及发送接收功能等关键技术的实现工作,完成了大型分布信息系统中消息持久化、零配置以及快速、稳定消息传送的数据交换平台.     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

油层中聚合物堵塞物推进轨迹模拟研究

聚合物溶液在注入油层的过程中,如果聚合物分子线团回旋半径远大于油层孔喉半径,会造成聚合物在储层孔隙的堵塞。选取萨北开发区典型区块,对堵塞的注入井井底返排取样,通过化验分析返排物成分,确定井底返排堵塞物的主要成分是聚合物软胶团。根据油层物性、沉积特征、连通状况等地质资料建立聚合物堵塞井井组地质模型,模拟超高分子质量、高质量浓度聚合物溶液在油层中的推进轨迹,利用聚合物质量浓度在油层渗流过程中分布的渐变,确定聚合物堵塞物在不同油层、不同方向的推进距离,为改善注入井堵塞状况,采取针对性的措施提供了依据。     

铝硅合金变质的研究进展

综述了当前国内外铝硅合金变质处理及其变质机理的研究进展。变质元素Na、Sr、Sb、Ba、Te、Bi、P、S、Ca、As、稀土等已取得了良好的变质效果,通过对比分析其变质机理以及绿色无污染、经济长效等方面的优缺点,比较了这些变质元素单一变质、二元变质和多元变质的优势与局限性,并展望了铝硅合金变质方法的发展趋势。     

电冰箱中频匹配噪声分析与研究

1引言 电冰箱作为人们广泛使用的白色家电之一,其声学品质的高低日益成为人们对其产品性能的关注焦点.电冰箱的匹配噪声受到多种因素的影响,如制冷剂灌注量、压缩机噪音水平以及箱体管路的布置与连接等.     

基于LAN的混合总线ATS研究与设计

以构建基于LAN的混合总线ATS为目的,研究时钟同步、设备组网、接口适应性与通用检测、软件设计等关键技术,并提出一种基于LAN的混合总线ATS设计方案,该系统具有集中控制、分散测量、通用性强等特点。