Kinematic configuration analysis of planar mechanisms based on basic kinematic chains

According to the single-link transformation principle, and based on the topological characteristic investigations to planar closed kinematic chains (PCKCs), a general study of the kinematic configuration analysis of planar mechanisms with R-pairs is conducted in this paper. Firstly, two new concepts, contract link distance sequence and basic link group code sequence, are defined, and a novel approach for identification of multi-bar basic kinematic chains (BKCs) within the kinematic chain left from the single-link transformation is proposed. Then, another two concepts, weight code and similarity code, are defined for aid to link similarity judgment and two judgment theorems are proposed as well. As a further step, weight code or similarity code of the transformed single-link will be employed for kinematic configuration analysis situation judgment. Finally, corresponding unified constraint equations are set up and solved with coefficient homotopy method, on the basis of aforementioned analysis results. The study shows that the method is reliable and effective, and it is especially applicable for the kinematic configuration analysis problem of PCKCs with multi-bars and multi-freedoms.     

坝体度汛及导流泄水建筑物洪水标准研究与探讨

为了进一步研究大坝度汛及导流泄水建筑物设计洪水标准问题,在收集我国已建与在建大型梯级水利枢纽大坝度汛标准及导流泄水建筑物导流设计标准和实际运用情况的基础上,研究分析了影响大坝度汛标准及导流泄水建筑物导流标准选取的因素,提出了合理选取的依据与原则。同时,结合现行规范使用中存在的问题,对大坝度汛及导流泄水建筑物标准若干问题进行分析探讨,提出相应的规范编制建议。     

会计信息化系统注册码设计创意

在会计信息化系统中,密码（口令）与注册码作用不同,密码一般是开发者预设初值,用户购买时都一样,用户使用时修改,以便分工划分权限。而注册码是开发者根据用户某属性预设,所有的用户都不同,目的是防止非法使用。注册码设计比密码设计略复杂,这方面的内容公开的很少,本文进行介绍。     

一种基于金属码盘的新型绝对式光电轴角编码器

为了提高光电轴角编码器的抗冲击、振动能力,采用金属作为制作透射式码盘的材料,而目前透射式金属码盘制作工艺的特性无法解决金属刻线宽度和厚度之间呈反比的矛盾。在分析矩阵码盘编码原理的基础上,设计了一种新型的八矩阵编码,通过和狭缝盘的匹配,使得两圈码道输出十位码,有效地减少了码道数量,降低了刻划难度,为研制小型光电轴角编码器提供了核心保障;同时又在码盘外型尺寸一定的情况下,使码盘厚度最大。另外,为了降低金属码盘的颤动造成错码的机率,结合金属码盘的制作特点,利用码盘外边缘作为一圈码道。试验表明,研制的以该种金属编码盘为核心的绝对式光电轴角编码器,测角精度达75″,抗冲击大于100gn、振动大于20gn,为玻璃码盘光电轴角编码器的五倍多,有效地解决了光电轴角编码器在冲击、振动较大环境中长期工作的需求。     

基于遗传算法的函数型小波网络

针对传统小波神经网络易陷入局部极小等缺陷,采用遗传算法对神经网络进行优化。提出了一种结合实数编码与二进制编码的多值编码遗传算法,上述算法在同一条染色体上同时使用实数编码与二进制编码,有机结合了两者的优点,并把遗传算法用于优化函数型小波网络的结构中,可获得具有更好泛化能力的小波网络。仿真实验结果表明,利用该遗传算法训练小波神经网络,能使网络具有简单的结构形式,较高的逼近精度和较强的泛化能力,并证实了网络的有效性和优越性能。     

近无损压缩算法在HOLTER系统中的应用研究

以单片机为主控器件的HOLTER(动态心电监护仪)系统的实时性和临床诊断的保真度要求都较高,这就要求使用于其上的压缩算法应简单高效且近无损,而目前针对此类设备的压缩算法虽然有较高的压缩率,但失真度和复杂度也较高。本文提出一种针对HOLTER系统的低复杂近无损预测算法,实验表明,该方法在保证一定压缩率的条件下,具有很好的实时性和保真度。     

Examining the significance of high-level programming features in source code author classification

The use of Source Code Author Profiles (SCAP) represents a new, highly accurate approach to source code authorship identification that is, unlike previous methods, language independent. While accuracy is clearly a crucial requirement of any author identification method, in cases of litigation regarding authorship, plagiarism, and so on, there is also a need to know why it is claimed that a piece of code is written by a particular author. What is it about that piece of code that suggests a particular author? What features in the code make one author more likely than another? In this study, we describe a means of identifying the high-level features that contribute to source code authorship identification using as a tool the SCAP method. A variety of features are considered for Java and Common Lisp and the importance of each feature in determining authorship is measured through a sequence of experiments in which we remove one feature at a time. The results show that, for these programs, comments, layout features and package-related naming influence classification accuracy whereas user-defined naming, an obvious programmer related feature, does not appear to influence accuracy. A comparison is also made between the relative feature contributions in programs written in the two languages.     

J2EE集成开源框架的应用与研究

在设计模式MVC思想的基础之上,该文提出了基于WebWork、Spring和Hibernate的J2EE轻量级集成框架的应用。首先简要的介绍了这三种开源软件的基础技术,然后给出了整个集成框架的原理,最后分析了在Web项目中集成框架的应用,并说明了集成框架在代码复用和开发效率上的优势。     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

基于产生式系统的知识建模

如何建立系统完整的专家知识模型,并将其快速映射为面向计算机推理的人工智能语言是当前专家系统研究的重点和难点,而知识表示是其中的关键.本文将模型驱动的思想引入到专家系统领域,定义了一种基于不确定性产生式知识表示的元模型,设计并实现了相应的图形化建模工具和转换引擎,并基于此提出一种新的产生式系统应用框架.该框架在某健康信息评估专家系统中获得了成功的应用.