Requirements Analyses Integrating Goals and Problem Analysis Techniques

One of the difficulties that goal-oriented requirements analyses encounters is that the efficiency of the goal refinement is based on the analysts’ subjective knowledge and experience. To improve the effi- ciency of the requirements elicitation process, engineers need approaches with more systemized analysis techniques. This paper integrates the goal-oriented requirements language i* with concepts from a struc- tured problem analysis notation, problem frames (PF). The PF approach analyzes software design as a con- textualized problem which has to respond to constraints imposed by the environment. The proposed ap- proach is illustrated using the meeting scheduler exemplar. Results show that integration of the goal and the problem analysis enables simultaneous consideration of the designer’s subjective intentions and the physi- cal environmental constraints.     

三硫二苄基通过抑制JAK/STAT3信号通路抑制A549细胞的增殖和转移

目的 探讨三硫二苄基(DTS)对非小细胞肺癌(NSCLC)细胞系A549细胞增殖、转移和侵袭的抑制作用及其机制。方法 克隆形成和CCK-8检测DTS对A549细胞增殖的影响;Annexin V-FITC/PI双染色法与免疫印迹检测DTS对A549细胞凋亡及凋亡相关蛋白Bax, Bcl-2表达的影响;划痕实验和Transwell侵袭实验检测DTS对A549细胞迁移和侵袭的影响;免疫印迹检测DTS对A549细胞上皮间质转化(EMT)和JAK/STAT3信号通路相关蛋白表达的影响;利用IL-6可以激活STAT3信号通路,利用划痕实验,Transwell侵袭实验和Western blot免疫印迹分析验证DTS对A549细胞增殖和转移的作用依赖JAK/STAT3信号通路。结果 我们的结果显示DTS能抑制A549细胞增殖、迁移、侵袭并诱导其凋亡;DTS诱导促凋亡基因Bax的表达,降低抗凋亡基因Bcl-2的表达;DTS减弱EMT转化,且与JAK和STAT3磷酸化相关;IL-6通过激活STAT3信号通路可以挽救A549细胞的迁移能力。结论 DTS具有干预JAK/STAT3信号通路,从而抑制A549细胞...     

基于PTMD的双主梁钢-混组合梁桥车-桥耦合振动控制

针对双主梁钢-混组合梁桥车-桥耦合振动问题,文章以某高速公路路段1座4×35 m双主梁钢-混组合梁桥为例,设计一种通过调谐质量块与黏弹性层之间的碰撞来耗散能量的碰撞调谐质量阻尼器(pounding tuned mass damper, PTMD),以减小车辆引起的桥梁振动;结合桥梁和车辆的运动方程,建立车-桥-PTMD耦合系统运动方程;考虑路面条件,基于三维车辆模型、桥梁模型和PTMD系统建立车-桥-PTMD耦合系统的仿真模型,以研究该装置的减振效果。结果表明,该文研究的PTMD对钢-混组合梁桥的车-桥耦合振动有明显的抑制效果,且随着其质量比的增大,减振效果有显著提升。     

一类具有稀疏效应下食饵—捕食系统极限环的存在唯一性

研究如下一类具有稀疏效应的食饵一捕食模型dx/dt=ax（x-L）（b-x）-bxy,dy/dt=-cy＋（βx-ry）y,应用常微分方程定性理论,对该系统的平衡点进行分析,得到了极限环存在唯一性的充分条件。     

斜极化雷达辐射发射指标测量与计算方法研究

本文提出了一种斜极化雷达辐射发射指标的测量与计算方法.采用接收天线正交的两次组合测量,可快速测量与计算得到任意未知角度斜极化雷达各频点的信号真实幅值,进而计算得到斜极化雷达的谐波和乱真抑制度.分别采用接收天线一组X轴对称角度和0°三个极化方向的三次频域组合测量可快速测量与计算得到任意斜极化雷达每个频点的准确极化角度.提出的测量与计算方法可有效避免目前国军标中雷达辐射发射指标测量方法针对斜极化雷达时的不足,且测量效率高,误差小,试验结果证明了提出方法的正确性和准确性.     

“红包车”机制下的共享单车调度问题

共享单车具有随取随放的优点,但用户的租还车使站点之间经常出现供需不平衡现象.为了有效缓解运营商调度压力,提出了一种顾客参与调度的共享单车调度方式.将某些闲置的共享单车设置为红包车,鼓励用户将红包车骑到需求旺盛的区域,用户完成调度后可以获得红包奖励.以运营商运输成本,红包奖励支出以及未满足站点需求的惩罚成本最小为目标建立了混合整数规划模型,并设计了混合禁忌搜索算法对模型进行了求解.数值实验表明:红包车机制可有效减少运营商总成本;混合禁忌搜索算法可以有效求解大规模问题.     

基于Fluent采空区瓦斯抽采仿真模拟在寺河矿的应用研究

为了提高晋煤寺河矿采空区瓦斯抽采效率低的现状,结合寺河矿采空区瓦斯抽采模式,通过分析寺河矿煤层特性,采空区抽采方法,建立瓦斯抽采模型,应用仿真模拟软件对不同瓦斯抽采方案的瓦斯运移规律进行仿真模拟,对模拟结果进行对比分析最后制定和改善了具体的采空区瓦斯抽采实施方案。     

分布式多传感器系统航迹关联算法评述

根据计算速度、存贮量、通讯量、正确关联率、适应环境、对局部跟踪器和参数设置要求等几个方面,采用定量与定性相结合的方法,综合比较和评价独立序贯法、相关序贯法、独立双门限法、相关双门限法、MKNN法、第一类模糊双门限法、第二类模糊双门限法和模糊综合法等8种新的航迹关联算法的优劣,并重点讨论它们的差异和特点。同时把它们与最近邻域法、加权法、修正法和KNN算法这4种经典方法进行全面比较。这些分析结果对文献[1～6]提出的十几种适合于分布式多传感器数据融合的航迹关联算法的实际应用具有重要作用