模糊关系在软件系统测试中的应用

基于黑盒技术在分布式软件系统测试中的应用 ,提出了系统位态和预期位态的概念 .在执行系统测试时 ,测试用例对系统位态具有控制作用 ,系统位态与相应的预期位态则表现出模糊性 ,运用模糊蕴涵逻辑进行研究得到了如下结果 :测试用例对预期位态的作用关系是模糊控制关系 ,其控制程度取决于软件的质量 ;基于这种模糊控制关系和模糊推理规则 ,得到了被测软件通过测试的标准值 ,使测试通过的判定得以量化 ;文中还得出了量化的系统测试通过准则 ,并将其应用于自动化测试工具的改进 ,有效地提高了测试效率 ,降低了测试成本 .

一种基于通行优先度规则的城市交通信号自组织控制方法

为解决传统城市交通信号相位和相序控制缺乏灵活性,存在通行效率与控制实时性差的问题,提出了一种基于通行优先度规则的城市交通信号自组织控制方法。此方法是在城市交通信号自组织控制的体系下,以平均延误时间、平均速度、停车率为评价,以通行优先度规则(通行优先度、交叉口关联度、相位组合)为相位与相序实时控制的基本依据,建立基于元胞自动机的城市交通微观模型,高效地实现了交通信号自组织控制。相同条件下16个路口的交通控制仿真表明,基于通行优先度规则的城市交通信号自组织控制方法,与传统的定时控制以及感应控制方法比较,显示出较高的通行效率与良好的控制实时性。通行优先度规则控制方法是城市交通信号自组织控制的理论性探索,且对其新一代智能交通控制装备与系统的工程化具有指导性意义。

法律的空间“穿越”及其风险——从两高办理网络诽谤等刑事案件的司法解释出发

随着全球化、信息化、网络化时代的到来,网络空间已经成为人们日常生活的重要组成部分,是言论表达的重要场域。2013年"两高"司法解释通过网络诽谤和网络寻衅滋事来规制网络空间行为,固然有其规范言论自由、维护社会稳定、促进理性秩序的动因,但也实现了从网络空间向现实空间的"穿越",并会产生一定的法律问题和社会风险。因此,需要我们进行理性反思和控制,以促进司法的社会向度回归与社会资本重建,从而推进"法治中国"建设。

基于Richards变换与Kuroda规则的微带低通滤波器的设计仿真

首先分析基于Richards变换与Kuroda规则的微带低通滤波器的结构和设计原理,然后以一个5阶契比雪夫低通滤波器为例,给出基于Angilent ADS2005软件仿真平台的设计步骤,通过调用ADS软件仿真平台提供的宏函数进行设计,避免冗长繁杂的计算过程,大大缩短滤波器设计周期;并采用分形技术对滤波器结构进行优化,获得满意的滤波器性能.

论中国法治建设的过渡期

法治建设有它具体的历史语境。中国在历史传统、宗教习俗、文化经济方面与西方国家有根本的不同,要在这些条件下完成法治的跃进非常困难,况且这些条件还规定了中国的法治不可能照搬西方模式。法治的生成需要慢慢地浸润。这就决定了法治建设不可能在短时间内完成,必须确立一个过渡期。这个过渡期的目的是为了促进法治秩序的形成,而其本质特征表现在必须依靠国家力量的推动。在法治过渡期,需要在把握现实的基础上为法治秩序的到来做好理论上、思想上和制度上的准备。

零利率下限、汇率传递与货币政策

本文将零利率下限和不完全汇率传递同时引入货币政策分析,利用两国DSGE模型深入探讨了不同货币政策规则和最优货币政策问题。研究表明,零利率下限会导致汇率的"逆向调整"效应,从而加剧两国相对经济波动。当外生冲击源于国外时,本国汇率不完全传递与零利率下限两种扭曲所导致的福利损失将相互叠加,这一点与发生本国冲击时的情形正好相反。采取汇率管制的货币政策很可能加重外部危机的国际传导,造成本国更大的福利损失。因此,我国央行应当继续深化人民币汇率制度改革,加快人民币国际化步伐,积极推进人民币计价结算的国际化。

