搜索筛选:
搜索耗时1.1785秒,为你在为你在102,285,761篇论文里面共找到 28 篇相符的论文内容
发布年度:
[期刊论文] 作者:李弋强,
来源:楚天法治 年份:2021
利用交通技术监控对交通违法行为进行“非现场处罚”是当前执法主要模式。但法律法规、部门规章以及规范性文件对“非现场处罚”的规定存在不统一、不具体等诸多问题。“非现场处罚”模式在地域管辖、处罚范围方面有自身的特点,应在立法层面建立起统一的“非现场......
[期刊论文] 作者:李弋强,陈伟,,
来源:江苏警官学院学报 年份:2014
“累积记分制度”与“非现场执法模式”是我国目前道路交通管理中的两项重要制度.记分并非行政处罚,而是行政许可的后续监管措施,具有人身性和附属性的特点.本文认为车主对机...
[期刊论文] 作者:李弋强,高永沛,
来源:江苏省社会主义学院学报 年份:2005
2004年十届政协对政协章程作了较大的修改,其中对委员的条件、权利、义务作了明确规定.这些规定是必要和适宜的.但也存在着一些不足,主要是在委员产生的程序机制和内部约束机...
[期刊论文] 作者:马志恒,李弋强,,
来源:江苏建筑 年份:2015
当今我国大中型城市道路拥堵、停车难问题日益突出。文章从停车场的不同功能和特点,研讨分区域、分层次建设停车场,将缓解停车需求,且具有环保、高效等多项社会效益和经济效...
[期刊论文] 作者:李弋强,徐中伟,喻钢,
来源:计算机工程与应用 年份:2010
为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,...
[期刊论文] 作者:吴剑,徐中伟,喻钢,李弋强,,
来源:计算机工程 年份:2009
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相......
[期刊论文] 作者:李弋强,徐中伟,喻钢,谭渊,,
来源:计算机应用 年份:2009
安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与......
[期刊论文] 作者:周绍君,徐中伟,喻钢,李弋强,吴剑,
来源:计算机工程与应用 年份:2009
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全...
相关搜索: