摘要：【中文】本发明公开了一种站驾式后驱叉车制动系统，包括整车控制器和与整车控制器的输出端相连的驱动电机，还包括：与叉车前轮对应设置且用于对前轮进行制动的液压制动器；与液压制动器的进出油口相连且用于为液压制动器提供制动力的液压回路，液压回路与整车控制器的输出端相连，以在驱动电机再生制动或停止转动时，使整车控制器通过控制液压回路的导通来控制液压制动器动作，以对前轮进行制动。该站驾式后驱叉车制动系统，可防止车辆甩尾，且可降低驱动轮磨损，避免驱动轮因失圆而报废。 【EN】The invention discloses a standing driving type rear-drive forklift braking system, which comprises a vehicle control unit and a drive motor connected with the output end of the vehicle control unit, and further comprises: the hydraulic brake is arranged corresponding to the front wheel of the forklift and is used for braking the front wheel; and the hydraulic circuit is connected with the oil inlet and the oil outlet of the hydraulic brake and used for providing braking force for the hydraulic brake, and the hydraulic circuit is connected with the output end of the vehicle control unit so that the vehicle control unit controls the hydraulic brake to act by controlling the conduction of the hydraulic circuit when the driving motor performs regenerative braking or stops rotating, so as to brake the front wheel. The standing-driving type rear-drive forklift braking system can prevent the tail of a vehicle from drifting, can reduce the abrasion of the driving wheel and avoid the driving wheel from being scrapped due to out-of-round.

摘要：【中文】本发明公开了一种后驱叉车防抱死制动方法，包括：当驾驶员踩下制动踏板后，获取叉车前轮的第一速度，并获取叉车驱动轮的第二速度；根据第一速度和第二速度的对应关系，分别为用于前轮制动的电磁制动器和用于后轮制动的驱动电机分配制动力；控制电磁制动器和驱动电机输出相应的制动力，以使第一速度和第二速度趋于一致。该后驱叉车防抱死制动方法可最大化提高整车的制动力，缩短刹车距离，提高安全性；同时避免制动时因前轮和驱动轮的制动力不同导致前轮或驱动轮抱死的现象，使叉车制动更平稳，避免轮胎磨损失圆，提高轮胎使用寿命。本发明还公开了一种实现上述后驱叉车防抱死制动方法的后驱叉车防抱死制动系统。 【EN】The invention discloses an anti-lock braking method for a rear-drive forklift, which comprises the following steps: when a driver steps on a brake pedal, a first speed of a front wheel of the forklift is obtained, and a second speed of a driving wheel of the forklift is obtained; according to the corresponding relation between the first speed and the second speed, respectively distributing braking force for an electromagnetic brake for braking a front wheel and a driving motor for braking a rear wheel; and controlling the electromagnetic brake and the driving motor to output corresponding braking force so that the first speed and the second speed tend to be consistent. The anti-lock braking method for the rear-drive forklift truck can improve the braking force of the whole forklift truck to the maximum extent, shorten the braking distance and improve the safety; meanwhile, the phenomenon that the front wheel or the driving wheel is locked due to different braking forces of the front wheel and the driving wheel during braking is avoided, so that the forklift is braked more stably, the tire is prevented from being worn out to lose roundness, and the service life of the tire is prolonged. The invention also discloses a rear-drive forklift anti-lock braking system for implementing the rear-drive forklift anti-lock braking method.

摘要：【中文】本发明公开了一种后驱式叉车防滑控制方法，包括：获取叉车前轮的第一速度，并获取叉车驱动轮的第二速度；根据第一速度和第二速度，计算得到第一速度与第二速度的比值；判断第一速度与第二速度的比值是否满足叉车打滑条件；若是，则降低叉车驱动电机的输出功率，直至第一速度与第二速度的比值不满足打滑条件为止。本发明还公开了一种实现上述后驱式叉车防滑控制方法的后驱式叉车防滑控制系统。该后驱式叉车防滑控制方法和该后驱式叉车防滑控制系统均可防止叉车打滑。 【EN】The invention discloses an antiskid control method for a rear-drive forklift, which comprises the following steps: acquiring a first speed of a front wheel of the forklift and acquiring a second speed of a driving wheel of the forklift; calculating to obtain the ratio of the first speed to the second speed according to the first speed and the second speed; judging whether the ratio of the first speed to the second speed meets the forklift slipping condition or not; and if so, reducing the output power of the forklift driving motor until the ratio of the first speed to the second speed does not meet the slipping condition. The invention also discloses a rear-drive forklift anti-skid control system for implementing the rear-drive forklift anti-skid control method. The anti-skidding control method and the anti-skidding control system for the rear-drive forklift can prevent the forklift from skidding.

