期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
跨平台自适应符号化技术研究 被引量:3
1
作者 苏科华 朱欣焰 孔凡敏 《计算机应用研究》 CSCD 北大核心 2008年第12期3599-3601,共3页
提出了一种跨越不同GIS平台的自适应符号化解决方案,将符号系统分为通用符号系统、符号接口和符号插件三部分。通用符号系统独立于具体GIS平台,负责处理平台无关的符号化功能;符号接口规定通用符号系统和具体GIS之间的交互接口;符号插... 提出了一种跨越不同GIS平台的自适应符号化解决方案,将符号系统分为通用符号系统、符号接口和符号插件三部分。通用符号系统独立于具体GIS平台,负责处理平台无关的符号化功能;符号接口规定通用符号系统和具体GIS之间的交互接口;符号插件是符号驱动接口的具体实现,通过符号插件完成通用符号系统和具体GIS平台的集成。详细地研究了利用Javascript技术实现通用系统和符号插件的具体方法,并在国内外几个著名的GIS平台实现了符号插件,使符号能够在这些平台上共享与通用。 展开更多
关键词 符号 通用符号 跨平台符号 JAVASCRIPT 自适应符号技术
在线阅读 下载PDF
致富神话与致富神话与技术符号秩序——论我国互联网企业的劳资关系 被引量:22
2
作者 佟新 梁萌 《江苏社会科学》 CSSCI 北大核心 2015年第1期16-24,共9页
互联网时代,全球性金融资本对在地技术精英之智力资本的"选秀"活动,创生出致富神话,这一神话具有强大的文化象征意义,形成了互联网企业从业者的勤奋和超时工作的新型工作伦理和技术符号秩序。资本类型与技术精英的结合其自身... 互联网时代,全球性金融资本对在地技术精英之智力资本的"选秀"活动,创生出致富神话,这一神话具有强大的文化象征意义,形成了互联网企业从业者的勤奋和超时工作的新型工作伦理和技术符号秩序。资本类型与技术精英的结合其自身的分割形成了互联网企业内的分化形态,一方面,金融资本与高等教育的分层机制相结合建构出高端劳动力市场,他们凭借智力优势在一定程度上获得了优势的竞争地位、工作自主权,甚至拥有资本所有权。在此基础上,劳资合作型的劳资关系新模式具有了雏形。另一方面,大量边缘劳动力以转包和劳务派遣的用工形式充斥在互联网企业中,技术符号秩序掩盖了其工作的不稳定性、高强度和碎片化,传统的简单型控制的劳资关系模式不仅没有改变,并借助互联网的监控手段得以强化。 展开更多
关键词 致富神话 工作伦理 技术符号秩序 劳资关系 互联网企业
在线阅读 下载PDF
利用符号处理技术求优化设计问题的符号形式最优解 被引量:2
3
作者 李柏林 陈永 《机械设计》 CSCD 北大核心 1996年第8期5-10,15,共7页
本文提出一种基于计算机符号处理技术的求优化设计问题的符号形式最优解的方法,即问题的数学模型中系数是符号而不是具体数值,求出的最优解也是解析的符号形式。这种方法是对一类问题进行处理,求出的是该类问题的全部可能解。
关键词 符号处理技术 设计 机械设计
在线阅读 下载PDF
基于符号多接口显示技术的线型设计与绘制 被引量:4
4
作者 陶陶 张书亮 +1 位作者 曾巧玲 李秀梅 《计算机工程与应用》 CSCD 北大核心 2004年第23期120-122,共3页
以符号的跨平台显示为目的,分析了线型的图素结构以及通用线型编辑器的功能和特点,并采用符号多接口显示技术实现了线型在MapObjects和MapX控件中的绘制。
关键词 线型 中间对应表 图素 通用线型编辑器 符号多接口显示技术 MAPX控件 MAPOBJECTS GIS系统 分层叠加法
在线阅读 下载PDF
运用符号化技术促进生物学建模的深度学习——以“心脏的结构和作用”一课为例
5
作者 叶笛 《生物学教学》 2021年第4期67-68,共2页
本文以“心脏的结构和作用”一课为例,阐述如何运用符号化技术简化心脏结构,引导学生基于原有认知结合符号提示,推断心脏腔室及对应血管名称,将需要依靠机械记忆的内容赋予意义,从而促进深度学习。
关键词 符号技术 生物建模 深度学习 心脏结构 初中科学
在线阅读 下载PDF
基于Groebner基的平面五杆机构位置分析符号解 被引量:5
6
作者 雷经发 徐礼钜 林光春 《四川大学学报(工程科学版)》 EI CAS CSCD 2004年第2期81-85,共5页
基于Groebner基法和计算机符号处理技术 ,对各种结构型式的平面两自由度五杆机构位置分析问题进行了符号求解。该法通过对变量的排序 ,建立多项式对的集合 ,求S -多项式 ,约简等运算 ,将一组多项式方程化简为一个同价的三角化方程组 ,... 基于Groebner基法和计算机符号处理技术 ,对各种结构型式的平面两自由度五杆机构位置分析问题进行了符号求解。该法通过对变量的排序 ,建立多项式对的集合 ,求S -多项式 ,约简等运算 ,将一组多项式方程化简为一个同价的三角化方程组 ,得到了封闭形式的解析解。本文研制的软件可以适用于各种结构形式的平面两自由度五杆机构位置分析进行符号求解 ,导出的三角化的Groebner基不仅可以用于研究输入参数对输出构件位置的影响 ,也可以研究调节构件几何参数对输出构件位置的影响规律。 展开更多
关键词 位置分析 GROEBNER基 平面五杆机构 计算机符号处理技术
在线阅读 下载PDF
基于符号执行的测试数据生成方法的研究与设计 被引量:4
7
作者 赵跃华 阚俊杰 《计算机应用与软件》 CSCD 北大核心 2014年第2期303-306,共4页
软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试数据是该技术的关键,也是成功挖掘漏洞的关键。在分析漏洞存在原理和触发条件的基础上,提出一种更为高效... 软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试数据是该技术的关键,也是成功挖掘漏洞的关键。在分析漏洞存在原理和触发条件的基础上,提出一种更为高效的测试数据生成方法。该方法通过不安全函数来定位漏洞的触发点,深度与宽度混合遍历来确定触发的路径,利用符号执行技术来确立漏洞触发的条件,最后再根据条件生成测试数据,使生成的数据不仅有更高针对性,并且还提高了代码的覆盖率,从而能提高漏洞挖掘的效率和准确性。实验结果表明该方法具有良好的效率和准确性。 展开更多
关键词 测试数据生成 不安全函数 混合遍历 符号执行技术 漏洞挖掘
在线阅读 下载PDF
基于Groebner基法的三自由度并联机床的位置正解与可操作性分析的符号解
8
作者 王进戈 王黎明 徐礼钜 《机械科学与技术》 CSCD 北大核心 2005年第5期616-619,共4页
基于Groebner基法和计算机符号处理技术,对三自由度并联机床的位置正解问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为同价的三角化方程组,得到了封闭形式的解析解;导出... 基于Groebner基法和计算机符号处理技术,对三自由度并联机床的位置正解问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为同价的三角化方程组,得到了封闭形式的解析解;导出了雅可比矩阵,引入了符号处理技术,并且对该并联机床的可操作性进行了分析,给出了具体数值实例。 展开更多
关键词 并联机床 位置分析 GROEBNER基 可操作性 计算机符号处理技术
在线阅读 下载PDF
多任务可调四杆机构刚体导引综合的符号解
9
作者 杨志刚 徐礼钜 +1 位作者 林光春 雷经发 《机械设计》 CSCD 北大核心 2005年第11期16-19,共4页
提出了一种实现多任务刚体导引综合的可调平面四杆机构综合方法,导出了可调机构的刚体导引综合方程。通过调节连架杆的长度,可以实现不同任务的刚体导引综合。针对实现多个任务的可调平面四杆机构,采用数学机械法并结合计算机符号处理... 提出了一种实现多任务刚体导引综合的可调平面四杆机构综合方法,导出了可调机构的刚体导引综合方程。通过调节连架杆的长度,可以实现不同任务的刚体导引综合。针对实现多个任务的可调平面四杆机构,采用数学机械法并结合计算机符号处理技术得到二杆组的全部实数解,从中任意选取两组解即可组成满足给定要求的平面铰链四杆机构。 展开更多
关键词 可调机构 刚体导引综合 平面四杆机构 数学机械法 计算机符号处理技术
在线阅读 下载PDF
中国图像新闻传播技术史研究的三个核心问题 被引量:1
10
作者 于德山 《中国出版》 CSSCI 北大核心 2015年第24期33-36,共4页
中国图像新闻传播技术史作为国家社科基金重大项目"多卷本《中国新闻传播技术史》"的一个组成部分,在研究中将关注三个核心问题,即中国图像新闻传播技术历史的分期问题、图像传播技术与图像新闻的互动关系和中国图像新闻传播... 中国图像新闻传播技术史作为国家社科基金重大项目"多卷本《中国新闻传播技术史》"的一个组成部分,在研究中将关注三个核心问题,即中国图像新闻传播技术历史的分期问题、图像传播技术与图像新闻的互动关系和中国图像新闻传播技术的社会文化观照。这三个核心问题基本构成中国图像新闻传播技术史研究的纵轴与横轴,体现出研究的学科价值、人文追求与当代意义。 展开更多
关键词 图像新闻 传播技术 技术与图像符号 社会文化观照
在线阅读 下载PDF
基于符号执行与混合约束求解的测试用例生成研究 被引量:2
11
作者 周海将 吴军华 《计算机应用与软件》 CSCD 2016年第6期23-26,31,共5页
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持,因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行,生成关于字符串与数... 由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持,因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行,生成关于字符串与数值的混合约束集,利用字符串-数值约束求解器对约束集进行求解,最终根据求解结果生成软件测试用例与不可达路径。实验结果表明,该方法较好地支持了关于字符串测试用例生成,且具有良好的效率与准确性。 展开更多
关键词 测试用例生成 符号执行技术 混合约束求解 字符串
在线阅读 下载PDF
GMT在地震应急产品中的应用——地应力图的绘制 被引量:1
12
作者 汪园园 李盛乐 +2 位作者 刘珠妹 郑思源 刘小利 《震灾防御技术》 CSCD 北大核心 2020年第2期431-442,共12页
针对目前地应力符号绘制困难、地应力图加工与发布依赖于人工编辑等问题,提出使用GMT自定义符号技术设计符合地学界通用符号标准的应力符号,给出利用GMT绘制地应力图的整体流程,最终实现了地应力数据矢量和应力状态信息的准确表达,并帮... 针对目前地应力符号绘制困难、地应力图加工与发布依赖于人工编辑等问题,提出使用GMT自定义符号技术设计符合地学界通用符号标准的应力符号,给出利用GMT绘制地应力图的整体流程,最终实现了地应力数据矢量和应力状态信息的准确表达,并帮助用户简化地应力图绘制程序、提高信息报送的时效性。以龙门山区域应力分布为例,多方位对比国内外制图方法。结果表明,使用GMT自定义符号技术设计的应力符号不仅简化了地应力图的绘制程序,且表达出的应力数据信息更丰富。该技术已应用于《震后趋势判定技术系统》中,并在地震趋势会商工作中发挥重要作用。 展开更多
关键词 GMT软件 龙门山应力区 自定义符号技术 自动产出
在线阅读 下载PDF
七重四面体变几何桁架机器人工作空间分析的解析法 被引量:2
13
作者 徐礼钜 范守文 雷勇 《四川大学学报(工程科学版)》 EI CAS CSCD 2001年第6期6-9,共4页
提出了七重四面体变几何桁架机器人的工作空间分析的解析方法。该方法以曲面分析为基础 ,引入了数字 -符号处理技术 ,可据位置正解的递推公式 ,由计算机自动推导出工作空间边界曲面的解析曲面方程。由此描绘出了机器人工作空间边界曲面... 提出了七重四面体变几何桁架机器人的工作空间分析的解析方法。该方法以曲面分析为基础 ,引入了数字 -符号处理技术 ,可据位置正解的递推公式 ,由计算机自动推导出工作空间边界曲面的解析曲面方程。由此描绘出了机器人工作空间边界曲面的投影视图及截面曲线图。分析结果表明 :七重四面体变几何桁架机器人的工作空间是由 4 2张曲面片包围而成的闭包 . 展开更多
关键词 变几何桁架机器人 工作空间 解析法 桁架机构 曲面分析 数字-符号处理技术 解析曲面方程
在线阅读 下载PDF
路径前缀测试策略的研究与实现
14
作者 胡正国 方翠英 宋宝莉 《西北工业大学学报》 EI CAS CSCD 北大核心 1992年第3期380-385,共6页
本文介绍了一个构造TD-P对(测试数据——路径对)的测试策略,首次将符号执行技术应用到由Prather R.E.等人提出的路径前缀测试策略上,从而克服了在静态路径测试中符号执行技术所遇到的困难,并第一次将测试数据之间的靠近性原理引入到测... 本文介绍了一个构造TD-P对(测试数据——路径对)的测试策略,首次将符号执行技术应用到由Prather R.E.等人提出的路径前缀测试策略上,从而克服了在静态路径测试中符号执行技术所遇到的困难,并第一次将测试数据之间的靠近性原理引入到测试数据产生算法中。利用这一方法只需要用户的极少干涉,就能产生测试数据。最后,给出了一个测试支持工具PPTS,并在PC机上实现了文中所提出的算法。 展开更多
关键词 路径测试策略 路径前缀 符号执行技术 TD-P对 PPTS
在线阅读 下载PDF
非牛顿磁性纳米流体旋转流动
15
作者 韩式方 蔡兵 伍岳庆 《应用数学和力学》 CSCD 北大核心 2014年第S1期10-14,共5页
研究非牛顿磁性纳米磁体定常旋转流动。考虑到磁化强度的特殊贡献,应用修正的非牛顿磁性流体运动方程,磁场作用是纯扩散,不受流体运动速度场的影响。给出了多种流动的解析解。应用计算机符号运算技术,软件Maple16,可以得岀非牛顿上随体M... 研究非牛顿磁性纳米磁体定常旋转流动。考虑到磁化强度的特殊贡献,应用修正的非牛顿磁性流体运动方程,磁场作用是纯扩散,不受流体运动速度场的影响。给出了多种流动的解析解。应用计算机符号运算技术,软件Maple16,可以得岀非牛顿上随体Maxwell磁性纳米流体和Oldroyd B磁性纳米流体非定常流动方程的各级近似解的常微分方程,获得解析和数值解。在研究中对纳米流体的物质常数作纳米修正。 展开更多
关键词 非牛顿磁性纳米流体旋转流动 磁化强度 计算机符号运算技术 物质常数纳米修正
在线阅读 下载PDF
Authentication based on feature of hand-written signature 被引量:1
16
作者 朱树人 《Journal of Central South University of Technology》 EI 2007年第4期563-567,共5页
The typical features of the coordinate and the curvature as well as the recorded time information were analyzed in the hand-written signatures.In the hand-written signature process 10 biometric features were summarize... The typical features of the coordinate and the curvature as well as the recorded time information were analyzed in the hand-written signatures.In the hand-written signature process 10 biometric features were summarized:the amount of zero speed in direction x and direction y,the amount of zero acceleration in direction x and direction y,the total time of the hand-written signatures,the total distance of the pen traveling in the hand-written process,the frequency for lifting the pen,the time for lifting the pen,the amount of the pressure higher or lower than the threshold values.The formulae of biometric features extraction were summarized.The Gauss function was used to draw the typical information from the above-mentioned biometric features,with which to establish the hidden Markov mode and to train it.The frame of double authentication was proposed by combing the signature with the digital signature.Web service technology was applied in the system to ensure the security of data transmission.The training practice indicates that the hand-written signature verification can satisfy the needs from the office automation systems. 展开更多
关键词 behavioral biostatistics feature hand-written signature hidden Markov mode signature verification
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部