具有非线性边值条件的二阶脉冲积微分方程的解

脉冲微分方程在理论方面已取得重大进展,应用极其广泛.文中介绍了上下解的定义、单调迭代方法并给出几个引理.最后用上下解方法和单调迭代技巧讨论了具有非线性边值条件的二阶脉冲积微分方程,得到了最大解和最小解的存在性.     

玛湖凹陷与沙湾凹陷上乌尔禾组储集层差异及成因

通过薄片观察、扫描电镜分析、黏土矿物X射线衍射分析、阴极发光实验等,对准噶尔盆地玛湖凹陷和沙湾凹陷上二叠统上乌尔禾组成岩差异进行对比分析,明确了成岩产物类型和孔隙演化过程。压实作用、碳酸盐矿物胶结与沸石胶结是研究区储集层物性差异的主要控制因素,玛湖凹陷压实作用相对较弱,沙湾凹陷溶蚀作用更强。砂体成岩孔隙演化具有差异性,玛湖凹陷储集层以长石颗粒和凝灰岩岩屑溶孔为主,沙湾凹陷储集层以长石颗粒、凝灰岩岩屑以及浊沸石溶孔为主,2类储集层都少量发育原生孔隙。以上2个地区储集层的差异性主要是由成岩流体性质和岩石组分不同导致,其中,岩石组分是导致玛湖凹陷和沙湾凹陷砂砾岩储集层孔隙结构特征差异的主要原因。     

UBET-based numerical modeling of bulk deformation processes

The paper summarizes the development of numerical procedures for modeling bulk deformation process and preform designing techniques based on the upper bound elemental technique (UBET). UBET has a unique place where an approximate, but faster solution is needed for decision making. In designing and optimizing multistage forging and profile ring-rolling processes, an approximate solution can be used to identify the most influential process parameters. Once an optimum combination of process conditions are determined, computationally intensive, but more accurate finite element analysis can be used to verify and refine results. In this paper, UBET procedures for closed-die forging and profile ring rolling are high-lighted. Experimental investigations are used to validate the model predictions. Also, the UBET-based preform design tool is presented as a process and die design tool for multistage forging processes. Application of these techniques is presented with evidence of effective material usage and extended overall die-life.     

金属液体凝固中直接挤压过程的数值模拟

根据稳定的交替方向隐式（ＳＡＤＩ）有限差分方法、上限元法（ＵＢＥＴ）等数值计算方法提出了一种数值模拟方法．使用这种方法成功地模拟了融凝固和大塑性变形为一体的金属液体凝固过程中直接挤压（简称液体挤压）的工艺过程．计算机生成的动画图象直观地表现了工件的整个成型过程．模拟结果有助于掌握液体挤压这一新工艺的各种工艺规律．     

上片成形工艺及模具设计

通过对上片零件的分析 ,确定了成形工艺方案和模具结构 ,解决了在成形过程中的材料起皱、开裂和窜动等问题     

系统失效的分支-界限分析法及其在桁架可靠性分析中的应用

本文首先介绍了系统失效的分支-界限分析法，然后以空间桁架系统为例用分支-界限分析法进行了可靠性分析。系统失效的分支-界限分析法直观、明了，适合对实际工程中的复杂系统进行可靠性分析。     

环件开式辗扩力和力矩计算

用上限法分析了环件开式辗扩变形，导出了辗扩力和力矩计算公式，阐述了辗扩力和力矩与辗扩进给速度的关系。根据环件辗扩实验结果，对文中的辗扩力和力矩计算公式进行了验证。     

Single machine scheduling problems with exponentially time-dependent learning effects

In this paper, we introduce a single-machine scheduling problem with an exponentially time-dependent learning effect. The processing time of a job is assumed to be an exponential function of the total normal processing time of jobs already processed before it. For such a scheduling problem, we first provide the upper bound for the maximum lateness and for the total weighted completion time. Next, we show that problems with the following criteria: makespan, the total completion time, the total weighted completion time, the total earliness/tardiness penalties and the maximum lateness under some agreeable conditions, are polynomially solvable.     

基于平方位置误差下限的优化功率分配方案

在无线传感网络中,节点定位是基于位置的应用基本要求。然而,现多数文献仅关注定位精度,而忽略了能量消耗对定位精度的影响。为此,针对基于接收信号强度RSSI(Received Signal Strength Indicator)定位方案,提出基于平方位置误差下限SPEB(Squared Position Error Bound)的优化功率分配SPEB-OPA(SPEB-Based Optimal Power Allocation)方案,目的在于最小化能量消耗。在SPEB-OPA算法中,将SPEB作为评定定位精度的参数,并推导出SPEB表达式,然后建立优化功率分配的目标函数,并考虑到锚节点位置存在误差。仿真结果表明,提出的SPEB-OPA方案极大地减少了功率消耗。当误差门限T=8时,SPEB-OPA方案的功率消耗比统一功率分配UPA(Uniform Power allocation)方案减少至50%。     

基于快速响应湿度传感器的无线呼吸检测系统

呼吸功能的实时检测对有呼吸功能障碍的人群十分重要.基于纳米材料湿度传感器和Zig Bee无线网络技术设计了一种呼吸检测系统,该系统由四部分组成:湿度传感器探头、数据采集节点、数据接收节点、基于VC++的MFC平台开发的呼吸功能检测软件.系统实现了呼吸频率记录、呼吸暂停报警、呼吸信号波形实时显示等功能.实验对几位志愿者进行呼吸功能检测,验证了系统的有效性.呼吸检测系统具有响应和恢复快、能够检测急促呼吸、受外界干扰小、无线检测、携带性强等特点.