bob手机在线登陆学报自然版

姓名
邮箱
手机号码
标题
留言内容
验证码

2001, (1): 1-5.

摘要(831)

摘要:
研究从RTL级分析数字电路的功耗。应用信息论中熵的概念计算由VHDL描述中抽象出的电路模型的功耗，并考虑输出之间的相关。分别对单输出和多输出情况进行了分析，最后得到一个考虑相关的近似功耗估算公式，将熵与电路功耗结合起来能够比较精确地估算电路功耗。

基于多主体的智能决策支持系统构建方法

朱娟刘玉树

2001, (1): 6-10.

摘要(1137)

摘要:
以MFCADS系统为例，描述基于多主体的思维方式构造智能决策支持系统体系结构的方法。主体的构造基于扩展的BDI思维状态模型，采用统一的层次型内部控制结构。主体规划使用HTN方法，形成偏序规划树。模型管理分别采和面向组件和面向主体的方法来管理不同种类的模型，给出了主体模型的形式化描述和建模方法。在一定程度上解决了多主体领域理论与实践相结合的问题，并为提高智能决策支持系统的有效性与可靠性提供了新的途径。

车辆牌照识别系统可靠性问题的研究

李小平曲大成等

2001, (1): 11-14.

摘要(1108)

摘要:
研究机动车牌照自动识别系统的可靠性。通过对字符识别率、不同光照条件的适应能力以及行驶中车辆图像的快速捕捉几方面的研究发现：利用细微的结构特征对几组相似字符进行区别是提高字符识别率的有效方法。为了使识别系统具有全天候工作的能力，还性能对CCD进行适应性调整，使其能自动适应光线的变化。

基于高级综合的RTL综合对象及方法的研究

袁媛谢巍等

2001, (1): 15-18.

摘要(727)

摘要:
从处理对象、任务以及实现方案等方面对不同层次上的RTL综合及高级综合全面比较，以此说明RTL综合的对象与方法，同时针对这两个层次的综合实现方案，说明两者间可相互借鉴的技术。最后给出了RTL综合与高级综合的实验结果。

逻辑图自动划分的研究

刘沁楠刘明业

2001, (1): 19-23.

摘要(698)

摘要:
提出基于划分的逻辑图布图策略，在效解决超大规模集成电路（VLSI）逻辑原理图自动生成中规模与速度的矛盾，给出的划分模型。结合逻辑原理图的．特点设计实现种子生成的构造式划分算法和迭代改进划分算法。实验表明，这两种算法的时间复杂度较低，算法精度及优化程度都能达到目标要求，在实际应用中取得了良好的效果。

重用控制器综合技术实现RTL综合

谢巍袁媛等

2001, (1).

摘要(656)

摘要:
讨论在RTL综合中重用高级综合中控制器综合技术的可行性，提出一种通过将RTL描述划分为时序逻辑与组合逻辑后，重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术，为缩短RTL综合的开发时间提供了一种有效途径。

非线性多环管路网络系统的链路遗传求解

樊孝忠刘宇等

2001, (1): 28-30.

摘要(649)

摘要:
通过对一组规模随网络环路规模呈指数增长的非线性方程组的求解，实现对非线性多环管路网络系统的仿真、评估和优化。以模式理论为基础，使用遗传算法求解非线性方程与方程组，可利用其呈指数增长的求解能力进行求解。能够在一阶空间和时间复杂度内求解方程组的数值解，同时能够在可行的时间内解决网络结构优化问题。求解过程和结果能够验证模式理论的正确性。

基于平面图的最短路径算法的研究

于东凯刘玉树

2001, (1): 31-34.

摘要(854)

摘要:
研究平面图特殊应用条件下最短路径搜索算法的时间复杂度和空间复杂度。从应用的角度，设计一种新的数据存储结构，改进最短路径搜索算法，并建立一个简捷的估价函数，使基于平面图的动态路径规划算法在时间复杂性和空间复杂性上均达到了线性，为进一步解决这一领域内的网络综合分析打下了基础。

面向VHDL语言编译器VCompiler93的研制

石锋刘明业

2001, (1): 35-39.

摘要(815)

摘要:
研制用于VHDL语言的编译器，语法分析采用一便扫描和预测分析的策略，提出了适用于处理VHDL语言中语法冲突、各类重载语法、静态层次确立等语法现象的具体算法。开发出面向VHDL93标准的VHDL语言编译器VCompiler93，该编译器运行正常，表明所采用的解决方案合理，算法有效。

