同步卫星轨道平面倾斜效应的图示法

轨道偏离赤道平面的同步卫星,其星下点(或视位置)的口漂移轨迹址对称于静止位置的“8”字形。文献[1]给出的数学表达式对“8”字形轨迹的解释不直观,物理图象欠清晰。本文给出新的数学表达式,能用图示法形象直观地描绘出“8”字形轨迹,并简明地给出“8”字形的高度和宽度。     

一种新的基于扫描线算法的DRC方法

提出一种新的基于扫描线算法的ＩＣ版图几何设计规则检查方法．根据各类设计规则检查（ＤＲＣ）命令对运算边对的要求及检查值,选择保留适当的旧扫描线及其部分矢量,建立相应的数据结构和检索策略,实现在一次扫描中同时完成ｘ、ｙ方向的检查,冗余工作大大减少．采用的算法和数据结构适宜于将数据分段处理,便于使用内、外存数据交换方式,以降低对内存的要求,适宜于检查ＶＬＳＩ版图．     

用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

白灵菇分类学特性诠释

白灵菇这一食有菌产业中的商业名称所涉及的类群并非分类学意义的一个分类群。经考证发现,它们包括1个种和2个变种,即杏鲍菇Pleurotus eryngii(DC,:Fr.)Qu′el,阿魏侧耳P.eryngii var.ferulae Lanzi,白阿魏蘑P.erngii var.nerbrodensis Inzenga;同时,分别整理了上述种和变种的别名或商业名,识别要点,生境,分布和用途,并列出了它们的分类检索表,为生产和学术交流提供了参考依据。     

服装款式设计零部件数字化问题

指出服装款式设计数字化的根本问题在于服装零部件的数字化。从图形图像选择、服装零部件图形化定义、服装零部件数据结构定义、服装零部件拼接、服装饰物处理几方面讨论服装零部件数字化构思，分析现存问题并展望前景。     

基于Open-GL组件技术的采矿模拟系统

冬瓜山铜矿是目前国内发现的埋深最大、有岩爆倾向的缓倾斜厚度大的铜矿床,为了安全、高效生产,开发一套综合矿床开采模型对该矿山进行管理、调度、分析、控制及模拟.作者对其中的一个子系统“采矿过程动态模拟系统”的技术开发进行了研究.其过程是:通过系统分析,利用Open-GL图形库开发了适用于Delphi的通用三维图形环境及基本图元组件;分析并建立了开采轮数与开采步数之间的数学关系式;根据矿体项、底板倾角设定合理的单元块尺寸,以便既能精确模拟矿体边界形态,又能减少系统处理工作量,提高系统运行效率;运用时钟组件实现模拟过程的动态效果.利用这些技术,开发了一个采矿过程动态模拟系统.实践结果表明,该系统运行效果良好.     

一种协处理器微程序控制器的设计

在协处理器中,微程序控制器的微码控制是协处理器指令译码的控制核心。文章提出一种协处理器微程序控制器的设计方法,并给出其功能验证的测试平台。采用隐含下址编码、流水及预译码等设计技术,来提高微码的执行效率。经优化的设计具有较快的译码速度和较小的微控制存储器面积。采用该方法设计的微程序控制器已经嵌入协处理器中,并且流片测试成功。     

仿真系统VV&A研究

仿真系统VV＆A是针对仿真系统全生命周期可信性评估而实施的一项重要活动，是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV＆A中的关键问题展开研究，包括仿真系统VV＆A概念体系、VV＆A过程模型及VV＆A标准／规范技术框架等，为复杂仿真系统VV＆A标准研究提供对策与参考。     

CAI软件图形处理技术

计算机辅助数学软件往往要在同屏下管理文本和图形文件直接采用ＤＯＳ环境下常用的绘图方法制图，在图形的自下而上或管理等方面不尽人意。本文在研究ＣＡＩ软件中图形特点的基础上，提出了一种借助Ｃ语言，将ＡＵＴＯＣＡＤ平台下制作的局部图形转换成可执行文件的图形处理技术，有效的解决了ＣＡＩ开发系统制作，调用图形文件并同时管理文本，图形模式的问题。     

VLIW体系结构微处理器功能验证模型

为了系统而有效地设计微处理器功能验证激励,针对VLIW体系结构微处理器的结构特征,特别是多操作流水线并行特征,提出了VLIW体系结构微处理器的功能验证模型,基于该模型, 针对一个规模为1 500 kbit等效逻辑门的VLIW体系结构微处理器, 完成了功能验证方案的制定和105周期功能验证激励的设计.