【摘 要】
：
随着司法鉴定业务的快速增长,与鉴定活动或鉴定结果有关的质疑频出,因不满情绪而对鉴定人进行投诉、攻击甚至到鉴定机构谩骂、闹事等行为相应增多,主要原因是对鉴定当事人的
论文部分内容阅读
随着司法鉴定业务的快速增长,与鉴定活动或鉴定结果有关的质疑频出,因不满情绪而对鉴定人进行投诉、攻击甚至到鉴定机构谩骂、闹事等行为相应增多,主要原因是对鉴定当事人的权利救济不足,鉴定人员素质良莠不齐,司法鉴定意见审查能力的缺失,当事人对鉴定活动参与不足等。对此,立法者可采取赋予当事人适当的参与权、直接重启鉴定的救济权以及设立全国统一鉴定人资格考试等措施。
其他文献
研究交叉调试工具支持后续功能可扩展的方法,设计并实现了一种可重定向的交叉调试器,使调试命令的处理过程全部运行于调试主机上,并通过调试编程接口实现对不同目标对象的挂接,以实现源码级的调试。使用该方案能够快速地实现针对不同体系架构的交叉调试器,具有开发周期短、性价比高、可移植性好的特点。
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程
首先引入直觉模糊集下的模糊蕴涵算子运算方法,设计应用直觉模糊蕴涵算子的直觉模糊推理机模型的设计,阐述模型的运行机理,通过实例验证直觉模糊推理机模型的有效性和正确性。提出选择模糊蕴涵算子的贴近度法,在具体应用领域中可根据比较结果作具体选择。
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运
针对教育资源共享问题,设计了教育资源共享网络体系结构,定义了各层节点的功能。在此基础上,将层次环网络拓扑引入到节点组织模型中,详细给出了实现网络结构连接的方案。然后,基于层次环网络给出了一系列提高系统服务质量的策略,包括节点的加入/离开、代理、分布式资源检索策略。通过理论分析比较,证实了采用层次环网络的优势和相关策略的有效性。
图像分析应用对图像配准的精度和速度要求越来越高,传统配准方法很难满足要求。为此,提出一种基于二人博弈的配准方法,该方法将两种基于不同图像特征(如特征点和轮廓)的配准方法视为两个局中人,通过寻求二人博弈的均衡点配准图像;配准过程中,两个局中人通过信息共享改善配准精度和速度。新方法很好地结合了不同图像特征的优点,克服了采用单一特征进行配准的不足。针对医学、遥感和航拍图像的实验表明,在选择合适图像特征的
动态贝叶斯网络(DBN)是基因调控网络的一种有力建模工具。贝叶斯结构期望最大算法(SEM)能较好地处理构建基因调控网络中数据缺失的情况,但SEM算法学习的结果对初始参数设置依赖性强。针对此问题,提出一种改进的SEM算法,通过随机生成一些候选初始值,在经过一次迭代后得到的参数中选择一个最好的初始值作为模型的初始参数值,然后执行基本的SEM算法。利用啤酒酵母细胞周期微阵列表达数据,构建其基因调控网络并
改革开放20年来,档案事业有了很大的发展,特别是《档案法》颁布之后,档案工作者有了一个充分施展才华的大舞台,中国的档案事业已初步形成了一个门类较为齐全、结构较为合理、
为了克服MATLAB时频工具箱在计算大容量的地震数据的分频处理时,存在计算速度慢、内存不足以及FFT的计算长度严重影响时频分辨率等问题,使其适应于实际海量地震数据的时频分析。对MATLAB时频工具箱中基于离散短时傅里叶变换的时频算法进行了改进,采用Fortran语言在微机上编程实现了该算法。理论实算表明,改进后的Fortran程序能够高效地计算大容量、短时窗地震数据的分频处理。
针对认知无线电中的频谱感知问题,利用随机矩阵理论(random matrix theory,RMT)最新研究成果,提出了一种新的合作频谱感知算法(maximum-minimum eigenvalue detection,MMED)。该算法将采样协方差矩阵最大特征值与最小特征值的比值作为统计判决量,并利用最小特征值概率分布求得判决门限。理论分析与仿真结果表明,与基于最大特征值的频谱感知方法相比,MM