一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

磁偶极子天线方向性的边界元解法

应用边界元法对磁偶极子天线的辐射方向性进行解算,比较数值结果进一步获得传播距离与天线尺度的关系对方向性的影响,有助于进行磁偶极子天线及其电磁探测系统近程工作性能的分析与优化设计.     

蓝色镜头

俄将用空地两种撒手锏武器反击美反导系统;中韩海空军开通军事热线 有助预防东海冲突;日欲借反海盗行动为海外动武第一枪铺路;金融危机致美日联合海上演习规模大幅缩水;美海军首艘濒海战斗舰“自由”号服役     

中国周边军事强国“群起”

从历史角度考察,一个国家的发展历程无不与其周边安全环境有着密切联系。周边安全环境的发展变化塑造着、甚至决定着一个国家的战略选择。从目前情势看,中国周边安全环境尽管总体上保持稳定,但依然频繁受到朝核问题、领海主权、边界纠纷等地区热点和焦点问题的冲击。同时,心怀大国梦想的部分亚洲国家,如日本、韩国、印度等,更是利用各种矛盾和冲突借机大力提升军事资源投入,由此引发中国周边出现了军事强国“林立”的状况。     

声音

“中印边界从未正式划定,尽早解决两国边界问题是中印领导人确定的发展中印关系的‘十项战略’之一。中方愿同印方通过谈判寻找公平合理的解决方案。双方都应努力落实两国领导人达成的共识,多做有益于双边关系发展的事情。”——中国外交部发言人秦刚6月11日表示,中方愿同印方通过谈判寻找公平合理的边界问题解决方案。     

势流理论的一种数值方法在空泡形态中的应用

基于势流理论的假设,采取常规边界元法对具有自由面的定常平板和轴对称空泡流动数值方法进行了研究,运用Riabourichinsky镜像空化模型,建立了一种空泡自由面求解的优化迭代方法,以自由流线长度为参数求解模拟了定常无重工况下流经二维平板和轴对称圆盘的空化流动.数值计算结果与解析解的相对误差不超过3%,证实了轴对称体空泡外形的近似回转椭球体假说在空化器附近是不成立的.计算结果与同类文献数据的对比显示了边界元法进行空化流场计算具有着显著的优越性,所采用的迭代方法精度高、收敛速度快,所得结论对深入了解空化特性具有参考价值.     

为自由辩护——读哈特《法律、自由与道德》

关于道德的法律强制,最有名的论战来自哈特与德夫林的交锋,哈特在其著作《法律、自由与道德》中站在自由主义的立场精彩地回击了以德夫林为代表的法律道德主义的观点。不仅为个人自由权利不受强制争取了宝贵的空间,更给我们带来了关于道德与法律新的启发和思考。     

基于边界扫描技术的板级测试性优化设计

介绍了边界扫描技术的基本原理,论述了板级电路测试性设计的思想,提出一种基于二进制粒子群算法的板级电路测试性设计最小化优化方法。实验结果表明,该算法在优化效果、运算时间上均获得了较好的结果。     

举动

俄将在加里宁格勒州部署“伊斯坎德尔”导弹;欧盟12国发起组建战略空运飞行大队;德国延长德军参与“持久自由”行动期限;朝鲜军方宣布切断朝韩陆路通道     

基于单脉冲探测的轨线导航AGV测速方法研究

运用MC9S12DG128B单片机的增强型定时器模块,设计了自主车速度检测方法——单脉冲测速法。该方法克服了测速实时性与准确性相矛盾的缺陷,提高了自主车测速系统的鲁棒性。实验结果证明,该测速机制是成功的。