一种基于分支定界和表调度的SoC设计方案搜索算法

电子系统日趋复杂,需要采用自动化的方法来寻找最优的设计方案.提出了一种基于分支定界和表调度的片上系统(SoC)设计方案搜索算法.该算法分3个层次,前2个层次分别对模块的选择与共享方案采用分支定界法进行严格搜索,最后采用表调度方法进行任务调度.算法考虑任务的多种实现方式,并且充分搜索模块共享的可能.对多种不同规模的任务图进行了测试,并与现有方法进行了对比.结果表明,对于中小规模的系统设计,该算法能够在较短的时间内找到表调度策略下的最优方案.     

局房动力及环境集中监控系统

提出了一套通信局房动力环境集中监控的行之有效的实现方案。系统采用分散采集、集中变送的方式，对各类AI和DI量及智能设备进行监控。各监控级之间可通过DDN、PSTN、FR、ATM、ISDN、FDDI等多种方式传输，实现了高精度采集、高可维护性和灵活组网。该系统具有性价比高、可扩展性好、便于组网的特点，目前已取得了良好的应用，可推广使用。     

双向模块简化技术在电力系统稳定性仿真中的应用

应用隐式积分法进行电力系统暂态稳定仿真时，常采用牛顿法求解非线性方程．为便于求解，提出了双向模块简化技术，将牛顿法迭代中线性增量方程的求解分解为正向简化和反向回代过程．正向简化利用模块接口消去发电机等子系统方程，得到易求解的电力网络方程．反向回代求解电力网络方程，通过模块接口依次回代求解发电机及其控制器变量．该技术体现了电力系统内在的模块性，保持了牛顿仿真算法收敛速度快、没有交割误差的优点，同时具有模块清晰、易扩展和易编程等特点．将该仿真算法应用在10发电机39节点新英格兰系统的仿真验算中，结果表明了该算法的有效性和合理性。     

一类脉冲中立型微分方程的振动性

给出了一类具分段常数变元的脉冲中立型微分方程的振动的充分条件。     

具脉冲效应的非线性时滞抛物系统的振动分析

利用新的处理非线性扩散项的技巧及脉冲时滞微分不等式,研究一类具脉冲效应和非线性扩散项的时滞抛物系统在第一类边界条件下的振动性,得到了该类系统所有解振动的若干新的充分性条件.结果表明,系统振动是由脉冲和时滞效应引起的.     

PVA与PAN复合膜分离乙醇—水溶液的渗透汽化放大试验

在渗透汽化放大试验装置上,针对乙醇水体系,考察了板框式膜组件的结构合理性和大面积复合膜的稳定性,研究了不同料液流量、料液浓度和料液温度对膜分离性能的影响。实验结果表明,大膜分离性能稳定,膜分离性能在料液流量为０２～０８０Ｌ／ｓ的范围内基本不变,并且总渗透通量及水通量的对数值与料液浓度、料液温度的倒数分别呈线性关系;超薄板框式膜组件设计合理,结构紧凑,有效地抑制了膜料液侧的浓差极化。     

用模块检索法改进产品的性能

简要叙述了模块检索法的基本原理，以及用模块检索法寻找影响产品质量的主要模块的具体做法，并结合实例进行具体分析，为改进产品质量，提高产品性能提供了比较可靠的方法。     

基于SSH框架的项目申报系统的研究与实现

概述了山西省科技计划项目申报系统的内容和意义,介绍了SSH框架,分析了山西省科技计划项目申报系统的工作流程、功能、、模块设计及实现等。     

城轨车辆用静止逆变电源装置设计研究

介绍了城市轨道电动车辆用静止辅助逆变电源装置的设计研究,静止逆变电源装置给城道车辆控制及辅助用电设备提供稳定的三相、单相交流和直流电源。该装置电路由主电路和控制电路两部分构成。对主电路构成、特点和工作原理进行了论述。主电路为斩波降压逆变型电路结构,主电路斩波器和逆变器选择用性能优良的电压控制型大功率电力电子器件IGBT模块作为功率开关。控制电路的核心为微机控制系统,其中CPU采用80C196KC 16位单片机,描述了控制系统电路设计及控制电路框图,控制系统软件流程及软件保护功能。给出了静止逆变电源装置主要电气性能试验内容及试验结果。实际应用表明该装置运行稳定、可靠,可完全满足城轨车辆运行的要求,具有广阔的市场应用前景。     

钢纤维混凝土力学性能试验研究

对钢纤维体积率（Vf）为0～3％、基体强度为C50的钢纤维混凝土（SFRC）进行立方抗压强度、轴心抗压强度、劈裂抗拉强度、弯曲强度、弹性模量和泊松比的测试，试验结果表明：SFRC抗压强度随Vf的增加仅仅有着小幅度的增长，正向立方抗压强度略大于侧向立方抗压强度；轴心抗压强度与立方抗压强度之比值在0．75～0．77之间：钢纤维对SFRC的抗拉、抗弯性能起着明显的增强作用，正向、侧向劈裂抗拉强度比值随Vf的增加而增大；SFRC的弹性模量和泊松比均是不敏感的材料参数，前者随材料抗压强度的提高而缓慢增加，后者随Vf的加大而略有减小．