数据库存储过程设计及应用

以ORACLE数据库为例,介绍了数据库存储过程及外部存储过程的设计方法,并结合ORACLE数据库应用开发、管理与维护的需要,说明存储过程及外部存储过程的具体应用。最后,对数据库应用开发中设计并使用存储过程和外部存储过程的主要优点进行了总结。     

可信服务组合研究综述

系统形态正从面向封闭的、熟识用户群体和相对静态的形式向开放的、公共可访问的和动态协作的服务模式转变。实体之间存在很大的陌生性,信任保障机制作用就显得举足轻重。本文从可信的角度对服务组合面临的挑战进行了综述,阐述了可信服务组合的基本概念、核心技术,比较全面地概括、分析了可信服务选取、组合服务运行保障机制、安全交互机制以及服务组合可信度评估等几个方面的研究内容,并对这些技术进行了总结和比较。此外,还指出了目前研究存在的不足以及未来的发展趋势。     

冷却水流量对凝汽器性能影响的试验研究

通过试验进行了冷却水流量对凝汽器性能的影响研究,得到了凝汽器压力、传热系数和传热端差随冷却水流量的变化规律。试验结果表明,在本试验参数范围内,随着冷却水量增加,凝汽器压力成近似线性减小,传热系数成近似线性增加。冷却水流量对凝汽器端差影响存在临界值。理论分析表明,传热系数采用美国热交换学会(HEI)公式计算时,凝汽器传热单元数(NTU)大于1.59,则端差随冷却水流量增加而增加;NTU小于1.59,则端差随冷却水流量增加而减小,与试验结果完全吻合。     

基于改进型混沌映射窗函数的忆阻器模型研究

忆阻器被认为是除了电阻,电感,电容外的第四种基本的电路元件,是一种具有记忆功能的非线性电阻。目前,忆阻器原理及其应用是电路学研究的热点和前沿问题之一。本文总结了忆阻器在不同环境下的常见的几种模型,并对模型进行了改进,另外对忆阻器在滤波电路上的应用进行了仿真。     

基于Kinect模拟和跟踪人体动作的机械手臂

基于Kinect体感传感器的人体机械臂控制系统,实现捕捉分析并在五指机械手和仿真机械臂上同步模拟出人体手指和手臂的动作,以及实现机械臂顶端位置对人体部位的实时跟随,跟随间距误差在10cm内,延时误差0.5s以内。首先通过Kinect捕捉人手臂和手部RGB图像和红外图像分析,在嵌入式系统上位机上利用模式识别和红外、RGB图像识别来捕捉人体手臂和手指的位置参数,进行分析计算出相应的关节角度,通过以太网协议发送至舵机控制器,舵机控制器根据数据发送相应的驱动电流控制各舵机做出角度调整。本系统为精确的基于图像和红外传感器的机械手臂和手指控制提供了一个可行以及新颖的解决方案。     

聚乙二醇/氧化锑锡纳米复合纤维结构及保温透气性能

功能户外防护材料中热能管理是一个重要的方面。对于功能织物开发而言，大都采用涂层后整理技术，但是其功能性和透气性的平衡是关键。本文以静电纺丝技术制备了聚乙二醇/氧化锑锡（PVA/ATO）纳米复合纤维膜，采用扫描电镜（SEM）、傅里叶红外光谱（FTIR）、X射线衍射（XRD）、热重（TG）对纳米复合纤维进行了表征，并对PVA/ATO/黏胶热轧复合材料的保温性能及透气性进行了测试。结果表明：PVA中ATO具有良好的分散性，部分ATO纳米颗粒镶嵌在纤维表面。PVA/ATO/黏胶热轧复合材料的保温率相对于基材黏胶热轧布提高了28.9%，达到37.1%，相应传热系数为12.62W/m²·℃，克罗值0.32。ATO纳米颗粒的加入可以直接改善PVA纳米纤维膜的堆积结构，使得PVA/ATO/黏胶热轧复合材料的透气性相对于PVA/黏胶热轧复合材料有明显提高，但趋势随纳米纤维层厚度的增加而降低。PVA/ATO纳米复合膜可以复合到多种基材上，从而为基于纳米纤维功能材料开发保温透气功能提供了思路。     

协同业务过程与需求的建模及一致性验证

自底向上建模方法中的业务过程由不同组织开发,无法在设计阶段就预见其潜在的所有交互可能.因此,在实际协作中,建立协同业务过程可能与参与组织期望的系统功能和特性不一致.为此,提出一种协同业务过程与需求的建模及一致性验证方法.首先,引入并发操作符,提供一种通过组合参与组织的业务过程构建协同业务过程方法;然后,扩展目标模型,提出需求依赖图来建模参与组织的需求;最后,基于模型检测技术提出协同业务过程与需求一致性检测方法.重点解决了将协同业务过程转换为表达能力相同FSP进程规约和参与组织需求转换为LTL公式这两个问题.通过对典型的协同业务过程集阐述提出方法的有效性,并对方法分析效率进行评价,结果表明：相对已有工作,提出方法能够更加有效地用于协同业务过程与需求的一致性分析.     

基于Petri网的面向动态演化的软件体系结构建模

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性.以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模.首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性.     

PVC微孔板框（套）在电镀上的应用

电镀车间所用各种可溶性阳极为铜、锌、镉、银、镍…等阳极板，在施镀过程中阳极金属溶解的同时．杂质以阳极泥形式积累在镀液中，以致影响镀层质量，为此，可溶性电镀阳极板均需置于阳极袋内以防阳极泥进入镀液．通常用于制作阳极袋的材料为涤纶布、漂白布、麻布等一般也只能使用几个月最多一年便需更换．既麻烦又浪费，因此寻求一种耐酸碱腐蚀、经久耐用，且能有效的阻挡阳极泥进入镀液的阳极框(套)材料实属电镀领域一项当务之急。     

基于改进EPMM软件演化过程时间约束的分析研究

软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。