不完全汇率传递下的货币政策工具规则分析

本文尝试构建一个开放条件下的总供给-总需求模型,通过名义进口价格刚性在模型中引入汇率传递因素。模型对各种货币政策工具规则下社会福利损失函数进行比较,考察在不同的汇率传递程度下的各种货币政策工具规则。研究结果显示,社会福利水平随着汇率传递程度下降而提高;货币政策工具规则对消费者物价指数(CPI)上涨作出反应一定程度上优于对国内制造商品价格上涨作出反应,制定的货币政策工具规则应该以CPI为目标,以使社会福利损失最小。

基于VB的参数数据类型匹配问题

阐述了在参数传递过程中,实参与形参数据类型的一致性问题,分析了不同数据类型之间的转换规则,并结合实例给出了规范化的有效结论。

“Nyquist”准则的简捷证明

在数字通信中,传输速率和传输可靠性是两个重要指标,也是互相制约的指标,他们遵循通信原理的重要基本理论——奈奎斯特(Nyquist)准则。在很多教科书上,对于该准则的证明比较繁琐,在教学中造成困难。用简单的方法改变了该准则的传统证明,先证明一个命题,进一步分析了克服码元串扰的一般条件,并从这一点出发,提出对实际滤波器的要求,提出数字通信中的滤波器的具体设计方法,也就是互补对称的滚降方法,可以消除码间串扰,提高通信系统的可靠性。最后,对“Nyquist”准则作了通俗的描述。

汇率不完全传递、货币政策规则与中国经济波动--基于贝叶斯方法的实证研究

笔者在小国开放经济的动态随机一般均衡模型中,使用贝叶斯方法估计了中国的货币政策规则。通过引入人民币汇率的不完全传递效应和贸易顺差,笔者得出以下主要结论:第一,名义利率平滑特征并不明显,央行的货币政策除了考虑CPI通胀和产出缺口以外,还会针对汇率波动进行调整;第二,国内冲击是引起我国产出和通胀率波动的主要因素,技术冲击能够解释我国产出波动的67%,货币政策冲击能够解释PPI通胀波动的55%,CPI通胀波动的60%,而世界产出冲击能够很好地解释其他经济变量的波动;第三,汇率不完全传递效应虽然降低了我国CPI通胀和贸易顺差的波动,却显著地增加了外生冲击对一价定律缺口和实际汇率的影响。

三步回归滤波建模的拓展及其在汇率预测中的应用研究

对关键经济变量的准确预测不仅能为当局采取合适的政策以实现有效调控提供启示,还能为公众(包括企业)制定投资决策提供参考,因而具有非常重要的理论、现实与政策意义。为避免统计数据信息缺失并提高分析问题的时效性,文章对传统三步回归滤波建模进行拓展,将混频数据抽样模型(MIDAS)建模思想纳入其中以形成混频三步回归滤波模型(MF-3PRF)。基于大样本性质的理论模拟发现,MF-3PRF能够实现参数估计的有效性与一致性,且具有较好的理论预测能效。进一步地,文章基于MF-3PRF模型与备择模型(DMA/DMS、TVP-VAR、BMA)并选取无抛补利率平价、购买力平价、弹性/粘性价格货币模型、巴拉萨-萨缪尔森模型、资产组合模型、泰勒规则等理论模型对人民币汇率进行预测,结果表明MF-3PRF并结合泰勒规则能够较好地捕捉人民币汇率的动态变化特征,因而能为公众在新的汇率形成机制条件下深入认识人民币汇率动态变化与波动成因提供启示。

质真若渝:文化遗产地博物馆建筑设计探析——以山海关长城博物馆扩建设计为例

