改进的几何定理机器证明的概率性算法

将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结合Schwartz-Zippel定理和统计学理论,通过随机检验若干实例来证明几何定理,并能控制证明结果不真的概率在给定的小范围内。通过改进的概率性算法,成功在2秒内证明出代数法难以证明的五圆定理。最后的多组对比实验进一步表明,改进的概率性算法具有明显高效性。     

中望CAD软件中的极坐标追踪技术

一、引言 近二十年,计算机技术取得了飞速发展,计算机辅助设计(computer aided design)已经深入到生产领域的各个分支和学科.特别是近几年来,随着CAD技术的飞速发展,一批在微机平台上运行的高性能CAD产品的出现,为CAD技术的普及和应用提供了十分有利的客观条件.     

内燃机曲轴的刚度分析

应用MSC Patran前处理系统对摩托车用汽油机的曲轴、连杆机构进行网格划分和用非线性有限元分析软件MSC Marc进行刚度计算分析,得出汽油机实际运行中所受到最大载荷工况下的曲轴、连杆机构各零件应力和变形云图. 通过有限元模拟计算,为曲轴、连杆机构的结构设计提供指导和优化方向,以满足各项性能要求.     

利用CANHub-AS4组建大型复杂CAN-bus网络

根据ISO11898的规范和实际应用中CAN-bus收发器的物理参数限制,一个标准的CA-Nbus网络(见图1)在网络节点数量、通信距离、通信波特率和网络拓扑这四个方面都有明确的限制.主要表现如下: 网络两端通信距离不超过10 km;节点数量不超过110个;通信波特率必须唯一;只能采用总线型的网络拓扑.     

防务MRO与GOLD

一、引言 航空器是高技术、高成本产品,更重要的是它涉及到安全问题,因而航空器的维修成为航空器运营中的突出问题,任何一个航空器的飞行都是以必要的维修工作来保证的.据统计,平均1小时的飞行需要3.5～4小时的维修工作做准备,从这个意义上可以说航空维修是保证航空器运营的基础.因此,除航空制造产业和航空运营产业外,航空维修产业--航空MRO(Maintenance Repair and Overhaul)产业已成为航空市场越来越活跃并日益扩大的市场之一.     

UTM的现状与发展

在网络病毒泛滥、网络攻击平民化、垃圾邮件成灾的今天，为了有效地防御目前的混合型威胁，企业需要求助于新型的安全设备。2004年9月美国著名的IDC提出将防病毒、入侵检测和防火墙安全设备命名为统一威胁管理（United Threat Management，简称UTM）。这些安全设备能够通过简单的配置和管理，以较低的维护成本为用户提供一个高级别保护的“安全岛”。     

创新的以太网产品

<正>当前,工业以太网技术是工业控制领域中的研究热点。与传统控制网络相比,工业以太网具有应用广泛、为所有的编程语言所支持、软硬件资源丰富、易于与Internet连接、可实现办公自动化网络与工业控制网络的无缝连接等诸多优点。由于这些优点,特别是与信息传输     

从起跑到飞跃——回顾移动商务的足迹

<正>挥别2006年,2007年转瞬即来。在这理性发展与创新机遇之中,国内移动商务市场经过一年的孕育完成了从概念普及到产业化发展的助跑。     

第二代UTM设备要秀出十八般武艺

在网络安全环境中,统一威胁管理(UTM)设备近年来成为IT资源短缺企业的宠儿,UTM设备一般集防火墙、防病毒及入侵防御等功能于一身,在中小企业及大型公司的分支办公地点更是大行其道,尽管如此,第一代UTM还是受到市场的不少批评,这些评语可归纳成两点--保护功能不够硬、保护范围不够全面.     

外交部固定资产管理条码技术显身手

固定资产管理工作是各企事业单位在发展壮大过程中必须要认真对待的工作内容,对于避免资产流失、提高资产利用效率,有重大意义。目前,条码技术是自动识别技术在固定资产管理中应用的重点。使用条码对固定资产进行标识,实现了固定资产生命周期和使用状态的全程跟踪。标识后的资产在进行日常管理或清查时显示出条码技术最突出的特点:方便、快速、准确,大大提高了清查工作的效率,同时保证了信息流和资产实物流的对应。以下我们组织了两篇有关自动识别技术在固定资产管理工作中应用的案例,供读者参考、借鉴。