强制执行公证债权文书浅析

具有强制执行力的公证书与人民法院制作的裁判文书、仲裁机构制作的裁决书被法律赋予了能够作为人民法院强制执行依据的法律效力。但是,对于人民法院裁定不予执行的被公证机关赋予强制执行力的公证书应当如何救济,我国法律目前尚无明文规定。这一缺陷显然有损公证机关的公信力。     

智能化数据采集终端

本文论述了用于高分辨比色仪控制与数据采集;多项肝功能指标分析仪控制与数据采集两个智能化终端的设计思想及生成原则和运行情况。     

高校智能化短信服务平台的建设与研究

目前很多的高校应用系统中接入了移动信息机(MAS),提供了短信查询和通知功能.但随着直接连入信息机的系统不断增加,导致了信息机的负载过大,安全性不易控制.通过对Java RMI分布式应用技术和本体技术的综合研究,本文提出构建智能化短信服务平台,为高校信息系统提供更加安全、易用、智能的短信服务.     

盘套类铸件铸造工艺CAD/CAE系统的研究与开发

该系统是利用Solidworks API以VC6.0作为开发工具,基于特征设计的盘套类铸件铸造工艺CAD/CAE系统,将三维建模软件Solidworks与CAD/CAE系统有机的结合起来,实现盘套类铸件铸造工艺CAD/CAE系统的生成。系统包含盘套类铸件铸造工艺CAD、铸造工艺CAE和工艺卡计算机辅助管理,人机交互界面友好,操作方便,智能化优势明显,结构合理,易于扩充和维护。     

模拟训练器智能化操作指令系统的设计与实现

通过对模拟训练器目前常用的两种操作指令生成方法和教练员下达指令前大脑思维过程的分析,给出了近似模拟人脑分析过程,具有智能化的模拟训练器操作指令生成系统的实现方法,并将这一方法成功应用于“W460C型挖掘机模拟训练器”上。应用效果表明,智能化操作指令生成系统使得模拟训练内容和训练过程更加接近实际,明显增强了模拟训练的可信度和学习者的学习兴趣,大大提高了模拟训练器的性能和模拟训练的质量。     

生物大数据中的聚类方法分析

随着人类基因组计划的实施和完成, 生物实验技术快速发展, 生物数据呈现爆发式增长并不断积累, 生命科学迎来了大数据时代. 在后基因组时代, 单一的统计模式逐渐被智能化与综合分析相结合的方式所取代, 聚类分析便是核心的数据挖掘方式. 描述了生物信息学领域中的大数据现状, 总结基因表达谱分析和生物网络分析中常用的聚类方法, 并对小鼠胚胎成纤维细胞的时间序列数据进行实验对比. 实验结果表明, 不同的聚类方法生成了不同的实验结果, 面临高噪声的生物大数据, 选择或结合合适的聚类方法进行综合分析将有助于获得更可靠的分析结果.     

评测智能化入侵检测方法的样本库分析

对入侵检测评测样本库的生成方法进行了介绍,给出了KDD CUP’99数据集的样本分布,探讨了httptunnel攻击在KDD CUP’99数据集中的分类情况,通过分析KDD CUP’99数据集的特征属性与SNORT特征项的关联,表明了KDD CUP’99数据集作为智能化入侵检测方法评测样本库是公正而合理的．     

复合柔性结构航天器动力学建模研究

柔性航天器动力学建模的传统方法是采用混合坐标法，针对中心刚体带大型柔性附件类的航天器，这种方法在理论建模和工程应用方面都获得了极大的成功。在中心刚体加柔性附件类航天器柔性动力学研究成果基础上，通过计及柔性体与柔性体连接点间的复合位移变形，利用混合坐标法建立了复合柔性结构航天器动力学模型，其软件系统DASFA 2.0已初步用于工程分析设计。     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

一种基于扩展WSDL的测试数据自动生成方法

提出一种基于扩展WSDL的测试数据自动生成方法用来生成Web服务测试数据.该方法通过扩展WSDL,采用等价类划分法、边界值分析法、随机生成法相结合生成简单测试数据以后,再采用IPO方法生成复杂测试数据,能够有效地防止参数组合爆炸和人为加权造成的测试数据生成不准确.     

PKI系统中CA服务器的设计与实现

认证机构CA是PK I的核心执行机构,是PK I的主要组成部分,本文简要介绍了PK I的基本组成和CA的架构设计,详细介绍了用Java和O penSSL构建一个小型PK I系统的方法.该PK I系统扩展后可满足一定的安全需求,可用于校园网安全和企业安全应用,能实现CA认证中心的功能,保证网上数据传输的机密性、完整性和不可否认性.     