在以文化遗产为背景的博物馆建筑设计中,由于文化遗产的不可再生性,遗产保护的要求成为绝对的主导秩序。该文结合对山海关长城博物馆的案例分析,尝试探讨文化遗产保护规则和此类博物馆设计之间的制约关系。

C语言中函数的参数传递

函数是C程序的基本单位,熟练掌握C语言函数参数传递是实现函数功能的关键.针对函数教学中发现的问题,详细阐述了C语言每一种类型数据的参数传递,包括传递时间、传递操作、传递内容和数据访问等,并通过具体实例进行详细解析,以便于学习者深入透彻地掌握传值和传址的区别,并选取恰当的函数参数实现程序设计.

小跨高比连梁的受力分析及设计建议

连梁是联肢剪力墙中的关键构件,它不仅是墙肢之间的传力纽带,而且是剪力墙结构中抗震的第一道防线。通过有限元分析发现,小跨高比连梁的受力和变形规律不同于一般框架梁和深梁。针对实际设计工作,分析了目前连梁设计存在的问题,提出了一些连梁设计建议。

研究国外马克思主义,发展中国社会主义

当代西方同情马克思主义的思想家对我们的启示 ,不仅在于他们在当代形势下对马克思主义的浓厚兴趣 ,而且在于他们为发展马克思主义思想传统所作的种种努力。比方说 ,他们对“社会主义法治国家”的讨论 ,就像他们对“社会主义市场经济”的讨论一样 ,对于我们探索具有中国特色的社会主义道路 。

基于关联规则挖掘的伴随车辆发现算法

伴随车辆是公安刑侦部门对海量车辆通行信息检索的一类实战需求,目的是通过模糊条件查询得到潜在的结伴作案车辆,究其本质,可将此类查询转化为数据挖掘中关联规则挖掘问题。通过对公路车辆智能监测记录系统采集的过车数据进行分析,将伴随车辆查询转化为关联规则挖掘,利用数据挖掘技术对过车数据查询问题进行综合分析,实现高效率的伴随车辆查询算法AVD(Accompany Vehicles D iscovery)。算法分析表明,AVD不但能提供准确的伴随车辆查询结果,而且效率高、扩展性强,具有较高的可行性。

地下矿山高深溜井防堵塞技术研究及实践

高深溜井在使用过程中频繁发生堵塞现象,已成为影响地下矿山安全高效生产的重要因素。针对高深溜井井筒堵塞问题,以某金铜矿高深溜井为研究对象,分析了溜井矿石的移动规律,发现高深溜井矿石移动过程中在自由落体下落区和等速垂直全断面移动区之间存在垂直全断面间隔移动区;总结了高深溜井堵塞的主要原因有贮矿高度不合理、贮矿时间过长和溜井破损严重等;通过调查该金铜矿溜井运行过程存在的问题,提出了溜井料位监测技术、井筒加固技术和溜井放矿自动控制技术等预防高深溜井堵塞的技术措施,应用效果较好,可为类似矿山提供参考借鉴。

知识产权打假民事诉讼中证据规则的运用

知识产权打假民事诉讼中原告一般先请求行政救济 ,后请求司法救济。在审理知识产权打假民事诉讼中应当运用法院调取证据规则、自认规则、综合全案推定规则 ,作出正确的裁判。

一种基于规则过滤的红外人脸活体检测方法

由于人脸图像和视频很容易得到,活体成为人脸识别大规模应用的障碍。提出一种基于规则过滤的红外人脸活体检测方法,基于红外成像的机理,可以高效地防止照片、视频重放和人脸动作编辑等攻击。

RRM终端一致性测试中置信度的判定和实现

从概率统计学的角度介绍了置信度的基本概念,说明了置信度对实际RRM终端一致性测试的具体要求,并分析了RRM测试中对于置信度判定理论依据、具体方法和实现手段。