从Verilog到VHDL的翻译器VtoV的设计与实现

蒋敬旗刁岚松等

2001, (1): 40-43.

摘要(693)

摘要:
研究硬件描述语言Verilog和VHDL共有的语言特性，研制SUN SPARC2工作站环境下的翻译系统。在SUN SPARC2工作站平台上使用C＋＋提取出一个组通用的硬件数据结构，可以进行代码重用。在SUN SPARC2工作站上设计和实现了一个从硬件描述语言Verilog到VHDL的翻译器VtoV。该翻译器能够实现从Verilog的行为子集到VHDL的转换。

AO2DB系统C/S模型及并发控制的设计与实现

周志逵吴娟娟等

2001, (1): 44-47.

摘要(693)

摘要:
研究开发面向对象主动数据库系统AO2DB在C／S环境下的设计和实现技术。通过对单用户原型系统结构的扩充，利用网络和多线程技术编程，建立了C／S结构的AO2DB系统，实现了多个客户对数据库的操作，所建立的C／S结构增强了AO2DB的处理能力。文中还着重介绍了Client/Server环境下并发控制机构的实现技术。

基于UML软件开发过程的CASE平台研制

陈英施兴华等

2001, (1): 48-52.

摘要(725)

摘要:
针对基于UML的面向对象软件开发支持环境CASE平台的研制，给出了平台的需求定位和实现目标，讨论了平台组织的总体方案和功能，并据此给出了平台体系结构的设计和实现方案，阐述了平台设计和实现中的模型建立、数据存储机制实现方案，较成功地用于基于UML软件开发过程的CASE平台。

UML多视点建模机制应用研究

陈英赵小林等

2001, (1): 53-56.

摘要(716)

摘要:
论述了UML支持软件工程全过程的多视点、可视化建立开发系统模型的优势和适用性。并针对一个小型图书管理系统，通过建立的静态模型（用例图、包图、配置图）和动态模型（状态图、顺序图、合作图），展示了UML多视点建模实例，说明了应用UML建立富有弹性的、可扩充的软件开发模型的过程框架和机制。

一个嵌入式实时操作系统开发平台的实现

张丽芬陈朔鹰

2001, (1): 57-61.

摘要(915)

摘要:
对系统进行裁剪，以适应嵌入式实时系统的要求，通过分析Mach的核心初始化过程，了解Mach的系统管理模型，揭示Mach3.0内部管理机制和策略。通过对系统进行裁剪，形成了一个可用的嵌入式实时系统裁剪平台。这种平台的设计方法既简单，又灵活，且便于移植。

多节点集群服务器系统共享磁盘私有网的研究

丁原刘玉树等

2001, (1).

摘要(638)

摘要:
通过设计共享磁盘私有网的实现方法，研究实现过程中的关键技术。采用高效算法降低对系统资源的消耗，提高系统的并行处理能力，在多节点集群服务器系统中实现了共享磁盘私有网。共享磁盘私有网增加了多节点集群服务器系统私有网的冗余度，提高了系统的灵活性和可靠性。

PersonalJava图形工具包在机顶盒系统中的实现

邹辉张巍等

2001, (1): 65-68.

摘要(530)

摘要:
研究PersonalJava应用于嵌入式系统的Java API和Java程序运行环境。在资源有限的嵌入式设备中，构建一个合适的图形用户接口（GUI）。在分析PersonalJava图形工具包（Truffle)体系结构的基础上，将应用于嵌入式设备的Truffle的图形系统分割为6个模块，并论述了使用OpTIC如何实现这些模块，从而实现了PersonalJava的图形系统在典型的嵌入式应用－在机顶盒系统中实现。

关于Linux审计信息的获取

卢纲张丽芬

2001, (1): 69-72.

摘要(597)

摘要:
为了达到安全管理单机或网络系统的目的，需要全面地获取Linux系统下各种所需的审计信息。通过分析Linux内核源代码，并根据Linux系统提供的内核可加载模块以及系统调用的机制，找出获取Linux审计信息的方法。通过编写核心监控模块和记录构造模块，实出了在Linux系统下获取各种审计信息。证明了利用改造内核获取系统审计信息方法的可行性，并且克服了Linux系统原有日志信息的不足。

具有3D边缘保持的网面简化算法

刘万春李科杰等

