从依法行政看城市房屋强制拆迁

近年来,随着城市市政建设和旧城区改造步伐的加快,城市房屋拆迁矛盾日益突出依法行政在城市房屋拆迁过程中总是难以贯彻。究其根本在于其所依据的《城市房屋拆迁管理条例》存在缺陷。因此应该设计切实可行的程序对其进行完善。     

浅析民事抗诉中的“新证据”

2008年实施的新的《民事诉讼法》不仅将新证据作为再审事由保留了下来,并将纳入检察机关抗诉的法定事由。这就要求无论是法院还是检察院都应对再审新证据的认定和适用有统一的标准。虽然相关司法解释对新证据的情形进行了进一步明确,但对其具体适用问题并未涉及。检察机关作为法律监督机关,在办理民事抗诉案件时对新证据的认定与适用直接关系到其监督职能的实现,因此检察机关对新证据的认定与适用应当有一个宽严适中的标准,以实现实体正义与程序正义、司法公正与司法效率之间的平衡。     

自反巴拿赫空间中混合变分不等式的稳定性与Tikhonov正则化

在自反巴拿赫空间中介绍混合变分不等式的Tikhonov正则化并建立其相关理论.首先,建立Minty型混合变分不等式的解集非空有界的等价刻画.利用Minty型混合变分不等式解集非空有界的等价条件讨论映射与非线性项同时被扰动时,Minty型混合变分不等式的稳定性.基于此稳定性结果,研究Tikhonov正则化的Minty型混合变分不等式解集的特征与扰动分析.进而,获得Tikhonov正则化的广义混合变分不等式解集的特征与扰动分析.     

似变分不等式的一个迭代算法

基于辅助似变分不等式框架和(伪)invex协强制条件,给出了求解似变分不等式的迭代算法,证明了算法的收敛性.该算法是Zhu D L,et al(1996)和Farouq N E(2001)的推广.     

用于安全局域网络的动态监控器

提出了一种新的局域网安全解决方案——安全局域网。动态监控器是安全局域网中的核心部件。动态监控器对终端的文件访问操作以及局域网中各个实体间的通信行为进行监视,并对这些行为加以不可向上读和不可向下写的强制访问控制规则,防止了秘密信息的非法访问以及通过网络进行的信息泄露。结果表明:该方案可以有效地解决局域网的安全问题。     

我国突发性污染事故强制应急措施的不足及完善

本文通过对我国突发性污染事故强制应急措施相关法律法规进行分析,指出纵向的级别立法和横向的部门立法将突发性污染事故强制应急措施制度分割得基本不具有系统性;内容上注重行政紧急权的获得和行使,忽视对紧急权力的限制和对公民基本权利的保护;同时具体制度上的缺陷和机构设置的不合理也是强制应急措施效果不彰的重要原因。针对以上缺陷对我国突发性污染事故强制应急措施提出完善的建议。     

计算机访问控制技术研究综述

自信息安全这个问题引入之后,访问控制技术一直以来都作为确保信息系统安全性的主要技术手段之一。访问控制技术是向经过授权的主体向某些客体提供所授权的访问服务,同时拒绝向非授权的主体访问客体的行为提供服务的策略。     

试论公司非破产清算制度

公司清算是依法定程序清理公司债权债务,处理公司剩余财产并最终终止公司法律人格的行为和法律制度,是公司解散后的必经程序。探讨公司非破产清算制度,有利于完善公司清算制度,保护股东、债权人的合法权益,构建和谐的经济秩序。     

变分不等式和非扩张映射的迭代收敛性

介绍了一类包含非扩张映射的变分不等式和Wiener-Hopf方程,基于投影技巧推导出两者之间的等价关系,利用该等价关系提出了一个同步求解非扩张映射不动点和变分不等式的迭代算法,并在适当条件下证明了该迭代算法的强收敛性;所得结论推广了该领域内的一些最新结果.     

DM3强制存取控制设计与实现

提出了多级安全DBMS的强制存取控制策略模型 ,对元组级安全标记所产生的问题进行了讨论 .并在自行开发的具有自主版权的数据库管理系统DM3上实现了该模型 .