中国科学院软件研究所专利技术

中国科学院软件研究所共有1399项专利

  • 本发明公开了一种可信密码模块的测试用例生成方法及其测试系统,属于计算机技术领域。本发明的方法为:在可信密码模块划分的子系统内部进行建模,生成该子系统的扩展有限状态机,然后通过扩展有限状态机生成测试用例;本发明的测试系统包括:脚本解析引擎...
  • 本发明属于人机交互领域,具体涉及一种利用笔的倾角信息进行饼形菜单选择的方法。本发明将笔设备的笔尖定位在饼形菜单的中心,基于笔的三维方向信息,获得笔设备在三维坐标的平面投影量,及平面投影量与坐标轴正方向的夹角,实现饼形菜单的选择。笔尖执行...
  • 本发明公开了一种基于任务优先级的抢占式人力资源配置方法和系统,属于计算机软件工程领域。本发明的系统包括过程主体模块、任务优先级判定模块、协商状态转换模块、后台数据库模块;本发明的方法为:首先通过任务优先级判定模块对输入的项目集中所包括的...
  • 本发明属于计算机软件工程领域,具体涉及一种利用信息检索技术从自然语言描述的需求规约文档自动识别需求之间依赖关系的方法,本发明主要针对自然语言描述的需求文档规约,分析归纳出与需求演化特定的依赖关系类型,同时提出用来自动识别需求之间的依赖关...
  • 本发明公开了一种Java EE应用服务器并发处理方法,属于软件技术领域。本发明所述应用服务器包括一个或多个请求处理单元,各个请求事件依次通过所述请求处理单元中的一个或多个进行处理;各个请求处理单元在处理所述请求事件之前查看是否存在处理该...
  • 本发明提供了一种XACML策略规则检测方法,属于信息安全中的授权策略分析领域,该方法针对XACML策略规则进行了规则状态定义、规则状态相关性定义、冲突类型分析,在此基础上,建立了基于语义树的策略索引并实施具体的XACML策略规则检测,分...
  • 本发明公开了一种基于TPM的多实例动态远程证明方法,属于信息安全技术领域。本发明方法包括下述步骤:a)RAI实例启动,TPM度量RAI实例并为其颁发初始证明凭证,所述RAI实例的远程依赖方获得并验证该初始证明凭证,验证通过则建立RAI实...
  • 本发明公开了一种动态度量方法,属于信息安全领域。本发明方法包括下列步骤:a)用户设定并发出度量请求,所述度量请求包括待度量的目标实体的名称;b)位于用户空间的度量代理接收并转发该度量请求至位于内核空间的内核度量模块;c)所述内核度量模块...
  • 本发明属于计算机软件工程领域,具体涉及一种预测需求易变性对软件项目影响的仿真方法及系统。本发明使用需求跟踪矩阵中的关联信息来自动预测需求变更对软件项目造成的影响,将预测需求变更的影响变成了一个客观的、严格的、定量的过程,得到比较准确的结...
  • 本发明公开了一种虚拟环境信任构建方法,属于信息安全中的可信计算领域。本发明使用单个TPM实现一个或多个虚拟域的信任,包含下列步骤:a)TPM依次度量硬件,虚拟层,管理虚拟域和一个或多个应用虚拟域,实现所述应用虚拟域的信任;b)接收并处理...
  • 本发明属于计算机软件领域,具体涉及一种基于模型同步的软件工具集成方法。本发明通过设立同步规则,建立模型同步框架,实现模型间自动的细粒度同步转换,完成软件工具的集成。本发明的方法以模型同步的方式满足工具间数据一致性约束,该方法通过监听机制...
  • 本发明属于计算机网络应用,具体涉及一种针对WS-BPEL有状态方面扩展,以实现运行时对BPEL流程进行监控的方法。本发明通过基于XPath的切入点进行扩展,给出基于历史的切入点语言的自动机语义,实现在运行时对BPEL流程的自动监控。本发...
  • 本发明涉及流程监控管理技术领域,公开了一种整合实时数据和关系数据的系统,包括:数据整合规则库、解析器、规则解析树单元、实时事件管理器、数据整合请求触发器、数据整合分析执行器,以及执行器。本发明同时公开了一种整合实时数据和关系数据的方法。...
  • 本发明公开了一种基于隐含狄利克雷分配模型的并行数据处理方法,属于数据挖掘领域,该方法包含了多进程并行处理、多线程并行处理和复合多进程多线程处理三种方案,在这三种方案中都将要处理的数据D↓[M]分成长度为等长或不等长的数据片段,每个数据片...
  • 本发明公开了一种线程池容量自适应调节方法,以及一种应用服务器并发控制方法,属于软件技术领域。所述线程池容量自适应调节方法主要通过爬山算法实现;所述应用服务器并发控制方法包括:根据所述线程池容量自适应调节方法构造自适应并发控制系统;构造并...
  • 本发明属于计算机网络和数据通信技术领域,具体涉及一种基于可嵌套模型的中间件性能预测方法,以模型转换分析为基础,通过嵌套分析的方法构建中间件完整性能模型,并最终生成预测结果。本发明通过采用性能分析与编排模块及中间件性能影响因素库,将原始模...
  • 本实用新型公开了一种物体表面表观采集设备,属于计算机图形学中物体数据采样和三维建模领域。本实用新型的设备包括:光源移动平台、线性光源、均匀白色面光源、图像采集相机和控制/数据接收单元;通过采集的反射图像序列和双向透射分布函数的图像和均匀...
  • 本实用新型涉及一种常见病及肿瘤的辅助诊断仪,通过两个探头测量人体穴位的电信号,经放大,A/D转换后变成数字信号,经光电耦合器和输出锁存器读入到计算机中,数据经计算机处理后输出结果,由医生参考该结果作为疾病诊断的辅助资料,该仪器运行可靠,...
  • 本发明提供一种智能物料配送的监控方法及系统,属于服装加工技术领域。该方法包括:在吊架上设有RFID标签,当吊架经过某个工作站进站口前的RFID读卡器时,读卡器会读到吊架标签上的信息,经由工作站终端设备发送给上位机;上位机接收到吊架检测信...