2001, (1): 73-77.

摘要(683)

摘要:
研究用于计算机视觉领域的三维物体模型网面简化算法。该算法可物体形状和拓扑关系及物体表面法线、纹理、颜色和边缘等特征，是一种基于边操作（收缩，分裂）的网面模型的简化算法。该算法将网面不对称最大距离作为形状改变测度，在大量简化模型数据的同时，能有效地保持模型几何形状，拓扑关系、3D边缘点和边的特征，并能合理分布网面特点。

具有灰度信息三维网面的边缘检测方法

徐一华李科杰等

2001, (1): 78-82.

摘要(619)

摘要:
讨论一种从具有灰度信息的三维网面模型中提取三维边缘的方法，可用于提取单线宽度的边缘信息，以利后续的三维模型识别及其它处理操作。该方法以二维图像Canny边缘检测算法为基础，将非极大值抑制引入三维模型中，实现三维网面单线宽度边缘的准确提取，该算法可应用在基于视觉的三维物体建模和识别中。

面向仿真的虚拟现实开发平台的设计

宿红毅战守义等

2001, (1): 83-86.

摘要(825)

摘要:
设计一个适用于仿真环境的虚拟现实开发平台，以简化虚拟应用程序的开发。采用面向对象的方法和分层结构进行设计，利用树形结构虚拟场景，通过仿真引擎进行渲染。比较好地解决对象行为和几何模型的分离，增强了平台的通用性。树形场景结构的组织适合描述虚拟世界模型。

地形图中地物图符提取方法的研究与实现

张雪兰李雄成

2001, (1): 87-90.

摘要(565)

摘要:
研究地形图中地物图符的提取方法，并以居民区为例实现其特征信息的提取。根据地物图符的特征，采用各种变换，多边形跟踪和多边形顶点提取等方法，提取了居民区图符的特征信息。利用上述方法，可以提取出居民区等地物图符所表示的数据。

基于知识的工艺优化技术研究

王作建刘明业

2001, (1): 91-95.

摘要(742)

摘要:
根据工艺映射处理的电路信息庞大复杂的特点，引入基于知识（规则）的优化技术对工艺映射所得电路进行工艺优化。基于规则方法的引入使得工艺优化算法较完全的程序实现简洁高效，而基于特定工艺的优化使工艺映射结果的面积和延时都更加优化。冗余INV优化是一类简单但典型的工艺优化，该方法可应用于其他类元件的工艺优化。

虚拟现实开发工具中几何对象的表示及存储

陈谊战守义等

2001, (1): 96-100.

摘要(674)

摘要:
提出并设计一种可描述多部件复合物体的3D几何模型及存储结构，供虚拟现实开发工具（SVRT）使用。用具有层次结构和多级坐标系统的边界表示法描述几何对象，用二叉树数据结构进行存储，并用VC＋＋和OpenGL实现。这种几何模型和存储结构能较精确地描述物体的几何形状及表面属性，易于存取和绘制。解决了单部件模型无法实现复杂行为的问题，满足SVRT系统的要求。也可供其他虚拟现实系统使用。

抗毁式移动无线路由协议的研究

孙丹宋瀚涛

2001, (1): 101-104108.

摘要(898)

摘要:
研究和实现在移动分组无线网中的抗毁式路由协议。基于链路－状态算法，采用距离－矢量算法的传播方法和全局的路由拓扑表，实现了移动分组无组网的抗毁式路由协议。协议的实现充分考虑了无线信道的有限宽和移动性，提高了网络性能的抗毁性。此无线路由协议适用于移动分组无线网的抗毁性要求。

跨平台可视化网页设计器的设计与实现

曹元大韩雪来

2001, (1): 105-108.

摘要(638)

摘要:
设计基于Java的跨平台可视化网页设计器。使用最新的Java开发工具JDK1．2,根据当前的输入信息，完成网页设计器应具有的各项功能。该网页设计器汇聚了目前流行的各种网页设计器的优点，同时具有其独特的特性－－跨平台，可使用在多种操作系统上，实现了一个功能齐全的网页设计器。

基于CCSDS标准的帧同步分路器

周晴刘玉树

2001, (1): 109-112.

摘要(679)