摘要：【中文】本发明涉及河岸防洪的技术领域，尤其是涉及一种一体式防洪墙，包括固定桩、固定在固定桩上的基层、固定在基层上的河堤层和固定在河堤层上的墙体，所述基层靠近河道一侧固设有挡块，所述河堤层为梯形，所述固定桩插设于河岸边的河道河底，所述河堤不高于河岸，所述墙体高于河岸。本发明具有能够通过将河堤层建设在河岸边沿的河道内，从而节约土地资源的效果。 【EN】The invention relates to the technical field of river bank flood control, in particular to an integrated flood control wall which comprises fixing piles, a base layer fixed on the fixing piles, a river bank layer fixed on the base layer and a wall body fixed on the river bank layer, wherein a stop block is fixedly arranged on one side of the base layer close to a river channel, the river bank layer is trapezoidal, the fixing piles are inserted into the river channel bottom of the river bank side, the river bank is not higher than the river bank, and the wall body is higher than the river bank. The invention has the effect of saving land resources by building the river bank layer in the river channel at the edge of the river bank.

摘要：【中文】本发明提供一种小树苗的起拔机械装置，主要由钳口板Ⅰ、钳口板Ⅱ、拉杆、扳把、弯板、转销组成，所述的钳口板Ⅰ与拉杆焊接成一体，钳口板Ⅱ底部和弯板焊接成一体，钳口板Ⅰ、钳口板Ⅱ下设摩擦面，弯板成圆弧型，钳口板Ⅱ的方形孔和扳把上的方形孔在水平位置上相适应，拉杆通过钳口板Ⅱ的孔和扳把上的孔与扳把铰接在一起，扳把通过转销和加强板的孔把扳把和弯板固定在一起，扳把通过转销在一定范围内自由旋转；本发明专利不仅结构简单，使用方便，性能可靠，无维护成本，轻松解决小树苗的起拔问题，且不伤树根，利于树苗存活。 【EN】The invention provides a mechanical pulling device for small saplings, which mainly comprises a jaw plate I, a jaw plate II, a pull rod, a pull handle, a bent plate and a rotating pin, wherein the jaw plate I and the pull rod are welded into a whole; the invention has the advantages of simple structure, convenient use, reliable performance and no maintenance cost, easily solves the problem of pulling up the small saplings, does not damage the roots of the saplings and is beneficial to the survival of the saplings.

摘要：【中文】本发明公开一种基于定理证明的形式化验证方法，应用于安全操作系统领域，针对现有的操作系统存在的安全性问题，本发明基于定理证明的形式化验证方法，包括：对源代码重构、对函数进行形式化建模、对函数进行定理描述、最后进行形式化证明；本发明采用人机交互的半自动化证明，利用类型系统和逻辑之间的同构关系，将构造证明的过程转化为编写程序的过程，而证明的正确性检查也变成了类型检查问题，尽管需要大量手工劳动来构造证明，但是本发明提出的方法无需牺牲规约和代码的表达能力，特别是程序中可以使用表达能力很强的逻辑来表示，且证明自身在机器中都有显示表示，其正确性可以被自动检查，验证的结论也就更加可信。 【EN】The invention discloses a formal verification method based on theorem proving, which is applied to the field of safe operating systems and aims at solving the safety problem of the existing operating systems, and comprises the following steps: reconstructing a source code, performing formal modeling on a function, performing theorem description on the function, and finally performing formal certification; the invention adopts semi-automatic proof of human-computer interaction, and utilizes isomorphic relation between type system and logic to convert the process of constructing proof into the process of writing program, and the correctness check of proof also becomes the problem of type check.

摘要：【中文】本发明公开一种基于MILS架构的安全操作系统，应用于安全操作系统领域，针对现有的操作系统在形式化验证中存在的认证困难的问题，本发明基于MILS架构的系统把若干个进程隔离在一个单独的分区中运行，然后再分别对每个分区进行安全评估，从而大大减少对整个安全系统的认证力度，所述MILS架构按照系统层次划分为：分离内核层、中间件服务层和应用程序层，所述分离内核层的一级调度采用基于固定优先级的多核可抢占式调度算法实现，保证了实时操作系统的实时分区的强实时性。 【EN】The invention discloses a security operating system based on an MILS framework, which is applied to the field of security operating systems and aims at the problem that the existing operating system is difficult to authenticate in formal verification, the system based on the MILS framework isolates a plurality of processes in a single partition for operation, and then performs security assessment on each partition respectively, thereby greatly reducing the authentication strength of the whole security system, and the MILS framework is divided into the following parts according to the system hierarchy: the method comprises the steps of separating a kernel layer, a middleware service layer and an application program layer, wherein primary scheduling of the separated kernel layer is realized by a multi-core preemptible scheduling algorithm based on fixed priority, and the real-time property of real-time partition of a real-time operating system is guaranteed.

