排序方式: 共有31条查询结果,搜索用时 218 毫秒
1.
关于部分K值逻辑中准完备集之最小覆盖的一些结果(Ⅲ) 总被引:7,自引:3,他引:7
刘任任 《湘潭大学自然科学学报》1995,(3)
根据部分K值逻辑的完备性理论,证明了满足一定条件的完满对称函数集是Pk*中准完备集之最小覆盖的必要组成部分. 相似文献
2.
加强建筑施工现场安全管理的思考 总被引:1,自引:0,他引:1
本文主要结合工作体会对建筑施工现场安全管理问题作了探讨。在探讨建筑施工现场安全管理存在问题的基础上,提出了解决问题的几点建议。 相似文献
3.
部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ) 总被引:12,自引:5,他引:12
刘任任 《湘潭大学自然科学学报》1992,14(1):123-129
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。 相似文献
4.
提出了系统级社会诊断的一种三值PMC模型,定义了一类可诊断系统,给出其特征,特别研究了同一谎证集合L可诊断系统。研究了系统社会诊断的三大特点,并指出目前研究的现状及未来的研究方向。 相似文献
5.
匙膜图像识别的"门-锁-匙"系统 总被引:5,自引:1,他引:4
研制出一种新型图像识别“门—锁—匙”系统 .该系统的钥匙是用户可自行定义图像的匙膜 ;锁头是可以用软件来选择锁舌驱动方式的机电装置 ;电源是可编程高效节能型的 .系统具有设置、开锁及休眠三种工作状态 .系统建立了严谨的“门—锁—匙”关系数学模型 ,可实现共锁钥匙间多种逻辑关系和多门集中管理 .系统采用精确模式识别技术识别自定义匙膜图像 ,使得匙膜钥匙比人体及非人体钥匙更安全 ;能更方便地实现“门—锁—匙”系统新功能 ;本系统对工作环境无特殊要求 ,成本适用普通老百姓的消费水平 .本系统于近期通过了湖南省科技厅组织的鉴定 ,评价为系统整体水平为国际先进 . 相似文献
6.
7.
设G为可换群,|G|p^m(p为质数)。本文给出了一个将G分解为循环p群的直积的算法,其时间复杂度为Q「(nlogn)^2」,n=p^m。 相似文献
8.
刘任 《辽宁师专学报(自然科学版)》2021,23(2):105-108
财务共享中心是财务管理工作的一种创新模式,通过共享中心对财务工作进行集中管理,能够提高管理效率、降低运营成本、助力企业发展.为此分析了我国集团企业财务共享中心运行存在的一些问题,并提出创新思维模式、加强信息系统建设、发展智能化模块等对策,为集团企业的标准化管理提供了参考. 相似文献
9.
根据实测边界线和断面参数,提出地下巷道三维实体的分层建模解决方案:采用图论的树结构表达边界线划分的复杂区域(简称区域树),并采用约束三角剖分的方法对区域网格三角化;提取所有三角形中表示巷道的断面底边和“出口位置”的边,根据断面参数,拟合生成断面轮廓线;均匀离散化断面轮廓线,生成左右对称点列,这些点构成三维巷道实体的特征点;分层提取断面轮廓线上的特征点,生成分层轮廓线;最后对相邻分层轮廓线和顶、底轮廓线分别实现巷道体网格三角化.研究结果表明:该算法充分利用区域树表达的空间拓扑关系和断面参数信息,实现简单,适用于同一中段边界线在任意复杂情况下的连通巷道实体三维建模. 相似文献
10.
刘任任 《湘潭大学自然科学学报》1988,(4)
计算机编译程序中,代码最优化是一个重要的环节。在对源程序中大量出现的表达式的目标代码进行最优化时,常在该表达式的二元树上进行并产生最优化代码。由于源程序中表达式以中缀形式表示,而表达式的二元树往往又以其前缀形式作为输入而最有效。本文给出一种将中缀表达式转换成前缀表达式的有效算法. 相似文献