摘要：本发明公开了一种胚胎体外着床模型的建立方法及用途，它包括选取子宫内膜、人子宫内膜基质细胞的分离培养及蜕膜化的诱导、胚胎培养、人胚胎与蜕膜化的子宫内膜基质细胞共培养等过程，由于本发明建立了使用蜕膜化的人子宫内膜基质细胞和人胚泡在体外进行共培养模型，并且观察到了人胚胎黏附、外延生长及侵入整个着床过程。该模型更接近于人类在体胚胎着床环境，利用该模型可进行一系列与胚胎着床有关影响因素的研究，使在体外观察人胚胎着床成为现实并为深入研究人胚胎着床机理提供了条件。能提高不育症治疗技术水平及辅助生殖技术水平，改善育龄人群的生育质量、生活质量和生命质量，具有重大的社会效益和经济效益。

摘要：本发明提供一种检测内存边界溢出错误的方法，属于计算机领域。使用一种规整的存储对象的方法，方便获取并存储对象的边界信息；实现更高效占据内存更小的边界表，存储对象分配边界大小的对数；通过判断指针所指向地址的对数的二进制的值来确定指针是否边界溢出；通过以更弱前提为核心的循环检查优化方法，提前发现边界溢出的指针，提高检测效率。本发明支持C语言和C++语言程序的内存溢出错误的高效检查，能够解决所有的空间内存安全问题，有效的提高软件的可靠性。

摘要：本发明提供一种对历史事务的建模验证方法，属于计算机领域。本方法建立一种在线性时序逻辑基础之上的新型逻辑，通过对线性时序逻辑的扩充，能描述历史条件下的事物以及时间，并能对描述好的历史事务进行验证。本发明解决之前线性时序逻辑只能表示未来情况的局限，提高了语言的表达能力，在提高软件质量、保证软件正确性等方面有非常重要的作用，有良好的社会效益。

摘要：本发明公开了一种基于运行时验证的恶意行为监测方法，涉及计算机技术领域，该方法包括：当软件活动请求敏感信息时，在处理这个请求之前，它必须通过Linux内核的系统调用，该方法在内核空间中拦截系统调用并进行数据解析，由监控器根据解析后的调用数据检测应用程序实时执行的应用程序行为是否属于恶意行为，若属于恶意行为时，则向用户发送报警信息；该方法可以在运行时访问Android应用程序的实际执行行为来监测应用程序有无恶意行为，是一种轻量级的动态监测方法，且不需要对Android系统进行太多修改，监测方法更准确、部署效率更高、成本更低。

摘要：本发明提供一种模态逻辑转换成状态迁移系统的方法，属于计算机系统检测领域。包括：定义一种特殊的公式即交替公式；应用已知的性质以逻辑推导的方式推出其具有推迟的特殊性质；针对这一特殊性质定义一套新的优化规则；应用特殊性质及优化规则应用于线性时序逻辑到状态迁移系统的转换过程的某些步骤之中。在转换过程中逐步实现状态迁移系统的缩小和确定化。相较于传统的转换方法，本方法可以生成更小的状态空间，获得更确定化的迁移关系，尤其当参数较多时，往往拥有更快地转换速度。因此，提高了模型检测在应用到计算机硬件、通信协议、控制系统、安全认证协议等方面进行分析与验证时的速度、效率，保证了其质量，有良好的社会效益。

摘要：本发明公开了一种并发检测堆缓冲区溢出的架构及方法，涉及计算机技术领域，该方法包括：用户线程将缓冲区的缓冲区信息动态的插入到数据暂存器中，传送线程将数据暂存器中的缓冲区信息传送至数据仓库中，数据仓库存储各个缓冲区信息，监控线程在各个用户线程将缓冲区信息插入到数据暂存器中的同时遍历数据仓库中的各个缓冲区信息，并根据缓冲区信息查找溢出缓冲区，对溢出缓冲区进行故障报警；本发明是通过无锁的数据结构提高程序的运行效率的，该架构可以支持用户线程和监控线程并行的对缓冲区的信息进行操作，支持堆缓冲区溢出的高效检查，能够解决

摘要：本发明提供了一种能多次使用的抹布板擦，包括抹布、支座、固定抹布左端的抹布左端固定机构、固定抹布右端的抹布右端固定机构、顶板、顶板旋转轴和凸轮，其中，所述抹布左端固定机构、抹布右端固定机构分别设置在所述支座的左右端，所述顶板旋转轴的两端分别与所述支座旋转连接，所述凸轮固定在所述顶板旋转轴上，所述顶板与所述支座滑动连接，所述凸轮与所述顶板形成凸轮机构，所述顶板旋转轴带动所述凸轮进行回转运动，所述凸轮的回转运动驱动所述顶板进行往复直线运动，所述抹布的左端固定在所述抹布左端固定机构上。本发明的有益效果是：抹布板擦可以多次使用，减少清洗更换抹布的频率，手跟抹布不需要接触，不用弄脏手。

摘要：本发明涉及功能性窗膜技术领域，具体地说，涉及一种隔热防紫外线染色聚酯薄膜及其制备方法，包括芯层和设置于芯层两侧的上、下表层，其特征在于：芯层为隔热层，芯层按质量百分比由5％～35％的隔热母粒和65％～95％的光学级PET切片组成；上、下表层均为防紫外线染色层，防紫外线染色层按质量百分比由5％～30％的防紫外线染色母粒、光学级开口剂10％～50％和20％～85％的光学级PET切片组成。本发明通过选择合适的原材料以合适的配比及工艺制备隔热母粒和防紫外线染色母粒，进而将两种母粒为原料制备聚酯薄膜，防紫外线和隔热性能优异，且颜色可根据需求定制加工。

摘要：葛根素磷酯化的微生物转化方法：将具有葛根素磷酯化酶活力的BacilluscereusNT-02微生物菌种接种到培养基中，进行发酵培养。发酵结束后，将发酵液与菌体分离。所获菌体作为静息细胞，加入到含有葛根素的转化液中，使葛根素转化为磷酯化葛根素。转化结束后，去除菌体，转化液用有机溶剂萃取处理，或用药学上可接受的方法处理，得到葛根素及磷酯化葛根素总异黄酮，经色谱分离或药学上可接受的分离方法，可得到含量>90％的磷酯化葛根素粉末。

摘要：本发明公开了一种企业多付款单的支付方法及系统，该方法包括：获取企业的所有单笔付款单；参考预设的分组规则，对获取的所有单笔付款单进行分组得到多个付款单包；根据每个付款单包，生成与之相对应的支付请求并将生成的支付请求发送至银行支付平台；其中，付款单包包含多笔付款单，不同的付款单包对应不同的批次号；支付请求包括付款单包和付款单包的批次号。可见，相较现有技术，在需要处理相同笔数的大量的待支付的付款单的情况下，本发明通过一次付款单包的交互实现了多笔付款单的支付，进而有效降低了企业和银行双方系统的交互频率，进而提高执行效率的目的。