大连民族学院成为大连市知识产权试点单位

日前，大连民族学院被大连市知识产权局认定为大连市知识产权试点单位。2009年，经申报、初审、专家评审等评定程序，大连市包括高校和企业在内，共有14家单位被认定为市知识产权试点单位。     

论网络通讯监听法制化的理论基础

网络通讯监听作为IT时代一种重要的技术侦查手段,具备一定的理论基础。其理论基础主要包括宪法理论基础、程序正义理论基础和司法伦理理论基础三部分。     

天价乌木案的法理思考

2012年2月,四川彭州农民吴高亮在自家承包地发现天价"乌木"并挖掘,被地方政府强制责令停工并拖走,随后宣称乌木属于国有,双方因乌木权属等问题引起纠纷。天价乌木案不仅引发法律争议,同时也是公权与私权的较量,程序正义与实体正义的较量。     

论正当程序及其价值

正当程序盛行于英美法系,是自然法正义观念的体现。本文从正当程序的来源出发,阐释了正当程序的内涵和价值,并结合中国的现实提出正当程序对建设法治国家的重要意义。     

低温热水地板辐射采暖系统在工程中的应用

本文分析了低温热水地板辐射采暖系统的特点,介绍了该系统的施工要求、施工程序及调试运行。     

石化企业采购方法及招标程序研究

随着企业的发展壮大和所需物质的不断增多,石化企业的采购行为日益增多,采购分类呈现多样化趋势。本文对石化企业采购方法及招标程序进行了相关论述,对石化企业招标采购工作进行了实践总结。     

利用ETC技术的小区内无线车位锁设计

针对居住小区内的专用车位被随意占用现象,提出了基于ETC技术的自动控制车位锁系统。该系统通过无线自动控制装置,免去了每次都需要车主手动开锁车位或者利用无线控制器的情况。经过实验,该设计可以智能化地解决专属车位的随意占用现象。     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

心跳程序

当第一个全能机器人被制造出来时,人们都幻想着不需要再卖力工作时代的来临,于是,这种机器人很快被批量购买,并遍布于世界的每一个角落。在这个地球上,机器人成了唯一一种和人类数量相等的东西。