非婚同居制度立法研究

对比西方对非婚同居关系的立法，从我国非传统家庭数量与日俱增的现实状况出发，对分析了立法调整非婚同居关系的必要性，对构建相应的法律制度作了初步探讨。     

城市分区域分层次建设停车场的研讨

当今我国大中型城市道路拥堵、停车难问题日益突出。文章从停车场的不同功能和特点,研讨分区域、分层次建设停车场,将缓解停车需求,且具有环保、高效等多项社会效益和经济效益及安全效益。     

面向安全需求的安全通信协议测试序列生成算法

安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。     

基于改进DFTA的安全苛求系统可靠性分析

针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。     

交叉冗余体系结构的安全性分析

为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。     

高校学生社团的法理探析——以“市民社会”理论为视角

我国宪法中的结社权是高校学生社团存在的基本法律依据,而"市民社会"与政治国家的平衡与制约是社团存在的法理基础。高校内部与外部社会一样,也存在着"公域"与"私域"的区分,学生社团则是学生"私域"空间的重要载体,在高校权力结构中占有重要的地位。     

面向安全需求的测试用例自动生成技术研究

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。