基于状态机模型的构件健壮性测试 被引量：9

1

作者 雷斌 王林章 +1 位作者 卜磊 李宣东 《软件学报》 EI CSCD 北大核心 2010年第5期930-941,共12页

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在... 基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越. 展开更多

关键词 软件测试 构件 健壮性 状态机 无效输入

在线阅读 下载PDF 职称材料

高速大容量存储系统的关键技术实现 被引量：7

2

作者 马培娇 张宇光 +3 位作者 姚永兴 徐鹏飞 焦新泉 任勇峰 《化工自动化及仪表》 CAS 北大核心 2011年第7期869-872,共4页

介绍了一种高速大容量存储系统的实现方案,该系统以75MB/s的速度实时存储容量为64 GB的图像数据,并可通过扩展F lash阵列满足更高速度和更大容量的存储要求。

关键词 高速大容量存储器 无效块管理 固态存储

在线阅读 下载PDF 职称材料

E-R模型中联系状态研究及应用 被引量：8

3

作者 梁玉强 《计算机工程与应用》 CSCD 2012年第9期94-97,共4页

数据库设计的一个重要环节是将E-R模型转换为关系模型,但传统的E-R模型向关系模型的转换规则中存在一定的缺陷,在将具有时变性的多对多联系转换为关系后会导致关系的键无效。对导致转换后关系键无效的问题进行了深入分析,将问题根源归... 数据库设计的一个重要环节是将E-R模型转换为关系模型,但传统的E-R模型向关系模型的转换规则中存在一定的缺陷,在将具有时变性的多对多联系转换为关系后会导致关系的键无效。对导致转换后关系键无效的问题进行了深入分析,将问题根源归因为实体型间联系的时间性变化。在传统E-R模型引入联系的时变性质,据此将联系划分为动态联系和静态联系。提出了基于联系时变状态的新的E-R模型向关系模型的转换规则,修正了传统转换规则中的缺陷并解决了转换后的关系键失效问题。 展开更多

关键词 实体-联系(E-R)模型 键无效 联系状态 动态联系 转换规则

在线阅读 下载PDF 职称材料

时序逻辑电路的自启动研究 被引量：2

4

作者 张海泉 《河南教育学院学报（自然科学版）》 2005年第3期33-34,共2页

分析了时序逻辑电路的自启动问题,探讨了在设计过程中对状态编码中的无效状态的应用,保证了电路的自启动.

关键词 数字电路 时序逻辑电路 无效状态 自启动

在线阅读 下载PDF 职称材料

基于电路状态信息和冲突分析的部分扫描设计

5

作者 向东 刘鑫 徐奕 《电子与信息学报》 EI CSCD 北大核心 2004年第1期124-130,共7页

该文提出了一种割断关键回路的方法来选择扫描触发器。该方法在选择一定数量的扫描触发器后,采用逻辑模拟更新电路的状态信息,这样可以得到更为精确的可测试性信息。当电路中的关键回路割断后,转向消除冲突的处理,而不是降低时序深度。... 该文提出了一种割断关键回路的方法来选择扫描触发器。该方法在选择一定数量的扫描触发器后,采用逻辑模拟更新电路的状态信息,这样可以得到更为精确的可测试性信息。当电路中的关键回路割断后,转向消除冲突的处理,而不是降低时序深度。该方法致力于消除冲突,并使用了一种基于冲突分析的测度conflict.足够的实验结果表明该方法是非常有效的。 展开更多

关键词 电路状态信息 冲突分析 扫描设计 大规模集成电路 高度时序化 有效状态

在线阅读 下载PDF 职称材料

基于无效状态空间的多状态网络可靠性评估

6

作者 李振 孙新利 +2 位作者 姬国勋 刘好杰 刘志勇 《计算机工程》 CAS CSCD 2012年第23期95-100,共6页

在应用d-最小割(路)集计算多状态网络可靠度精确值算法中,运用容斥原理求解d-最小割(路)集较为复杂。为此,提出一种不需d-最小割(路)集直接计算多状态网络可靠度精确值的算法。该算法按一定规则分割状态空间,在此基础上生成无效状态空间... 在应用d-最小割(路)集计算多状态网络可靠度精确值算法中,运用容斥原理求解d-最小割(路)集较为复杂。为此,提出一种不需d-最小割(路)集直接计算多状态网络可靠度精确值的算法。该算法按一定规则分割状态空间,在此基础上生成无效状态空间,通过迭代计算直接获得可靠度精确值,同时通过定义边的容量下界及剩余网络。实例分析结果表明,运用该算法可减少计算量,并能精确求解d-最小割(路)集。 展开更多

关键词 网络可靠性 多状态网络 无效状态空间 状态空间分割 容量下届 剩余网络

在线阅读 下载PDF 职称材料

某型航空发动机中介机匣分流环插接安装的脱开失效载荷分析 被引量：3

7

作者 刘长春 廖连芳 +1 位作者 邵丕仁 安中彦 《航空发动机》 2012年第1期7-8,12,共3页

采用有限元分析软件Ansys对某型航空发动机中介机匣分流环插接安装的脱开失效载荷进行了分析,对其中涉及的有限元计算中的非线性问题进行了简化,将状态非线性转化为位移边界条件,只考虑材料非线性,提高了计算效率。经试验验证表明:这种... 采用有限元分析软件Ansys对某型航空发动机中介机匣分流环插接安装的脱开失效载荷进行了分析,对其中涉及的有限元计算中的非线性问题进行了简化,将状态非线性转化为位移边界条件,只考虑材料非线性,提高了计算效率。经试验验证表明:这种简化计算方法合理可行,能够为该结构的设计提供有意义的参考。 展开更多

关键词 有限元 材料非线性 状态非线性 边界条件 失效载荷 中介机匣 分流环 航空发动机

在线阅读 下载PDF 职称材料

基于弹载存储系统的高速固态数据记录器设计 被引量：4

8

作者 郭小兵 李圣昆 贾兴中 《微电子学与计算机》 CSCD 北大核心 2013年第2期25-28,32,共5页

为了对飞行体发射过程中的参数进行实时存储,提出了基于FPGA的弹载数据记录器电路设计及控制逻辑设计.应高速数据存储速度的要求,对FLASH在不同编程方式下的写入速度进行了深入分析,从而革新了FLASH控制逻辑设计.该记录器采用FPGA实现... 为了对飞行体发射过程中的参数进行实时存储,提出了基于FPGA的弹载数据记录器电路设计及控制逻辑设计.应高速数据存储速度的要求,对FLASH在不同编程方式下的写入速度进行了深入分析,从而革新了FLASH控制逻辑设计.该记录器采用FPGA实现接口控制、FLASH逻辑写入、擦除、无效块校验等,设计中,FLASH采用高效的"区"地址管理方法,从而为满足高速数据存储提出了合理的解决方案.实践证明,该记录器对飞行体发射过程中的参数进行了实时、可靠地存储,满足工程实际需求. 展开更多

关键词 固态存储器 FLASH 现场可编程门阵列 高速存储 无效块校验

在线阅读 下载PDF 职称材料

论国家权力对无效合同的干预

9

作者 林国全 《哈尔滨学院学报》 2008年第11期45-48,共4页

国家对无效合同的干预应当依法进行,"哪些要干预、怎么干预,都要依法进行,由法律、行政法规做出规定",不能仅从合同法方面来理解国家对无效合同的干预。国家主要是通过立法权、司法权及行政权等方面体现国家权力对无效合同的... 国家对无效合同的干预应当依法进行,"哪些要干预、怎么干预,都要依法进行,由法律、行政法规做出规定",不能仅从合同法方面来理解国家对无效合同的干预。国家主要是通过立法权、司法权及行政权等方面体现国家权力对无效合同的干预。 展开更多

关键词 国家权力 干预 无效合同

在线阅读 下载PDF 职称材料

维护Agent状态的定位和检测

10

作者 王春梅 范通让 《河北省科学院学报》 CAS 2013年第3期12-17,共6页

将多Agent技术应用到了对维护Agent无效状态的定位和检测中,利用矩阵元素表示网格信息的方法,根据矩阵元素的变化,从而判断经过探测区域后的网络中维护Agent所处的状态,最后使用Repast仿真软件将维护Agent分为初步定位、中间过程、最终... 将多Agent技术应用到了对维护Agent无效状态的定位和检测中,利用矩阵元素表示网格信息的方法,根据矩阵元素的变化,从而判断经过探测区域后的网络中维护Agent所处的状态,最后使用Repast仿真软件将维护Agent分为初步定位、中间过程、最终定位三个阶段进行仿真验证。仿真结果表明,经过探测区域之后,可以将所处无效状态或有效状态的维护Agent分类,提高了网络辨别维护Agent所处的准确性,同时也证实了矩阵元素表示网格信息的有效性。 展开更多

关键词 矩阵元素 探测区域 状态识别 无效状态

在线阅读 下载PDF 职称材料

实现流水存储及坏块处理的Flash控制器设计 被引量：3

11

作者 闫梦婷 安军社 江源源 《电子设计工程》 2016年第16期50-53,共4页

实现了一种适用于航天设备的大容量存储方案。给出一个基于FPGA实现的Flash控制器设计,该控制器可以完成航天应用的大容量数据存取工作。其中存储操作中设计了流水编程机制,实现了叠装芯片内部的流水编程操作,大幅度提高系统的整体存储... 实现了一种适用于航天设备的大容量存储方案。给出一个基于FPGA实现的Flash控制器设计,该控制器可以完成航天应用的大容量数据存取工作。其中存储操作中设计了流水编程机制,实现了叠装芯片内部的流水编程操作,大幅度提高系统的整体存储速率,实现了高速存储的目的。同时,提出了一种完备的坏块处理机制,可以屏蔽对已知坏块的使用,并且在新的坏块产生时确保存取操作正常执行,使得大容量存储系统的存储数据无误差、无丢失,读出正常有序的数据。经板级验证,该方案的整体可以实现的最高存储速率可达100 Mbps,坏块处理机制可保证数据的正确性、完整性和连续性。 展开更多

关键词 大容量 固态存储 NAND FLASH控制器 坏块处理 流水存储 FPGA应用

在线阅读 下载PDF 职称材料

基于以太坊状态数据库的攻击与防御方案 被引量：3

12

作者 高镇 张东彬 田潇 《网络与信息安全学报》 2022年第2期64-72,共9页

以太坊是第二代区块链平台的典型代表,其最大特点是能够通过智能合约来支持功能丰富的分布式应用。另外,为了提高交易验证效率,以太坊使用了本地数据库来存储账户状态,并基于区块头内的状态树根保证状态数据的完整性。但是研究工作表明... 以太坊是第二代区块链平台的典型代表,其最大特点是能够通过智能合约来支持功能丰富的分布式应用。另外,为了提高交易验证效率,以太坊使用了本地数据库来存储账户状态,并基于区块头内的状态树根保证状态数据的完整性。但是研究工作表明,本地数据库存在被篡改的安全隐患,且攻击者可以基于被篡改的账户状态发出非法交易,从而牟取不正当利益。简要描述了这类针对本地状态数据库的安全漏洞,并分析了攻击成功的前提条件;在此基础上,与工作量证明共识机制下两种常见的安全威胁进行了对比,发现在攻击者控制相同挖矿算力的条件下,基于状态数据库的攻击带来的安全风险更高,攻击成功概率趋近于100%。为应对存在的安全威胁,提出了一套切实可行的攻击检测与防御方案,并在以太坊源码的基础上加入了二次验证与数据恢复过程。通过单机多线程的实验测试评估了所提方案的可行性与复杂度。实验结果表明:改进后的以太坊系统具备了针对状态数据库篡改的容错能力,且该方案同样适用于超级账本等其他基于本地数据库进行交易验证的区块链平台。此外,通过统计二次验证的时间和哈希计算次数,证明了所提方案带来的时间与计算开销并不显著,对现有系统的性能影响不大,具有良好的适用性。 展开更多