摘要:
提供一种用于接收空间飞行器调整遥测基带信号的实时同步分路装置。该装置能够将空间飞行器上由不同信源构成的，符合国际空间数据系统咨询委员会（CCSDS）分包遥测标准的下行数据流，按虚拟信道和设备标识符实时分路不同数据，从而实现在同一物理信道上时分复用传送多种数据的,。装置适用于国际先进的宇航测控体制。

一个实时操作系统的设计及实现

赵艺伟张丽芬等

2001, (1): 113-115.

摘要(818)

摘要:
设计并实现一个具有伸缩性和较高响应速度的实时操作系统，在设计和实现和过程中，借鉴了微内核和面向对象的思想，引入延时过程调用机制。实现了一个最小可裁剪到7K，并具有较高响应速度的实时操作系统。

车牌识别系统中若干问题的探讨

李小平任洪兴等

2001, (1): 116-119.

摘要(1172)

摘要:
研究机动车牌照自动识别系统设计中，车牌区域的检测和牌照字符的分割，以达到对字符的区别。实验证明，利用车牌的纹理特征和形状特征检测车牌区域具有较高的准确性，算法的实现以边缘检测技术和数学形态学为基础。字符分割受车牌倾斜角度的影响较大，在运用Hough变换检测出车牌水平和垂直倾斜度后，再对字符进行分割，具有较好的效果。

一种快速RTF格式化方法

石锋王一拙

2001, (1): 120-122.

摘要(585)

摘要:
利用两个回调函数接口进行纯文本文件RTF格式化的方法，包括从磁盘文件读入数据到视的过程中对输入流进行RTF格式化，以及在用户键盘输入过程中对键入文本的格式。所用方法的格式化速度较一般方法有很大提高，达到了实用化。

基于RTOS的USB设备端驱动程序研究与设计

张雪兰翁铁城

2001, (1): 123-125140.

摘要(679)

摘要:
对USB进行分析，研究并开发RTOS与USB的设备端驱动程序。采用V－model的软件工程开发方法，所开发的设备端驱动程序顺利地通过USB设备端仿真器的测试，所得结果正确。USB作为一种新型的串行通信标准，统一了外设接口，提高了传输速率。

工业CT在线检测图像处理系统的设计与实现

顾益军范丽云等

2001, (1): 126-129.

摘要(859)

摘要:
研制用于工业CT电缆在线检测的计算机应用系统。通过x,y轴扫描寻找差值变异识别介质，然后实时生成各介质截面图像的方法，替代传统的环行扫描成像的方法。根据检测现场条件和计算机运行的速度等，选择局部平滑滤波算法降低噪声对图像准确的影响。完成了系统设计和测试，提高了在线系统的实时性和准确性。

基于ORACLE和CORBA的协同设计环境的实现

郑宏波梁允荣等

2001, (1): 130-132.

摘要(706)

摘要:
构建了支持多个发动机CAD小组进行协同设计的支持环境，将发动机设计中需要被多个子系统共享的全局性数据集中存放于中心数据库，由ORACLE分布式数据库管理系统管理，并通过CORBA规范与工程设计软件包I－DEAS进行动态数据交换，从而提高设计数据的共享效率并保证数据的一致性。系统为多子系统间的协同工作提供了任务书、协调卡等异步协同工具，同时实现了用户管理机制。．

动态网页规划与实现机制

赵小林陈英等

2001, (1): 133-136.

摘要(1030)

摘要:
探讨静态网页、半动态网页和动态网页的区别，给出动态主页和网页规划的方案，可以依据内容、时间或浏览者类型生成动态的网页。分析了基于服务器应用程序、基于服务器描述脚本和基于客户端应用程序等3种以数据库信息为基础实现动态网页的机制，以Windows NT(Windows2000) ASP环境为例说明了其实现方法，并给出了WindowsNT(Windows2000) ASP Oracle环境下利用Oracle对象服务技术实现最高效的解决方案。

基于CSCW的交互式Web教学系统

樊孝忠傅继彬等

2001, (1): 137-140.

摘要(725)

摘要:
简要论述Web教学系统的发展趋势和现有教学系统的局限以及该交互式教学系统所解决的主要问题。比较详细地介绍了基于计算机协同工作（CSCW）交互式Web教学系统的模型、系统采用的基于两级服务器的Client/Server结构以及多媒体数据库和其他交互工具提供的功能。最后，针对系统在教学中解决的问题，提出基于该系统进行教学新模式的设想。

留言板

投稿系统

作者相关

写作规范

友情链接

2001年第1期

过刊浏览