基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

可拓信息的基本理论与方法研究

研究可拓论的重要软体——可拓信息论 .给出可拓信息的基本概念和可拓信息的度量方法 ,其中包括可拓信息的相关距离、相关度以及信息之间的相似度等概念 ,形成信息物元的特征分析法 .在此基础上讨论可拓信息的组织与处理方法、可拓信息的搜索方法及可拓信息的定性与定量结合推理方法等 .     

Dynamic Model Averaging and CPI Inflation Forecasts: A Comparison between the Euro Area and the United States

The paper forecasts consumer price inflation in the euro area (EA) and in the USA between 1980:Q1 and 2012:Q4 based on a large set of predictors, with dynamic model averaging (DMA) and dynamic model selection (DMS). DMA/DMS allows not solely for coefficients to change over time, but also for changes in the entire forecasting model over time. DMA/DMS provides on average the best inflation forecasts with regard to alternative approaches (such as the random walk). DMS outperforms DMA. These results are robust for different sample periods and for various forecast horizons. The paper highlights common features between the USA and the EA. First, two groups of predictors forecast inflation: temporary fundamentals that have a frequent impact on inflation but only for short time periods; and persistent fundamentals whose switches are less frequent over time. Second, the importance of some variables (particularly international food commodity prices, house prices and oil prices) as predictors for consumer price index inflation increases when such variables experience large shocks. The paper also shows that significant differences prevail in the forecasting models between the USA and the EA. Such differences can be explained by the structure of these respective economies. Copyright © 2015 John Wiley & Sons, Ltd.     

拓扑线性空间中连续线性算子的Drazin广义逆

拓扑线性空间中连续线性算子T具有连续D razin广义逆的充分必要条件是T的指标Ind(T)=k< ∞,且R(Tk)为具有T—逆性质的闭线性子空间.     

三维空间矢量PWM调制算法及其仿真研究

文章针对三维空间矢量PWM调制谐波含量少、可用于四桥臂等特点,重点分析了三维空间矢量调制的原理,对相关矢量发生的算法进行了详细推导;并利用MATLAB/SIMULINK仿真软件进行了仿真,仿真结果验证了三维空间矢量PWM调制算法的正确性。     

大事件建筑规划设计与城市空间协同发展研究

在日趋激烈的全球竞争环境下,大事件营销已成为城市提升竞争力的重要战略工具,大事件建筑也由此应运而生。文章提出了大事件建筑的明确概念,分析了大事件建筑对城市空间结构优化的意义,指出大事件建筑无论在规划选址、建筑设计、后续运营等环节中,都必须坚持“建筑-城市”协同观,并对南京奥体中心案例进行了重点分析。     

城市绿地可持续发展的思路与对策研究

现阶段城市绿地可持续发展能力的不足已成为进一步提高城市绿地面积和绿化水平的瓶颈,进而影响到城市的可持续发展。文章针对城市绿地面临的这一问题,通过进一步的分析,对城市绿地的可持续发展思路和原则进行了探讨,提出了建立都市区绿地系统、开展节约型城市绿地建设以及开发绿化高新技术等方面的具体措施。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于强化学习的连续型机械臂自适应跟踪控制

针对空间主动碎片清除操作中连续型三臂节机器人系统跟踪问题,提出一种基于强化学习的自适应滑模控制算法。基于数据驱动的建模方法,采用BP神经网络对三臂节连续型机械臂进行建模,并作为预测模型指导强化学习实时调节所提出滑模控制器的控制参数,从而实现连续型机器人运动的实时跟踪控制。仿真结果表明：提出的数据驱动的预测模型对随机轨迹预测的相对误差保持在±1%以内,能够高精度地反映系统动态特性。对比固定参数的滑模控制器,提出的自适应控制器在保证系统达到控制目标的同时具有更低的超调量和更短的调节时间,表现出更好的控制效果。     

基于加权损失函数的粘连白细胞分割算法

针对粘连白细胞很难精准分割的问题,提出一种基于深度学习的粘连白细胞分割算法.首先,将急性淋巴细胞白血病患者的血液细胞显微图像的色彩空间由RGB转换至HSV,滤除红细胞并提取白细胞;其次,对提取结果中的粘连白细胞,将细胞边界设定为除前景和背景外的第三类,在深度学习分割模型训练过程中引入基于类别权重的加权交叉熵损失函数,使...