关键词 以太坊 状态数据库 状态篡改 非法交易 攻击检测 攻击防御 篡改容错

在线阅读 下载PDF 职称材料

对时序逻辑电路自启动设计的探讨 被引量：3

13

作者 李正发 《湖北第二师范学院学报》 2008年第2期67-68,共2页

随着数字集成电路的广泛应用,我们在设计电路时,有时会遇到电路不能自启动问题。当电路不能自启动时,一般是不能应用于生产实践中的,而必须对电路进行修改。修改电路自启动的方法比较灵活,不同的修改方法,所得到的状态方程组是不一样的... 随着数字集成电路的广泛应用,我们在设计电路时,有时会遇到电路不能自启动问题。当电路不能自启动时,一般是不能应用于生产实践中的,而必须对电路进行修改。修改电路自启动的方法比较灵活,不同的修改方法,所得到的状态方程组是不一样的。本文在这里分析了电路不能自启动产生的原因,并介绍了修改电路自启动的一种方法。 展开更多

关键词 卡诺图 环形计数器 状态图 自启动 无效循环

在线阅读 下载PDF 职称材料

基于VCS的固存坏块仿真系统设计与应用 被引量：1

14

作者 刘国斌 祝周荣 +2 位作者 宁静 刘攀 陈恩耀 《计算机测量与控制》 2018年第4期264-267,293,共5页

NAND Flash固态存储器(固存)广泛应用于航天工程,受限于微电子特性及制造工艺,固存在出厂及使用过程中均会产生坏块,通常由固存控制FPGA(现场可编程门阵列)来管理并标记坏块;为保证固存控制FPGA对坏块管理的正确性、健壮性,必须对其进... NAND Flash固态存储器(固存)广泛应用于航天工程,受限于微电子特性及制造工艺,固存在出厂及使用过程中均会产生坏块,通常由固存控制FPGA(现场可编程门阵列)来管理并标记坏块;为保证固存控制FPGA对坏块管理的正确性、健壮性,必须对其进行严格验证;提出了基于VCS的固存坏块仿真验证系统,为固存控制FPGA提供了所需的外围接口,特别是提供了固存坏块反馈机制,令固存坏块产生时机受控;实时向FPGA反馈固存读写过程及产生的坏块信息;将坏块表建立、维护和固存响应过程记录到数据文件;实现了坏块分布的可配置性和仿真系统的闭环性、可记录性;仿真系统可有效发现坏块管理的设计缺陷,进而优化设计,提高航天固存产品可靠性。 展开更多

关键词 VCS 仿真 固存 坏块管理

在线阅读 下载PDF 职称材料

私法自治与国家强制——法律强制性规范与无效民事法律行为关系之分析与构建 被引量：11

15

作者 胡智勇 《重庆工学院学报》 2005年第6期54-62,共9页

我国合同法在促进私法自治和合同自由方面取得了巨大的历史性进步,但是对民事法律行为的法律、行政法规强制性规定的控制论在司法实践中仍然成为民事活动的桎梏。法律、行政法规强制性规定对民事法律行为效力的影响应结合民事法律行为... 我国合同法在促进私法自治和合同自由方面取得了巨大的历史性进步,但是对民事法律行为的法律、行政法规强制性规定的控制论在司法实践中仍然成为民事活动的桎梏。法律、行政法规强制性规定对民事法律行为效力的影响应结合民事法律行为对世与对人的危害程度进行辩证分析,对强制性规定的解释应注意私法与公法的区别,并将其对民事法律行为效力的束缚减少到最小。借鉴国外和台湾立法司法经验,在法律禁令中开创私法活动空间,尊重民事主体的选择,追求私法自治与国家强制的和谐。 展开更多

关键词 私法自治 国家强制 法律强制性规定 无效民事法律行为

在线阅读 下载PDF 职称材料