对公证的证据学思考

公证是国家授权的专门机构和人员依法定程序对有法律意义的行为、事件和文书进行居中证明、监督，并赋予其特定法律效力的活动，公证的效力通常包括证据效力、强制执行效力和法律行为成立要件效力三个方面。公证文书之所以比其他普通文书具有较高的效力，就在于公证文书的真实性、合法性。如果缺少调查取证，就会削弱公证的证据效力。实际中，存在着公证文书与一般书证的区别、公证事实与法律推定事实的区别、民事诉讼法中关于举证推翻公证证明的规定与举证责任倒置的区别的情况。公证立法过程中应明确公证处的调查取证权及调查取证程序，以增强立法的保障与规范性。     

VC中显示点位图的方法

BMP图像格式是Windows中位图数据的一种标准,本文着重介绍了如何利用Visual C++中CDC类和CBitmap类的成员函数装入点位图的步骤和显示点位图的方法。     

SPKI证书结构及其应用

SPKI证书主要用于访问控制,它强调分布式处理,允许任何拥有公钥、私钥对的实体自由发布证书,根据需要向不同的服务器提交证书,服务器接收证书后分布式地验证证书并自主决定其有效性.SPKI证书使用实体的公钥而不是名字来标识实体.笔者介绍了SPKI机制的基本原理,讨论了SPKI证书结构、有效性条件、5-元组约简、SDSI名字空间及SPKI证书的优点.最后,介绍了基于SPKI的安全多渠道电子支付系统作为SPKI证书在电子支付中的应用实例.     

嵌入式系统中一种池式内存管理方案

嵌入式系统的内存管理机制根据系统的不同需求必须满足相应实时性和可靠性的要求,再加上系统中内存储器资源紧张,因此高效、可靠的内存管理机制是构建一个优秀的嵌入式系统所必需的。文章简单介绍了当前嵌入式系统中普遍使用的内存管理技术,着重阐述了对内存池进行管理的一种可行的实现方法,该内存管理方法不但本身管理空闲内存的开销很少,同时可以有效地减少内存碎片的产生,从而提高内存的利用率。文章对该方法中使用到的数据结构,关键实现流程进行了详细的描述。     

消防支队票据管理系统的设计与实现

票据是消防工作中对收费对象明确收费项目以及收费标准、规范消防工作收费所使用的一种重要凭证,通过票据的使用,可以比较有效的规范消防专业领域各项收费,使消防收费体现出其本身的公开性、公平性,以便更好的接受社会监督。为此,本设计开发的消防支队票据管理系统实现了通用票据、往来票据等一系列消防专用票据的使用流程的系统化管理,基本解决了票据书写不规范、书写任务繁重、手工操作保密性差、效率低、容易引起银行营业部门和单位出纳人员之间的纠纷等系列问题,使得票据管理操作变得便捷可靠,同时大幅度提高了工作效率。     

基于AutoCAD的结构分析可视化

文章介绍了一种基于 Auto CAD的结构分析可视化方法。该方法通过移植原有基于 FORTRAN的结构分析程序作为计算内核 ,以面向对象的 Object ARX作为图形显示开发工具 ,使程序可以无缝连接在 Auto CAD中 ,运用 Auto CAD的图形功能实现计算结果的可视化。文中给出了系统框架 ;探讨了该方法的一些关键技术 ,如结构的类模型等 ;提供了一种计算结果可靠、图形功能强大的可视化途径。     

论组织机构代码数字证书

组织机构代码数字证书是将数字证书嵌入组织机构代码证电子副本,使组织机构代码证电子副本具有纽织机构代码证书和数字证书（CA）的双重功能。数字证书与组织机构代码证电子副本的合一应用,既可以记录机构的有效信息,又具备机榭在网络环境下的身份认证、安全加密、电子签名、电子印章等网土身份安全认证功能,能够满足各组织机构在网上各类业务,如网上办公、网上政务、网上交易等业务的安全需求。     

公证法律责任争议问题研究

公证法律责任体系中应增加对公证辅助人员进行规范的内容。公证民事赔偿的归责原则应以过错责任为基础,以严格责任为补充,且实务中不应适用过错推定原则。公证刑事责任中应注意,公证员行使公证职务时的身份并非刑法规定的国家工作人员,但在行政或事业性质公证机构中的公证员在行使公证行为以外的职务行为时可以依据该公证机构之性质来认定其具备国家工作人员身份。     

嵌入式光电综合控制系统研究

简要介绍了嵌入式光电综合控制系统的系统组成、硬件结构、软件设计等内容，分析了其设计特点，给出了实现方法。