基于双状态的业务流程描述模型研究

提出一种基于双状态的业务流程描述模型DSBPDM(包括业务流程模型和调度模型)来刻画以表单为中心的应用系统业务流程,解决其业务流程建模中的突出问题,包括:各类约束的严格描述、权限表示、流程关系、流程推进过程以及业务对象被调度和执行的全过程描述.实践证明采用该模型的业务系统更容易扩展和维护, 能较好地满足用户的需求.     

我国应对大震巨灾应急救援装备的技术需求研究

分析了我国大震巨灾特点, 比较了国内外大震巨灾应急救援装备技术现状, 在国家“汶川 8. 0 级地震应急救援科学考察”等项 目研究结果的基础上, 充分研究了我国实施大震巨灾救援在装备技术方面的各种阻碍因素, 在应急救援通信指挥、救援现场信息采集传输及救援技术和指挥决策专家辅助技术、废墟中生命搜索定位、适宜于大震巨灾后山体滑坡交通阻断和大规模建构物倒塌环境及废墟狭小空间等复杂条件下的营救和安全防护等方面, 给出我国大震巨灾应急救援装备的基本技术需求。     

海洋中微生物的应用及其前景

微生物在抗生素、酶、酶抑制剂等生物活性物质方面的大量开发和应用,寻找新种属或特殊性状的微生物及其代谢产生新型药物的难度越来越大。于是最近几年人们把目光转向更具有药物开发前景的海洋微生物——海洋药物的重要资源。     

A市大气污染物浓度与呼吸系统疾病发病率的相关性分析

依据A市2004年的环境监测资料,即可吸入颗粒物(PM10)、二氧化氮(NO2)和二氧化硫(SO2)的浓度数据和A市第一人民医院2004年呼吸系统疾病的住院人数,对主要的呼吸系统疾病类型(支气管炎、哮喘和肺炎)和大气监测的各项指标要素进行了相关分析.研究结果发现:支气管炎住院人数与二氧化氮(NO2)和可吸入颗粒物(PM10)的浓度显著相关,哮喘住院人数与可吸入颗粒物(PM10)浓度关系密切,肺炎的住院人数与SO浓度之间关系较密切.研究结果与国内其他污染城市的研究具有可比性.     

超高频RFID读写器天线的设计与仿真

基于RFID系统对天线的要求,针对单馈电微带天线回波损耗和轴比之间的矛盾,利用理论计算和Ansoft HFSS软件仿真优化的方法设计出了一种用于RFID读写器的新型超高频圆极化微带天线.该天线采用背馈的方法,相对于侧馈有效地减小了天线的尺寸.为实现良好的圆极化性能,该天线利用空气作为介质层.并且采用非对称矩形切角,相对于当前普遍采用的对称等腰直角三角形切角更容易加工和调整.经过仿真分析得出了各种参数的曲线图,验证了该天线的优越性能.     

农业科研单位科研管理信息系统的设计与实现

根据农业科研单位工作实际,开发了科研管理信息系统。阐述了该系统的目标,详细介绍了该系统的设计内容,包括系统的总体设计、功能设计、数据库设计、用户权限设计、开发环境及开发流程,指出该系统实现了对传统科研管理过程的信息化,从而提高了科研管理的效率。     

非否认协议公平性分析的扩展串空间方法

针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题.     

某简易污泥填埋场污染物调查与扩散迁移研究

未经规范处理进行简易填埋处置的污泥对周围环境存在较大的污染风险。基于某简易污泥填埋场项目,通过对场地地貌及地质条件分析,从污泥、渗沥液、周围土壤、地下水四个方面出发进行污染物调查;并建立污染物Mn的扩散迁移模型,分析不同时间段Mn的扩散迁移规律。调查及模拟结果表明,污泥填埋场存在渗透性较好的沙砾石层,地下水水力联系条件良好,污染物易发生迁移扩散现象;大部分污染物对周边环境影响较小,少部分污染物指标超标;Mn在填埋场周围的地层中迁移速度较为显著,其污染范围在25年后可以达到距离1号坑约400 m的距离,为了防止扩散迁移可在地下水流向方向设置相应污染防治措施。     

正负频率步进信号精确测速算法

利用正负频率步进信号特殊的信号波形,提出了一种复合测速算法。其核心思想是从不同的角度巧妙地利用回波间的相关性,通过分析与速度有关的相位或距离信息完成目标速度估计。所提算法不仅有效地利用了运动目标帧间距离走动的信息,还充分利用了运动目标在正负频率步进信号体制下耦合时移相反的特性,其结果能够直接实现高速运动目标的精确测速,完成目标微动特性的测量。仿真结果证明了所提算法的有效性。     

非线性离散系统的直接自适应神经网络控制器

对于一类非仿射离散时间系统,提出了一种新的自适应神经网络控制器。首先推导与原系统等价的仿射形式模型,由仿射模型推导控制律。控制律中采用一个神经网络,与传统的基于反馈线性化的自适应神经网络设计方法中采用两个神经网络相比,计算量大大减少且避免了控制器奇异问题。神经网络权值根据系统输入输出信号进行更新,另外σ项的引入,取消了为保证参数收敛持续激励的条件。系统的稳定性通过Lyapunov方法进行了分析,仿真实例验证了控制器的有效性。