基于参数化特征建模的汽车转向器CAD系统的研制

通过对汽车转向器结构特点进行分析，得出了汽车转向器CAD策略，利用UG软件平台并结合UG／OpenGRIP语言来创建参数直接驱动的转向器三维参数化CAD建模程序，开发了一种基于参数化特征建模的汽车转向器CAD系统。经实际应用表明，该系统设计效率高，实用性强，大大缩短了产品开发周期。     

THERMODYNAMIC AND STRUCTURAL CHEMISTRY DISCUSSIONS FOR OXIDATIVE LEACHING OF Cu－Ni SULPHIDE ORE UNDER ATMOSPHERIC PRESSURE

ＴＨＥＲＭＯＤＹＮＡＭＩＣＡＮＤＳＴＲＵＣＴＵＲＡＬＣＨＥＭＩＳＴＲＹＤＩＳＣＵＳＳＩＯＮＳＦＯＲＯＸＩＤＡＴＩＶＥＬＥＡＣＨＩＮＧＯＦＣｕ－ＮｉＳＵＬＰＨＩＤＥＯＲＥＵＮＤＥＲＡＴＭＯＳＰＨＥＲＩＣＰＲＥＳＳＵＲＥ￥Ｗｕ，Ｗｅｎｊｉａｎ（Ｄｅｐａｒ...     

面向高精度寄生参数提取与时延分析的集成电路版图数据转换方法

为了进一步提高集成电路互连寄生参数提取和电路时延分析的准确性,实现基于准确场求解器的线网寄生参数提取,提出一种快速、准确的集成电路版图数据转换方法.该方法读入二维GDSII版图数据和垂直工艺信息,基于一种扫描线算法判断导体块之间是否连接或重叠;然后利用链表、并查集等数据结构有效地描述三维互连结构及导体间连通关系,为后续电容提取和互连时延分析提供必要信息;最后输出电容提取场求解器所需的三维互连结构数据.基于实际版图的实验结果表明,文中方法比基于多边形两两判断的算法快4~7倍,且加速比随处理版图规模的增大而增大;该方法整体上具有O(nlog n)的时间复杂度,其中n为导体块数目,能够快速处理含1万块以上导体的大规模集成电路设计版图.     

一种基于线性时间概率计数算法的数据聚集技术

无线传感器网络中,通过数据聚集操作在中间节点预先对数据进行处理,可去除大量冗余,减少数据传输,实现节能。针对多路径路由下数据聚集操作的重复计数问题,研究对副本不敏感的概要结构并优化某些特性,在线性时间概率计数算法的数学模型基础上提出一种新的数据聚集技术FA( Fan Aggregation)技术,实现高能效的数据聚集。理论分析和仿真实验均表明, FA技术相较于FM( Flajolet Martin)技术和LC( Linear Counting)技术在存储空间和准确率上均有更好的性能体现。     

基于网络编码的无线网络容量分析

无线网络容量一直是无线网络领域的研究热点,而网络编码通过赋予中间节点对接收数据包进行编码、组合的能力,可以有效提高网络容量,达到最大流—最小割定理确定的理论上限.本文在Gupta和Kumar提出的信号干扰噪声比模型基础上,首先分析网络节点均匀分布时发送节点与目的节点进行多跳传输的无线网络容量计算方法;接着推导出了基于网络编码的无线网络容量计算公式,并利用MATLAB中求解线性规划问题的函数linprog()求解网络最大流及各链路流量,以此求出无线网络容量上界.通过对无线网络容量上界进行MATLAB仿真,得到如下结论:无线网络容量上界随节点数量的增加呈现先增加后减少的趋势;且当节点数量趋于无穷大时,网络容量趋于零;与传统的存储转发模式相比,采用网络编码有利于提高网络容量.     

基于双层安全体系的移动办公应用平台设计与实现

针对移动办公应用的需求,采用HTML5技术和Android系统进行开发,本文提出一种基于双层安全体系的移动办公应用平台。系统通过移动中间件实现了多类型移动设备的统一接入,对企业OA、报账系统、公文处理进行了接口设计,无缝接入企业原有系统的数据和报表,并提供了链路安全和应用安全双层安全体系的保障,为企业人员实时、有效地获取相关工作信息提供了便利。     

江边水电站高水头混流式水轮机设计

主要介绍了四川江边水电站高水头混流式水轮机设计情况,重点对水轮机主要部件结构设计特点进行了介绍:转轮采用长短叶片结构,控制转轮进口处的流态;泵板和无接触式主轴密封结构;导水机构的剪断销加摩擦装置;高尾水位的主轴中心孔补气装置;水轮机中拆结构;水导轴承及导水机构密封等东芝公司经典结构。江边水电站3台机自2011年4月已先后投入运行,至今已正常运行3年多。     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。