VERICUT校验用户宏程序

一、用户宏程序 用户宏程序由于允许使用变量、算术和逻辑操作及条件分支,使得编制相同加工操作的程序更方便、更容易,可将相同加工操作编为通用程序,用户可以自行编辑软件包、固定循环程序.使用时,加工程序可用一条简单指令调出用户宏程序,和调用子程序完全一样.     

Linux 2.6调度系统的分析与改进

Linux2.6内核实现了内核可抢占,并且实现了O(1)调度算法,但是其时钟粒度仍然比较粗糙,并且其交互式优先的思想对嵌入式场合硬实时的支持是不够的。我们通过对其特点的研究,有针对性的提出使用双内核时钟处理系统优化时钟粒度,结合资源预留策略对实时任务调度算法做出特别优化,最终实现某些嵌入式场合在CPU层面对实时调度的要求。     

东海核电站热交换器解体拆除工程计划

日本原子能发电公司的东海核电站（卡德霍尔型，Calder Hall，电功率166MW），是日本最早的商业核电站，于1966年7月开始营业运行，1998年3月完成使命后停止运行。现在，日本原子能发电公司正在自行实施这座电站的退役计划。川崎设备系统公司曾参加东海核电站的建设，不仅承担了包括热交换器在内的一次冷却系统的制造，而且还承担了定期检查和维护等项工作。另外，在核电站退役计划和退役技术的研究中，川崎设备系统公司也曾提供协助。以这些经验为基础，川崎设备系统公司正在积极地协助东海核电站退役计划的实施。 东海核电站的退役，其解体工程已于2001年12月着手进行，从2006年起，开始了以热交换器解体为主的工程。热交换器是构成一次冷却剂边界的装置，是仅次于反应堆的大型构件。日本核电公司和川崎设备系统公司比较研究了各种解体方法，从解体作业时有良好的可靠性和安全性，能够让放射性物质的污染区域最小，能够降低工作人员的照射剂量等观点出发，选定了运用起重机吊下式（jackdown）工程方法和遥控切割装置／搬运装置的解体工程计划。本文将介绍这个计划。另外，还将介绍退役计划中用于减少废物的去污技术。     

二分图中存在哈密顿[k,k+1]因子的条件

主要研究在均衡二分图G中哈密顿[k，k＋1]因子的存在性．根据图论中因子和度的理论，针对均衡二分图，研究图G的阶、最小度、顶点之间距离三者之间的关系．通过对每一对距离为2的顶点度的限制，分情况讨论并给出图G存在包含哈密顿圈C的[k，k＋1]因子的充分条件．如果G的每一对距离为2的顶点u，v口有max{dG（u），dG（v）}≥n/4＋2，则对G的任意哈密顿圈C，G有[k，k＋1]因子包含圈C．在很大程度上改进了已有的包含哈密顿圈C的度的条件，进一步完善了包含哈密顿圈C的因子理论，算例表明此结论的有效性．     

基于高速DDS芯片的宽带低杂散信号产生器的设计与实现

介绍了在现代雷达接收领域中的一种高性能信号产生器的设计方法。利用高性能直接数字频率合成器(DDS)芯片及单片机构成频率、幅度及相位可控的宽带低杂散信号产生器。实验证明该设计应用于雷达系统中的可行性。     

具有长时延和数据包丢失的NCS的分析与建模

针对网络控制系统中普遍存在的网络诱导时延和数据包丢失问题,在考虑模型中存在噪声和数据包时序错乱的情况下,利用网络控制理论,分析系统具有网络诱导时延和数据包丢失的特性.基于一定的数据包丢失率和随机时延,系统被建模为由结构事件率约束的异步动态切换系统.通过算例验证方法的有效性,该成果对研究NCS具有重要意义.     

仿生涂层形貌对MgZnSrCa合金降解速率的影响

镁合金降解速率过快限制了其作为生物医用材料的应用,对镁合金降解速率的控制成为了研究的热点。采用仿生法在MgZnSrCa合金基体表面形成羟基磷灰石涂层。利用X射线衍射仪、扫描电子显微镜及能谱仪对涂层结构、形貌和成分进行分析和观察。通过失重法、析氢法、pH值测定等方法,研究不同涂层形貌的合金试样在人体模拟体液(SBF)中的降解速率。实验结果表明:羟基磷灰石(HA)涂层可以降低合金的降解速率,可以通过控制涂层形貌对合金的降解速率进行控制。     

佛子岭连拱坝变形"异常”的物理成因研究

在对佛子岭连拱坝结构力学特征进行分析的基础上，用确定性模型和混合模型研究了各主要影响量对该坝变形的影响效应，从而进一步解释了佛子岭连拱坝１９９３年变形“异常”的成因机理。