基于UUT模型的测试描述语言的开发

为解决适用于所有系统的缩写测试语言(ATLAS)暴露问题,满足中国对具有自主知识产权测试语言的实际需求,设计开发了基于被测对象(UUT)模型的测试描述语言(TLBUM).介绍该语言的设计目标、设计思想、语句的具体设计以及该语言的编译实现和解释执行过程.该语言具有可移植性、硬件无关性、可扩展性、使用简便等特点,满足通用自动测试系统(ATS)软件对测试程序集(TPS)可移植和可复用的要求.实验表明,该语言简化了测试软件的开发过程,降低了系统的开发成本,将开发周期缩短了75%.     

反知识产权滥用在我国的法律适用及立法建议

在市场经济条件下,权利之争就是市场之争,个别知识产权的权利人为了争夺市场,滥用其手中的知识产权,给他人利益或社会利益造成了影响。随着当前民法的立法宗旨从原来的权利本位向社会本位的移转,我们有必要从立法角度限制知识产权滥用,以平衡权利人与社会公众的利益,引导我国知识经济的健康发展。本文从各个部门法中概括了目前我国限制知识产权滥用的主要法律规定,并针对目前立法现状提出相关立法建议。     

绿色原则在民事审判中的适用研究

绿色原则在2017年进入《民法总则》,成为一项基本原则。该原则与诚实信用原则、公序良俗原则、公平原则一起组成民法体系的调整性原则。绿色原则与其他调整性原则同样具有裁判功能,但实践中对于该原则的理解和适用均存在不少问题。绿色原则主要含义为节约自然资源、保护环境、保护生态,对于在民事活动中发生的与之有关的行为可以通过三种方式适用:一是绿色原则直接规定在相应法律规范中,则适用于特定规范所调整的对象;二是绿色原则体现在一般条款中,则需要通过法律解释方式,在绿色原则关注领域内适用;三是当没有相关规范时,需要通过绿色原则创设适用特定案件的具体规范。     

形式逻辑基本规律几个理论问题的探讨

国内外不少逻辑教材在阐述形式逻辑基本规律的主体对象、基本内容、制约范围等方面的理论时，或出现错误，或存在不足。本文在辨正的基础上首次对三个基本规律作出定义，并提出间接适用等新观点。     

怎样选用感冒药

目前防治感冒的西药层出不穷，加上某些广告夸大宣传，往往令人无所适从，现将常用的部分品种的特点及其组成、药理作用、适用症与不良反应简介如下，以供选用时参考。     

国际引渡制度与中国的立法实践

进入21世纪后，涉及引渡的国际新闻频频见诸报端，也许这个事实已经标示：21世纪将是国际刑事司法协助获得较大发展的时代，而引渡制度作为国际刑事司法中最重要、适用最普遍的一种制度，自然处于国际法学理论和实践发展变革的前沿。这对被追捕外遮者来说，可谓是致命的一击，引渡将使犯罪嫌疑人和罪犯无处可逮。为此，我国丛须重视引渡问题。     

论保险合同的有利解释原则的法律适用

保险合同解释的有利解释原则产生和存在的原因：一是私法的公平原则，二是法律在商事行为中对弱势一方的特殊关照。保险合同的解释是在对合同条款产生争议后发生，其在事先对事后情形的考虑和预知难免不周全，故而有利解释原则的弹性条款就有了生存空间。有利解释原则地位重要，但在适用此原则时又必须详加注意其发挥作用的限定以及适用的程式。     

论国际破产的法律适用

本文从破产要件、破产财团、破产债权、破产管理四个方面阐述了国际破产的法律适用问题，分析了我国关于国际破产法律适用的现状，并且对今后我国立法提出了自己的建议。     

经济适用住房申购过程中的问题及完善——以《经济适用住房管理办法》为背景

经济适用住房作为目前解决城市中低收入阶层住房问题的重要渠道之一，其制度的建立与实施是我国深化城镇住房制度改革的重要措施，对保持社会稳定和国民经济健康发展具有重要的影响。但多年的实践也表明经济适用住房管理过程中问题日益显现。本文从经济适用住房管理办法的角度对经济适用住房政策发展过程中出现的问题进行研究分析，完善经济适用住房法律法规建议。     

利用田间不适用烟叶高温发酵处理制成肥料

为了探索田间不适用烟叶的无公害化处理,设计了一套集烟叶收集、粉碎、高温杀毒和发酵生产有机肥的操作流程。针对烟叶的特点进行了设备的选型和研发,并在工程化高温发酵处理烟叶生产肥料试验的基础上,进行了经济效益的分析。结果表明:在对田间不适用烟叶物料粉碎时,利用大辊刀式粉碎机粉碎含水量为40%的烟叶,粉碎后的物料颗粒均匀;粉碎鲜烟叶时,使用集挤压、切割和揉搓为一体的粉碎设备,粉碎秸秆与鲜烟质量比为3︰1时,能够满足高温发酵的需求;所使用的高温AAT有效微生物菌剂活力在100~120℃之间时,发酵效果最佳;发酵后得到有机肥料的有机质含量为56.9%,远远高于如小麦、稻谷和玉米等一般秸秆的含量;成品肥料中虫卵的清除率为100%,没有检测出病毒病害;每个基地单元实施该工程后,每年的直接效益38.99~43.38万元。