还原-酶联合法抗起毛起球整理研究

针对羊绒衫起毛起球现象比较严重的特点,分析了羊绒针织物起毛起球的产生机理和影响因素,采用还原-酶联合法对羊绒针织物进行抗起毛起球整理,介绍了该整理方法的工艺流程和实验步骤,并测试了酒红、灰色和粉色3种颜色的羊绒针织物整理后的抗起毛起球性能。研究表明:还原-酶联合法抗起毛起球整理技术可以有效提高羊绒针织物的抗起毛起球等级2～3级,整理后织物耐摩擦色牢度和耐洗涤色牢度变化不大,但手感有所下降。     

基于流程抽象的协同业务过程符合性验证

验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题.为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法.首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证.将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率.为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价.实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效.     

基于Petri网分析编排的可实现性

为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。     

河南电网实时调度主站系统的研究与开发

在河南省调通中心引进加拿大CAE公司第三代能量管理系统（EMS）的平台上,开发了实时调度主站系统。该系统可以根据EMS中超短期负荷预报的结果以及当前各台机组出力水平和控制模式实时地确定下一时段系统发电功率的调整量,并将该调整量按照机组日计划和报价曲线分配到各台机组。     

木材胶粘剂的研究现状和发展趋势

本文综述了木材胶粘剂的国内外现状；论述了各种木材胶的结构及作用机理，结合各胶种的优缺点介绍了其应用情况，重点讨论了水性聚氨酯胶粘剂作为木材胶的特点及优势：指出了我国木材加工领域用胶存在的问题和发展趋势。     

水性聚氨酯胶粘剂的开发与应用研究进展

简述了水性聚氨酯胶粘剂的定义,及其在植绒、多种层压制品、复合包装、木材粘接、鞋用以及压敏胶等方面的应用。介绍了水性聚氨酯胶粘剂的研究现状及多种改性方法的技术特点,如:丙烯酸酯改性、环氧改性、聚硅氧烷改性、纳米材料复合改性等。指出了水性聚氨酯胶粘剂的发展方向。     

基于EPMM的软件过程性质合理性研究

为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。     

冷冻靶的环境热辐射屏蔽技术研究

通过建立三维柱腔冷冻靶计算模型,研究了外界环境辐射对间接驱动冷冻靶靶丸及燃料冰层温度场的影响。考虑柱腔内部激光入射孔（LEH）膜透光率对柱腔内靶丸和冰层温度场分布的影响,利用COMSOL软件对柱腔冷冻靶温度场进行了数值模拟计算。研究结果表明：受外界辐射影响,靶丸表面温度场呈两极热、赤道冷分布;LEH膜透光率越大,靶丸外表面温差和冰层内表面温差越大。当LEH膜透光率小于1%时,冰层内表面最大温差低于0.1 mK,可满足冰层均化和保持的要求。实验中,通过在LEH膜上镀不同厚度的铝层调控其透光率,并选择LEH膜镀铝层厚度为35 nm的冷冻靶开展了氘氘冷冻均化实验。结果表明：当LEH膜上的镀铝层厚度为35 nm时,冰层的保持能力得到大幅提升。从X射线相衬图像可知,冰层的厚度均匀性约为80.2%,粗糙度约为1.65 μm,平均厚度约为50.5 μm。     

基于Inception V3的高校学生课堂行为识别研究

随着人工智能和深度学习在教育领域的交叉融合,行为识别技术为学生课堂行为观察提供了一种有别于传统的新方法。以云南省X高校课堂视频为基础,经过预处理,获得六大类行为(听课、看书、书写、拍照、低头玩手机、桌面玩手机)30000张图像样本,运用Inception V3算法模型进行了研究,实验结果:六大类行为总识别率达到88.10%,但各个行为识别率有所不同,其中“拍照”和“听课”识别率较高。通过进一步的混淆矩阵分析,得到结论:模型对动作姿态单一的行为特征提取效果较好,但模型对手机、笔、课本等重要用具不够重视,不能识别书写动作和眼神角度,导致“看书”“书写”“低头玩手机”和“桌面玩手机”行为因人体动作姿态相似容易混淆。     

业务过程协同中数据恢复策略建模及分析

业务过程协同允许组织之间彼此进行通信,交互和协作以完成特定的业务目标。为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端 盟主端”业务过程协同架构;其次,通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后,基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保高的系统吞吐量、快的响应时间及低的拒绝率。