板料成形中的回弹计算和模具修正

利用动力显式有限元计算程序MSC／DYTRAN,采用动力松弛法模拟了板料成形及回弹过程,计算出板料成形后的回弹量：提出“位移描述－结点修正”法,以回弹量为依据通过反向位移补偿和插值算法,编制程序自动对模具网格结点进行修正,通过反复迭代计算,最终可获得生成理想形状制件所必需的凸,凹模尺寸。     

以OOEDB为核心的集成化CAD/CAPP/CAM 系统GS-ICCC的设计与实现

ＧＳ－ＩＣＣＣ是一个以自行研制开发的面向对象工程数据库管理系统ＯＳＣＡＲ为核心的集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统，它的主要特点是按照ＳＴＥＰ标准在全局产品数据模型基础上实现ＣＡＤ，ＣＡＰＰ，ＣＡＭ的信息集成，本文围绕着这一原则介绍了ＧＳ－ＩＣＣＣ的系统总体结构，ＯＳＣＡＲ功能组织，全局产品数据建模框架以系统集成的设计与实现。     

板料成形中的回弹计算和模具修正

利用动力显式有限元计算程序MSC/DYTRAN ,采用动力松弛法模拟了板料成形及回弹过程 ,计算出板料成形后的回弹量 ;提出“位移描述—结点修正”法 ,以回弹量为依据通过反向位移补偿和插值算法 ,编制程序自动对模具网格结点进行修正 ,通过反复迭代计算 ,最终可获得生成理想形状制件所必需的凸、凹模尺寸     

基于推理通道的函数依赖推理控制

数据库推理控制是数据库安全领域的重要研究内容.函数依赖关系在推理攻击中通常会起到重要作用.文中对基于函数依赖关系的推理控制问题进行了研究,在推理通道思想的基础上,提出了一种基于最小函数依赖集构造推理通道的方法,以及一种基于推理通道的动态组合通道实例的方法,实现了在数据库运行阶段针对函数依赖关系的动态推理控制.上述方法已应用于国产数据库神舟OSCAR安全版中,实践表明,上述方法能够有效地防御基于函数依赖关系的推理攻击.     

借势做事

我国软件产业发展始终是在国外跨国公司挤压技术和产品市场的夹缝中生存,始终没有走出技术跟随的自主创新发展道路,如果没有大的行业背景的支持,以及领导坚定不移的支持,国产软件的生存和发展是非常困难的。依托航天,不可否认神软的发展有得天独厚的优势,神软必需借助优势快速实现自己独有的技术产品和品牌,在激烈的市场竞争中生存和发展。神舟软件脱胎于研究所体制,在集团公司一把手的支持下通过整合航天软件资源于2003年11月11号挂牌走向市场。2002年中国航天科技集团下了个红头文件,明确提出集团研制生产单位的系统集成采用神软核心产品…     

一种基于标记的动态推理控制方法

多级安全数据库中,如果多个用户能通过共谋从低安全级别的数据通过推理得到高安全级别数据时,则称该系统存在合作推理问题。提出一种基于标记的动态推理控制方法,在分析出所有推理通道的基础上,根据推理通道可能被利用的概率动态决定对象是否允许访问。分析表明,该方法能够在保证推理控制的前提下,实现柔性数据访问控制。与已有动态推理控制方法相比,本算法更加有效。     

借势做事

我国软件产业发展始终是在国外跨国公司挤压技术和产品市场的夹缝中生存，始终没有走出技术跟随的自主创新发展道路，如果没有大的行业背景的支持，以及领导坚定不移的支持，国产软件的生存和发展是非常困难的。依托航天，不可否认神软的发展有得天独厚的优势，神软必需借助优势快速实现自己独有的技术产品和品牌，在激烈的市场竞争中生存和发展。     

求最长公共子串问题的算法分析

高效求解2个字符串的最长公共子串(Longest Common Substring)是实现很多字符串算法的关键.文中首先给出了求解LCP问题的动态规划算法,广义后缀树算法,研究并分析了这两种算法,得出动态规划算法易于理解,但时间复杂度较高;广义后缀树算法的时间复杂度较低,但实现较为复杂并且广义后缀树占用的空间也较多.最后提出了一个新算法,该算法使用2个字符串的广义后缀数组,在保持和广义后缀树时间复杂度相等的基础上,可以简单地实现并且占用较少的空间.     

市场化运作为AVIDM插上腾飞的翅膀

军工集团唯一具有自主知识产权的企业级协同产品研制管理系统——AVIDM十七年的发展历程是航天信息化建设自主创新的成功典范。它充分体现了航天几届领导人的坚定支持、广大用户的精心培育以及专业化队伍的不懈努力。特别是通过四年多公司化运作，AVIDM有力支撑企业级型号科研生产与管理能力的提升，同时也取得较为显著的经济效益。     

市场化运作为AVIDM插上腾飞的翅膀

军工集团唯一具有自主知识产权的企业级协同产品研制管理系统--AVIDM十七年的发展历程是航天信息化建设自主创新的成功典范.它充分体现了航天几届领导人的坚定支持、广大用户的精心培育以及专业化队伍的不懈努力.特别是通过四年多公司化运作,AVIDM有力支撑企业级型号科研生产与管理能力的提升,同时也取得较为显著的经济效益.