摘要：【中文】本发明涉及一种彩色激光打印文件暗记识别方法，并基于此方法设计了一套暗记识别比较系统。该方法的特征在于，提取预处理后的图像中暗黄色小点的位置信息，并标定最小可重复部分为暗记，并比较暗记相似度、确定其是否属于同一类暗记。该系统包含四个模块，输入模块，图像预处理模块，暗记识别模块，暗记比较模块；输入模块读取来源于本地的图像；图像预处理模块确认最佳参数，去除干扰信息；暗记识别模块提取暗记特征；暗记比较模块对比较提取到的暗记，并给出相似度判断两个暗记是否属于同一类。目前计算机视觉和图像处理技术发展迅速，提供了实验条件，目前实验也证明提取、识别并比较纸张的暗记特征是完全可行的，达到了较高的识别精度。 【EN】The invention relates to a method for identifying a secret mark of a color laser printing file, and designs a secret mark identification comparison system based on the method. The method is characterized in that position information of small dark yellow points in the preprocessed image is extracted, the minimum repeatable part is marked as a secret mark, the similarity of the secret marks is compared, and whether the secret marks belong to the same type of secret marks is determined. The system comprises four modules, an input module, an image preprocessing module, a secret mark identification module and a secret mark comparison module; the input module reads the image from local; the image preprocessing module confirms the optimal parameters and removes interference information; the secret mark identification module extracts the secret mark characteristics; and the secret mark comparison module compares the extracted secret marks and gives out similarity to judge whether the two secret marks belong to the same class. At present, computer vision and image processing technology are developed rapidly, experimental conditions are provided, and the current experiment also proves that the extraction, identification and comparison of the secret mark characteristics of paper are completely feasible, so that higher identification precision is achieved.

摘要：【中文】本发明公开了一种汽车用铅蓄电池的寿命检测方法，包括：步骤1，试验前对蓄电池进行充电；步骤2，对蓄电池进行充电循环试验，具体包括：(2‑1)将蓄电池以200～400A的大电流放电2～4s后静置1～2s；(2‑2)采用小于100A的电流以及第一纹波电压对蓄电池充电20～40min；(2‑3)将蓄电池以10～30A的小电流放电20～40min；(2‑4)采用小于100A的电流以及第二纹波电压对蓄电池充电20～40min；(2‑5)将蓄电池静置20～40min；重复上述步骤(2‑1)～(2‑5)，直至达到终止条件；步骤3，记录的蓄电池循环充电试验次数，将循环充电试验次数作为表征汽车用蓄电池的寿命长短的指标。本发明可替代电池实车试验，大大节约了电池试验及开发周期。 【EN】The invention discloses a method for detecting the service life of a lead storage battery for an automobile, which comprises the following steps: step 1, charging a storage battery before testing; step 2, carrying out a charging cycle test on the storage battery, and specifically comprising the following steps: (2-1) discharging the storage battery for 2-4 s with a large current of 200-400A, and then standing for 1-2 s; (2-2) charging the storage battery for 20-40 min by adopting the current smaller than 100A and the first ripple voltage; (2-3) discharging the storage battery for 20-40 min at a low current of 10-30A; (2-4) charging the storage battery for 20-40 min by adopting the current smaller than 100A and the second ripple voltage; (2-5) standing the storage battery for 20-40 min; repeating the steps (2-1) - (2-5) until a termination condition is reached; and 3, recording the number of times of the storage battery cyclic charge test, and taking the number of times of the cyclic charge test as an index for representing the service life of the storage battery for the automobile. The invention can replace the battery real vehicle test, and greatly saves the battery test and development cycle.

摘要：【中文】本发明提出了一种基于小世界特性的动态分簇路由优化算法。首先，在水质传感器网络中引入小世界特性，通过其较小的平均路径长度和较大的聚类系数减少网络的能量消耗并提高网络的容错能力。其次，对上述网络进行改进，引入动态分簇思想，通过构建有效的能耗模型，合理选取簇头，有效延长网络的生命周期。本发明通过对引入小世界特性的水质传感器网络路由算法进行改进，可有效延长水质传感器网络的生命周期，提高网络的监测能力。 【EN】The invention provides a dynamic clustering routing optimization algorithm based on small world characteristics. Firstly, a small world characteristic is introduced into a water quality sensor network, and the energy consumption of the network is reduced and the fault tolerance of the network is improved through the small average path length and the large clustering coefficient of the water quality sensor network. Secondly, the network is improved, a dynamic clustering thought is introduced, an effective energy consumption model is constructed, cluster heads are reasonably selected, and the life cycle of the network is effectively prolonged. The invention can effectively prolong the life cycle of the water quality sensor network and improve the monitoring capability of the network by improving the routing algorithm of the water quality sensor network with the introduction of the small world characteristics.